pith. machine review for the scientific record. sign in

arxiv: 2604.25198 · v1 · submitted 2026-04-28 · 🧮 math.RT · math.NT

Recognition: unknown

The local Langlands correspondence of essentially unipotent supercuspidal representations for disconnected reductive groups

Amoru Fujii

Pith reviewed 2026-05-07 14:29 UTC · model grok-4.3

classification 🧮 math.RT math.NT
keywords local Langlands correspondencesupercuspidal representationsrigid inner formsdisconnected reductive groupsfunctorialityequivarianceunipotent representations
0
0 comments X

The pith

The local Langlands correspondence is constructed for essentially unipotent supercuspidal representations of disconnected reductive groups using rigid inner forms.

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

The paper constructs the local Langlands correspondence for essentially unipotent supercuspidal representations by working in the framework of rigid inner forms. It establishes functoriality properties and various compatibilities for this correspondence. A strengthened form of equivariance under group automorphisms is proved, going beyond the result in earlier work. The same correspondence is extended to disconnected reductive groups once a mild structural condition on the group is satisfied. The construction is presented as a step toward broader explicit correspondences for supercuspidal representations.

Core claim

We construct the local Langlands correspondence of essentially unipotent supercuspidal representations under the framework of rigid inner forms and prove a certain functoriality and compatibilities. In particular, we show the equivariance under automorphisms, which is stronger than the analogous result in [FOS20]. We also generalize this correspondence for disconnected reductive groups under a mild condition on the group structure.

What carries the argument

The local Langlands correspondence map for essentially unipotent supercuspidal representations, constructed inside the rigid inner forms framework to ensure functoriality, compatibilities, and automorphism equivariance.

If this is right

  • The correspondence satisfies stated functoriality properties.
  • It is compatible with existing constructions in the literature.
  • It is equivariant under automorphisms of the group, strengthening prior results.
  • The correspondence extends directly to disconnected reductive groups satisfying the mild condition.
  • The result supports future extension of explicit local Langlands correspondences to wider classes of supercuspidal representations.

Where Pith is reading between the lines

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

  • The stronger equivariance property may improve compatibility when combining this correspondence with other functoriality statements in the Langlands program.
  • The construction under rigid inner forms could serve as a template for defining similar maps for representations that are not essentially unipotent.

Load-bearing premise

The generalization to disconnected reductive groups holds only under a mild condition on the group structure, and the full construction depends on the rigid inner forms framework.

What would settle it

An explicit counterexample showing failure of automorphism equivariance for the correspondence on a specific disconnected reductive group that meets the mild structural condition would disprove the main claim.

read the original abstract

We construct the local Langlands correspondence of essentially unipotent supercuspidal representations under the framework of rigid inner forms and prove a certaion functoriality and compatibilities. In particular, we show the equivariance under automorphisms, which is stronger than the analogous result in [FOS20]. We also generalize this correspondence for disconnected reductive groups under a mild condition on the group structure. We expect to use this result for extension of the explicit local Langlands correspondence in [Kal21] for more general supercuspidal representations.

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 / 3 minor

Summary. The paper constructs the local Langlands correspondence for essentially unipotent supercuspidal representations of reductive groups in the rigid inner forms framework. It establishes functoriality and compatibilities, including automorphism equivariance that strengthens the result of [FOS20]. The correspondence is generalized to disconnected reductive groups under an explicitly stated mild condition on the group structure, with the goal of extending explicit constructions from [Kal21] to broader classes of supercuspidals.

Significance. If the constructions and proofs hold, the work meaningfully extends the rigid inner forms approach to LLC by handling essentially unipotent supercuspidals with stronger equivariance properties and by providing a controlled generalization to disconnected groups. This directly supports the stated aim of broadening explicit LLC results and supplies a concrete technical bridge between connected and disconnected settings.

minor comments (3)
  1. Abstract: 'certaion' is a typographical error and should read 'certain'.
  2. The mild condition on the group structure is invoked repeatedly for the disconnected case; a dedicated subsection or remark clarifying its necessity and verifying it for standard examples (e.g., products with finite groups of order coprime to the residue characteristic) would improve readability.
  3. Notation for the rigid inner form data and the associated L-parameters should be cross-referenced more explicitly to the definitions in [FOS20] and [Kal21] to help readers track the extensions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, accurate description of its contributions, and recommendation for minor revision. No major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper presents a construction of the local Langlands correspondence for essentially unipotent supercuspidal representations within the established rigid inner forms framework, along with proofs of functoriality, compatibilities, and automorphism equivariance that extend prior results. The generalization to disconnected reductive groups is explicitly conditioned on a mild structural assumption that is shown to suffice for the required properties. No derivation step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the central claims consist of new proofs and extensions rather than renaming or smuggling ansatzes. The work is self-contained against external benchmarks in the sense that its logical steps are independent of the target results themselves.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the rigid inner forms framework and a mild structural condition for disconnected groups; no free parameters or new invented entities are mentioned in the abstract.

axioms (2)
  • domain assumption Framework of rigid inner forms
    Invoked as the setting in which the correspondence is constructed.
  • ad hoc to paper Mild condition on the group structure
    Required for the generalization to disconnected reductive groups.

pith-pipeline@v0.9.0 · 5380 in / 1277 out tokens · 136486 ms · 2026-05-07T14:29:18.656847+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

13 extracted references · 2 canonical work pages

  1. [1]

    Aubert, A

    A.-M. Aubert, A. Moussaoui, and M. Solleveld, Generalizations of the S pringer correspondence and cuspidal L anglands parameters , Manuscripta Math. 157 (2018), no. 1-2, 121--192

  2. [2]

    Arthur, A note on L -packets , Pure Appl

    J. Arthur, A note on L -packets , Pure Appl. Math. Q. 2 (2006), no. 1, 199--217

  3. [3]

    Y. Feng, E. Opdam, and M. Solleveld, Supercuspidal unipotent representations: L -packets and formal degrees , J. \'Ec. polytech. Math. 7 (2020), 1133--1193

  4. [4]

    Kaletha, Rigid inner forms of real and p -adic groups , Ann

    T. Kaletha, Rigid inner forms of real and p -adic groups , Ann. of Math. (2) 184 (2016), no. 2, 559--632

  5. [5]

    , Rigid inner forms vs isocrystals, J. Eur. Math. Soc. (JEMS) 20 (2018), no. 1, 61--101

  6. [6]

    , Regular supercuspidal representations, J. Amer. Math. Soc. 32 (2019), no. 4, 1071--1170

  7. [7]

    , Supercuspidal L -packets , 2021, Preprint: http://arxiv.org/abs/1912.03274 arXiv:1912.03274 [math.RT]

  8. [8]

    Kaletha, On the local langlands conjectures for disconnected groups, 2022, Preprint: http://arxiv.org/abs/2210.02519 arXiv:2210.02519 [math.RT]

    T. Kaletha, On the local langlands conjectures for disconnected groups, 2022, Preprint: http://arxiv.org/abs/2210.02519 arXiv:2210.02519 [math.RT]

  9. [9]

    Lusztig, Classification of unipotent representations of simple p -adic groups , Internat

    G. Lusztig, Classification of unipotent representations of simple p -adic groups , Internat. Math. Res. Notices (1995), no. 11, 517--589

  10. [10]

    Lusztig, Classification of unipotent representations of simple p -adic groups

    G. Lusztig, Classification of unipotent representations of simple p -adic groups. II , Represent. Theory 6 (2002), 243--289

  11. [11]

    Theory 19 (2015), 211--235

    , Unipotent representations as a categorical centre, Represent. Theory 19 (2015), 211--235

  12. [12]

    Morris, Tamely ramified supercuspidal representations, Ann

    L. Morris, Tamely ramified supercuspidal representations, Ann. Sci. \'Ecole Norm. Sup. (4) 29 (1996), no. 5, 639--667

  13. [13]

    Solleveld, On unipotent representations of ramified p -adic groups , Represent

    M. Solleveld, On unipotent representations of ramified p -adic groups , Represent. Theory 27 (2023), 669--716