Definition

Let XX be a smooth curve, xXx\in X, and E,EE,E' . A Hecke modification of EE to EE' at xx is an isomorphism

β:EX{x}EX{x}.\beta:E|_{X\setminus\{x\}}\xrightarrow{\sim} E'|_{X\setminus\{x\}}.

Thus the bundles may differ at xx but agree on its complement.

Relative position

After choosing a local coordinate and trivializations near xx, the modification gives a point of the . Its G[ ⁣[t] ⁣]G\lbrack\!\lbrack t\rbrack\!\rbrack-orbit, indexed by a λ\lambda, is the relative position of the modification. The bound “relative position at most λ\lambda” uses the associated .

Example for GL_n

For G=GLnG=GL_n, a modification is a pair of identified away from xx. An elementary modification can replace EE by the kernel of a surjection EixQE\to i_{x*}Q, changing the degree by dimQ-\dim Q.

References
  1. Vladimir Drinfeld, “Two-dimensional \ell-adic representations of the fundamental group of a curve over a finite field and automorphic forms on GL(2)GL(2),” American Journal of Mathematics 105 (1983), 85–114. DOI.