D. Arinkin, D. Gaitsgory, D. Kazhdan, S. Raskin, N. Rozenblyum, Y. Varshavsky
We identify the category Shv_{Nilp}(Bun_G) of automorphic sheaves with nilpotent singular support with its own dual, and relate this structure to the Serre functor on Shv_{Nilp}(Bun_G) and miraculous duality.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We axiomatize the algebraic properties of toroidal compactifications of (mixed) Shimura varieties and their automorphic vector bundles. A notion of generalized automorphic sheaf is proposed which includes sheaves of (meromorphic) sections of automorphic vector bundles with prescribed vanishing and pole orders along strata in the compactification, and their quotients. These include, for instance, sheaves of Jacobi forms and weakly holomorphic modular forms. Using this machinery we give a short and purely algebraic proof of the proportionality theorem of Hirzebruch and Mumford.
Perverse sheaves with nilpotent singular support on the stack of coherent sheaves on an elliptic curve
本文通过定义椭圆曲线上凝聚层模栈的分层，显式描述了全局幂零锥的不可约分支，建立了球面 Eisenstein 层与这些分支之间的双射，并参数化了具有幂零奇异支集的反常层。
We define a new geometric object--the stack of local systems with restricted variation. We formulate a version of the categorical geometric Langlands conjecture that makes sense for any constructible sheaf theory (such as l-adic sheaves). We formulate a conjecture that makes precise the connection between the category of automorphic sheaves and the space of automorphic functions.
We prove that the trace of the Frobenius endofunctor of the category of automorphic sheaves with nilpotent singular support maps isomorphically to the space of unramified automorphic functions, settling a conjecture from [AGKRRV1]. More generally, we show that traces of Frobenius-Hecke functors produce shtuka cohomologies.
In characteristic zero, Bezrukavnikov has shown that the category of perverse coherent sheaves on the nilpotent cone of a simply connected semisimple algebraic group is quasi-hereditary, and that it is derived-equivalent to the category of (ordinary) coherent sheaves. We prove that graded versions of these results also hold in good positive characteristic.
Character sheaves in characteristic $p$ have nilpotent singular support
本研究引入驯顺反常层范畴并研究其性质，证明任意特征下特征层具有幂零奇异支集，将相关学者的工作部分推广到正特征领域。
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,…
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…
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 …
In math.RT/0201073 we constructed an equivalence between the derived category of equivariant coherent sheaves on the cotangent bundle to the flag variety of a simple algebraic group and a (quotient of) the category of constructible sheaves on the affine flag variety of the Langlands dual group. Below we prove certain properties of this equivalence; provide a similar ``Langlands dual'' description for the category of equivariant coherent sheaves on the nilpotent cone; and deduce some conjectures by Lusztig and Ostrik.
We propose a geometric interpretation of the classical Rankin-Selberg method for GL(n) in the framework of the geometric Langlands program. We show that the geometric Langlands conjecture for an irreducible unramified local system $E$ of rank $n$ on a curve implies the existence of automorphic sheaves corresponding to the universal deformation of $E$. Then we calculate the `scalar product' of two automorphic sheaves attached to this universal deformation.
A Langlands dual realization of coherent sheaves on the nilpotent cone
本文证明了幂零锥形式邻域上的等变拟凝聚层与环路群上的Steinberg-Whittaker D-模之间的幺半群等价，并推广至仿射Hecke范畴的谱与自守实现，证实了Bezrukavnikov的猜想。
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…
In math.AG/0005152 a certain $t$-structure on the derived category of equivariant coherent sheaves on the nil-cone of a simple complex algebraic group was introduced (the so-called perverse $t$-structure corresponding to the middle perversity). In the present note we show that the same $t$-structure can be obtained from a natural quasi-exceptional set generating this derived category. As a consequence we obtain a bijection between the sets of dominant weights and pairs consisting of a nilpotent orbit, and an irreducible representation of the centralizer of this element, conjectured by Lusztig …
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 …
Graded Hecke algebras and equivariant constructible sheaves on the nilpotent cone
本文证明几何分次 Hecke 代数可实现为幂零锥上等变半单纯层复形的自同态代数，并将相应等变可构造层导出范畴等价描述为分次 Hecke 代数直和上的 DG 模导出范畴，从而给出其范畴化。
Let $(\mathcal{E}, ϕ)$ be a rank two co-Higgs vector bundles on a Kähler compact surface $X$ with $ϕ\in H^0(X,End(\mathcal{E})\otimes T_X)$ nilpotent. If $(\mathcal{E}, ϕ)$ is semi-stable, then one of the following holds up to finite \' etale cover: $i)$ $X$ is uniruled. $ii)$ $X$ is a torus and $(\mathcal{E}, ϕ)$ is strictly semi-stable. $iii)$ $X$ is a properly elliptic surface and $(\mathcal{E}, ϕ)$ is strictly semi-stable.
Geometric Langlands in positive characteristic from characteristic zero
本文在正特征域上证明了几何朗兰兹猜想的部分结论，即幂零奇异支撑的自守层范畴与朗兰兹参数栈部分分量上的ind-凝聚层范畴等价。
Automorphic gluing functor in Betti Geometric Langlands
本文研究曲线结点退化中的幂零层自同构范畴，通过标记点鼓出射影直线解释仿射Hecke算子，并构造连接结点曲线与光滑化自同构范畴的粘合函子。
Coherent sheaves, sheared D-modules, and Hochschild cochains
本文证明拟光滑概形上的归纳凝聚层范畴与其移位余切丛上的剪切D-模范畴之间存在自然的Morita等价，并推广到拟光滑Artin叠，从而为函数域上非分歧自守函数在算术Arthur参数叠上的局部化提供了精确表述。
We consider generalizations of the Springer resolution of the nilpotent cone of a simple Lie algebra by replacing the cotangent bundle with certain other vector bundles over the flag variety. We show that the analogue of the Springer sheaf has as direct summands only intersection cohomology sheaves that arise in the Springer correspondence. The fibers of these general maps are nilpotent Hessenberg varieties, and we build on techniques established by De Concini, Lusztig, and Procesi to study their geometry. For example, we show that these fibers have vanishing cohomology in odd degrees. This le…
Let $G=Sp_{2n}(\mathbb{C})$, and $\mathfrak{N}$ be Kato's exotic nilpotent cone. Following techniques used by Bezrukavnikov in [5] to establish a bijection between $Λ^+$, the dominant weights for a simple algebraic group $H$, and $\textbf{O}$, the set of pairs consisting of a nilpotent orbit and a finite-dimensional irreducible representation of the isotropy group of the orbit, we prove an analogous statement for the exotic nilpotent cone. First we prove that dominant line bundles on the exotic Springer resolution $\widetilde{\mathfrak{N}}$ have vanishing higher cohomology, and compute their g…
We define and study an exotic t-structure on the bounded derived category of equivariant coherent sheaves on partial resolutions of the nilpotent cone.
A model for the E3 fusion-convolution product of constructible sheaves on the affine Grassmannian
本文将复简约群球面Hecke范畴的卷积乘积提升为∞范畴中的左t正合E₃-幺半结构，利用Beilinson–Drinfeld格拉斯曼流形等工具完成内蕴自守侧的构造。
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…
An intrinsic construction of the tensor category of finite dimensional representations of the Langlands dual group of G in terms of a tensor category of perverse sheaves on the loop group, LG, is given. The construction is applied to the study of the topology of the affine Grassmannian of G and to establishing a Langlands type correspondence for "automorphic" sheaves on the moduli space of G-bundles.
We construct a weak representation of the category of framed affine tangles on a disjoint union of triangulated categories ${\mathcal D}_{2n}$. The categories we use are that of coherent sheaves on Springer fibers over a nilpotent element of $sl_{2n}$ with two equal Jordan blocks. This representation allows us to enumerate the irreducible objects in the heart of the exotic $t$-structure on ${\mathcal D}_{2n}$ by crossingless matchings of $2n$ points on a circle. We also describe the algebra of endomorphisms of the direct sum of the irreducible objects.
This note is mostly an exposition of an unpublished result of Deligne, which introduces an analogue of perverse $t$-structure on the derived category of coherent sheaves on a Noetherian scheme with a dualizing complex. Construction extends to the category of coherent sheaves equivariant under an action of an algebraic group; though proof of the general statement in this case does not require new ideas, it provides examples (such as sheaves on the nilpotent cone of a semi-simple group equivariant under the adjoint action) where construction of coherent "intersection cohomology" sheaves works.
On singular supports of Lusztig's perverse sheaves
本文证明了Lusztig关于其perverse sheaves的微局部刻画猜想：无环有限quiver的等变简单perverse sheaf是Lusztig的，当且仅当其奇异支撑包含于Lusztig的Lagrangian簇（即preprojective代数的幂零表示簇）。
Components of the Moduli space of sheaves on a K3 surface are parametrized by a lattice; the (algebraic) Mukai lattice. Isometries of the Mukai lattice often lift to symplectic birational isomorphisms of the collection of components. An example of such a birational isomorphism is the Abel-Jacobi map relating the Hilbert scheme of g points on a K3 of degree 2g-2 to an integrable system: the union of Jacobians of hyperplane sections (curves) of genus g. The main results are: 1) We construct a stratified version of a Mukai elementary transformation modeled after dual pairs of Springer resolutions…
Let X be a smooth projective curve over an algebraically closed field of characteristic >2. Let Bun_{Mp_2} be the stack of metaplectic bundles on X of rank 2. In this paper we study the derived category of genuine l-adic sheaves on Bun_{Mp_2} in the framework of the quantum geometric Langlands. We describe the corresponding Whittaker category, develop the theory of geometric Eisenstein series and calculate the most non-degenerate Fourier coefficients of these Eisenstein series. The existing constructions of automorphic sheaves for GL_n are based on using Whittaker sheaves. Our calculations lea…
Thick subcategories on weighted projective curves and nilpotent representations of quivers
本文研究加权射影曲线的导出范畴中厚子类别的结构，证明任何厚子类别要么等价于某些旗形的 nilpotent 表示导出范畴，要么是 torsion sheaves 的正交补，同时探讨了加权射影线的 admissible 子类别的生成条件及 Jordan-Holder 性质。
Some Singular Examples of Relative Langlands Duality
本文通过两个奇异空间对（来自幂零矩阵锥和张量锥）检验相对 Langlands 对偶，并关联到 Ginzburg 与 Garrett 的 Rankin--Selberg 积分。
Nilpotent cohomological Hall algebras of surfaces
本文利用上同调Hall代数理论，系统研究沿光滑曲面上固定曲线修改凝聚层的上同调Hecke算子，构造了具有集合支撑的凝聚层模栈，并定义了其幂零上同调Hall代数。
The Langlands formula and perverse sheaves
针对复约化李代数相关的反常层范畴$\text{Perv}(W \backslash \frak{h})$，构造了由标准抛物子代数标记对象的范畴$\boldsymbol{\frak{C}}$，实现该反常层范畴与函子范畴的等价，并建立其与朗兰兹公式的对应关系。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。