Showing 1–50 of 51 results for author: Yun, Z

Character sheaves on loop Lie algebras: polar partition

Authors: Ngo Bao Chau, Zhiwei Yun

Abstract: In this paper we propose a partition of loop Lie algebras into invariant sets parametrized by polar data. Our polar partition is motivated by J-K. Yu's construction of supercuspidal representations and leads to a conjectural construction of character sheaves on loop Lie algebras. In this paper we propose a partition of loop Lie algebras into invariant sets parametrized by polar data. Our polar partition is motivated by J-K. Yu's construction of supercuspidal representations and leads to a conjectural construction of character sheaves on loop Lie algebras. △ Less

Submitted 17 June, 2025; originally announced June 2025.

Comments: Dedicated to G.Laumon

MSC Class: 22E67; 22E50; 14F08

Counting absolutely indecomposable $G$-bundles

Authors: Konstantin Jakob, Zhiwei Yun

Abstract: For a reductive group $G$ over a finite field $k$, and a smooth projective curve $X/k$, we give a motivic counting formula for the number of absolutely indecomposable $G$-bundles on $X$. We prove that the counting can be expressed via the cohomology of the moduli stack of stable parabolic $G$-Higgs bundles on $X$. This result generalizes work of Schiffmann and work of Dobrovolska, Ginzburg, and Tr… ▽ More For a reductive group $G$ over a finite field $k$, and a smooth projective curve $X/k$, we give a motivic counting formula for the number of absolutely indecomposable $G$-bundles on $X$. We prove that the counting can be expressed via the cohomology of the moduli stack of stable parabolic $G$-Higgs bundles on $X$. This result generalizes work of Schiffmann and work of Dobrovolska, Ginzburg, and Travkin from $\mathrm{GL}_n$ to a general reductive group. Along the way we prove some structural results on automorphism groups of $G$-torsors, and we study certain Lie-theoretic counting problems related to the case when $X$ is an elliptic curve - a case which we investigate more carefully following Fratila, Gunningham and P. Li. △ Less

Submitted 26 December, 2024; originally announced December 2024.

Comments: 60 pages

Introduction to Shtukas and their moduli

Authors: Zhiwei Yun

Abstract: These are lectures notes of my talks at the IHES summer school on the Langlands program in 2022. We give an introduction to the notion of Shtukas, their relation with more familiar geometric objects, their moduli spaces and applications to automorphic forms. These are lectures notes of my talks at the IHES summer school on the Langlands program in 2022. We give an introduction to the notion of Shtukas, their relation with more familiar geometric objects, their moduli spaces and applications to automorphic forms. △ Less

Submitted 15 November, 2024; originally announced November 2024.

Comments: 38 pages

MSC Class: 11G09; 14D20

Normalized solutions to Schrödinger systems with potentials

Authors: Zhaoyang Yun

Abstract: In this paper, we study the normalized solutions of the Schrödinger system with trapping potentials \begin{equation}\label{eq:diricichlet} \begin{cases} -Δu_1+V_1(x)u_1-λ_1 u_1=μ_1 u_1^3+βu_1u_2^{2}+κu_2~\hbox{in}~ \mathbb{R}^3,\\ -Δu_2+V_2(x)u_2-λ_2 u_2=μ_2 u_2^3+βu_1^2u_2+κu_1~\hbox{in}~ \mathbb{R}^3, u_1\in H^1(\mathbb{R}^3), u_2\in H^1(\mathbb{R}^3),\nonumber \end{cases} \end{equation} under… ▽ More In this paper, we study the normalized solutions of the Schrödinger system with trapping potentials \begin{equation}\label{eq:diricichlet} \begin{cases} -Δu_1+V_1(x)u_1-λ_1 u_1=μ_1 u_1^3+βu_1u_2^{2}+κu_2~\hbox{in}~ \mathbb{R}^3,\\ -Δu_2+V_2(x)u_2-λ_2 u_2=μ_2 u_2^3+βu_1^2u_2+κu_1~\hbox{in}~ \mathbb{R}^3, u_1\in H^1(\mathbb{R}^3), u_2\in H^1(\mathbb{R}^3),\nonumber \end{cases} \end{equation} under the constraint \begin{equation} \int_{\mathbb{R}^3} u_1^2=a_1^2,~\int_{\mathbb{R}^3} u_2^2=a_2^2\nonumber, \end{equation} where $μ_1,μ_2,a_1,a_2,β>0$, $κ\in\mathbb{R}$, $V_1(x)$ and $V_2(x)$ are trapping potentials, and $λ_1,λ_2$ are lagrangian multipliers, this is a typical $L^2$-supercritical case in $\mathbb{R}^3$. We obtain the existence of solutions to this system by minimax theory on the manifold for $κ=0$ and $κ\neq 0$ respectively. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Modularity of higher theta series I: cohomology of the generic fiber

Authors: Tony Feng, Zhiwei Yun, Wei Zhang

Abstract: In a previous paper we constructed $\textit{higher}$ theta series for unitary groups over function fields, and conjectured their modularity properties. Here we prove the generic modularity of the $\ell$-adic realization of higher theta series in cohomology. The proof debuts a new type of Fourier transform, occurring on the Borel-Moore homology of moduli spaces for shtuka-type objects, that we call… ▽ More In a previous paper we constructed $\textit{higher}$ theta series for unitary groups over function fields, and conjectured their modularity properties. Here we prove the generic modularity of the $\ell$-adic realization of higher theta series in cohomology. The proof debuts a new type of Fourier transform, occurring on the Borel-Moore homology of moduli spaces for shtuka-type objects, that we call the $\textit{arithmetic Fourier transform}$. Another novelty in the argument is a $\textit{sheaf-cycle correspondence}$ extending the classical sheaf-function correspondence, which facilitates the deployment of sheaf-theoretic methods to analyze algebraic cycles. Although the modularity property is a statement within classical algebraic geometry, the proof relies on derived algebraic geometry, especially a nascent theory of $\textit{derived Fourier analysis}$ on derived vector bundles, which we develop. △ Less

Submitted 29 November, 2023; v1 submitted 21 August, 2023; originally announced August 2023.

Comments: Minor corrections plus some explanation added

A Deligne-Simpson problem for irregular $G$-connections over $\mathbb{P}^{1}$

Authors: Konstantin Jakob, Zhiwei Yun

Abstract: We give an algebraic and a geometric criterion for the existence of $G$-connections on $\mathbb{P}^{1}$ with prescribed irregular type with equal slope at $\infty$ (isoclinic) and with regular singularity of prescribed residue at $0$. The algebraic criterion is in terms of an irreducible module of the rational Cherednik algebra, and the geometric criterion is in terms of affine Springer fibers. We… ▽ More We give an algebraic and a geometric criterion for the existence of $G$-connections on $\mathbb{P}^{1}$ with prescribed irregular type with equal slope at $\infty$ (isoclinic) and with regular singularity of prescribed residue at $0$. The algebraic criterion is in terms of an irreducible module of the rational Cherednik algebra, and the geometric criterion is in terms of affine Springer fibers. We use these criteria to give complete solutions to the isoclinic Deligne-Simpson problem for classical groups, and for arbitrary $G$ when the slope at $\infty$ has Coxeter number as the denominator. Among our solutions, we classify the cohomologically rigid connections, and obtain new cases in types $B,C$ and $F_4$. △ Less

Submitted 1 March, 2023; v1 submitted 26 January, 2023; originally announced January 2023.

Comments: 35 pages. Added complete solutions in classical types

MSC Class: 14D20; 34M50 (Primary); 14M15; 20C08 (Secondary)

Tilting sheaves for real groups and Koszul duality

Authors: Andrei Ionov, Zhiwei Yun

Abstract: For a certain class of real analytic varieties with Lie group actions we develop a theory of (free-monodromic) tilting sheaves, and apply it to flag varieties stratified by real group orbits. For quasi-split real groups, we construct a fully faithful embedding of the category of tilting sheaves to a real analog of the category of Soergel bimodules, establishing real group analogs of Soergel's Stru… ▽ More For a certain class of real analytic varieties with Lie group actions we develop a theory of (free-monodromic) tilting sheaves, and apply it to flag varieties stratified by real group orbits. For quasi-split real groups, we construct a fully faithful embedding of the category of tilting sheaves to a real analog of the category of Soergel bimodules, establishing real group analogs of Soergel's Structure Theorem and Endomorphism Theorem. We apply these results to give a purely geometric proof of the theorem of Bezrukavnikov and Vilonen which proves Soergel's conjecture for quasi-split groups. △ Less

Submitted 8 June, 2023; v1 submitted 13 January, 2023; originally announced January 2023.

Functions on the commuting stack via Langlands duality

Authors: Penghui Li, David Nadler, Zhiwei Yun

Abstract: We calculate the dg algebra of global functions on commuting stacks of complex reductive groups using tools from Betti Geometric Langlands. In particular, we prove that the ring of invariant functions on the commuting scheme is reduced. Our main technical results include: a semi-orthogonal decomposition of the cocenter of the affine Hecke category; and the calculation of endomorphisms of a Whittak… ▽ More We calculate the dg algebra of global functions on commuting stacks of complex reductive groups using tools from Betti Geometric Langlands. In particular, we prove that the ring of invariant functions on the commuting scheme is reduced. Our main technical results include: a semi-orthogonal decomposition of the cocenter of the affine Hecke category; and the calculation of endomorphisms of a Whittaker sheaf in a diagram organizing parabolic induction of character sheaves. △ Less

Submitted 13 April, 2024; v1 submitted 6 January, 2023; originally announced January 2023.

Comments: 95 pages; to appear in Annals of Math

Non-abelian Hodge moduli spaces and homogeneous affine Springer fibers

Authors: Roman Bezrukavnikov, Pablo Boixeda Alvarez, Michael McBreen, Zhiwei Yun

Abstract: Starting from a homogeneous affine Springer fiber $Fl_ψ$, we construct three moduli spaces that correspond to the Dolbeault, de Rham and Betti aspects of a hypothetical Simpson correspondence with wild ramifications. We show that $Fl_ψ$ is homeomorphic to the central Lagrangian fiber in the Dolbeault space, prove that the Dolbeaut and de Rham spaces both have the same cohomology as $Fl_ψ$, and con… ▽ More Starting from a homogeneous affine Springer fiber $Fl_ψ$, we construct three moduli spaces that correspond to the Dolbeault, de Rham and Betti aspects of a hypothetical Simpson correspondence with wild ramifications. We show that $Fl_ψ$ is homeomorphic to the central Lagrangian fiber in the Dolbeault space, prove that the Dolbeaut and de Rham spaces both have the same cohomology as $Fl_ψ$, and construct a map from the de Rham space to the Betti space which we conjecture to be an analytic isomorphism. △ Less

Submitted 29 September, 2022; originally announced September 2022.

MSC Class: Primary 14D20; Secondary 14M15; 14D24

Special cycles for Shtukas are closed

Authors: Zhiwei Yun

Abstract: In this paper we give a different proof of a theorem of Paul Breutmann: for a Bruhat-Tits group scheme $\mathcal{H}$ over a smooth projective curve $X$ and a closed embedding into another smooth affine group scheme $\mathcal{G}$, the induced map on the moduli of Shtukas $Sht^{r}_{\mathcal{H}}\to Sht^{r}_{\mathcal{G}}$ is schematic, finite and unramified. This result enables one to define special c… ▽ More In this paper we give a different proof of a theorem of Paul Breutmann: for a Bruhat-Tits group scheme $\mathcal{H}$ over a smooth projective curve $X$ and a closed embedding into another smooth affine group scheme $\mathcal{G}$, the induced map on the moduli of Shtukas $Sht^{r}_{\mathcal{H}}\to Sht^{r}_{\mathcal{G}}$ is schematic, finite and unramified. This result enables one to define special cycles on the moduli stack of Shtukas. △ Less

Submitted 22 April, 2022; originally announced April 2022.

Comments: 10 pages

MSC Class: 14F35; 11F55

Rigidity method for automorphic forms over function fields

Authors: Zhiwei Yun

Abstract: These are lectures given at the 2022 Arizona Winter School. It gives an introduction to the rigidity method for constructing automorphic forms for semisimple groups over function fields. The rigidity method leads to explicit constructions of local systems that are Langlands parameters of automorphic forms. The examples of local systems produced in this way have applications to algebraic geometry a… ▽ More These are lectures given at the 2022 Arizona Winter School. It gives an introduction to the rigidity method for constructing automorphic forms for semisimple groups over function fields. The rigidity method leads to explicit constructions of local systems that are Langlands parameters of automorphic forms. The examples of local systems produced in this way have applications to algebraic geometry and number theory. △ Less

Submitted 22 April, 2022; originally announced April 2022.

Comments: 36 pages

MSC Class: 11F70; 14D24; 14F05

Higher theta series for unitary groups over function fields

Authors: Tony Feng, Zhiwei Yun, Wei Zhang

Abstract: In previous work, we defined certain virtual fundamental classes for special cycles on the moduli stack of Hermitian shtukas, and related them to the higher derivatives of non-singular Fourier coefficients of Siegel-Eisenstein series. In the present article, we construct virtual fundamental classes in greater generality, including those expected to relate to the higher derivatives of singular Four… ▽ More In previous work, we defined certain virtual fundamental classes for special cycles on the moduli stack of Hermitian shtukas, and related them to the higher derivatives of non-singular Fourier coefficients of Siegel-Eisenstein series. In the present article, we construct virtual fundamental classes in greater generality, including those expected to relate to the higher derivatives of singular Fourier coefficients. We assemble these classes into "higher" theta series, which we conjecture to be modular. Two types of evidence are presented: structural properties affirming that the cycle classes behave as conjectured under certain natural operations such as intersection products, and verification of modularity in several special situations. One innovation underlying these results is a new approach to special cycles in terms of derived algebraic geometry. △ Less

Submitted 2 January, 2024; v1 submitted 13 October, 2021; originally announced October 2021.

Comments: To appear in Annales scientifiques de l'École normale supérieure

Automorphic gluing functor in Betti Geometric Langlands

Authors: David Nadler, Zhiwei Yun

Abstract: We study automorphic categories of nilpotent sheaves under degenerations of smooth curves to nodal Deligne-Mumford curves. Our constructions realize affine Hecke operators as the result of bubbling projective lines from marked points. We use this to construct a "gluing functor" from the automorphic category of a nodal Deligne-Mumford curve to the automorphic category of a smoothing. We study automorphic categories of nilpotent sheaves under degenerations of smooth curves to nodal Deligne-Mumford curves. Our constructions realize affine Hecke operators as the result of bubbling projective lines from marked points. We use this to construct a "gluing functor" from the automorphic category of a nodal Deligne-Mumford curve to the automorphic category of a smoothing. △ Less

Submitted 5 June, 2023; v1 submitted 26 May, 2021; originally announced May 2021.

Comments: 82 pages

MSC Class: 14D24

Normalized solutions to Schrödinger systems with linear and nonlinear couplings

Authors: Zhaoyang Yun, Zhitao Zhang

Abstract: In this paper, we study important Schrödinger systems with linear and nonlinear couplings \begin{equation}\label{eq:diricichlet} \begin{cases} -Δu_1-λ_1 u_1=μ_1 |u_1|^{p_1-2}u_1+r_1β|u_1|^{r_1-2}u_1|u_2|^{r_2}+κ(x)u_2~\hbox{in}~\mathbb{R}^N,\\ -Δu_2-λ_2 u_2=μ_2 |u_2|^{p_2-2}u_2+r_2β|u_1|^{r_1}|u_2|^{r_2-2}u_2+κ(x)u_1~ \hbox{in}~\mathbb{R}^N,\\ u_1\in H^1(\mathbb{R}^N), u_2\in H^1(\mathbb{R}^N),\no… ▽ More In this paper, we study important Schrödinger systems with linear and nonlinear couplings \begin{equation}\label{eq:diricichlet} \begin{cases} -Δu_1-λ_1 u_1=μ_1 |u_1|^{p_1-2}u_1+r_1β|u_1|^{r_1-2}u_1|u_2|^{r_2}+κ(x)u_2~\hbox{in}~\mathbb{R}^N,\\ -Δu_2-λ_2 u_2=μ_2 |u_2|^{p_2-2}u_2+r_2β|u_1|^{r_1}|u_2|^{r_2-2}u_2+κ(x)u_1~ \hbox{in}~\mathbb{R}^N,\\ u_1\in H^1(\mathbb{R}^N), u_2\in H^1(\mathbb{R}^N),\nonumber \end{cases} \end{equation} with the condition $$\int_{\mathbb{R}^N} u_1^2=a_1^2, \int_{\mathbb{R}^N} u_2^2=a_2^2,$$ where $N\geq 2$, $μ_1,μ_2,a_1,a_2>0$, $β\in\mathbb{R}$, $2<p_1,p_2<2^*$, $2<r_1+r_2<2^*$, $κ(x)\in L^{\infty}(\mathbb{R}^N)$ with fixed sign and $λ_1,λ_2$ are Lagrangian multipliers. We use Ekland variational principle to prove this system has a normalized radially symmetric solution for $L^2-$subcritical case when $N\geq 2$, and use minimax method to prove this system has a normalized radially symmetric positive solution for $L^2-$supercritical case when $N=3$, $p_1=p_2=4,\ r_1=r_2=2$. △ Less

Submitted 8 April, 2021; originally announced April 2021.

MSC Class: 35J15; 35J47; 35J57

Higher Siegel--Weil formula for unitary groups: the non-singular terms

Authors: Tony Feng, Zhiwei Yun, Wei Zhang

Abstract: We construct special cycles on the moduli stack of unitary shtukas. We prove an identity between (1) the r-th central derivative of non-singular Fourier coefficients of a normalized Siegel--Eisenstein series, and (2) the degree of special cycles of "virtual dimension 0" on the moduli stack of unitary shtukas with r legs. This may be viewed as a function-field analogue of the Kudla-Rapoport Conject… ▽ More We construct special cycles on the moduli stack of unitary shtukas. We prove an identity between (1) the r-th central derivative of non-singular Fourier coefficients of a normalized Siegel--Eisenstein series, and (2) the degree of special cycles of "virtual dimension 0" on the moduli stack of unitary shtukas with r legs. This may be viewed as a function-field analogue of the Kudla-Rapoport Conjecture, that has the additional feature of encompassing all higher derivatives of the Eisenstein series. △ Less

Submitted 29 November, 2023; v1 submitted 21 March, 2021; originally announced March 2021.

Comments: Minor revisions, to appear in Invent Math

Minimal reduction type and the Kazhdan-Lusztig map

Authors: Zhiwei Yun

Abstract: We introduce the notion of minimal reduction type of an affine Springer fiber, and use it to define a map from the set of conjugacy classes in the Weyl group to the set of nilpotent orbits. We show that this map is the same as the one defined by Lusztig, and that the Kazhdan-Lusztig map is a section of our map. This settles several conjectures in the literature. For classical groups, we prove more… ▽ More We introduce the notion of minimal reduction type of an affine Springer fiber, and use it to define a map from the set of conjugacy classes in the Weyl group to the set of nilpotent orbits. We show that this map is the same as the one defined by Lusztig, and that the Kazhdan-Lusztig map is a section of our map. This settles several conjectures in the literature. For classical groups, we prove more refined results by introducing and studying the "skeleta" of affine Springer fibers. △ Less

Submitted 4 February, 2025; v1 submitted 26 October, 2020; originally announced October 2020.

Comments: minor changes from the published version; fixed a gap in the proof of Theorem 6.1

MSC Class: 20G99

Journal ref: Indag. Math. (N.S.) 32 (2021), no. 6, 1240--1274

Euphotic representations and rigid automorphic data

Authors: Konstantin Jakob, Zhiwei Yun

Abstract: We propose a new method to construct rigid $G$-automorphic representations and rigid $\widehat{G}$-local systems for reductive groups $G$. The construction involves the notion of euphotic representations, and the proof for rigidity involves the geometry of certain Hessenberg varieties. We propose a new method to construct rigid $G$-automorphic representations and rigid $\widehat{G}$-local systems for reductive groups $G$. The construction involves the notion of euphotic representations, and the proof for rigidity involves the geometry of certain Hessenberg varieties. △ Less

Submitted 23 January, 2023; v1 submitted 10 August, 2020; originally announced August 2020.

Comments: 48 pages. Final version

MSC Class: 11F70; 14D24; 22E57; 14F05

Journal ref: Sel. Math. New Ser. 28, 76 (2022)

From conjugacy classes in the Weyl group to representations

Authors: George Lusztig, Zhiwei Yun

Abstract: We define a map from the set of conjugacy classes of a Weyl group W to the representation ring of W tensored with the ring of polynomials in one variable. We define a map from the set of conjugacy classes of a Weyl group W to the representation ring of W tensored with the ring of polynomials in one variable. △ Less

Submitted 27 May, 2021; v1 submitted 3 December, 2019; originally announced December 2019.

Comments: 13 pages

Semilinear automorphisms of classical groups and quivers

Authors: Jinwei Yang, Zhiwei Yun

Abstract: For a classical group $G$ over a field $F$ together with a finite-order automorphism $θ$ that acts compatibly on $F$, we describe the fixed point subgroup of $θ$ on $G$ and the eigenspaces of $θ$ on the Lie algebra $\mathfrak{g}$ in terms of cyclic quivers with involution. More precise classification is given when $\mathfrak{g}$ is a loop Lie algebra, i.e., when $F=\mathbb{C}((t))$. For a classical group $G$ over a field $F$ together with a finite-order automorphism $θ$ that acts compatibly on $F$, we describe the fixed point subgroup of $θ$ on $G$ and the eigenspaces of $θ$ on the Lie algebra $\mathfrak{g}$ in terms of cyclic quivers with involution. More precise classification is given when $\mathfrak{g}$ is a loop Lie algebra, i.e., when $F=\mathbb{C}((t))$. △ Less

Submitted 14 October, 2019; originally announced October 2019.

Comments: 14 pages, Accepted for publication in Science China Mathematics

MSC Class: 11E39; 11E57; 17B40

Higher signs for Coxeter groups

Authors: Zhiwei Yun

Abstract: We define and study cocycles on a Coxeter group in each degree generalizing the sign function. When the Coxeter group is a Weyl group, we explain how the degree three cocycle arises naturally from geometry representation theory. We define and study cocycles on a Coxeter group in each degree generalizing the sign function. When the Coxeter group is a Weyl group, we explain how the degree three cocycle arises naturally from geometry representation theory. △ Less

Submitted 9 August, 2019; originally announced August 2019.

Comments: 13 pages

MSC Class: 20F55; 14M15

Endoscopy for Hecke categories, character sheaves and representations

Authors: George Lusztig, Zhiwei Yun

Abstract: For a split reductive group $G$ over a finite field, we show that the neutral block of its mixed Hecke category with a fixed monodromy under the torus action is monoidally equivalent to the mixed Hecke category of the corresponding endoscopic group $H$ with trivial monodromy. We also extend this equivalence to all blocks. We give two applications. One is a relationship between character sheaves on… ▽ More For a split reductive group $G$ over a finite field, we show that the neutral block of its mixed Hecke category with a fixed monodromy under the torus action is monoidally equivalent to the mixed Hecke category of the corresponding endoscopic group $H$ with trivial monodromy. We also extend this equivalence to all blocks. We give two applications. One is a relationship between character sheaves on $G$ with a fixed semisimple parameter and unipotent character sheaves on the endoscopic group $H$, after passing to asymptotic versions. The other is a similar relationship between representations of $G(\mathbb{F}_q)$ with a fixed semisimple parameter and unipotent representations of $H(\mathbb{F}_{q})$. △ Less

Submitted 22 August, 2021; v1 submitted 1 April, 2019; originally announced April 2019.

Comments: This is a revised version of the paper with the same title published in Forum Math. Pi 8 (2020), e12. An error on a 3-cocycle is corrected and main statements are simplified. A Corrigendum follows the main article. 57 pages

MSC Class: 20G40; 14F05; 14F43; 20C08; 20C33

Journal ref: Forum of Mathematics, Pi 8 (2020) e12

Hitchin type moduli stacks in automorphic representation theory

Authors: Zhiwei Yun

Abstract: In the study of automorphic representations over a function field, Hitchin moduli stack and its variants naturally appear and their geometry helps the comparison of trace formulae. We give a survey on applications of this observation to a relative fundamental lemma, the arithmetic fundamental lemma and to the higher Gross-Zagier formula. In the study of automorphic representations over a function field, Hitchin moduli stack and its variants naturally appear and their geometry helps the comparison of trace formulae. We give a survey on applications of this observation to a relative fundamental lemma, the arithmetic fundamental lemma and to the higher Gross-Zagier formula. △ Less

Submitted 6 September, 2018; originally announced September 2018.

Comments: Survey article for the proceedings of ICM 2018

MSC Class: 11F70; 14D24; 22E57; 11F67

Z/m-graded Lie algebras and perverse sheaves, IV

Authors: George Lusztig, Zhiwei Yun

Abstract: Let G be a reductive group over C. Assume that the Lie algebra g of G has a given grading (g_j) indexed by a cyclic group Z/m such that g_0 contains a Cartan subalgebra of g. The subgroup G_0 of G corresponding to g_0 acts on the variety of nilpotent elements in g_1 with finitely many orbits. We are interested in computing the local intersection cohomology of the closures of these orbits with coef… ▽ More Let G be a reductive group over C. Assume that the Lie algebra g of G has a given grading (g_j) indexed by a cyclic group Z/m such that g_0 contains a Cartan subalgebra of g. The subgroup G_0 of G corresponding to g_0 acts on the variety of nilpotent elements in g_1 with finitely many orbits. We are interested in computing the local intersection cohomology of the closures of these orbits with coefficients in irreducible G-equivariant local systems which are in the "principal block". We show that these can be computed by a purely combinatorial algorithm. △ Less

Submitted 26 May, 2018; originally announced May 2018.

Comments: 43 pages

Shtukas and the Taylor expansion of $L$-functions (II)

Authors: Zhiwei Yun, Wei Zhang

Abstract: For arithmetic applications, we extend and refine our results in \cite{YZ} to allow ramifications in a minimal way. Starting with a possibly ramified quadratic extension $F'/F$ of function fields over a finite field in odd characteristic, and a finite set of places $Σ$ of $F$ that are unramified in $F'$, we define a collection of Heegner--Drinfeld cycles on the moduli stack of $\mathrm{PGL}_{2}$-S… ▽ More For arithmetic applications, we extend and refine our results in \cite{YZ} to allow ramifications in a minimal way. Starting with a possibly ramified quadratic extension $F'/F$ of function fields over a finite field in odd characteristic, and a finite set of places $Σ$ of $F$ that are unramified in $F'$, we define a collection of Heegner--Drinfeld cycles on the moduli stack of $\mathrm{PGL}_{2}$-Shtukas with $r$-modifications and Iwahori level structures at places of $Σ$. For a cuspidal automorphic representation $π$ of $\mathrm{PGL}_{2}(\mathbb{A}_{F})$ with square-free level $Σ$, and $r\in\mathbb{Z}_{\ge0}$ whose parity matches the root number of $π_{F'}$, we prove a series of identities between: (1) The product of the central derivatives of the normalized $L$-functions $\mathcal{L}^{(a)}(π, 1/2)\mathcal{L}^{(r-a)}(π\otimesη, 1/2)$, where $η$ is the quadratic idèle class character attached to $F'/F$, and $0\le a\le r$; (2) The self intersection number of a linear combination of Heegner--Drinfeld cycles. In particular, we can now obtain global $L$-functions with odd vanishing orders. These identities are function-field analogues of the formulas of Waldspurger and Gross--Zagier for higher derivatives of $L$-functions. △ Less

Submitted 12 June, 2020; v1 submitted 21 December, 2017; originally announced December 2017.

Comments: 90 pages

MSC Class: 11F67; 14G35; 11F70; 14H60

Journal ref: Ann. of Math. (2) 189 (2019), no. 2, 393--526

The cohomology ring of certain compactified Jacobians

Authors: Alexei Oblomkov, Zhiwei Yun

Abstract: We provide an explicit presentation of the equivariant cohomology ring of the compactified Jacobian $J_{q/p}$ of the rational curve $C_{q/p}$ with planar equation $x^{q}=y^{p}$ for $(p,q)=1$. We also prove analogous results for the closely related affine Springer fiber $Sp_{q/p}$ in the affine flag variety of $SL_{p}$. We show that the perverse filtration on the cohomology of $J_{q/p}$ is multipli… ▽ More We provide an explicit presentation of the equivariant cohomology ring of the compactified Jacobian $J_{q/p}$ of the rational curve $C_{q/p}$ with planar equation $x^{q}=y^{p}$ for $(p,q)=1$. We also prove analogous results for the closely related affine Springer fiber $Sp_{q/p}$ in the affine flag variety of $SL_{p}$. We show that the perverse filtration on the cohomology of $J_{q/p}$ is multiplicative, and the associated graded ring under the perverse filtration is a degeneration of the ring of functions on a moduli space of maps $\mathbb{P}^{1}\to C_{q/p}$. We also propose several conjectures about $J_{q/p}$ and more general compactified Jacobians. △ Less

Submitted 15 October, 2017; originally announced October 2017.

Comments: 34 pages; comments are welcomed

MSC Class: 14F20; 14F40

Spectral action in Betti Geometric Langlands

Authors: David Nadler, Zhiwei Yun

Abstract: Let $X$ be a smooth projective curve, $G$ a reductive group, and $Bun_G(X)$ the moduli of $G$-bundles on $X$. For each point of $X$, the Satake category acts by Hecke modifications on sheaves on $Bun_G(X)$. We show that, for sheaves with nilpotent singular support, the action is locally constant with respect to the point of $X$. This equips sheaves with nilpotent singular support with a module str… ▽ More Let $X$ be a smooth projective curve, $G$ a reductive group, and $Bun_G(X)$ the moduli of $G$-bundles on $X$. For each point of $X$, the Satake category acts by Hecke modifications on sheaves on $Bun_G(X)$. We show that, for sheaves with nilpotent singular support, the action is locally constant with respect to the point of $X$. This equips sheaves with nilpotent singular support with a module structure over perfect complexes on the Betti moduli $Loc_{G^\vee}(X)$ of dual group local systems. In particular, we establish the "automorphic to Galois" direction in the Betti Geometric Langlands correspondence -- to each indecomposable automorphic sheaf, we attach a dual group local system -- and define the Betti version of V. Lafforgue's excursion operators. △ Less

Submitted 10 May, 2019; v1 submitted 12 November, 2016; originally announced November 2016.

Comments: 30 pages

MSC Class: 14D24; 22E57

Journal ref: published online in Israel Journal of Mathematics 2019

Geometric Langlands correspondence for SL(2), PGL(2) over the pair of pants

Authors: David Nadler, Zhiwei Yun

Abstract: We establish the Geometric Langlands correspondence for rank one groups over the projective line with three points of tame ramification. We establish the Geometric Langlands correspondence for rank one groups over the projective line with three points of tame ramification. △ Less

Submitted 28 August, 2017; v1 submitted 26 October, 2016; originally announced October 2016.

Comments: 41 pages

Journal ref: Compositio Math. 155 (2019) 324-371

$\mathbb{Z}/m\mathbb{Z}$-graded Lie algebras and perverse sheaves, III: graded double affine Hecke algebra

Authors: George Lusztig, Zhiwei Yun

Abstract: In this paper we construct representations of certain graded double affine Hecke algebras (DAHA) with possibly unequal parameters from geometry. More precisely, starting with a simple Lie algebra $\mathfrak{g}$ together with a $\mathbb{Z}/m\mathbb{Z}$-grading $\oplus_{i}\mathfrak{g}_{i}$ and a block of $G_{\underline{0}}$-equivariant complexes on the nilpotent cone of… ▽ More In this paper we construct representations of certain graded double affine Hecke algebras (DAHA) with possibly unequal parameters from geometry. More precisely, starting with a simple Lie algebra $\mathfrak{g}$ together with a $\mathbb{Z}/m\mathbb{Z}$-grading $\oplus_{i}\mathfrak{g}_{i}$ and a block of $G_{\underline{0}}$-equivariant complexes on the nilpotent cone of $\mathfrak{g}_{\underline{1}}$ as introduced in \cite{LY1}, we attach a graded DAHA and construct its action on the direct sum of spiral inductions in that block. This generalizes results of Vasserot \cite{V} and Oblomkov-Yun \cite{OY} which correspond to the case of the principal block. △ Less

Submitted 25 October, 2016; v1 submitted 26 July, 2016; originally announced July 2016.

Comments: 33 pages

$Z/m$-graded Lie algebras and perverse sheaves, II

Authors: George Lusztig, Zhiwei Yun

Abstract: We consider a fixed block for the equivariant perverse sheaves with nilpotent support in the $1$-graded ccomponent of a semisimple cyclically graded Lie algebra. We give a combinatorial parametrization of the simple objects in that block. We consider a fixed block for the equivariant perverse sheaves with nilpotent support in the $1$-graded ccomponent of a semisimple cyclically graded Lie algebra. We give a combinatorial parametrization of the simple objects in that block. △ Less

Submitted 30 September, 2016; v1 submitted 3 April, 2016; originally announced April 2016.

Comments: 37 pages

Z/m-graded Lie algebras and perverse sheaves, I

Authors: George Lusztig, Zhiwei Yun

Abstract: We give a block decomposition of the equivariant derived category arising from a cyclically graded Lie algebra. This generalizes certain aspects of the generalized Springer correspondence to the graded setting. We give a block decomposition of the equivariant derived category arising from a cyclically graded Lie algebra. This generalizes certain aspects of the generalized Springer correspondence to the graded setting. △ Less

Submitted 30 September, 2016; v1 submitted 16 February, 2016; originally announced February 2016.

Comments: 51 pages

Lectures on Springer theories and orbital integrals

Authors: Zhiwei Yun

Abstract: These are the expanded lecture notes from the author's mini-course during the graduate summer school of the Park City Math Institute in 2015. The main topics covered are: geometry of Springer fibers, affine Springer fibers and Hitchin fibers; representations of (affine) Weyl groups arising from these objects; relation between affine Springer fibers and orbital integrals. These are the expanded lecture notes from the author's mini-course during the graduate summer school of the Park City Math Institute in 2015. The main topics covered are: geometry of Springer fibers, affine Springer fibers and Hitchin fibers; representations of (affine) Weyl groups arising from these objects; relation between affine Springer fibers and orbital integrals. △ Less

Submitted 3 February, 2016; originally announced February 2016.

Comments: 62 pages; to appear in the PCMI proceedings

Shtukas and the Taylor expansion of $L$-functions

Authors: Zhiwei Yun, Wei Zhang

Abstract: We define the Heegner--Drinfeld cycle on the moduli stack of Drinfeld Shtukas of rank two with $r$-modifications for an even integer $r$. We prove an identity between (1) The $r$-th central derivative of the quadratic base change $L$-function associated to an everywhere unramified cuspidal automorphic representation $π$ of $PGL_{2}$; (2) The self-intersection number of the $π$-isotypic component o… ▽ More We define the Heegner--Drinfeld cycle on the moduli stack of Drinfeld Shtukas of rank two with $r$-modifications for an even integer $r$. We prove an identity between (1) The $r$-th central derivative of the quadratic base change $L$-function associated to an everywhere unramified cuspidal automorphic representation $π$ of $PGL_{2}$; (2) The self-intersection number of the $π$-isotypic component of the Heegner--Drinfeld cycle. This identity can be viewed as a function-field analog of the Waldspurger and Gross--Zagier formula for higher derivatives of $L$-functions. △ Less

Submitted 11 April, 2017; v1 submitted 8 December, 2015; originally announced December 2015.

Comments: 97 pages; minor revision

MSC Class: 11F67; 14G35; 11F70; 14H60

Geometric representations of graded and rational Cherednik algebras

Authors: Alexei Oblomkov, Zhiwei Yun

Abstract: We provide geometric constructions of modules over the graded Cherednik algebra $\mathfrak{H}^{gr}_ν$ and the rational Cherednik algebra $\mathfrak{H}^{rat}_ν$ attached to a simple algebraic group $\mathbb{G}$ together with a pinned automorphism $θ$. These modules are realized on the cohomology of affine Springer fibers (of finite type) that admit $\mathbb{C}^*$-actions. In the rational Cherednik… ▽ More We provide geometric constructions of modules over the graded Cherednik algebra $\mathfrak{H}^{gr}_ν$ and the rational Cherednik algebra $\mathfrak{H}^{rat}_ν$ attached to a simple algebraic group $\mathbb{G}$ together with a pinned automorphism $θ$. These modules are realized on the cohomology of affine Springer fibers (of finite type) that admit $\mathbb{C}^*$-actions. In the rational Cherednik algebra case, the standard grading on these modules is derived from the perverse filtration on the cohomology of affine Springer fibers coming from its global analog: Hitchin fibers. When $θ$ is trivial, we show that our construction gives the irreducible finite-dimensional spherical modules $\mathfrak{L}_ν(triv)$ of $\mathfrak{H}^{gr}_ν$ and of $\mathfrak{H}^{rat}_ν$. We give a formula for the dimension of $\mathfrak{L}_ν(triv)$ and give a geometric interpretation of its Frobenius algebra structure. The rank two cases are studied in further details. △ Less

Submitted 18 February, 2016; v1 submitted 21 July, 2014; originally announced July 2014.

Comments: 82 pages; 8 pictures; some minor corrections; to appear in Advances in Mathematics

Rigidity in automorphic representations and local systems

Authors: Zhiwei Yun

Abstract: We introduce the notion of rigidity for automorphic representations of groups over global function fields. We construct the Langlands parameters of rigid automorphic representations explicitly as local systems over open curves. We expect these local systems to be rigid. Examples of rigid automorphic representations from previous work are reviewed and more examples for $GL_{2}$ are discussed in det… ▽ More We introduce the notion of rigidity for automorphic representations of groups over global function fields. We construct the Langlands parameters of rigid automorphic representations explicitly as local systems over open curves. We expect these local systems to be rigid. Examples of rigid automorphic representations from previous work are reviewed and more examples for $GL_{2}$ are discussed in details. △ Less

Submitted 13 May, 2014; originally announced May 2014.

Comments: 78 pages

MSC Class: 11F70; 14D24; 14F05

Epipelagic representations and rigid local systems

Authors: Zhiwei Yun

Abstract: We construct automorphic representations for quasi-split groups $G$ over the function field $F=k(t)$ one of whose local components is an epipelagic representation in the sense of Reeder and Yu. We also construct the attached Galois representations under the Langlands correspondence. These Galois representations give new classes of conjecturally rigid, wildly ramified $^{L}G$-local systems over… ▽ More We construct automorphic representations for quasi-split groups $G$ over the function field $F=k(t)$ one of whose local components is an epipelagic representation in the sense of Reeder and Yu. We also construct the attached Galois representations under the Langlands correspondence. These Galois representations give new classes of conjecturally rigid, wildly ramified $^{L}G$-local systems over $\mathbb{P}^{1}-\{0,\infty\}$ that generalize the Kloosterman sheaves constructed earlier by Heinloth, Ngô and the author. We study the monodromy of these local systems and compute all examples when $G$ is a classical group. △ Less

Submitted 29 January, 2014; originally announced January 2014.

Comments: 30 pages

MSC Class: 22E55; 22E57; 11L05

Galois representations attached to moments of Kloosterman sums and conjectures of Evans

Authors: Zhiwei Yun

Abstract: Kloosterman sums for a finite field arise as Frobenius trace functions of certain local systems defined over $\Gm$. The moments of Kloosterman sums calculate the Frobenius traces on the cohomology of tensor powers (or symmetric powers, exterior powers, etc.) of these local systems. We show that when $p$ ranges over all primes, the moments of the corresponding Kloosterman sums for $\mathbb{F}_{p}$… ▽ More Kloosterman sums for a finite field arise as Frobenius trace functions of certain local systems defined over $\Gm$. The moments of Kloosterman sums calculate the Frobenius traces on the cohomology of tensor powers (or symmetric powers, exterior powers, etc.) of these local systems. We show that when $p$ ranges over all primes, the moments of the corresponding Kloosterman sums for $\mathbb{F}_{p}$ arise as Frobenius traces on a continuous $\ell$-adic Galois representation that comes from geometry. We also give bounds on the ramification of these Galois representations. All this is done in the generality of Kloosterman sheaves attached to reductive groups introduced in \cite{HNY}. As an application, we give proofs of conjectures of R. Evans (\cite{Evans0}, \cite{Evans}) expressing the seventh and eighth symmetric power moments of the classical Kloosterman sum in terms of Fourier coefficients of explicit modular forms. The proof for the eighth symmetric power moment conjecture relies on the computation done in Appendix B by C.Vincent. △ Less

Submitted 7 September, 2013; v1 submitted 18 August, 2013; originally announced August 2013.

Comments: Appendix by Christelle Vincent; Theorem 1.2.3 strengthened

MSC Class: 11L05; 11F30; 11F80

Journal ref: Compositio Math. 151 (2015) 68-120

Orbital integrals and Dedekind zeta functions

Authors: Zhiwei Yun

Abstract: Let F be a local non-archimedean field. We prove a formula relating orbital integrals in GL(n,F) (for the unit Hecke function) and the generating series counting ideals of a certain ring. Using this formula, we give an explicit estimate for such orbital integrals. We also derive an analogous formula for global fields, proving analytic properties of the Dedekind zeta function for orders in global f… ▽ More Let F be a local non-archimedean field. We prove a formula relating orbital integrals in GL(n,F) (for the unit Hecke function) and the generating series counting ideals of a certain ring. Using this formula, we give an explicit estimate for such orbital integrals. We also derive an analogous formula for global fields, proving analytic properties of the Dedekind zeta function for orders in global fields. △ Less

Submitted 12 March, 2013; v1 submitted 11 March, 2013; originally announced March 2013.

Comments: 19 pages

MSC Class: 22E35; 11R54

A $(-q)$-analogue of weight multiplicities

Authors: George Lusztig, Zhiwei Yun

Abstract: We prove a conjecture in \cite{L} stating that certain polynomials $P^σ_{y,w}(q)$ introduced in \cite{LV1} for twisted involutions in an affine Weyl group give $(-q)$-analogues of weight multiplicities of the Langlands dual group $\check{G}$. We also prove that the signature of a naturally defined hermitian form on each irreducible representation of $\check{G}$ can be expressed in terms of these p… ▽ More We prove a conjecture in \cite{L} stating that certain polynomials $P^σ_{y,w}(q)$ introduced in \cite{LV1} for twisted involutions in an affine Weyl group give $(-q)$-analogues of weight multiplicities of the Langlands dual group $\check{G}$. We also prove that the signature of a naturally defined hermitian form on each irreducible representation of $\check{G}$ can be expressed in terms of these polynomials $P^σ_{y,w}(q)$. △ Less

Submitted 2 March, 2012; originally announced March 2012.

Comments: 21 pages

MSC Class: Primary 20G05; Secondary 14D24

Fake degrees for reflection actions on roots

Authors: Victor Reiner, Zhiwei Yun

Abstract: A finite irreducible real reflection group of rank l and Coxeter number h has root system of cardinality h*l. It is shown that the fake degree for the permutation action on its roots is divisible by [h]_q = 1+q+q^2+...+q^{h-1}, and that in simply-laced types, it equals [h]_q times the summation of q^{e_i - 1} where e_i runs through the exponents, so that e_i - 1 are the codegrees. A finite irreducible real reflection group of rank l and Coxeter number h has root system of cardinality h*l. It is shown that the fake degree for the permutation action on its roots is divisible by [h]_q = 1+q+q^2+...+q^{h-1}, and that in simply-laced types, it equals [h]_q times the summation of q^{e_i - 1} where e_i runs through the exponents, so that e_i - 1 are the codegrees. △ Less

Submitted 27 January, 2012; v1 submitted 29 December, 2011; originally announced January 2012.

Comments: Added discussion of overlap with prior work by J. Stembridge

MSC Class: 20F55; 17B22; 51F15; 13A50

Motives with exceptional Galois groups and the inverse Galois problem

Authors: Zhiwei Yun

Abstract: We construct motivic $\ell$-adic representations of $\GQ$ into exceptional groups of type $E_7,E_8$ and $G_2$ whose image is Zariski dense. This answers a question of Serre. The construction is uniform for these groups and uses the Langlands correspondence for function fields. As an application, we solve new cases of the inverse Galois problem: the finite simple groups $E_{8}(\FF_{\ell})$ are Galo… ▽ More We construct motivic $\ell$-adic representations of $\GQ$ into exceptional groups of type $E_7,E_8$ and $G_2$ whose image is Zariski dense. This answers a question of Serre. The construction is uniform for these groups and uses the Langlands correspondence for function fields. As an application, we solve new cases of the inverse Galois problem: the finite simple groups $E_{8}(\FF_{\ell})$ are Galois groups over $\QQ$ for large enough primes $\ell$. △ Less

Submitted 11 December, 2011; originally announced December 2011.

Comments: 40 pages

MSC Class: 14D24; 11F80; 20G41

Macdonald formula for curves with planar singularities

Authors: Davesh Maulik, Zhiwei Yun

Abstract: We generalize Macdonald's formula for the cohomology of Hilbert schemes of points on a curve from smooth curves to curves with planar singularities: we relate the cohomology of the Hilbert schemes to the cohomology of the compactified Jacobian of the curve. The new formula is a consequence of a stronger identity between certain perverse sheaves defined by a family of curves satisfying mild conditi… ▽ More We generalize Macdonald's formula for the cohomology of Hilbert schemes of points on a curve from smooth curves to curves with planar singularities: we relate the cohomology of the Hilbert schemes to the cohomology of the compactified Jacobian of the curve. The new formula is a consequence of a stronger identity between certain perverse sheaves defined by a family of curves satisfying mild conditions. The proof makes an essential use of Ngo's support theorem for compactified Jacobians and generalizes this theorem to the relative Hilbert scheme of such families. As a consequence, we generalize part of the Weil conjectures to the Hilbert-zeta function of curves with planar singularities. △ Less

Submitted 31 October, 2011; v1 submitted 11 July, 2011; originally announced July 2011.

Comments: 16 pages, comments welcome

MSC Class: 14H20; 14H40; 14F43

The spherical part of the local and global Springer actions

Authors: Zhiwei Yun

Abstract: The affine Weyl group acts on the cohomology (with compact support) of affine Springer fibers (local Springer theory) and of parabolic Hitchin fibers (global Springer theory). In this paper, we show that in both situations, the action of the center of the group algebra of the affine Weyl group (the spherical part) factors through the action of the component group of the relevant centralizers. In t… ▽ More The affine Weyl group acts on the cohomology (with compact support) of affine Springer fibers (local Springer theory) and of parabolic Hitchin fibers (global Springer theory). In this paper, we show that in both situations, the action of the center of the group algebra of the affine Weyl group (the spherical part) factors through the action of the component group of the relevant centralizers. In the situation of affine Springer fibers, this partially verifies a conjecture of Goresky-Kottwitz-MacPherson and Bezrukavnikov-Varshavsky. We first prove this result for the global Springer action, and then deduce the result for the local Springer action from that of the global one. The argument strongly relies on the fact that we can deform points on a curve, hence giving an example of using global Springer theory to solve more classical problems. △ Less

Submitted 11 June, 2011; originally announced June 2011.

Comments: 28 pages

MSC Class: 14H60; 14M15; 20F55; 20G25

On Koszul duality for Kac-Moody groups

Authors: Roman Bezrukavnikov, Zhiwei Yun

Abstract: For any Kac-Moody group $G$ with Borel $B$, we give a monoidal equivalence between the derived category of $B$-equivariant mixed complexes on the flag variety $G/B$ and (a certain completion of) the derived category of $B^\vee$-monodromic mixed complexes on the enhanced flag variety $G^\vee/U^\vee$, here $G^\vee$ is the Langlands dual of $G$. We also prove variants of this equivalence, one of whic… ▽ More For any Kac-Moody group $G$ with Borel $B$, we give a monoidal equivalence between the derived category of $B$-equivariant mixed complexes on the flag variety $G/B$ and (a certain completion of) the derived category of $B^\vee$-monodromic mixed complexes on the enhanced flag variety $G^\vee/U^\vee$, here $G^\vee$ is the Langlands dual of $G$. We also prove variants of this equivalence, one of which is the equivalence between the derived category of $U$-equivariant mixed complexes on the partial flag variety $G/P$ and certain "Whittaker model" category of mixed complexes on $G^\vee/B^\vee$. In all these equivalences, intersection cohomology sheaves correspond to (free-monodromic) tilting sheaves. Our results generalize the Koszul duality patterns for reductive groups in the work of Beilinson, Ginzburg and Soergel . △ Less

Submitted 22 July, 2014; v1 submitted 6 January, 2011; originally announced January 2011.

Comments: 92 pages; with appendices by Zhiwei Yun; final version

MSC Class: 20G44; 14M15; 14F05

Journal ref: Represent. Theory 17 (2013), 1-98

Kloosterman sheaves for reductive groups

Authors: Jochen Heinloth, Ngo Bao Chau, Zhiwei Yun

Abstract: Deligne constructed a remarkable local system on $\bP^1-\{0,\infty\}$ attached to a family of Kloosterman sums. Katz calculated its monodromy and asked whether there are Kloosterman sheaves for general reductive groups and which automorphic forms should be attached to these local systems under the Langlands correspondence. Motivated by work of Gross and Frenkel-Gross we find an explicit family of… ▽ More Deligne constructed a remarkable local system on $\bP^1-\{0,\infty\}$ attached to a family of Kloosterman sums. Katz calculated its monodromy and asked whether there are Kloosterman sheaves for general reductive groups and which automorphic forms should be attached to these local systems under the Langlands correspondence. Motivated by work of Gross and Frenkel-Gross we find an explicit family of such automorphic forms and even a simple family of automorphic sheaves in the framework of the geometric Langlands program. We use these automorphic sheaves to construct l-adic Kloosterman sheaves for any reductive group in a uniform way, and describe the local and global monodromy of these Kloosterman sheaves. In particular, they give motivic Galois representations with exceptional monodromy groups G_2,F_4,E_7 and E_8. This also gives an example of the geometric Langlands correspondence with wild ramifications for any reductive group. △ Less

Submitted 16 May, 2010; originally announced May 2010.

Comments: 58 pages

Integral homology of loop groups via Langlands dual groups

Authors: Zhiwei Yun, Xinwen Zhu

Abstract: Let K be a connected compact Lie group, and G be its complexification. The homology of the based loop group ΩK with integer coefficients is naturally a \ZZ-Hopf algebra. After possibly inverting 2 or 3, we identify H_*(ΩK,\ZZ) with the Hopf algebra of algebraic functions on B^\vee_e, where B^\vee is a Borel subgroup of the Langlands dual group scheme G^\vee of G and B^\vee_e is the centralizer i… ▽ More Let K be a connected compact Lie group, and G be its complexification. The homology of the based loop group ΩK with integer coefficients is naturally a \ZZ-Hopf algebra. After possibly inverting 2 or 3, we identify H_*(ΩK,\ZZ) with the Hopf algebra of algebraic functions on B^\vee_e, where B^\vee is a Borel subgroup of the Langlands dual group scheme G^\vee of G and B^\vee_e is the centralizer in B^\vee of a regular nilpotent element e\in\Lie B^\vee. We also give a similar interpretation for the equivariant homology of ΩK under the maximal torus action. △ Less

Submitted 29 September, 2009; originally announced September 2009.

Comments: 23 pages

MSC Class: 57T10; 20G07

Towards a Global Springer Theory III: Endoscopy and Langlands duality

Authors: Zhiwei Yun

Abstract: We prove three new results about the global Springer action defined in \cite{GSI}. The first one determines the support of the perverse cohomology sheaves of the parabolic Hitchin complex, which serves as a technical tool for the next results. The second one (the Endoscopic Decomposition Theorem) links certain direct summands of the parabolic Hitchin complex of $G$ to the endoscopic groups of… ▽ More We prove three new results about the global Springer action defined in \cite{GSI}. The first one determines the support of the perverse cohomology sheaves of the parabolic Hitchin complex, which serves as a technical tool for the next results. The second one (the Endoscopic Decomposition Theorem) links certain direct summands of the parabolic Hitchin complex of $G$ to the endoscopic groups of $G$. This result generalizes Ngô's geometric stabilization of the trace formula in \cite{NgoFL}. The third result links the stable parts of the parabolic Hitchin complexes for Langlands dual groups, and establishes a relation between the global Springer action on one hand and certain Chern class action on the other. This result is inspired by the mirror symmetry between dual Hitchin fibrations. Finally, we present the first nontrivial example in the global Springer theory. △ Less

Submitted 21 April, 2009; originally announced April 2009.

Comments: 48 pages

MSC Class: 14H60; 20G35; 14F20; 14K30

Towards a Global Springer Theory II: the double affine action

Authors: Zhiwei Yun

Abstract: We construct an action of the graded double affine Hecke algebra (DAHA) on the parabolic Hitchin complex, extending the affine Weyl group action constructed in \cite{GSI}. In particular, we get representations of the degenerate DAHA on the cohomology of parabolic Hitchin fibers. We also generalize our construction to {\em parahoric} versions of Hitchin stacks, including the construction of 'tHoo… ▽ More We construct an action of the graded double affine Hecke algebra (DAHA) on the parabolic Hitchin complex, extending the affine Weyl group action constructed in \cite{GSI}. In particular, we get representations of the degenerate DAHA on the cohomology of parabolic Hitchin fibers. We also generalize our construction to {\em parahoric} versions of Hitchin stacks, including the construction of 'tHooft operators as a special case. We then study the interaction of the DAHA action and the cap product action given by the Picard stack acting on the parabolic Hitchin stack. △ Less

Submitted 21 April, 2009; originally announced April 2009.

Comments: 47 pages

MSC Class: 14H60; 20C08; 17B67; 20F55

The fundamental lemma of Jacquet-Rallis in positive characteristics

Authors: Zhiwei Yun

Abstract: We prove both the group version and the Lie algebra version of the Fundamental Lemma appearing in a relative trace formula of Jacquet-Rallis in the function field case when the characteristic is greater than the rank of the relevant groups. We prove both the group version and the Lie algebra version of the Fundamental Lemma appearing in a relative trace formula of Jacquet-Rallis in the function field case when the characteristic is greater than the rank of the relevant groups. △ Less

Submitted 28 October, 2009; v1 submitted 7 January, 2009; originally announced January 2009.

Comments: 40 pages; Both the group Version and the Lie algebra version are proved

MSC Class: 14H60; 22E35; 14F20

Journal ref: Duke Math. J. 156, no. 2 (2011), 167-227

Towards a Global Springer Theory I: The affine Weyl group action

Authors: Zhiwei Yun

Abstract: We propose a generalization of Springer representations to the context of groups over a global function field. The global counterpart of the Grothendieck simultaneous resolution is the parabolic Hitchin fibration. We construct an action of the affine Weyl group on the direct image complex of the parabolic Hitchin fibration. In particular, we get representations of the affine Weyl group on the co… ▽ More We propose a generalization of Springer representations to the context of groups over a global function field. The global counterpart of the Grothendieck simultaneous resolution is the parabolic Hitchin fibration. We construct an action of the affine Weyl group on the direct image complex of the parabolic Hitchin fibration. In particular, we get representations of the affine Weyl group on the cohomology of parabolic Hitchin fibers, providing the first step towards a global Springer theory. △ Less

Submitted 21 April, 2009; v1 submitted 12 October, 2008; originally announced October 2008.

Comments: 39 page; containing an introduction for the three papers in this series; materials re-organized

MSC Class: 14H60; 20F55; 14F20; 20G35

Weights of mixed tilting sheaves and geometric Ringel duality

Authors: Zhiwei Yun

Abstract: We describe several general methods for calculating weights of mixed tilting sheaves. We introduce a notion called "non-cancellation property" which implies a strong uniqueness of mixed tilting sheaves and enables one to calculate their weights effectively. When we have a certain Radon transform, we prove a geometric analogue of Ringel duality which sends tilting objects to projective objects. W… ▽ More We describe several general methods for calculating weights of mixed tilting sheaves. We introduce a notion called "non-cancellation property" which implies a strong uniqueness of mixed tilting sheaves and enables one to calculate their weights effectively. When we have a certain Radon transform, we prove a geometric analogue of Ringel duality which sends tilting objects to projective objects. We apply these methods to (partial) flag varieties and affine (partial) flag varieties and show that the weight polynomials of mixed tilting sheaves on flag and affine flag varieties are essentially given by Kazhdan-Lusztig polynomials. This verifies a mixed geometric analogue of a conjecture by W.Soergel in \cite{Sg1}. △ Less

Submitted 21 November, 2008; v1 submitted 10 May, 2008; originally announced May 2008.

Comments: Updated version; To appear in Selecta. Math.; 19 pages

MSC Class: 14F20; 14L30; 20G25

Journal ref: Selecta Math. 14, no.2 (2009), 299-320