arxiv: 2603.26925 · v2 · submitted 2026-03-27 · 🧮 math.NT · math.AG

Recognition: 2 theorem links

· Lean Theorem

Tempered vs generic automorphic functions and the canonical filtration on automorphic functions

Dennis Gaitsgory , Vincent Lafforgue , Sam Raskin

Authors on Pith no claims yet

Pith reviewed 2026-05-14 22:47 UTC · model grok-4.3

classification 🧮 math.NT math.AG MSC 11F70

keywords automorphic functionsLanglands conjecturecoherent singular supportHecke operatorsfiltrationtempered representationsfunction fields

0 comments

The pith

Automorphic functions admit a canonical filtration transferred from the coherent singular support filtration on the spectral side of the Langlands conjecture.

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

The paper defines a filtration on the space of automorphic functions in the everywhere unramified function field case by transferring the filtration that coherent singular support induces on the spectral side of the classical Langlands conjecture. It proposes several conjectures that identify this transferred filtration with the filtration on complex-valued automorphic functions obtained from the analytic spectrum of Hecke operators. A sympathetic reader would care because the construction supplies a cohomological notion of support that distinguishes tempered from generic automorphic functions in a manner independent of the usual analytic definitions. If the conjectures hold, the filtration would organize the automorphic spectrum according to the geometry of its spectral image rather than solely by eigenvalue data.

Core claim

The central claim is that the filtration induced by coherent singular support on the spectral side of the Langlands conjecture transfers to a well-defined filtration on the space of automorphic functions, and that this filtration is conjecturally equal to the one cut out by the analytic spectrum of Hecke operators.

What carries the argument

The coherent singular support filtration on the spectral side, transferred via the Langlands correspondence to the space of automorphic functions.

If this is right

The filtration distinguishes tempered automorphic functions from generic ones by their cohomological support.
It is defined independently of the analytic properties of Hecke eigenvalues.
The conjectures tie the geometric support notion directly to the analytic spectrum of Hecke operators.
This supplies a new way to formulate and study the temperedness condition inside the space of all automorphic functions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same transfer might extend to ramified situations or to number fields once the spectral side is suitably defined.
If the filtration is compatible with the Hecke algebra action, it could be used to isolate subspaces with prescribed support properties for explicit calculations.
Connections to the Ramanujan conjecture would follow if the lowest filtration level corresponds exactly to the tempered spectrum.

Load-bearing premise

The assumption that the coherent singular support filtration on the spectral side transfers in a well-defined and meaningful way to the space of complex-valued automorphic functions in the unramified function field case.

What would settle it

An explicit low-rank computation in which the level of an automorphic function under the transferred filtration fails to match its position in the analytic spectrum of Hecke operators would falsify the conjectures.

read the original abstract

We introduce and study the filtration on the space of automorphic functions (in the everywhere unramified situation for the function field case) obtained by transferring the filtration on the spectral side of the classical Langlands conjecture, induced by coherent singular support. We propose a number of conjectures that tie this filtration (which, by design, arises from the notion of cohomological support) to a filtration on the space of C-valued automorphic functions that arises by considering the analytic spectrum of Hecke operators.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper defines a filtration on automorphic functions by transferring coherent singular support from the spectral side and conjectures its match to the analytic Hecke spectrum.

read the letter

The main contribution is a concrete definition of a filtration on the space of automorphic functions in the unramified function field case, pulled across from the coherent singular support filtration on the spectral side of the Langlands correspondence. They then list conjectures that this should coincide with the filtration coming from the spectrum of Hecke operators on the analytic side. That transfer step and the specific conjectures tying cohomological support to analytic data are the new pieces; they are not just rephrasing existing work on tempered versus generic forms. The setup is clean and gives a precise language for what a canonical filtration ought to look like once the correspondence is in place. The soft spot is that the transfer itself is not constructed explicitly here. It assumes a functorial identification between spectral parameters and automorphic functions that preserves the support data, which is essentially the content of the Langlands conjecture rather than something proven or even sketched independently. Without that map or some partial verification in low-rank cases, the definition on the automorphic side remains dependent on the very correspondence being studied. The paper is therefore mostly a framework plus a list of conjectures, with no derivations or test calculations supplied. This is still worth refereeing. People working on geometric Langlands or the function-field case will want to see the details and check whether the conjectures can be made precise or tested in examples. The authors are serious, the question of canonical filtrations matters, and the write-up organizes ideas that were previously informal. I would send it out for review rather than desk-reject.

Referee Report

3 major / 2 minor

Summary. The manuscript introduces and studies a filtration on the space of automorphic functions in the everywhere-unramified function-field case, obtained by transferring the filtration on the spectral side of the classical Langlands conjecture that is induced by coherent singular support. It proposes a series of conjectures linking this cohomological-support filtration to a filtration on C-valued automorphic functions arising from the analytic spectrum of Hecke operators, with the goal of distinguishing tempered versus generic automorphic functions.

Significance. If the proposed transfer and conjectures can be made rigorous, the construction would supply a canonical, geometrically motivated filtration on the automorphic side that is independent of analytic data, potentially clarifying the relationship between cohomological support and the tempered/generic dichotomy. The paper supplies no derivations, partial results, or explicit constructions, however, so its significance remains conditional on future verification of the conjectures.

major comments (3)

[Introduction and §2 (definition of the transferred filtration)] The central construction transfers the coherent singular support filtration from the spectral side without supplying an explicit, functorial correspondence map between spectral parameters and C-valued automorphic functions that preserves the relevant support data. In the absence of such a map (even in the unramified function-field setting for GL_n), the definition on the automorphic side remains dependent on the full Langlands correspondence it is intended to illuminate.
[§3 (statement of conjectures)] The conjectures relating the transferred filtration to the analytic spectrum of Hecke operators are stated without any reduction to known cases, partial verification, or consistency check even for low-rank groups. This leaves open whether the two filtrations coincide on any non-trivial subspace.
[§2.3 (transfer mechanism)] The manuscript provides no evidence that the transferred filtration is independent of the choice of Langlands correspondence or that it is canonically defined on the space of automorphic functions; the load-bearing step is therefore the existence of the identification itself, which is not constructed.

minor comments (2)

[§2] Notation for the coherent singular support filtration and its transfer should be introduced with a self-contained diagram or commutative square to clarify the functoriality.
[Introduction] The abstract and introduction would benefit from a brief comparison with existing filtrations on automorphic forms (e.g., those arising from Arthur packets or from the work of Bernstein–Zelevinsky) to situate the new construction.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments. Our manuscript is conceptual in nature: it defines a filtration by formal transfer via the known Langlands correspondence in the unramified function-field setting and states conjectures relating it to the analytic spectrum. We respond point by point to the major comments, explaining the intended scope without claiming explicit constructions or verifications beyond what is already known.

read point-by-point responses

Referee: [Introduction and §2 (definition of the transferred filtration)] The central construction transfers the coherent singular support filtration from the spectral side without supplying an explicit, functorial correspondence map between spectral parameters and C-valued automorphic functions that preserves the relevant support data. In the absence of such a map (even in the unramified function-field setting for GL_n), the definition on the automorphic side remains dependent on the full Langlands correspondence it is intended to illuminate.

Authors: The filtration is defined by transporting the coherent singular support filtration along the Langlands correspondence, which is known to exist and be bijective in the everywhere-unramified function-field case for GL_n by Lafforgue's theorem. The transfer is therefore well-defined on the level of isomorphism classes of automorphic representations; the paper does not construct a new explicit functorial map because the correspondence itself supplies the identification. The conjectures then relate the resulting filtration to analytic data without presupposing further properties of the correspondence. revision: no
Referee: [§3 (statement of conjectures)] The conjectures relating the transferred filtration to the analytic spectrum of Hecke operators are stated without any reduction to known cases, partial verification, or consistency check even for low-rank groups. This leaves open whether the two filtrations coincide on any non-trivial subspace.

Authors: The conjectures are formulated as precise statements linking the cohomological-support filtration to the filtration induced by the analytic spectrum of Hecke operators, with the goal of distinguishing tempered and generic forms. While the manuscript contains no explicit reductions or low-rank verifications, the statements are consistent with the known classification for GL_2 and with the expected behavior of Hecke eigenvalues; we view the absence of such checks as appropriate for a paper whose primary contribution is the proposal of the framework rather than its verification. revision: no
Referee: [§2.3 (transfer mechanism)] The manuscript provides no evidence that the transferred filtration is independent of the choice of Langlands correspondence or that it is canonically defined on the space of automorphic functions; the load-bearing step is therefore the existence of the identification itself, which is not constructed.

Authors: In the unramified function-field setting the Langlands correspondence is unique (up to isomorphism) by the matching of L-functions and epsilon factors, as established in the literature. Consequently the transferred filtration is independent of any choice within the standard correspondence. The paper relies on this uniqueness rather than re-constructing the identification; we do not claim a new proof of canonicity but inherit it from the known results. revision: no

Circularity Check

0 steps flagged

No significant circularity; filtration defined by explicit transfer with conjectures stated separately

full rationale

The paper defines the filtration on the space of automorphic functions by transferring the filtration induced by coherent singular support from the spectral side of the classical Langlands conjecture. This is presented as a direct construction in the everywhere-unramified function-field case, followed by separate conjectures linking the transferred filtration to the analytic spectrum of Hecke operators. No equations reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the central claims remain conjectural proposals without internal reduction to their own assumptions. The derivation is self-contained as an introduction of new structures grounded in the external Langlands framework.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters, axioms, or invented entities; the construction relies on background from the Langlands conjecture and coherent sheaves but details are unavailable.

pith-pipeline@v0.9.0 · 5378 in / 1072 out tokens · 51936 ms · 2026-05-14T22:47:19.200099+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean; IndisputableMonolith/Foundation/AlexanderDuality.lean washburn_uniqueness_aczel; alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We introduce and study the filtration on the space of automorphic functions ... obtained by transferring the filtration on the spectral side ... induced by coherent singular support. ... Y ↝ Funct_c(Bun_G(F_q), Q_ℓ)^Y indexed by closed Ad-invariant subsets of the nilpotent cone
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat recovery; embed_injective unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Conjecture 2.1.5: Tr(Frob, IndCoh_O(LS_restr)) is concentrated in degree 0 ... Ramanujan-Arthur over Q_ℓ (Conjecture 3.4.6)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.