arXiv math/02110672002-11math.RTmath.AGmath.NT

On automorphic sheaves on Bun_G

Sergey Lysenko

备注：: 30 pages, updated version

英文摘要：

Let X be a smooth projective connected curve over an algebraically closed field k of positive characteristic. Let G be a reductive group over k, γbe a dominant coweight for G, and E be an \ell-adic \check{G}-local system on X, where \check{G} denotes the Langlands dual group. Let \Bun_G be the moduli stack of G-bundles on X. Under some conditions on the triple (G,γ,E) we propose a conjectural construction of a distinguished E-Hecke automorphic sheaf on \Bun_G. We are motivated by a construction of automorphic forms suggested by Ginzburg, Rallis and Soudry in [6,7]. We also generalize Laumon's theorem ([10], Theorem 4.1) for our setting. Finally, we formulate an analog of the Vanishing Conjecture of Frenkel, Gaitsgory and Vilonen for Levi subgroups of G.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

On quadratic distinction of automorphic sheaves

We prove a geometric version of a classical result on the characterization of an irreducible cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb{A}_E)$ being the base change of a stable cuspidal packet of the quasi-split unitary group associated to the quadratic extension $E/F$, via the nonvanishing of certain period integrals, called being distinguished. We show that certain cohomology of an automorphic sheaf of $\mathrm{GL}_{n,X'}$ is nonvanishing if and only if the corresponding local system $E$ on $X'$ is conjugate self-dual with respect to an étale double cover $X'/X$ of curves,…

2011-02-17math.AGmath.NTmath.RT

Kloosterman sheaves for reductive groups

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…

2010-05-16math.AGmath.NTmath.RT

Geometric Langlands for hypergeometric 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 …

2020-06-18math.AGmath.NTmath.RT

GL_{2n}自守层的线性周期

Linear periods of automorphic sheaves for GL_{2n}

本研究在几何朗兰兹纲领框架内，计算了GL_{2n}尖点自守层沿GL_n×GL_n利瓦伊子群的周期，同时解决了相应的局部问题。

2021-03-12math.RT

On the automorphic sheaves for GSp_4

In this paper we first review the setting for the geometric Langlands functoriality and establish a result for the `backward' functoriality functor. We illustrate this by known examples of the geometric theta-lifting. We then apply the above result to obtain new Hecke eigen-sheaves. The most important application is a construction of the automorphic sheaf for G=GSp_4 attached to a G^L-local system on a curve X such that its standard representation is an irreducible local system of rank 4 on X.

2021-01-03math.RT

正特征Siegel簇上自守向量丛的凝聚上同调的消失结果

Vanishing results for the coherent cohomology of automorphic vector bundles over the Siegel variety in positive characteristic

本文证明了正特征Siegel簇上自守向量丛的凝聚上同调在特定权条件下的消失结果，并提供了Sage算法以显式计算。

2025-10-11math.AGmath.NTmath.RT

更多相关论文收起更多论文

Automorphic functions on moduli spaces of bundles on curves over local fields: a survey

This paper is the written version of D.Kazhdan's plenary talk at ICM 2022. It is dedicated to an exposition of recent results and (mostly) conjectures attempting to construct an analog of the theory of automorphic functions on moduli spaces of bundles on curves over local fields (both archimedian and non-archimedian). The talk is based on joint works of D.Kazhdan with A.Braverman, P.Etingof, E.Frenkel and A.Polishchuk.

2022-06-23hep-thmath.AGmath.RT

Hypergeometric sheaves for classical groups via geometric Langlands

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$ i…

2022-01-20math.AGmath.NTmath.RT

Automorphic Gluing

We prove a gluing theorem on the automorphic side of the geometric Langlands correspondence: roughly speaking, we show that the difference between $\mathrm{DMod}(\mathrm{Bun}_G)$ and its full subcategory $\mathrm{DMod}(\mathrm{Bun}_G)^\mathrm{temp}$ of tempered objects is compensated by the categories $\mathrm{DMod}(\mathrm{Bun}_M)^\mathrm{temp}$ for all standard Levi subgroups $M \subsetneq G$. This theorem is designed to match exactly with the spectral gluing theorem, an analogous result occurring on the other side of the geometric Langlands conjecture. Along the way, we state and prove seve…

2022-04-19math.AGmath.RT

Automorphic functions for nilpotent extensions of curves over finite fields

We define and study the subspace of cuspidal functions for $G$-bundles on a class of nilpotent extensions $C$ of curves over a finite field. We show that this subspace is preserved by the action of a certain noncommutative Hecke algebra $\mathcal{H}_{G,C}$. In the case $G=\rm{GL}_2$, we construct a commutative subalgebra in $\mathcal{H}_{G,C}$ of Hecke operators associated with simple divisors. In the case of length 2 extensions and of $G=\rm{GL}_2$, we prove that the space of cuspidal functions (for bundles with a fixed determinant) is finite-dimensional and provide bounds on its dimension. I…

2023-03-28math.AGmath.NTmath.RT

沿$\mathrm{Bun}_G$的Harder-Narasimhan分层黏合层

Gluing sheaves along Harder-Narasimhan strata of $\mathrm{Bun}_G$

本文借助[FS21]构造的光滑图表局部闭分层上同调，给出沿Fargues-Scholze的$\mathrm{Bun}_G$的Harder-Narasimhan分层黏合素p挠层的方法，并在$G=\operatorname{GL}_2$时明确计算了几何常数项函子在特殊点的像。

2025-11-14math.AGmath.NTmath.RT

Spectral action in Betti Geometric Langlands

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 corr…

2019-05-10math.AGmath.RT

On the Ramanujan conjecture for automorphic forms over function fields I. Geometry

Let $G$ be a split semisimple group over a function field. We prove the temperedness at unramified places of automorphic representations of $G$, subject to a local assumption at one place, stronger than supercuspidality, and assuming the existence of cyclic base change with good properties. Our method relies on the geometry of $\operatorname{Bun}_G$. It is independent of the work of Lafforgue on the global Langlands correspondence.

2020-09-27math.AGmath.NTmath.RT

幂零锥上凝聚层的Langlands对偶实现

A Langlands dual realization of coherent sheaves on the nilpotent cone

本文证明了幂零锥形式邻域上的等变拟凝聚层与环路群上的Steinberg-Whittaker D-模之间的幺半群等价，并推广至仿射Hecke范畴的谱与自守实现，证实了Bezrukavnikov的猜想。

2023-10-16math.AGmath.RT

有限域上曲线的平方零扩张的自守函数

Automorphic functions for square-zero extensions of curves over finite fields

该研究针对有限域上曲线的平方零扩张，推广了PGL₂的自守函数相关结果，证明了PGL₃下某猜想的新案例，还确定了对应球面尖与赫克有限函数的最优支撑界。

2026-08-04math.AGmath.NTmath.RT

曲线上的亚辛丛模空间与Theta层

Moduli of metaplectic bundles on curves and Theta-sheaves

本研究在几何朗兰兹纲领框架下，引入曲线上亚辛丛的代数栈及其局部版本，定义亚辛群Hecke代数的范畴版本并证明相应Satake等价，还构造出对应Weil表示的Hecke本征层，给出Weil表示的几何解释。

2005-07-26math.AGmath.RT

Constructible Sheaves and the Fukaya Category

Let $X$ be a compact real analytic manifold, and let $T^*X$ be its cotangent bundle. Let $Sh(X)$ be the triangulated dg category of bounded, constructible complexes of sheaves on $X$. In this paper, we develop a Fukaya $A_\infty$-category $Fuk(T^*X)$ whose objects are exact, not necessarily compact Lagrangian branes in the cotangent bundle. We write $Tw Fuk(T^*X)$ for the $A_\infty$-triangulated envelope of $Fuk(T^*X)$ consisting of twisted complexes of Lagrangian branes. Our main result is that $Sh(X)$ quasi-embeds into $Tw Fuk(T^*X)$ as an $A_\infty$-category. Taking cohomology gives an embe…

2008-06-16math.GTmath.RTmath.SG