The geometric Langlands correspondence for function fields over finite fields has been proved by Frenkel, Gaitsgory, Vilonen. The aim of this article is to write translation for curves over the complex field and prove the correspondence in some special cases and some new cases, outside the frame of the usual geometric Langlands correspondence.
This article deals with the tamely ramified geometric Langlands correspondence for GL_2 on $\mathbf{P}_{\mathbf{F}_q}^1$, where $q$ is a prime power, with tame ramification at four distinct points $D = \{\infty, 0,1, t\} \subset \mathbf{P}^1(\mathbf{F}_q)$. We describe in an explicit way (1) the action of the Hecke operators on a basis of the cusp forms, which consists of $q$ elements; and (2) the correspondence that assigns to a pure irreducible rank 2 local system $E$ on $\mathbf{P}^1 \setminus D$ with unipotent monodromy its Hecke eigensheaf on the moduli space of rank 2 parabolic vector bu…
For a complex variety $\hat X$ with an action of a reductive group $\hat G$ and a geometric quotient $π: \hat X \to X$ by a closed normal subgroup $H \subset \hat G$, we show that open sets of $X$ admitting good quotients by $G=\hat G / H$ correspond bijectively to open sets in $\hat X$ with good $\hat G$-quotients. We use this to compute GIT-chambers and their associated quotients for the diagonal action of $\text{PGL}_2$ on $(\mathbb{P}^1)^n$ in certain subcones of the $\text{PGL}_2$-effective cone via a torus action on affine space. This allows us to represent these quotients as toric varie…
Kavli Institute for the Physics and Mathematics of the Universe (WPI), The University of Tokyo（东京大学宇宙物理数学研究所（WPI））；National Institute Of Technology, Oyama College（小山国立高等专门学校）；Department of Mathematics, Osaka Institute of Technology（大阪工业大学）
For any smooth proper rigid space $X$ over a complete algebraically closed extension $K$ of $\mathbb Q_p$ we give a geometrisation of the $p$-adic Simpson correspondence of rank one in terms of analytic moduli spaces: The $p$-adic character variety is canonically an étale twist of the moduli space of topological torsion Higgs line bundles over the Hitchin base. This also eliminates the choice of an exponential. The key idea is to relate both sides to moduli spaces of $v$-line bundles: We develop a theory of topological torsion subsheaves of $v$-sheaves and apply this to the diamantine $v$-Pica…
This paper deals with the geometric local theta correspondence at the Iwahori level for dual reductive pairs of type II over a non Archimedean field $F$ of characteristic $p\neq 2$ in the framework of the geometric Langlands program. First we construct and study the geometric version of the invariants of the Weil representation of the Iwahori-Hecke algebras. In the particular case of $(GL_1, GL_m)$ we give a complete geometric description of the corresponding category. The second part of the paper deals with geometric local Langlands functoriality at the Iwahori level in a general setting. Giv…
The goal of this note is to give a short geometric proof of a theorem of Hrushovski asserting that an intersection of a correspondence with a graph of a sufficiently large power of Frobenius is non-empty.
We describe a relationship between work of Laksov, Gatto, and their collaborators on realizations of (generalized) Schubert calculus of Grassmannians, and the geometric Satake correspondence of Lusztig, Ginzburg, and Mirković and Vilonen. Along the way we obtain new proofs of equivariant Giambelli formulas for the ordinary and orthogonal Grassmannians, as well as a simple derivation of the "rim-hook" rule for computing in the equivariant quantum cohomology of the Grassmannian.
Following Weinstein, Boyarchenko-Weinstein and Imai-Tsushima, we construct a family of affinoids in the Lubin-Tate perfectoid space and formal models such that the cohomology of the reduction of each formal model realizes the local Langlands correspondence and the local Jacquet-Langlands correspondence for certain representations. In the terminology of the essentially tame local Langlands correspondence, the representations treated here are characterized as being parametrized by minimal admissible pairs in which the field extensions are totally ramified.
We propose a geometric strategy of giving explicit description of the Langlands parameter of an irreducible supercuspidal representation of GL(n) over a non-archimedean local field. The key is to compare the cohomology of an affinoid in the Lubin-Tate space at infinite level and that of the reduction of its formal model. As examples, we treat the cases of depth 0 supercuspidal representations and simple supercuspidal representations.
In this expository paper we provide a geometric proof of the local Langlands Correspondence for the groups $\operatorname{GL}_{1}$ defined over $p$-adic fields $K$. We do this by redeveloping the theory of proalgebraic groups and use this to derive local class field theory in the style of Serre and Hazewinkel. In particular, we show that the local class field theory of Serre and Hazewinkel is valid for both equal characteristic and mixed characteristic ultrametric local fields. Finally, we use this to prove an equivalence of the categories of smooth representations of $K^{\ast}$ with continuou…
We calculate the Euler characteristic of associated vector bundles over the moduli spaces of stable parabolic bundles on smooth curves. Our method is based on a wall-crossing technique from Geometric Invariant Theory, certain iterated residue calculus and the tautological Hecke correspondence. Our work was motivated by the results of Teleman and Woodward on the index of K-theory classes on moduli stacks.
We discuss recent developments in the Langlands program for function fields, and in the geometric Langlands program. In particular we explain a canonical decomposition of the space of cuspidal automorphic forms for any reductive group G over a function field, indexed by global Langlands parameters. The proof uses the cohomology of G-shtukas with multiple modifications and the geometric Satake equivalence.
We prove a version of quantum geometric Langlands conjecture in characteristic $p$. Namely, we construct an equivalence of certain localizations of derived categories of twisted crystalline $\mathcal D$-modules on the stack of rank $N$ vector bundles on an algebraic curve $C$ in characteristic $p$. The twisting parameters are related in the way predicted by the conjecture, and are assumed to be irrational (i.e., not in $\mathbb F_p$). We thus extend the results of arXiv:math/0602255 concerning the similar problem for the usual (non-quantum) geometric Langlands. In the course of the proof, we i…
The Hodge-FVH correspondence establishes a relationship between the special cubic Hodge integrals and an integrable hierarchy, which is called the fractional Volterra hierarchy. In this paper we prove this correspondence. As an application of this result, we prove a gap condition for certain special cubic Hodge integrals and give an algorithm for computing the coefficients that appear in the gap condition.
We further explore the implications of our framework in [arXiv:1301.1977, arXiv:1309.4775], and physically derive, from the principle that the spacetime BPS spectra of string-dual M-theory compactifications ought to be equivalent, (i) a 5d AGT correspondence for any compact Lie group, (ii) a 5d and 6d AGT correspondence on ALE space of type ADE, and (iii) identities between the ordinary, q-deformed and elliptic affine W-algebras associated with the 4d, 5d and 6d AGT correspondence, respectively, which also define a quantum geometric Langlands duality and its higher analogs formulated by Feigin…
We construct (cohomological) correspondences between mod $p$ fibers of different Shimura varieties and describe the fibers of these correspondences by studying irreducible components of affine Deligne-Lusztig varieties. In particular, in the case of correspondences from a Shimura set to a Shimura variety, we obtain a description of the basic Newton stratum of the latter, and show that the irreducible components of the basic Newton stratum generate all the Tate classes in the middle cohomology of the Shimura variety, under a certain genericity condition. Along the way, we also determine the set…
Special Bohr - Sommerfeld geometry, first formulated for simply connected symplectic manifolds (or for simple connected algebraic varieties), gives rise to some natural problems for the simplest example in non simply connected case. Namely for any algebraic curve one can define a correspondence between holomorphic differentials and certain finite graphs. Here we ask some natural questions appear with this correspondence. It is a partial answer to the question of A. Varchenko about possibility of applications of Special Bohr -Sommerfeld geometry in non simply connected case. The russian version…
