zbMATH — the first resource for mathematics

Quantization of Hitchin’s fibration and Langlands program. (English) Zbl 0864.14007
Boutet de Monvel, Anne (ed.) et al., Algebraic and geometric methods in mathematical physics. Proceedings of the 1st Ukrainian-French-Romanian summer school, Kaciveli, Ukraine, September 1-14, 1993. Dordrecht: Kluwer Academic Publishers. Math. Phys. Stud. 19, 3-7 (1996).
Let \(X\) be a smooth projective algebraic curve over \(\mathbb{C}\) of genus \(g>1\), \(G\) a semisimple algebraic group and \(\text{Bun}_G\) the moduli stack of \(G\)-bundles on \(X\).
The article is a short note that describes the construction of \(D\)-modules \({\mathcal E}_\eta\) on \(\text{Bun}_G\) and provides the necessary definitions to state a kind of a Hecke eigenvalue property for \({\mathcal E}_\eta\): \[ h_*(f^!{\mathcal E}_\eta \otimes {\mathcal M}_\lambda) ={\mathcal E}_\eta [n+1] \otimes V^\lambda_R. \] In the above \(\lambda\in P_+\) is a dominant coweight of \(G\), \(n=(\lambda, 2\rho)\), the second tensor product means external tensor product, \(\eta\) is used to denote a \(\widehat G\)-bundle \(R\) with a connection and a filtration \(F\) for the Langlands dual group \(\widehat G\) that are to satisfy an additional condition and are given a special name “\(\widehat G\)-opers”. \(V^\lambda_R\) is a local system on \(X\) corresponding to the irreducible representation \(V^\lambda\) of \(\widehat G\) with the highest weight \(\lambda\) and \(\widehat G\)-bundle \(R\). The maps \(h\) and \(f\) define the Hecke correspondence which is twisted by a \(D\)-module \({\mathcal M}_\lambda\). To give all the definitions would mean to repeat most of the note. The authors claim they have proven this when \(\lambda\) is a microweight of \(\widehat G\) and proclaim the general case as a conjecture.
Denote by \(B(G,X)\) the ring of polynomial functions on \(V\). As a preliminary step to construct \({\mathcal E}_\eta\) the authors define an algebra \(A(G,X)\) and a morphism \(\varphi: A(G,X)\to H^0(\text{Bun}_G, {\mathcal D})\) that provides a quantization of the Hitchin morphism \(B(G,X)\to\){Functions on \(T^*\text{Bun}_G\}\), where \({\mathcal D}\) stays for the sheaf of differential operators on \(\text{Bun}_G\) twisted by a half-canonical bundle. The algebra \(A(G,X)\) appears to be the coordinate ring of the manifold of \(\widehat G\)-opers.
For the entire collection see [Zbl 0833.00031].

14F10 Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials
37J35 Completely integrable finite-dimensional Hamiltonian systems, integration methods, integrability tests
37K10 Completely integrable infinite-dimensional Hamiltonian and Lagrangian systems, integration methods, integrability tests, integrable hierarchies (KdV, KP, Toda, etc.)
32S40 Monodromy; relations with differential equations and \(D\)-modules (complex-analytic aspects)