pith. sign in

arxiv: 2206.09216 · v5 · submitted 2022-06-18 · 🧮 math.RT · math.SG

The Whittaker functional is a shifted microstalk

David Nadler , Jeremy Taylor This is my paper

Pith reviewed 2026-05-24 12:03 UTC · model grok-4.3

classification 🧮 math.RT math.SG
keywords Whittaker functionalmicrostalknilpotent sheavesBun_G(X)Hitchin modulivanishing cyclesperverse t-structureVerdier duality
0
0 comments X

The pith

The Whittaker functional equals the shifted microstalk of nilpotent sheaves at the Kostant-nilpotent intersection on the Hitchin moduli.

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

The paper establishes that the Whittaker functional on nilpotent sheaves on Bun_G(X) computes their shifted microstalk at the point where the Kostant section meets the global nilpotent cone in the Hitchin moduli. This uses the local hyperbolic symmetry of the bundle moduli stack together with a general relation between vanishing cycles and restriction to attracting loci. A reader would care because the result implies the functional is exact for the perverse t-structure and commutes with Verdier duality, supplying a topological bridge between the Whittaker model and the spectral side of Betti geometric Langlands.

Core claim

The Whittaker functional calculates the (shifted) microstalk of nilpotent sheaves at the point in the Hitchin moduli where the Kostant section intersects the global nilpotent cone. In particular, the (shifted) Whittaker functional is exact for the perverse t-structure and commutes with Verdier duality. The proof is topological and depends on the intrinsic local hyperbolic symmetry of Bun_G(X); it applies a general result relating vanishing cycles to the composition of restriction to an attracting locus followed by vanishing cycles.

What carries the argument

The composition of restriction to an attracting locus followed by vanishing cycles, applied via the local hyperbolic symmetry of Bun_G(X) to identify the Whittaker functional with the shifted microstalk.

If this is right

  • The shifted Whittaker functional preserves the perverse t-structure.
  • The shifted Whittaker functional commutes with Verdier duality.
  • The identification supplies a geometric model for the Whittaker functional that is expected to match global sections of coherent sheaves on the spectral side.

Where Pith is reading between the lines

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

  • The same vanishing-cycle mechanism may identify other automorphic functionals with microstalks at special points of related moduli spaces.
  • The topological proof technique could extend to settings where algebraic methods for the Whittaker functional are harder to apply.
  • Explicit calculations of the microstalk via the Hitchin fibration might yield new formulas for Whittaker values on specific nilpotent sheaves.

Load-bearing premise

The intrinsic local hyperbolic symmetry of Bun_G(X) holds in the form needed for the general vanishing-cycles result to apply directly to the Whittaker functional.

What would settle it

An explicit computation for G equal to SL(2) over a specific curve X in which the value of the Whittaker functional on a chosen nilpotent sheaf differs from the independently computed shifted microstalk at the indicated point.

Figures

Figures reproduced from arXiv: 2206.09216 by David Nadler, Jeremy Taylor.

Figure 1
Figure 1. Figure 1: Structure of kV where V = B0 ∩ {F ≥ 0}. where B0 ⊂ Y is a small open ball around y0. By adjunction, the !-restriction along i : Y >0 → Y is internally corepresented (2.11) i ! (−) ' Hom(kY >0 , −) by the !-extension kY >0 of the constant sheaf on Y >0 . So the Whittaker functional is corepresented (2.12) φf,y0 i ! (−) = Hom(kY >0∩B∩{Re f≥0}, −) by the !-extension kY >0∩B∩{Re f≥0} of the constant sheaf on (… view at source ↗
Figure 2
Figure 2. Figure 2: Structure of kY >0∩B∩{Re f≥0} [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Structure of kW where W = B ∩ T ∩ {F ≥ 0}. We say a sheaf F on Y is C ×-monodromic if it is locally constant along each C ×-orbit.2 Theorem 2.2.2. If F ∈ ShΛ(Y ) is C ×-monodromic (and has singular support in some subanalytic closed conic Lagrangian Λ) then the map (2.16) induces an equivalence (2.17) φf,y0 i !F ∼ /φF,y0F. 2 In fact, we will only use that a C ×-monodromic sheaf F is locally constant along … view at source ↗
read the original abstract

For a smooth projective curve $X$ and reductive group $G$, the Whittaker functional on nilpotent sheaves on $\text{Bun}_G(X)$ is expected to correspond to global sections of coherent sheaves on the spectral side of Betti geometric Langlands. We prove that the Whittaker functional calculates the (shifted) microstalk of nilpotent sheaves at the point in the Hitchin moduli where the Kostant section intersects the global nilpotent cone. In particular, the (shifted) Whittaker functional is exact for the perverse $t$-structure and commutes with Verdier duality. Our proof is topological and depends on the intrinsic local hyperbolic symmetry of $\text{Bun}_G(X)$. It is an application of a general result relating vanishing cycles to the composition of restriction to an attracting locus followed by vanishing cycles.

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.

Referee Report

0 major / 2 minor

Summary. The paper proves that for a smooth projective curve X and reductive group G, the Whittaker functional on nilpotent sheaves on Bun_G(X) equals the shifted microstalk of these sheaves at the point in the Hitchin moduli space where the Kostant section intersects the global nilpotent cone. The proof is topological: it applies a general result relating vanishing cycles to restriction to an attracting locus followed by vanishing cycles, using the intrinsic local hyperbolic symmetry of Bun_G(X). As a corollary, the shifted Whittaker functional is exact for the perverse t-structure and commutes with Verdier duality. The result is positioned as a step toward relating the Whittaker functional to global sections of coherent sheaves on the spectral side of Betti geometric Langlands.

Significance. If the identification holds, it supplies a precise topological model for the Whittaker functional in the nilpotent sheaf category, confirming its exactness and duality properties without reference to the spectral side. This strengthens the expected correspondence in Betti geometric Langlands by giving an explicit microstalk description at the Kostant section point. The topological nature of the argument, relying on hyperbolic symmetry rather than algebraic or analytic methods, is a notable strength and may extend to other functionals in the theory.

minor comments (2)
  1. [Abstract] The abstract refers to 'nilpotent sheaves' and 'the Hitchin moduli' without a forward reference to their definitions or the precise category in §1 or §2; adding one sentence would improve readability for readers outside the immediate subfield.
  2. Notation for the attracting locus and the general vanishing-cycles lemma is introduced in the proof sketch but could be stated more explicitly with a numbered statement or reference to the lemma's hypotheses before the application in the main argument.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the clear summary of its main result, and the recommendation to accept. We appreciate the recognition of the topological nature of the argument and its potential relevance to Betti geometric Langlands.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper derives the identification of the Whittaker functional with a shifted microstalk by applying an independent general result on vanishing cycles (relating them to restriction to an attracting locus followed by vanishing cycles) to the local hyperbolic symmetry of Bun_G(X). No step reduces by definition or construction to a fitted input, self-citation chain, or renamed ansatz; the central claim is an application of external topological machinery whose hypotheses are stated separately from the target result. The argument is self-contained against external benchmarks and does not invoke load-bearing self-citations or uniqueness theorems from the authors' prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background in algebraic geometry and geometric Langlands (nilpotent sheaves, Bun_G(X), Hitchin moduli, Kostant section, global nilpotent cone) plus one general result on vanishing cycles; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption Standard properties of the moduli stack Bun_G(X), the Hitchin moduli space, and nilpotent sheaves hold as in prior geometric Langlands literature.
    Invoked throughout the statement of the theorem and the geometric setup.
  • domain assumption A general result exists relating vanishing cycles to restriction to an attracting locus followed by further vanishing cycles.
    Explicitly cited as the key tool applied in the proof.

pith-pipeline@v0.9.0 · 5660 in / 1506 out tokens · 22802 ms · 2026-05-24T12:03:38.121034+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

  1. [1]

    Singular support of coherent sheaves and the geometric L anglands conjecture

    Dmitry Arinkin and Dennis Gaitsgory. Singular support of coherent sheaves and the geometric L anglands conjecture. Selecta Math. , 21(1):1--199, 2015

    work page 2015

  2. [2]

    Quantization of H itchin's integrable system and H ecke eigensheaves

    Alexander Beilinson and Vladimir Drinfeld. Quantization of H itchin's integrable system and H ecke eigensheaves

    work page

  3. [3]

    Betti geometric l anglands

    David Ben-Zvi and David Nadler. Betti geometric l anglands. Algebraic geometry: Salt Lake City 2015 , 97:3--41, 2018

    work page 2015

  4. [4]

    Geometric constant term functor(s)

    Vladimir Drinfeld and Dennis Gaitsgory. Geometric constant term functor(s). Selecta Mathematica , 22(4):1881--1951, 2016

    work page 1951

  5. [5]

    Non-vanishing of geometric W hittaker coefficients for reductive groups

    Joakim F rgeman and Sam Raskin. Non-vanishing of geometric W hittaker coefficients for reductive groups. 2022

    work page 2022

  6. [6]

    The global nilpotent variety is L agrangian

    Victor Ginzburg. The global nilpotent variety is L agrangian. Duke Mathematical Journal , 109(3):511--519, 2001

    work page 2001

  7. [7]

    Sheaves on Manifolds: With a Short History

    Masaki Kashiwara and Pierre Schapira. Sheaves on Manifolds: With a Short History. Les d \'e buts de la th \'e orie des faisceaux. By Christian Houzel , volume 292 of Grundlehren der mathematischen Wissenschaften . Springer, 1990

    work page 1990

  8. [8]

    Correspondance de L anglands g\'eom\'etrique pour les corps de fonctions

    G\'erard Laumon. Correspondance de L anglands g\'eom\'etrique pour les corps de fonctions. Duke Math. J. , 54(2):309--359, 1987

    work page 1987

  9. [9]

    Un analogue global du c\^one nilpotent

    G\'erard Laumon. Un analogue global du c\^one nilpotent. Duke Math. J. , 57(2):647--671, 1988

    work page 1988

  10. [10]

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

    David Nadler and Zhiwei Yun. Geometric L anglands correspondence for SL (2), PGL (2) over the pair of pants. Compositio Mathematica , 155(2):324--371, 2019

    work page 2019