On the excursion algebra

Dennis Gaitsgory; Kevin Lin; Wyatt Reeves

REVIEW 1 major objections 4 minor 44 references

On the excursion algebra

T0 review · 1 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves that for a scheme X over a finite field and a reductive group G, the excursion algebra Exc(X,G) is canonically isomorphic to the algebra of functions on the Frobenius-fixed semisimple locus of the stack of arithmetic local

desk verdict Real main theorem — excursion algebra equals functions on the Frobenius-fixed semisimple locus — with clean new consequences, but the proof hinges on a one-paragraph citation ([LLaf, Cor. VII.8]) whose exact hypotheses are never checked; referee it, don't desk-reject it. read the letter →

arxiv 2602.11343 v2 pith:MBSQRGF6 submitted 2026-02-11 math.AG

Dennis Gaitsgory , Kevin Lin , Wyatt Reeves This is my paper

classification math.AG MSC 14D2314F2011R3914G17

keywords excursionalgebraarithmeticlocalsystemsWeilsheavessemisimplelocusreductivegroupHeckeindependenceofℓautomorphicforms

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper studies the excursion algebra Exc(X,G)—the global functions on the stack of arithmetic G-local systems on a finite-field scheme X—and proves that it is computed entirely by the semisimple locus. The main theorem identifies Exc(X,G) with the functions on the Frobenius-fixed semisimple part of the stack. From this single identification, each connected component of the algebra becomes an invariant ring O(G_α)/ /Ad_g(G_α), hence reduced and normal; the algebra is a finite module over every local Hecke algebra; for G=GL_n the global Hecke algebra maps onto it; and for smooth X there is a canonical rational model over Q independent of ℓ. These are exactly the structural facts needed to use the algebra in automorphic-function applications.

What carries the argument

The central mechanism is a contraction of Shv^relev(X), the category of relevant Weil sheaves, by the monoid A^1. The paper first proves a general principle (Theorem 1.1.7): giving an A^1-action on a category is the same as giving a Z-invariant filtration on its G_m-equivariantization. Applying this to the weight filtration on integral-weight Weil sheaves produces the contraction, whose attracting category Shv^{relev,0}(X) is the semisimple category of weight-zero sheaves—the semi-simplification of Shv^relev(X). This contraction descends to the stack of relevant local systems, and the Frobenius fixed points of that contraction are the arithmetic local systems studied by the paper.

What would settle it

A test is to look for an irreducible lisse Weil sheaf on a smooth curve over a finite field whose Frobenius eigenvalues, at some closed point, cannot be written as a Weil number times a single constant independent of the point. Such a sheaf would violate the factorization input used to build the contraction, and would thereby falsify Theorem 3.7.2's conclusion that global functions on the arithmetic stack equal those on the semisimple locus. A direct stack-theoretic check would be to compute Γ(LS^arithm_G(X), O) on a Frobenius-fixed component with a nontrivial unipotent part and see whether fu

Watch

Extended reading notes

Core claim

The paper's main theorem is Theorem 3.7.2: for a connected scheme X of finite type over F_q and a reductive group G, the restriction map from the global functions on the arithmetic local-system stack to the global functions on its Frobenius-fixed semisimple locus is an isomorphism. The proof builds an action of the affine line A^1 on the category of relevant Weil sheaves—sheaves whose irreducible perverse pieces are invariant under some power of Frobenius—that contracts the category to the semisimple category of weight-zero sheaves. Functoriality carries this contraction to the stack of relevant local systems, contracting it onto the semisimple locus. After passing to Frobenius fixed points,

Load-bearing premise

The load-bearing premise is the cited, unproved fact that every irreducible Weil perverse sheaf is a tensor product of an integral-weight Weil sheaf and a rank-one Weil sheaf with Weil-number Frobenius eigenvalues; if any irreducible Weil sheaf escapes this shape, the contraction construction and the main isomorphism do not follow.

Editorial extensions

If this is right

Exc(X,G) splits as a product over connected components of invariant rings O(G_α)/ /Ad_g(G_α), each of which is reduced and normal.
Every component of Exc(X,G) is a finite module over each local Hecke algebra H_x(G), so the algebra is finitely generated there.
For G=GL_n, the global Hecke algebra H_X(G) surjects onto Exc(X,G); the proof uses density of Frobenius conjugacy classes and trace comparisons.
For smooth X, a canonical Q-algebra Exc(X,G)_Q exists with Q_ℓ ⊗_Q Exc(X,G)_Q ≅ Exc(X,G) for every ℓ≠p, and the Hecke operators are rational; for GL_n this rational structure is unique.
The action of the excursion algebra on automorphic functions factors through this arithmetic version, so the structural results apply to the automorphic side.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the theorem is right, global functions on the arithmetic local-system stack cannot see unipotent or non-semisimple variation: the full stack and its semisimple locus have identical function algebras, stronger than the usual relation of a stack to its coarse space.
The whole construction rests on a single cited factorization statement about irreducible Weil perverse sheaves; a counterexample to that statement would not just leave a gap but would remove the contraction and with it the main theorem.
The A^1-contraction template may be reusable: any moduli problem whose category of sheaves admits a weight filtration and whose Frobenius action on functions is trivial would acquire the same 'functions come from the semisimple part' phenomenon.
For general G the rational model is, in the paper's own words, 'rationality in name only'—it exists but is not controlled by Hecke operators; making it useful would require a substitute for the GL_n surjectivity, perhaps through pro-semisimple completions of the fundamental group.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Two things to know. This is a serious paper with a real main theorem: Exc(X,G), the algebra of functions on the stack of arithmetic G-local systems, is canonically isomorphic to functions on the Frobenius-fixed semisimple locus (Theorem 3.7.2). If it holds, each factor is O(G_α)//Ad_g(G_α), hence reduced and normal, finite over local Hecke algebras; for GL_n the global Hecke algebra surjects onto it, and for smooth X there is a canonical Q-form independent of ℓ. None of that was in VLaf, Xue, Dr, or AGKRR V. The novelty is genuine.

What is good: the A^1-contraction machinery (Sects. 1–2) is carried out in the text, not black-boxed. Theorem 1.1.7 (filtration ↔ A^1-comodule) is proved in detail, and the group-theoretic Proposition 4.7.4 — a twisted Vinberg — has a complete five-step proof. The GL_n surjectivity proof via Chebotarev is a clean upgrade of Laumon's argument, with credit to Lafforgue. The ℓ-independence section builds honestly on Drinfeld's rational model, and the authors flag that for general G it is 'rationality in name only' (footnote 12). The paper is unusually clear about what is imported versus proved.

The soft spot, and it is the load-bearing one: Theorem 2.5.8, the weight-factorization statement that every irreducible Weil perverse sheaf is F0 ⊗ ℓ with F0 of Weil-number type and ℓ an arbitrary line in Shv^Weil(pt). The whole contraction, and therefore 3.7.2, depends on it. The proof is one paragraph: GM extension reduces to the lisse case on a locally closed smooth U, then 'follows from [LLaf, Cor. VII.8]' with a correction in [De3]. Two things need checking. First, [LLaf] is fundamentally a curve paper (chtoucas), and the reduction from arbitrary smooth finite-type U to a curve is not justified in the text; restriction to a curve does not obviously globalize the twist parameter. Second, ℓ here is only required to be a line in Shv^Weil(pt) — an arbitrary scalar Frobenius twist — not a Weil-number twist. The citation must be verified at exactly that weaker level. This is probably fillable, but as written it is a missing check on the hinge, not a proof.

Minor: one step in the ℓ-independence proof (the lift of σ to an étale local system on Drinfeld's group, §5.7.8) is asserted 'well known' without a reference; and the paper leans on the AGKRR V preprint for the definition of LS^arithm and Theorem 24.1.4. The contraction idea is traced to the third author's thesis and a forthcoming paper [LR] — provenance worth noting, not a flaw, since the needed theorems are proved here.

Verdict: the central argument holds up as far as I can see; the geometry of the contraction is convincing and the structural payoffs are derived cleanly. The one citation whose hypotheses are not verified is the difference between 'convincing' and 'fully demonstrated.' Send it to a serious referee — this deserves refereeing, not a desk reject. The referee should check [LLaf, Cor. VII.8]'s exact hypotheses and the §5.7.8 lift. For anyone working on global Langlands over function fields, excursion operators, or independence of ℓ, it is exactly the paper they want.

Referee Report

1 major / 4 minor

Summary. The paper studies the excursion algebra Exc(X,G) of a scheme X over F_q with a reductive group G, defined as the algebra of global functions on the stack of arithmetic G-local systems on X. Its central theorem (Thm 3.7.2) asserts that the restriction map to the Frobenius-fixed semisimple locus is an isomorphism, obtained by constructing an A^1-contraction on a category of 'relevant' Weil sheaves. From this isomorphism the authors deduce structural properties of Exc(X,G): each connected component is classical, integral, and normal; the whole algebra is a product of invariant-theoretic rings O_{G_α//Ad_g(G_α)}; it is finitely generated over each local Hecke algebra; for G=GL_n the global Hecke algebra surjects onto it; and, for smooth X, there is a canonical Q-form independent of ℓ. The paper is written as a sequel to [AGKRR V] and depends heavily on that work, on Lafforgue's [VLaf]/[LLaf], and on Drinfeld's [Dr].

Significance. If correct, the main theorem gives a very clean and powerful description of the excursion algebra in complete generality, not just for curves. The contraction mechanism in Sects. 1–3 is original, and the deduction of the structural properties from the semisimple-locus description is elegant. The group-theoretic finiteness statement (Prop. 4.7.4) has a complete, self-contained proof. The paper is also honest about its limitations, e.g., Remark 5.1.6 states that for general G the rational-structure result is 'rationality in name only.' The main risk is the unverified external input in Theorem 2.5.8, which is load-bearing for the entire contraction argument. If that input is confirmed in the required generality, the paper would be a major contribution to the geometric Langlands program.

major comments (1)

[§2.5.7 (Theorem 2.5.8)] This theorem is the single load-bearing external input: it gives the equivalence (2.12), which via Corollary 2.5.11 underlies the contraction Theorem 2.8.2 and hence Theorem 3.7.2. The proof is a one-paragraph reduction to the lisse case followed by an invocation of [LLaf, Cor. VII.8] (with [De3]). The hypotheses of the cited result are not stated. In particular, [LLaf] is concerned with curves over F_q, whereas the lisse sheaf here lives on an arbitrary locally closed smooth finite-type U⊂X; no reduction to the curve case is provided. Moreover, the theorem is asserted with an arbitrary line ℓ∈Shv^Weil(pt), i.e., an arbitrary Frobenius eigenvalue, not necessarily a Weil number; the citation must be verified at that level, since a weaker version with ℓ of Weil-number type does not suffice for the de-equivariantization used in (2.12). If Cor. VII.8 carries extra hypotheses (finite determin

minor comments (4)

[§3.3.2, §4.1.2] There are typographical slips: 'theclassical stackunderlying' (§3.3.2) and 'will notchange the notation' (§4.1.2). Please fix throughout.
[§2.5.7] The sentence 'Since the operation of Goresky-MacPherson extension preserves weights' would benefit from a reference or a brief argument for objects in Shv^Weil,loc.fin, not only for pure sheaves. The reduction to the lisse case is standard, but the weight preservation in this generality is not obvious.
[§3.7.12] Remark 3.7.12 gives a nice alternative proof of a key step; however, the notation [0]^* in (3.22) is introduced without a formal definition. Please clarify that it denotes the action of 0∈A^1 on global functions.
[§5.1.6] Remark 5.1.6 explicitly states that for general G the rational-structure result is 'rationality in name only.' This is an honest caveat, but the introduction (preamble item (5) and (6)) presents the rational form as a main result; consider adding a caveat there so readers are not misled.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular step in the derivation chain; the main isomorphism is proved from an A^1-contraction whose key input is an external weight-factorization theorem, not from the paper's own conclusion.

full rationale

I find no circular step in the paper's derivation. Theorem 3.7.2, the central isomorphism (0.1), is proved from the A^1-contraction of Section 2.8, and the later structural properties are deduced from that theorem rather than assumed. The main external dependency is Theorem 2.5.8, whose one-paragraph proof invokes [LLaf, Corollary VII.8] with the correction in [De3, Sect. 1.7-1.9] to factor irreducible Weil perverse sheaves as F0 ⊗ l. This is an external input from L. Lafforgue and Deligne, not a self-citation and not a restatement of the paper's target result; whether the cited result has the needed generality is a correctness/hypothesis-checking concern, not circularity. The definition of LS^restr_G(X) and Theorem 24.1.4 are imported from [AGKRR V], and [GR V]/[GKR V] are used for foundations; although [AGKRR V] shares authors with the present paper, it is not used to assert the isomorphism that is proved here, and the paper adds substantial independent content on top of that framework. The paper itself flags in Remark 5.1.6 that Theorem 5.1.2 is only 'rationality in name only' for general G; that is an explicitly admitted limitation of the rationality statement, not a circularity. Overall, no prediction reduces by construction to its own input, so the appropriate finding is no significant circularity, with the score reflecting the acknowledged self-citation weight in the foundational framework rather than any reduction in the argument.

Assumptions & free parameters 0 free parameters · 10 assumptions · 0 invented entities

No free parameters are fitted to data. The paper introduces several new categories and groups (Shv^relev, Shv^relev,0, Z^alg,wt, Z^alg,0, etc.) but all are defined canonically from the input data (X, G, ell); they are not speculative entities and carry no independent falsifiable handle beyond the theorems proved. The central claim rests on the external inputs listed as axioms, particularly the [LLaf] weight factorization and [AGKRR V]/[Dr] results.

assumptions (10)

domain assumption Six-functor sheaf theory on F_q-schemes satisfying the assumptions of §2.2.2 (totally compact generation and self-duality), with the ell-adic sheaf category as in [AGKRR V, §1.1].
This is the ambient setting for all sheaf categories; the paper does not prove it, citing [GR V] and [AGKRR V]. If this theory failed, Shv^relev(X) and the contraction would not exist.
domain assumption The prestack LS^restr_G(X) of G-local systems with restricted variation and its functoriality in the gentle Tannakian category, as in [AGKRR V, §1.4, §1.8].
LS^restr_G(X) and its Frob-fixed locus are the input of the excursion algebra; the paper imports their definition and basic finiteness (quotient of an affine scheme by a reductive group, [AGKRR V, Thm 24.1.4]) rather than re-proving them.
domain assumption Weight factorization for Weil sheaves: every irreducible object of Shv^Weil,loc.fin(X)^♡ is of the form F0 ⊗ ℓ with F0 ∈ Shv^Weil,wt(X)^♡ and ℓ a rank-one Weil sheaf (from [LLaf, Cor. VII.8] with the correction in [De3]).
Used in the proof of Theorem 2.5.8 to identify the 'relevant' category. This is the deepest structural input of the contraction; if it were false, the main isomorphism (0.1) would have no basis.
domain assumption Weil II weight bounds: for irreducible perverse sheaves F1,F2, the generalized Frobenius eigenvalues on Ext^i(Shv(X)) are Weil numbers of weight ≥ i ([BBD], [De2]).
Used in Proposition 2.7.5 to prove the semi-simplicity of Shv^relev,0(X), which identifies the attracting subcategory.
standard math Chebotarev density over global function fields: Frobenius conjugacy classes of closed points are dense in the Galois group, and trace identities can be detected on Frobenius elements.
Invoked in §4.4.7 and §4.5 to prove surjectivity of the global Hecke algebra to Exc(X,GL_n).
domain assumption Drinfeld's theorem on the pro-semisimple completion: there is a Gal(Q/Q)-equivariant rational model Gal-Drinf^arithm(X)_Q with rational Frobenius elements ([Dr, Thm 1.4.1]).
This is the engine of §5: without it there would be no rational model for Weil-Drinf(X), and hence no ell-independence theorem.
domain assumption Finiteness of connected components of LS^arithm_G(X) once ramification is bounded, and finiteness of Galois representations of function fields over finite fields after Deligne ([EK]).
Used in §4.1.3 to make the total excursion algebra a finite product, and in §5.7.8 to pass from one component to all of Exc.
domain assumption V. Lafforgue's description of the discrete excursion algebra Exc(Weil(X),G) and the fact that its excursion operators span the algebra ([VLaf, Sect. 11]).
Used in §4.2-4.3 to connect the abstract Exc(X,G) to V. Lafforgue's excursion operators and to prove generation statements.
standard math Equivariantization/de-equivariantization equivalence QCoh(H)-comod ≃ Rep(H)-mod for pro-algebraic groups H (e.g., [GR V], [GaRo]).
This is the formal backbone of Theorem 1.1.7 and of the relations between Shv categories and Rep(Z^alg,wt).
domain assumption Vinberg's finiteness theorem for G//Ad(G) under inclusions of reductive subgroups (identity automorphism case of Proposition 4.7.4); the paper generalizes it to φ-twisted conjugation.
Invoked in §0.2.3 and used as the base of the finiteness proof in §4.8.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the excursion algebra." pith.science (2026). https://pith.science/paper/MBSQRGF6

@misc{pith2026260211343,
  author       = {Pith},
  title        = {Pith review of: On the excursion algebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MBSQRGF6}},
  note         = {Machine review of arXiv:2602.11343}
}

read the original abstract

The excursion algebra associated to a scheme X over a finite field and a reductive group G is the algebra of global functions on the stack of arithmetic G-local systems on X. When X is a curve, this algebra acts on the space of automorphic functions. In this paper we establish some basic properties of this algebra.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

44 extracted references · 8 linked inside Pith

[1]

Arinkin and D

D. Arinkin and D. Gaitsgory, Singular support of coherent sheaves, and the Geometric Langlands Conjecture ,
[2]

Arinkin and D

D. Arinkin and D. Gaitsgory, The category of singularities as a crystal and global Springer fibers ,
[3]

Arinkin, D.Gaitsgory, D

D. Arinkin, D.Gaitsgory, D. Kazhdan, S. Raskin, N. Rozenblyum and Y. Varshavsky, The stack of local systems with restricted variation and geometric Langlands theory with nilpotent singular support , arXiv:2010.01906

arXiv 2010
[4]

Arinkin, D.Gaitsgory, D

D. Arinkin, D.Gaitsgory, D. Kazhdan, S. Raskin, N. Rozenblyum and Y. Varshavsky,
[5]

Beilinson, Constructible sheaves are holonomic , Selecta Mathematica 22 (2016), 1797--1819

A. Beilinson, Constructible sheaves are holonomic , Selecta Mathematica 22 (2016), 1797--1819

2016
[6]

Ben-Zvi, D

D. Ben-Zvi, D. Nadler and A. Preygel, A spectral incarnation of affine character sheaves ,
[7]

Beilinson, J

A. Beilinson, J. Bernstein and P. Deligne, Faisceaux pervers , Ast\'erisque 100 , Soci\'et\'e Math\'ematique de France (1982)/

1982
[8]

Beraldo, K

D. Beraldo, K. Lin, W. Reeves, Coherent sheaves, sheared D-modules and Hochschild cochains ,

Show all 44 references

[9]

Dhillon, Y

G. Dhillon, Y. W. Li, Z. Yun and X. Zhu, Endoscopy for metaplectic affine Hecke categories , arXiv:2507.16667

arXiv
[10]

Dhillon, Y

G. Dhillon, Y. Varshavsky and D. Yang, Refined categorical Moy-Prasad theory and the local geometric Langlands conjecture ,
[11]

Eteve, Free monodromic categories and their categorical traces , arXiv:2412.13323

A. Eteve, Free monodromic categories and their categorical traces , arXiv:2412.13323
[12]

Fargues and P

L. Fargues and P. Scholze, Geometrization of the local Langlands correspondence , arXiv:2102.13459

arXiv
[13]

Gaitsgory, The local and global versions of the Whittaker category , PAMQ 16 (2020), 775--904

D. Gaitsgory, The local and global versions of the Whittaker category , PAMQ 16 (2020), 775--904

2020
[14]

Gleason, A

I. Gleason, A. Ivanov, L. Jo\ ao, L. Hamann and K. Zou, On the schematic and analytic constructions of the local Langlands category ,
[15]

Esnault and M

H. Esnault and M. Kertz, A finiteness theorem for Galois representations of function fields over finite fields (after Deligne) , arXiv:1208.0128

arXiv
[16]

Deligne, Appendix to Expos\'e XXI , SGA 7 , LNM 340 (1973)

P. Deligne, Appendix to Expos\'e XXI , SGA 7 , LNM 340 (1973)

1973
[17]

Deligne, La conjecture de Weil-II , Publ

P. Deligne, La conjecture de Weil-II , Publ. Math. IHES 52 (1980), 137--252

1980
[18]

Deligne, Finitude de l’extension de engendr\'ee par des traces de Frobenius, en caract\'eristique finie , Moscow Mathematical Journal 12 (2012), 497--514

P. Deligne, Finitude de l’extension de engendr\'ee par des traces de Frobenius, en caract\'eristique finie , Moscow Mathematical Journal 12 (2012), 497--514

2012
[19]

Drinfeld, On the pro-semisimple completion of the fundamental group of a smooth variety over a finite field , Advances in Math 327 (2018), 708--788

V. Drinfeld, On the pro-semisimple completion of the fundamental group of a smooth variety over a finite field , Advances in Math 327 (2018), 708--788

2018
[20]

Gaitsgory, D

D. Gaitsgory, D. Kazhdan, N. Rozenblyum and Y. Varshavsky, A toy model for the Drinfeld-Lafforgue shtuka construction ; Indagationes Mathematicae 33 (2022), 39--189; also arXiv:1908.05420

2022 arXiv
[21]

Gaitsgory and S

D. Gaitsgory and S. Raskin, Proof of the geometric Langlands conjecture I , arXiv:2405.03599
[22]

Gaitsgory and S

D. Gaitsgory and S. Raskin, Geometric Langlands in positive characteristic from characteristic zero , arXiv:2508.02237

arXiv
[23]

Gaitsgory and N

D. Gaitsgory and N. Rozenblyum, A study in derived algebraic geometry, Vol. 1: Correspondences and Duality , Mathematical surveys and monographs 221 (2017), AMS, Providence, RI

2017
[24]

Gaitsgory and N

D. Gaitsgory and N. Rozenblyum, A study in derived algebraic geometry, Vol. 2: Deformations, Lie Theory and Formal Geometry , Mathematical surveys and monographs 221 (2017), AMS, Providence, RI

2017
[25]

Gaitsgory, N

D. Gaitsgory, N. Rozenblyum and Y. Varshavsky, Some applications of higher categorical trace I: the definition of AGCat , arXiv:2512.21726
[26]

Ho and Penghui Li, Revisiting mixed geometry , arXiv:2202.04833

Quoc P. Ho and Penghui Li, Revisiting mixed geometry , arXiv:2202.04833
[27]

Gaitsgory and Y

D. Gaitsgory and Y. Varshavsky, Local terms for the categorical trace ,
[28]

Lin and W

K. Lin and W. Reeves
[29]

Kondyrev and A

G. Kondyrev and A. Prihodko, Categorical proof of holomorphic Atiyah-Bott formula , Journal of the Institute of Mathematics of Jussieu,
[30]

Lafforgue, Chtoucas de Drinfeld et correspondance de Langlands , Invent

L. Lafforgue, Chtoucas de Drinfeld et correspondance de Langlands , Invent. Math. 147 (2002), 1--241

2002
[31]

Lafforgue, Chtoucas pour les groupes r\'eductifs et param\'etrisation de Langlands globale , JAMS 31 (2018), 719--891

V. Lafforgue, Chtoucas pour les groupes r\'eductifs et param\'etrisation de Langlands globale , JAMS 31 (2018), 719--891

2018
[32]

Lin and W

K. Lin and W. Reeves. Unramified Eisenstein series and the trace of Frobenius , forthcoming
[33]

Laumon, Transformation de Fourier, constantes d’\'equations fonctionnelles et conjecture de Weil , Publ

G. Laumon, Transformation de Fourier, constantes d’\'equations fonctionnelles et conjecture de Weil , Publ. Math. IHES 65 (1987), 131--210

1987
[34]

Procesi, The invariant theory of n × n matrices , Advances in Math

C. Procesi, The invariant theory of n × n matrices , Advances in Math. 19 (1976), 306--381

1976
[35]

Raskin, Conjectures of Arthur and Ramanujan for unramified automorphic forms: an announcement , ICM-2026

S. Raskin, Conjectures of Arthur and Ramanujan for unramified automorphic forms: an announcement , ICM-2026

2026
[36]

Reeves, Geometric Arthur parameters , https://dash.harvard.edu/handle/1/42719740

W. Reeves, Geometric Arthur parameters , https://dash.harvard.edu/handle/1/42719740
[37]

Scholze, Geometrization of the local Langlands correspondence, motivically , arXiv:2501.07944

P. Scholze, Geometrization of the local Langlands correspondence, motivically , arXiv:2501.07944
[38]

E. B. Vinberg, On invariants of a set of matrices , Journal of Lie Theory 6 (1996), 249--269

1996
[39]

Xue, Cohomology with integral coefficients of stacks of shtukas , arXiv:2001.05805

C. Xue, Cohomology with integral coefficients of stacks of shtukas , arXiv:2001.05805

2001 arXiv
[40]

Laumon, Correspondance de Langlands géométrique pour les corps de fonctions , Duke Math

G. Laumon, Correspondance de Langlands géométrique pour les corps de fonctions , Duke Math. J. 54 (1987), 309--359

1987
[41]

Nadler and Z

D. Nadler and Z. Yun, Spectral action in Betti geometric Langlands, Israel Journal of Mathematics , 232 (2019), 299--349

2019
[42]

Stefanich, Categorification of sheaf theory , available at https://gstefanich.github.io/

G. Stefanich, Categorification of sheaf theory , available at https://gstefanich.github.io/
[43]

Zhu, Coherent sheaves on the stack of Langlands parameters , arXiv:2020.02998

X. Zhu, Coherent sheaves on the stack of Langlands parameters , arXiv:2020.02998

2020
[44]

Zhu, Tame categorical local Langlands correspondence , forthcoming

X. Zhu, Tame categorical local Langlands correspondence , forthcoming. arXiv:2504.07482

arXiv

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.

[1] [1]

Arinkin and D

D. Arinkin and D. Gaitsgory, Singular support of coherent sheaves, and the Geometric Langlands Conjecture ,

[2] [2]

Arinkin and D

D. Arinkin and D. Gaitsgory, The category of singularities as a crystal and global Springer fibers ,

[3] [3]

Arinkin, D.Gaitsgory, D

D. Arinkin, D.Gaitsgory, D. Kazhdan, S. Raskin, N. Rozenblyum and Y. Varshavsky, The stack of local systems with restricted variation and geometric Langlands theory with nilpotent singular support , arXiv:2010.01906

arXiv 2010

[4] [4]

Arinkin, D.Gaitsgory, D

D. Arinkin, D.Gaitsgory, D. Kazhdan, S. Raskin, N. Rozenblyum and Y. Varshavsky,

[5] [5]

Beilinson, Constructible sheaves are holonomic , Selecta Mathematica 22 (2016), 1797--1819

A. Beilinson, Constructible sheaves are holonomic , Selecta Mathematica 22 (2016), 1797--1819

2016

[6] [6]

Ben-Zvi, D

D. Ben-Zvi, D. Nadler and A. Preygel, A spectral incarnation of affine character sheaves ,

[7] [7]

Beilinson, J

A. Beilinson, J. Bernstein and P. Deligne, Faisceaux pervers , Ast\'erisque 100 , Soci\'et\'e Math\'ematique de France (1982)/

1982

[8] [8]

Beraldo, K

D. Beraldo, K. Lin, W. Reeves, Coherent sheaves, sheared D-modules and Hochschild cochains ,