arXiv subjects
Publications and source records attributed to Lingfei Yi.
We establish versions of Matsuki duality for loop groups. The main result is a bijection between symmetric loop group orbits and real polynomial loop group orbits on the affine Grassmannians or affine flag varieties. Along the way we obtain orbit parametrizations and make connections with vector bundles on real and twistor-$\mathbb P^1$ and Kottwitz sets .
We construct the natural Frobenius structures on two families of rigid irregular $\check{G}$-connections on $\mathbb{G}_m$ (or $\mathbb{A}^1$) for a split simple group $\check{G}$: (i) the $\theta$-connections arising from Vinberg's $\theta$-groups introduced by Chen and Yun; (ii) the Airy connection of Jakob--Kamgarpour--Yi generalizing the classical Airy equations. These data form the $p$-adic companions of the $\ell$-adic local systems introduced by Yun and Jakob--Kamgarpour--Yi. Via the Frobenius structures, we study the local monodromy representations of these local systems at the unique wildly ramified point and verify the prediction of Reeder--Yu on epipelagic Langlands parameters in our setting. We calculate the global geometric monodromy group of a special Airy $\check{G}$-local system via its local monodromy. We show the cohomological rigidity and the physical rigidity of these local systems, as conjectured by Heinloth--Ng\^o--Yun.
We formulate a conjecture on local geometric Langlands for supercuspidal representations using Yu's data and Feigin-Frenkel isomorphism. We refine our conjecture for a large family of regular supercuspidal representations defined by Kaletha, and then confirm the conjecture for toral supercuspidal representations of Adler whose Langlands parameters are precisely all the irreducible isoclinic connections. As an application, we establish the conjectural correspondence between global Airy connections for reductive groups and the family of Hecke eigensheaves constructed by Jakob-Kamgarpour-Yi.
From a stable vector of a stable grading on a simple Lie algebra, Yun defined a rigid automorphic datum that encodes a epipelagic representation, and also an irregular connection on the projective line called $\theta$-connection. We show that under geometric Langlands correspondence, $\theta$-connection corresponds to the Hecke eigensheaf attached the rigid automorphic datum, assuming the stable grading is inner and its Kac coordinate $s_0$ is positive. We provide applications of the main result on cohomological rigidity of $\theta$-connections, global oper structures, and a de Rham analog of Reeder-Yu's predictions on epipelagic Langlands parameters.
We study the singularities of closures of Iwahori orbits on loop spaces of symmetric varieties extending the celebrated work of Lusztig-Vogan to the affine setting. We show that the IC-complexes of orbit closures (with possible non-trivial coefficients) are pointwise pure and satisfy a parity vanishing property. We apply those geometric results to study the affine Lusztig-Vogan modules and obtain fundational results about them including the positivity properties of the affine Kazhdan-Lusztig-Vogan polynomials. Along the way, we construct conical transversal slices inside loop spaces of symmetric varieties generalizing the work of Mars-Springer in the finite dimensional setting. Our results answer a question of Lusztig. We deduce results for singularities of spherical orbit closures and provide applications to relative Langlands duality including the positivity for the relative Kostka-Foulkes polynomials and the formality conjecture.
We show that the Frenkel-Gross connection on $\mathbb{G}_m$ is physically rigid as $\check{G}$-connection, thus confirming the de Rham version of a conjecture of Heinloth-Ngô-Yun. The proof is based on the construction of the Hecke eigensheaf of a connection with only generic oper structure, using the localization of Weyl modules.
In a previous paper, the first and third authors gave an explicit realization of the geometric Langlands correspondence for hypergeometric sheaves, considered as $\textrm{GL}_n$-local systems. Certain hypergeometric local systems admit a symplectic or orthogonal structure, which can be viewed as $\check{G}$-local systems, for a classical group $\check{G}$. This article aims to realize the geometric Langlands correspondence for these $\check{G}$-local systems. We study this problem from two aspects. In the first approach, we define the hypergeometric automorphic data for a classical group $G$ in the framework of Yun, one of whose local components is a new class of euphotic representations in the sense of Jakob-Yun. We prove the rigidity of hypergeometric automorphic data under natural assumptions, which allows us to define $\check{G}$-local systems $\mathcal{E}_{\check{G}}$ on $\mathbb{G}_m$ as Hecke eigenvalues (in both $\ell$-adic and de Rham setting). In the second approach (which works only in the de Rham setting), we quantize an enhanced ramified Hitchin system, following Beilinson-Drinfeld and Zhu, and identify $\mathcal{E}_{\check{G}}$ with certain $\check{G}$-opers on $\mathbb{G}_m$. Finally, we compare these $\check{G}$-opers with hypergeometric local systems.
We construct a class of $\ell$-adic local systems on $\mathbb{A}^1$ that generalizes the Airy sheaves defined by N. Katz to reductive groups. These sheaves are finite field analogues of generalizations of the classical Airy equation $y''(z)=zy(z)$. We employ the geometric Langlands correspondence to construct the sought-after local systems as eigenvalues of certain rigid Hecke eigensheaves, following the methods developed by Heinloth, Ngô and Yun. The construction is motivated by a special case of Adler and Yu's construction of tame supercuspidal representations. The representations that we consider can be viewed as deeper analogues of simple supercuspidals. For $\mathrm{GL}_n$, we compute the Frobenius trace of the local systems in question and show that they agree with Katz's Airy sheaves. We make precise conjectures about the ramification behaviour of the local systems at $\infty$. These conjectures in particular imply cohomological rigidity of Airy sheaves.
Generalised hypergeometric sheaves are rigid local systems on the punctured projective line with remarkable properties. Their study originated in the seminal work of Riemann on the Euler--Gauss hypergeometric function and has blossomed into an active field with connections to many areas of mathematics. In this paper, we construct the Hecke eigensheaves whose eigenvalues are the irreducible hypergeometric local systems, thus confirming a central conjecture of the geometric Langlands program for hypergeometrics. The key new concept is the notion of hypergeometric automorphic data. We prove that this automorphic data is generically rigid (in the sense of Zhiwei Yun) and identify the resulting Hecke eigenvalue with hypergeometric sheaves. The definition of hypergeometric automorphic data in the tame case involves the mirabolic subgroup, while in the wild case, semistable (but not necessarily stable) vectors coming from principal gradings intervene.