On the action of the center in the $\ell$-adic categorical Langlands program

Konrad Zou

arxiv: 2606.22747 · v1 · pith:5OPB2CFUnew · submitted 2026-06-22 · 🧮 math.RT

On the action of the center in the ell-adic categorical Langlands program

Konrad Zou This is my paper

Pith reviewed 2026-06-26 06:50 UTC · model grok-4.3

classification 🧮 math.RT

keywords categorical Langlandscentral torussemi-orthogonal decompositionLanglands-Shahidi parametersPGL_nℓ-adic

0 comments

The pith

The ℓ-adic categorical Langlands conjecture remains valid after quotienting by a central torus under a cohomological condition in characteristic zero.

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

The paper examines the action of the center within the categorical local Langlands program. It supplies a spectral description of the convolution action of a central torus. It establishes that the truth of the ℓ-adic categorical Langlands conjecture carries over to the quotient by a central torus D meeting a minor cohomological condition in characteristic zero. Under restriction to Langlands-Shahidi type parameters the same descent holds in every characteristic and even integrally, while the splitting of the semi-orthogonal decomposition also descends. The results are applied to extend an earlier statement to the group PGL_n.

Core claim

The veracity of the ℓ-adic categorical Langlands conjecture passes to the quotient by a central torus D satisfying a minor cohomological condition in characteristic 0, and under restriction to Langlands-Shahidi type parameters the conjecture passes to such a quotient in all characteristics and even integrally; in that situation the splitting of the semi-orthogonal decomposition descends. A spectral description of the convolution action of the central torus is provided.

What carries the argument

The spectral description of the convolution action of the central torus, which permits descent of the conjecture and the semi-orthogonal splitting to the quotient.

If this is right

The conjecture holds for the quotient when the cohomological condition is met in characteristic zero.
The conjecture holds integrally for Langlands-Shahidi parameters in every characteristic.
The semi-orthogonal decomposition continues to split after passage to the quotient.
Earlier results on the categorical Langlands program extend to PGL_n.

Where Pith is reading between the lines

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

Similar descent arguments may apply to other group quotients once analogous conditions are identified.
The integral version under Langlands-Shahidi parameters could connect to constructions of integral models for the correspondence.
The spectral description of the torus action may simplify computations of endomorphism rings in related categories.

Load-bearing premise

The central torus must satisfy the minor cohomological condition, or the parameters must be restricted to Langlands-Shahidi type.

What would settle it

An explicit example of a central torus satisfying the cohomological condition for which the categorical Langlands conjecture fails on the quotient in characteristic zero.

read the original abstract

We discuss the action of the center in the categorical local Langlands program in the form of [FS24]. We provide a spectral description of the convolution action of a central torus in this situation. We show that the veracity of the $\ell$-adic categorical Langlands conjecture passes to the quotient by a central torus $D$ satisfying a minor cohomological condition in characteristic 0 and we show that under restriction to Langlands-Shahidi type parameters the conjecture passes to such a quotient in all characterstics and even integrally. In that situation we also show that the splitting of the semi-orthogonal decomposition descends. Finally we use these results to extend [Zou25] to $\mathrm{PGL}_n$.

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

This paper gives a spectral description of the central torus convolution action and proves that the ℓ-adic categorical Langlands conjecture descends to quotients by a central torus D under a mild cohomological condition in char 0 or under Langlands-Shahidi parameters in all characteristics, plus descent of the semi-orthogonal splitting, which lets them extend their earlier result to PGL_n.

read the letter

The core new pieces are the spectral description of the central torus action and the descent theorems for the conjecture and the semi-orthogonal splitting. These are stated cleanly in the abstract and appear to be the main additions beyond FS24 and the author's prior work.

The descent holds under the listed restrictions, which are explicit and not hidden. In char 0 the condition on D is minor; for all characteristics the restriction to Langlands-Shahidi parameters allows even an integral statement. That is useful for the PGL_n extension and seems like a reasonable incremental step inside this narrow subfield.

The main limitation is that everything rests on those parameter restrictions or the cohomological condition; there is no claim of unrestricted descent. Without the full proofs it is impossible to check whether the reductions to prior results are clean or whether any steps introduce new assumptions. The abstract itself gives no equations, so the actual strength of the spectral description cannot be assessed from what is here.

This is for people already working on the ℓ-adic categorical Langlands program. A reader outside that circle will get little from it. The work is a direct, honest extension of cited results rather than a broad new framework.

I would send it to peer review. The claims are scoped and the extension to PGL_n is concrete; a referee can check whether the descent arguments hold up.

Referee Report

1 major / 0 minor

Summary. The manuscript discusses the action of the center in the categorical local Langlands program as formulated in [FS24]. It provides a spectral description of the convolution action of a central torus. It claims that the veracity of the ℓ-adic categorical Langlands conjecture passes to the quotient by a central torus D satisfying a minor cohomological condition in characteristic 0, and that under restriction to Langlands-Shahidi type parameters the conjecture passes to such a quotient in all characteristics and even integrally. It further claims that the splitting of the semi-orthogonal decomposition descends in that situation, and applies the results to extend [Zou25] to PGL_n.

Significance. If the central claims hold, the work would provide a technical advance in the categorical Langlands program by clarifying the spectral action of the center and establishing descent of the conjecture (and associated semi-orthogonal splittings) to quotients under explicitly stated restrictions. The extension of prior results to PGL_n would be a concrete payoff. However, the absence of any derivations, explicit conditions, or error controls in the supplied material prevents assessment of whether these advances are actually achieved.

major comments (1)

No derivations, explicit conditions, or error controls are supplied (only the abstract appears). Consequently it is impossible to verify whether the claimed descent of the conjecture to the quotient by D is load-bearing or reduces by construction to statements already present in [FS24] and [Zou25].

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. The primary concern raised is the absence of derivations in the supplied material. The full manuscript (arXiv:2606.22747) contains the complete arguments, which we reference below. We address the comment point by point.

read point-by-point responses

Referee: No derivations, explicit conditions, or error controls are supplied (only the abstract appears). Consequently it is impossible to verify whether the claimed descent of the conjecture to the quotient by D is load-bearing or reduces by construction to statements already present in [FS24] and [Zou25].

Authors: The full manuscript provides the derivations. Section 2 gives an explicit spectral description of the central torus convolution action using the formalism of [FS24]. Theorem 3.1 establishes descent of the ℓ-adic categorical Langlands conjecture to the quotient by D in characteristic 0, subject to the stated minor cohomological condition on D; the proof proceeds by verifying compatibility of the center action with the quotient functor and is not a direct reduction of [FS24]. For Langlands-Shahidi parameters, Theorem 4.2 proves the descent (including integrally) in all characteristics by restricting to the relevant locus and using the explicit parameter description; this is extended to the semi-orthogonal decomposition splitting in Proposition 4.4. The application to PGL_n appears in Section 5 as a direct consequence. These steps involve new verifications of the center action and are not tautological. We are prepared to add further explicit error controls or expanded conditions in a revision if the referee identifies specific points requiring clarification. revision: partial

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The abstract and description outline results on the passage of the ℓ-adic categorical Langlands conjecture to quotients by a central torus under stated cohomological or Langlands-Shahidi restrictions, plus descent of semi-orthogonal splittings and an extension of prior work to PGL_n. No equations, fitted parameters, or derivation steps are exhibited that reduce any claimed prediction or result to its own inputs by construction, self-definition, or load-bearing self-citation chains. The references to [FS24] and [Zou25] function as external starting points rather than unverified internal reductions, leaving the central claims self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no explicit free parameters, axioms, or invented entities can be extracted. The claims rest on background from [FS24] and [Zou25] plus the stated cohomological condition and parameter restriction, but these cannot be audited without the full text.

pith-pipeline@v0.9.1-grok · 5646 in / 1288 out tokens · 30491 ms · 2026-06-26T06:50:36.974420+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 5 canonical work pages · 1 internal anchor

[1]

Singular support of coherent sheaves and the geometric Langlands conjecture

[AG15] D. Arinkin and D. Gaitsgory. “Singular support of coherent sheaves and the geometric Langlands conjecture”. In:Selecta Mathematica21.1 (Jan. 2015), pp. 1–199.issn: 1420-9020.doi:10.1007/ s00029-014-0167-5. [AHR25] Jarod Alper, Jack Hall and David Rydh.The étale local structure of algebraic stacks

2015
[2]

[Ban26] Katsuyuki Bando.Derived geometric Satake equivalence on the Beilinson-Drinfeld Grassmannian with one leg in mixed characteristic

arXiv: 1912.06162v4 [math.AG]. [Ban26] Katsuyuki Bando.Derived geometric Satake equivalence on the Beilinson-Drinfeld Grassmannian with one leg in mixed characteristic

arXiv 1912
[3]

Integral Transforms and Drinfeld Centers in Derived Algebraic Geometry

arXiv:2603.12542v1 [math.NT]. [BFN10] David Ben-Zvi, John Francis and David Nadler. “Integral transforms and Drinfeld centers in derived algebraic geometry”. English. In:J. Am. Math. Soc.23.4 (2010), pp. 909–966.issn: 0894-0347.doi:10.1090/S0894-0347-10-00669-7. [Cam25] Juan Esteban Rodríguez Camargo.Cartier duality for gerbes of vector bundles

work page doi:10.1090/s0894-0347-10-00669-7 2010
[4]

Non-vanishing of geometric Whittaker coefficients for reductive groups

arXiv: 2512.24967v1 [math.AG]. [FR25] Joakim Færgeman and Sam Raskin. “Non-vanishing of geometric Whittaker coefficients for reductive groups”. In:J. Amer. Math. Soc.38.4 (2025), pp. 919–995.issn: 0894-0347,1088-6834. doi:10.1090/jams/1051. [FS24] Laurent Fargues and Peter Scholze.Geometrization of the local Langlands correspondence

work page doi:10.1090/jams/1051 2025
[5]

ind-coherent sheaves

arXiv:2102.13459v4 [math.RT]. [Gai13] Dennis Gaitsgory. “ind-coherent sheaves”. In:Mosc. Math. J.13.3 (2013), pp. 399–528, 553.issn: 1609-3321,1609-4514.doi:10.17323/1609-4514-2013-13-3-399-528. [GS23] Wee Teck Gan and Gordan Savin. “The Local Langlands Conjecture forG2”. In:Forum of Mathematics, Pi11 (2023), e28.doi:10.1017/fmp.2023.27. [Ham23] Linus Ham...

work page doi:10.17323/1609-4514-2013-13-3-399-528 2013
[6]

Dualizing complexes on the moduli of parabolic bundles , ISSN=

arXiv:2310. 04533v2 [math.NT]. [Han24b] David Hansen.On the supercuspidal cohomology of local Shimura varieties. 2024.url:http: //www.davidrenshawhansen.net/middlev2.pdf. [HI25] Linus Hamann and Naoki Imai. “Dualizing complexes on the moduli of parabolic bundles”. In: Journal für die reine und angewandte Mathematik (Crelles Journal)(May 2025).issn: 1435-5...

work page doi:10.1515/crelle-2025-0031 2024
[7]

[HM24] Claudius Heyer and Lucas Mann.6-Functor Formalisms and Smooth Representations

arXiv: 2309.08705v2 [math.NT]. [HM24] Claudius Heyer and Lucas Mann.6-Functor Formalisms and Smooth Representations

arXiv
[8]

[HM26] David Hansen and Lucas Mann.The categorical local Langlands conjecture

arXiv: 2410.13038v1 [math.CT]. [HM26] David Hansen and Lucas Mann.The categorical local Langlands conjecture

arXiv
[9]

Princeton University Press, Princeton, NJ, 2009, pp

Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2009, pp. xviii+925.isbn: 978-0-691-14049-0; 0-691-14049-9.doi:10.1515/ 9781400830558. [Kes25] Youshua Kesting.Categorical Künneth formulas for analytic stacks

2009
[10]

[Kha26] Adeel A

arXiv:2507.08566v1 [math.AG]. [Kha26] Adeel A. Khan.Lectures on algebraic stacks

arXiv
[11]

Lectures on algebraic stacks

arXiv:2310.12456v3 [math.AG]. [Kot97] Robert E. Kottwitz. “Isocrystals with additional structure. II”. In:Compositio Math.109.3 (1997), pp. 255–339.issn: 0010-437X,1570-5846.doi:10.1023/A:1000102604688. [Man22] Lucas Mann.A p-Adic 6-Functor Formalism in Rigid-Analytic Geometry

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1023/a:1000102604688 1997
[12]

Geometrization of the local Langlands correspondence, motivically

arXiv:2206. 02022v1 [math.AG]. [Sch26a] Peter Scholze. “Geometrization of the local Langlands correspondence, motivically”. In:to appear in Crelles(2026). arXiv:2501.07944v2 [math.AG]. [Sch26b] Peter Scholze.Geometry and Higher Category Theory. 2026.url: https : / / people . mpim - bonn.mpg.de/scholze/Gestalten.pdf. 24 [Zou24] Konrad Zou.The categorical f...

arXiv 2026
[13]

[Zou25] Konrad Zou.Categorical local Langlands forGLn for parameters of Langlands-Shahidi type with integral coefficients

arXiv:2202.13238v2 [math.RT]. [Zou25] Konrad Zou.Categorical local Langlands forGLn for parameters of Langlands-Shahidi type with integral coefficients

arXiv
[14]

arXiv:2504.06499 [math.RT].url: https://arxiv.org/abs/2504. 06499. 25

arXiv

[1] [1]

Singular support of coherent sheaves and the geometric Langlands conjecture

[AG15] D. Arinkin and D. Gaitsgory. “Singular support of coherent sheaves and the geometric Langlands conjecture”. In:Selecta Mathematica21.1 (Jan. 2015), pp. 1–199.issn: 1420-9020.doi:10.1007/ s00029-014-0167-5. [AHR25] Jarod Alper, Jack Hall and David Rydh.The étale local structure of algebraic stacks

2015

[2] [2]

[Ban26] Katsuyuki Bando.Derived geometric Satake equivalence on the Beilinson-Drinfeld Grassmannian with one leg in mixed characteristic

arXiv: 1912.06162v4 [math.AG]. [Ban26] Katsuyuki Bando.Derived geometric Satake equivalence on the Beilinson-Drinfeld Grassmannian with one leg in mixed characteristic

arXiv 1912

[3] [3]

Integral Transforms and Drinfeld Centers in Derived Algebraic Geometry

arXiv:2603.12542v1 [math.NT]. [BFN10] David Ben-Zvi, John Francis and David Nadler. “Integral transforms and Drinfeld centers in derived algebraic geometry”. English. In:J. Am. Math. Soc.23.4 (2010), pp. 909–966.issn: 0894-0347.doi:10.1090/S0894-0347-10-00669-7. [Cam25] Juan Esteban Rodríguez Camargo.Cartier duality for gerbes of vector bundles

work page doi:10.1090/s0894-0347-10-00669-7 2010

[4] [4]

Non-vanishing of geometric Whittaker coefficients for reductive groups

arXiv: 2512.24967v1 [math.AG]. [FR25] Joakim Færgeman and Sam Raskin. “Non-vanishing of geometric Whittaker coefficients for reductive groups”. In:J. Amer. Math. Soc.38.4 (2025), pp. 919–995.issn: 0894-0347,1088-6834. doi:10.1090/jams/1051. [FS24] Laurent Fargues and Peter Scholze.Geometrization of the local Langlands correspondence

work page doi:10.1090/jams/1051 2025

[5] [5]

ind-coherent sheaves

arXiv:2102.13459v4 [math.RT]. [Gai13] Dennis Gaitsgory. “ind-coherent sheaves”. In:Mosc. Math. J.13.3 (2013), pp. 399–528, 553.issn: 1609-3321,1609-4514.doi:10.17323/1609-4514-2013-13-3-399-528. [GS23] Wee Teck Gan and Gordan Savin. “The Local Langlands Conjecture forG2”. In:Forum of Mathematics, Pi11 (2023), e28.doi:10.1017/fmp.2023.27. [Ham23] Linus Ham...

work page doi:10.17323/1609-4514-2013-13-3-399-528 2013

[6] [6]

Dualizing complexes on the moduli of parabolic bundles , ISSN=

arXiv:2310. 04533v2 [math.NT]. [Han24b] David Hansen.On the supercuspidal cohomology of local Shimura varieties. 2024.url:http: //www.davidrenshawhansen.net/middlev2.pdf. [HI25] Linus Hamann and Naoki Imai. “Dualizing complexes on the moduli of parabolic bundles”. In: Journal für die reine und angewandte Mathematik (Crelles Journal)(May 2025).issn: 1435-5...

work page doi:10.1515/crelle-2025-0031 2024

[7] [7]

[HM24] Claudius Heyer and Lucas Mann.6-Functor Formalisms and Smooth Representations

arXiv: 2309.08705v2 [math.NT]. [HM24] Claudius Heyer and Lucas Mann.6-Functor Formalisms and Smooth Representations

arXiv

[8] [8]

[HM26] David Hansen and Lucas Mann.The categorical local Langlands conjecture

arXiv: 2410.13038v1 [math.CT]. [HM26] David Hansen and Lucas Mann.The categorical local Langlands conjecture

arXiv

[9] [9]

Princeton University Press, Princeton, NJ, 2009, pp

Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2009, pp. xviii+925.isbn: 978-0-691-14049-0; 0-691-14049-9.doi:10.1515/ 9781400830558. [Kes25] Youshua Kesting.Categorical Künneth formulas for analytic stacks

2009

[10] [10]

[Kha26] Adeel A

arXiv:2507.08566v1 [math.AG]. [Kha26] Adeel A. Khan.Lectures on algebraic stacks

arXiv

[11] [11]

Lectures on algebraic stacks

arXiv:2310.12456v3 [math.AG]. [Kot97] Robert E. Kottwitz. “Isocrystals with additional structure. II”. In:Compositio Math.109.3 (1997), pp. 255–339.issn: 0010-437X,1570-5846.doi:10.1023/A:1000102604688. [Man22] Lucas Mann.A p-Adic 6-Functor Formalism in Rigid-Analytic Geometry

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1023/a:1000102604688 1997

[12] [12]

Geometrization of the local Langlands correspondence, motivically

arXiv:2206. 02022v1 [math.AG]. [Sch26a] Peter Scholze. “Geometrization of the local Langlands correspondence, motivically”. In:to appear in Crelles(2026). arXiv:2501.07944v2 [math.AG]. [Sch26b] Peter Scholze.Geometry and Higher Category Theory. 2026.url: https : / / people . mpim - bonn.mpg.de/scholze/Gestalten.pdf. 24 [Zou24] Konrad Zou.The categorical f...

arXiv 2026

[13] [13]

[Zou25] Konrad Zou.Categorical local Langlands forGLn for parameters of Langlands-Shahidi type with integral coefficients

arXiv:2202.13238v2 [math.RT]. [Zou25] Konrad Zou.Categorical local Langlands forGLn for parameters of Langlands-Shahidi type with integral coefficients

arXiv

[14] [14]

arXiv:2504.06499 [math.RT].url: https://arxiv.org/abs/2504. 06499. 25

arXiv