A Reduction over finite fields of the tame local Langlands correspondence for SLn

Elena Collacciani

REVIEW 1 major objections 4 minor 1 cited by

A Reduction over finite fields of the tame local Langlands correspondence for SLn

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

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

Pith's one-line read For SL_n, irreducible representations of SL_n(k) surject onto inertia-equivalence classes of tame Langlands parameters for SL_n(F), with fibers parametrized by component-group characters, compatible with the local Langlands correspondence.

desk verdict A solid new theorem: Vogan's conjecture for SL_n is proved, with one load-bearing cited lift that should be checked. read the letter →

arxiv 2501.09085 v1 pith:PAQEXIGJ submitted 2025-01-15 math.RT

Elena Collacciani This is my paper · ORCID

classification math.RT MSC 22E5020C3322E35

keywords tamelocalLanglandscorrespondenceSL_nfinitegroupsofLietypeMacdonaldVoganconjectureparahoricrestrictioncomponentinertiaequivalence

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

Vogan's conjecture says that the irreducible representations of a finite group of Lie type should admit a Langlands-style parametrization by inertia classes of tame Langlands parameters of the corresponding p-adic group, with fibers indexed by characters of component groups. This paper proves that conjecture for SL_n. It constructs the Macdonald–Vogan correspondence $M^{1}$_N, a surjection from the set of irreducible representations of SL_n(k) (k the residue field of F) to the inertia-equivalence classes of tame Langlands parameters for SL_n(F), and proves that each fiber is a torsor for the character group of an explicitly defined component group. The main compatibility theorems (Theorems 5.5 and 5.15) show that this finite-field packet structure matches the depth-zero local Langlands correspondence for SL_n(F): the head of parahoric restriction of a depth-zero representation lands in the fiber of its parameter's inertia class, and the component-group labels agree through the natural map. This matters because it extends to SL_n a structural picture previously available only for GL_n, where centralizers are connected.

What carries the argument

The central object is the Macdonald–Vogan correspondence $M^1_N$, built from the classical Macdonald correspondence for $GL_N$ and Clifford theory. The distinguishing feature of the $SL_N$ case is that an inertia-equivalence class must also record the coset $\rho(\mathrm{Fr}) C^0_{\mathrm{PGL}_N(\mathbb C)}(\rho|_{I_F})$ of the Frobenius image in the connected centralizer of the inertia image; this extra data is what allows the component group of the full stabilizer to appear. The other main ingredient is the head of parahoric restriction $HP$: it selects the multiplicity-one top constituent of the reduction of a depth-zero representation, and its equivariance properties (Propositions 5.10 and 5.11) are what make the compatibility theorem work.

What would settle it

Find a tame Langlands parameter for SL_N(F) whose projective Weil representation admits no semisimple lift to GL_N(C); the paper relies on [10] for the existence of all such lifts. A more concrete test: compute the fiber size of $M^{1}$_N over a parameter and compare it with the order of the component group; mismatches would signal an error in the parametrization.

Watch

Extended reading notes

Core claim

The central claim is that Vogan's conjecture holds for $SL_N$. Concretely, the paper constructs a surjection $M^1_N : \Omega^1_N \to (\Phi^1_N)_0/\sim_{I_F}$ from irreducible representations of $SL_N(k)$ to inertia-equivalence classes of tame Langlands parameters for $SL_N(F)$ (Definition 3.4 and Theorem 4.3). Each fiber carries a simply transitive action of the character group of the component group $A_{\mathrm{PGL}_N(\mathbb C)}(\rho|_{I_F}, \rho(\mathrm{Fr}) C^0_{\mathrm{PGL}_N(\mathbb C)}(\rho|_{I_F}), E)$. The paper then proves Theorems 5.5 and 5.15, which state that this finite-field packet structure is compatible with the depth-zero local Langlands correspondence for $SL_N(F)$: if $\pi_{\rho,E}\in L^1_N{}^{-1}(\rho,E)$ and $\pi_{\rho,E}\in M^1_N{}^{-1}((\rho,E)_{I_F})$ correspond under the head of parahoric restriction, then the component-group labels are related by the natural map $\iota$. In particular, $M^1_N$ is not merely analogous to the Langlands correspondence but is its finite-field shadow.

Load-bearing premise

The argument needs every tame projective Weil representation of the Weil group into PGL_N(C) to be liftable to a semisimple representation into GL_N(C); if any such parameter lacks a lift, surjectivity of the map eta_* and hence of the whole correspondence fails.

Editorial extensions

If this is right

For each tame parameter, the fiber of the Macdonald–Vogan map is a torsor for the appropriate component-group character group, so choosing a base point gives a canonical bijection between finite-group representations and characters.
The depth-zero local Langlands correspondence for SL_n(F) is compatible with the finite-field parametrization, so this gives a way to compute L-packets by parahoric restriction.
The compatibility persists when the maximal compact subgroup is changed, up to conjugating the base representation.
The fibers of the two correspondences can have different sizes; the paper gives explicit examples where one is larger than the other, and vice versa.
The action of the component-group character on L-packets maps via the natural map to the action on Macdonald–Vogan fibers, so labels transform in a controlled way.

Reading between the lines

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

The same reduction might apply to other split reductive groups, but the component groups are generally nonabelian, so fiber parametrization would be more intricate.
The compatibility suggests that the head of parahoric restriction is the natural functor between the depth-zero Langlands correspondence and the finite-field packet correspondence, and could be studied for other groups.
A computational check for small N and q could enumerate tame parameters and finite-group representations to test the fiber sizes and the lifting assumption of Lemma 3.3.

Share X Bluesky LinkedIn Reddit HN

Formalized claims in Lean

Claim #1: The central claim is that Vogan's conjecture holds for $SL_N$. Concretely, the paper constructs a surjection $M^1_N : \Omega^1_N \to (\Phi^1_N)_0/\sim_{I_F}$ from irreducible representations of $SL_N(k)$ to inertia-equivalence classes of tame Langlands parameters for $SL_N(F)$ (Definition 3.4 and Theorem 4.3). Each fiber carries a simply transitive action of the character group of the component gr

/-- @claim 1 The central claim is that Vogan's conjecture holds for $SL_N$. Concretely, the paper constructs a surjection $M^1_N : \Omega^1_N \to (\Phi^1_N)_0/\sim_{I_F}$ from irreducible representations of $SL_N(k)$ to inertia-equivalence classes of tame Langlands parameters for $SL_N(F)$ (Definition 3.4 and Theorem 4.3). Each fiber carries a simply transitive action of the character group of the component gr -/
def central_claim : Prop :=

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

Vogan's conjecture for SL_n is the genuine result here, and I think it holds together. Collacciani constructs a surjection from irreducible reps of SL_n(k) to inertia-equivalence classes of tame Langlands parameters for SL_n(F), parametrizes the fibers by component groups, and proves compatibility with the LLC for SL_n, extending the GL_n results of Macdonald and Silberger-Zink. That is a real theorem, not a repackaging: the disconnected center of PGL_n(C) creates genuine complications, and she deals with them head-on, including the noncanonical nature of the fiber parametrization and the fact that the natural map between the two component groups is neither injective nor surjective. The examples in Section 4.1 are useful and honest.

The paper is well-organized. It leans heavily on established results—Gelbart-Knapp, the LLC for GL_n, Macdonald, Schneider-Zink—but that is appropriate. The proofs I checked appear sound; I found no circularity and no back-fitting. The central construction M^1_N is defined independently of the LLC for SL_n, and compatibility is proved, not assumed.

Soft spot: the surjectivity of eta_* in Lemma 3.3 rests entirely on a cited theorem from [10] (Henniart, 1977-78) that every tame projective Weil representation lifts to a semisimple GL_N(C)-valued representation. This is the one load-bearing external input that is not stated precisely, and if it fails, the main surjection loses classes. I would not bet against it—the tame Weil quotient is semidirect and the Schur multiplier should behave—but the paper should quote the theorem or give an argument. The referee should check this specific point. Minor issues: some typos and heavy notation, but not a barrier.

This paper is for specialists in p-adic and finite group representation theory, particularly anyone working on Vogan's program. It deserves a serious referee. I recommend sending it to review, with the lifting theorem as the point to verify.

Referee Report

1 major / 4 minor

Summary. This paper proves Vogan's conjecture for SL_N in the tame/depth-zero setting. The author defines a Macdonald–Vogan correspondence M^1_N from irreducible representations of the finite group SL_N(k_F) to IF-equivalence classes of tame Langlands parameters for SL_N(F); proves in Theorem 4.3 that each fiber is a torsor for the character group of the relevant component group; and proves Theorems 5.5 and 5.15 giving compatibility with the Gelbart–Knapp local Langlands correspondence for SL_N, including compatibility of the component-group parametrizations. The proof proceeds by reducing to GL_N via Clifford theory and the bijection η_* between GL_N and SL_N parameters.

Significance. This is a meaningful step beyond the GL_N case and gives the first explicit verification of Vogan's conjecture for a group whose dual has nontrivial component groups in the tame setting. The paper combines Macdonald's correspondence, the Gelbart–Knapp LLC for SL_N, Schneider–Zink heads of parahoric restriction, and multiplicity-free restriction in a careful way. The examples in Section 4.1 are illuminating, and the main compatibility theorems are proved in detail. The central caveat is that surjectivity of the bridge η_* is delegated to a one-sentence citation; once that input is made explicit, the central claims of the paper appear sound.

major comments (1)

[§3.1, Lemma 3.3] The surjectivity of η_* — and hence of M^1_N in (23) — rests entirely on the final sentence of the lemma, which states that the existence of a semisimple Weil representation lift was proved in [10]. The manuscript does not state the precise theorem from [10], nor does it verify that the lift satisfies the three conditions needed for a tame Langlands parameter in (Φ_N)^0: triviality on P_F, semisimplicity of ρ(Fr), and the compatibility condition on E. For example, a projective lift could in principle be scalar on P_F and would then have to be adjusted by a character. Please include the precise statement of the cited result, verify its hypotheses, or give a short self-contained proof of this lifting fact.

minor comments (4)

[§3.1, Definition 3.1] Condition (a') contains a typo: it should read Aρ1|_{I_F}A^{-1} = ρ2|_{I_F}, not Aρ1|_{I_F}A^{-1} = ρ2.
[§5.1, diagrams (46) and (47)] The symbols 'ä yF^*', 'ä z WF' and 'ä xk_F^*' appear to be typesetting artifacts; the quotient groups in these diagrams should be displayed with standard notation for the orbit spaces.
[§4.1, Example 1] The equality CPGL_N(1, PGL_N(C), 0) = PGL_N(C) depends crucially on the convention that C_H(X) for a subset X is the stabilizer of X under conjugation, not the pointwise centralizer. This convention is correct but easy to misread; a brief reminder at that point would improve clarity.
[§5.2, Definition 5.13] The notation HPG1_N G1_N is used for the head of parahoric restriction of a single representation as well as for a sum over a coset of the component-group character group; the two uses could be distinguished notationally.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Macdonald–Vogan correspondence is defined independently of the SL_n Langlands correspondence, and compatibility is proved as a theorem.

full rationale

The paper's central map M^1_N (Definition 3.4, Eq. 23) is assembled from three independently defined ingredients: the Clifford-theoretic orbit map R (Eq. 22), Macdonald's bijection MN for GL_N (Eq. 11), and the projection eta_* (Lemma 3.3). None of these ingredients encodes the target statement about SL_N Langlands packets; the target compatibility is stated as Theorem 5.5 and proved as a theorem using the GL_N compatibility result of [20] (restated as Theorem 1.5) together with the existing local Langlands correspondence for SL_N from [8]. The fiber parametrization in Theorem 4.3 is derived from the component group of the parameter and the Clifford-theoretic orbit structure, not assumed as part of the definition of M^1_N. The one genuinely load-bearing external input, flagged in the reader's take, is the lift of a PGL_N(C)-valued tame Weil representation to a semisimple GL_N(C)-valued representation, cited to [10] in the final paragraph of the proof of Lemma 3.3. This is a standard external lifting fact; it is not a restatement of the paper's conclusion, and none of its authors overlaps with the present paper's author. No fitted parameters, no self-citation chains, and no renaming of a known result occur. The compatibility between the Langlands and Macdonald–Vogan parametrizations is a genuine theorem rather than a definitional identity.

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

The paper introduces no fitted parameters and no invented entities. It depends on several major published theorems: the LLC for GL_n, the lifting theorem for Weil representations, multiplicity-free restriction, Gelbart-Knapp's LLC for SL_n, Macdonald's correspondence for GL_n, and Schneider-Zink's head of parahoric restriction. None of these are authored by the present author, and none are circular with the target result.

assumptions (6)

standard math The local Langlands correspondence for GL_n(F) exists and restricts to a bijection between tame parameters and depth-0 representations.
Used throughout Section 2 to define L^1_N and to prove compatibility; established in [9,11,19].
standard math Every tame PGL_N(C)-valued Weil representation lifts to a semisimple GL_N(C)-valued Weil representation.
Invoked in the proof of Lemma 3.3 to prove surjectivity of the map eta_*, which is needed to define M^1_N on all inertia classes; cited to [10].
standard math Restriction of irreducible representations from GL_N(F) to SL_N(F) is multiplicity free.
Used in Section 2 and Lemma 5.4 to identify pi^+ with the restriction and to make the head of parahoric restriction well defined; cited to [21].
standard math The local Langlands correspondence for SL_N(F) exists and its L-packets are parametrized by the character group of the component group A_{PGL_N(C)}(rho,E).
Used in Section 2 and in the comparison in Section 4.1; the two working hypotheses of [8] are confirmed by [9,11,19,21].
standard math Clifford theory gives a bijection between k_F^*-orbits on irreducible SL_N(k) representations and xk_F^*-orbits on irreducible GL_N(k) representations.
Used to define the reduction map R in (22) and in Lemma 4.1; cited to [17, Proposition 5.1].
standard math The head of parahoric restriction for GL_N satisfies the dominance and multiplicity-one statements of Theorem 1.1.
Restated from [18, Proposition 6.2] and [20, A.1.3] and used in Lemma 5.4 and Theorem 5.5.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A Reduction over finite fields of the tame local Langlands correspondence for SLn." pith.science (2026). https://pith.science/paper/PAQEXIGJ

@misc{pith2026250109085,
  author       = {Pith},
  title        = {Pith review of: A Reduction over finite fields of the tame local Langlands correspondence for SLn},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PAQEXIGJ}},
  note         = {Machine review of arXiv:2501.09085}
}

read the original abstract

We establish a conjecture formulated by Vogan for SLn. Specifically, we construct a surjection from the set of irreducible representations of SLn(k), where k is a finite field, to the inertia equivalence classes of tame Langlands parameters for SLn(F), where F is a p-adic field with residue field k. Additionally, we provide a parametrization of the fibers of this surjection and examine its compatibility with the Local Langlands Correspondence for SLn. This work extends several results previously established for GLn to the context of SLn.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Finite Langlands correspondence
math.NT 2025-08 conditional novelty 6.0 of 10

Every irreducible representation of a connected reductive group over a finite field is matched with a special Langlands parameter, with the fiber over each parameter given by irreducible representations of a finite co...

Reference graph

Works this paper leans on

23 extracted references · 22 canonical work pages · cited by 1 Pith paper

[10]

Représentations du groupe de weil d’un co rps local : conducteurs et facteurs ǫ

Guy Henniart. Représentations du groupe de weil d’un co rps local : conducteurs et facteurs ǫ. Séminaire Delange-Pisot-Poitou. Théorie des nombres , 19:1–5, 1977-1978

work page 1977
[1]

On the macdonald correspondence

Anne-Marie Aubert. On the macdonald correspondence. ar Xiv:2501.02332, 2025

arXiv 2025
[2]

Automorphic l-functions

Armand Borel. Automorphic l-functions. Automorphic representations and L-functions, 33:27–61, 1979

work page 1979
[3]

Bushnell and Guy Henniart

Colin J. Bushnell and Guy Henniart. The essentially tame local langlands correspondence i. Journal of American Mathematical Society , 18:685–710, 2005

work page 2005
[4]

Bushnell and Guy Henniart

Colin J. Bushnell and Guy Henniart. The essentially tame local langlands correspondence ii: totally ramiﬁed representations. Compositio mathematica, 141:979–1011, 2005

work page 2005
[5]

Bushnell and Guy Henniart

Colin J. Bushnell and Guy Henniart. The Local Langlands Conjecture for GL(2) . Springer, 2006

work page 2006
[6]

Bushnell and Guy Henniart

Colin J. Bushnell and Guy Henniart. The essentially tame local langlands correspondence iii: the general case. Procedings of London Mathematical Society , 101:497–553, 2010

work page 2010
[7]

Bushnell and Paul C

Colin J. Bushnell and Paul C. Kutzko. The admissible dual of sl(n). Annales scientiﬁques de l’École Normale Supérieure , 26:261–280, 1993

work page 1993

Show all 23 references

[8]

Gelbart and Anthony W

Stephen S. Gelbart and Anthony W. Knapp. L-indistinguis hability and r groups for the special linear group. Advances in mathematics , 43:101–121, 1982

1982
[9]

The Geometry and Cohomology of Some Simple Shimura Varieties

Michael Harris and Richard Taylor. The Geometry and Cohomology of Some Simple Shimura Varieties. Annals of Mathematics Studies . Princeton University Press, 2001

2001
[11]

Une preuve simple des conjectures de lang lands pour gl(n) sur un corps p-adique

Guy Henniart. Une preuve simple des conjectures de lang lands pour gl(n) sur un corps p-adique. Inventiones Mathematicae, 139:439–455, 2000

2000
[12]

Howlett and Gustav I

Robert B. Howlett and Gustav I. Lehrer. Induced cuspida l representations and generalised hecke rings. Inventiones Mathematicae, 58:37–64, 1980

1980
[13]

Howlett and Gustav I

Robert B. Howlett and Gustav I. Lehrer. Representation s of generic algebras and ﬁnite groups of lie type. Transactions of the American Mathematical Society , 280:753–779, 1983

1983
[14]

Representations of reductive groups ov er local ﬁelds

Tasho Kaletha. Representations of reductive groups ov er local ﬁelds. In International Congress of Mathematicians , volume 4, pages 2948–2975. EMS press, 2022

2022
[15]

Characters of Reductive Groups Over a Finite Field

George Lusztig. Characters of Reductive Groups Over a Finite Field. Annals of Mathematics Studies. Princeton University Press, 1984

1984
[16]

On the representations of reductive gr oups with disconnected center

George Lusztig. On the representations of reductive gr oups with disconnected center. Astérisque, 168:157–166, 1988

1988
[17]

Macdonald

Ian G. Macdonald. Zeta functions attached to ﬁnite gene ral linear groups. Mathematische An- nalen, 248:1–15, 1980

1980
[18]

K-types for the tempered components of a p-adic general linear group

Paul Schneider and Ernst-Wilhelm Zink. K-types for the tempered components of a p-adic general linear group. Journal fur die Reine und Angewandte Mathematik , 517:161–208, 1999

1999
[19]

The local langlands correspondence for gln overp-adic ﬁelds

Peter Scholze. The local langlands correspondence for gln overp-adic ﬁelds. Inventiones Mathe- maticae, 192:663–715, 2013

2013
[20]

Silberger and Ernst-Wilhelm Zink

Allan J. Silberger and Ernst-Wilhelm Zink. Explicit sh intani base change and the macdonald correspondence for characters of glnpkq. Journal of Algebra , 319:4147–4176, 2008

2008
[21]

Notes on representations of non-archimed ean sl(n)

Marko Tadic. Notes on representations of non-archimed ean sl(n). Paciﬁc Journal of Mathematics , 152:375–396, 1992. 29

1992
[22]

David A. Vogan. Local langlands conjecture for ﬁnite gr oups of lie type. https://math.mit.edu/~dav/finiteLanglandsAMS20HO.pdf, 2020

2020
[23]

Zelevinsky

Andrei V. Zelevinsky. Induced representations of redu ctive p-adic groups. II. on irreducible representations of glpnq. Annales scientiﬁques de l’École Normale Supérieure , Ser. 4, 13(2):165– 210, 1980. 30

1980

Pith tools

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

[1] [10]

Représentations du groupe de weil d’un co rps local : conducteurs et facteurs ǫ

Guy Henniart. Représentations du groupe de weil d’un co rps local : conducteurs et facteurs ǫ. Séminaire Delange-Pisot-Poitou. Théorie des nombres , 19:1–5, 1977-1978

work page 1977

[2] [1]

On the macdonald correspondence

Anne-Marie Aubert. On the macdonald correspondence. ar Xiv:2501.02332, 2025

arXiv 2025

[3] [2]

Automorphic l-functions

Armand Borel. Automorphic l-functions. Automorphic representations and L-functions, 33:27–61, 1979

work page 1979

[4] [3]

Bushnell and Guy Henniart

Colin J. Bushnell and Guy Henniart. The essentially tame local langlands correspondence i. Journal of American Mathematical Society , 18:685–710, 2005

work page 2005

[5] [4]

Bushnell and Guy Henniart

Colin J. Bushnell and Guy Henniart. The essentially tame local langlands correspondence ii: totally ramiﬁed representations. Compositio mathematica, 141:979–1011, 2005

work page 2005

[6] [5]

Bushnell and Guy Henniart

Colin J. Bushnell and Guy Henniart. The Local Langlands Conjecture for GL(2) . Springer, 2006

work page 2006

[7] [6]

Bushnell and Guy Henniart

Colin J. Bushnell and Guy Henniart. The essentially tame local langlands correspondence iii: the general case. Procedings of London Mathematical Society , 101:497–553, 2010

work page 2010

[8] [7]

Bushnell and Paul C

Colin J. Bushnell and Paul C. Kutzko. The admissible dual of sl(n). Annales scientiﬁques de l’École Normale Supérieure , 26:261–280, 1993

work page 1993