arxiv: 2605.06922 · v1 · submitted 2026-05-07 · 🧮 math.RT · math.NT

Recognition: 2 theorem links

· Lean Theorem

On the refined local Langlands conjecture for discrete L-parameters of inner forms of quasi-split disconnected real reductive groups

Paul Mezo, Tasho Kaletha

Pith reviewed 2026-05-11 01:11 UTC · model grok-4.3

classification 🧮 math.RT math.NT

keywords local Langlands correspondencediscrete series representationsendoscopic character identitiesinner formsdisconnected reductive groupsreal groupsL-parameters

0 comments

The pith

The refined local Langlands correspondence holds for discrete L-parameters of inner forms of quasi-split disconnected real reductive groups.

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

The paper shows how to attach packets of irreducible discrete series representations to each discrete L-parameter of a quasi-split connected reductive group G over the reals. It does this on every inner form of the disconnected group obtained by adjoining a finite group A of pinning-preserving automorphisms. The packets are constructed so that they obey endoscopic character identities relative to normalized transfer factors. If this construction is correct, it supplies the missing piece that lets the local Langlands correspondence classify discrete series representations on these larger disconnected groups in a manner compatible with endoscopy.

Core claim

For each discrete L-parameter of G, the authors produce an L-packet of irreducible discrete series representations on every inner form of the disconnected group G ⋊ A. These packets satisfy the endoscopic character identities with respect to normalized transfer factors, thereby establishing the refined local Langlands correspondence for inner forms of quasi-split disconnected real reductive groups.

What carries the argument

The L-packet attached to a discrete L-parameter, obtained by transporting the parameter to each inner form and verifying the endoscopic character identities via normalized transfer factors.

Load-bearing premise

The finite group A acts on G by R-automorphisms that preserve an R-pinning, and normalized transfer factors exist and behave as required for the endoscopic identities.

What would settle it

An explicit discrete L-parameter together with an inner form on which the associated packet fails to match the endoscopic character identity for some test function.

read the original abstract

Given a quasi-split connected reductive $\mathbb{R}$-group $G$ and a finite group $A$ acting on $G$ by $\mathbb{R}$-automorphisms that preserve an $\mathbb{R}$-pinning, we construct for each discrete $L$-parameter for $G$ a corresponding $L$-packet of irreducible discrete series representations on each inner forms $\tilde G_z(\mathbb{R})$ of the disconnected group $\tilde G = G \rtimes A$. We prove that these $L$-packets satisfy the endoscopic character identities with respect to normalized transfer factors. This proves the conjectural refined local Langlands correspondence for inner forms of quasi-split disconnected real reductive groups, as recently formulated by the first author.

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

1 major / 2 minor

Summary. The manuscript constructs, for each discrete L-parameter of a quasi-split connected reductive R-group G, a corresponding L-packet of irreducible discrete series representations on each inner form G̃_z(R) of the disconnected group G̃ = G ⋊ A (with A acting by R-automorphisms preserving an R-pinning). It proves that these L-packets satisfy the endoscopic character identities with respect to normalized transfer factors, thereby establishing the refined local Langlands correspondence for inner forms of quasi-split disconnected real reductive groups as recently formulated by the first author.

Significance. If the constructions and verifications hold, the result supplies an explicit, parameter-free realization of L-packets for discrete parameters together with a direct check of the endoscopic identities on inner forms. This constitutes a concrete advance for the local Langlands program in the disconnected setting, extending the connected case while incorporating the action of A and the inner-form twisting.

major comments (1)

[section on normalized transfer factors and endoscopic identities] The section on normalized transfer factors and endoscopic identities: the manuscript invokes normalized transfer factors for the disconnected group G̃ and its inner forms but does not supply an explicit construction or separate verification that the normalization (typically defined via Whittaker data or pinning in the connected case) extends canonically to the semidirect product G ⋊ A while remaining compatible with the R-pinning and the twisting by z. This step is load-bearing for the claimed endoscopic character identities.

minor comments (2)

Clarify the precise definition of the cocycle z and the resulting inner form G̃_z(R) at the first appearance of the notation.
Add a short remark distinguishing the new explicit packet construction from the prior formulation of the conjecture by the first author.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading, positive evaluation of the significance of the work, and for identifying this important point regarding the normalized transfer factors. We address the comment below and will incorporate clarifications in the revised manuscript.

read point-by-point responses

Referee: The section on normalized transfer factors and endoscopic identities: the manuscript invokes normalized transfer factors for the disconnected group G̃ and its inner forms but does not supply an explicit construction or separate verification that the normalization (typically defined via Whittaker data or pinning in the connected case) extends canonically to the semidirect product G ⋊ A while remaining compatible with the R-pinning and the twisting by z. This step is load-bearing for the claimed endoscopic character identities.

Authors: We thank the referee for highlighting this aspect. The normalized transfer factors for the disconnected group are defined by canonically extending the Whittaker normalization of the connected group G via the R-pinning preserved by the action of A; compatibility with the inner-form twisting by z follows directly from the cocycle condition and the fact that A acts by R-automorphisms preserving the pinning. This construction is used throughout the endoscopic character identities in the paper. That said, we agree that a more explicit, self-contained verification of the extension would strengthen the exposition and make the load-bearing step fully transparent. In the revised version we will add a dedicated subsection (in the section on normalized transfer factors) that spells out the canonical extension, proves its independence of choices, and verifies compatibility with the R-pinning and the twisting parameter z. revision: yes

Circularity Check

0 steps flagged

Independent explicit construction and verification of refined LLC

full rationale

The paper supplies an explicit construction of L-packets for discrete L-parameters on each inner form of the disconnected group and directly verifies the endoscopic character identities against normalized transfer factors. The conjecture statement itself is referenced to prior work by the first author, but this is merely a citation of the target statement rather than a load-bearing reduction of the proof. No derivation step reduces by construction to a fitted parameter, self-defined quantity, or unverified self-citation chain; the assumptions on the A-action, R-pinning preservation, and transfer-factor normalization are stated as external inputs. The central claims therefore remain self-contained against the stated hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard domain assumptions from the Langlands program with no free parameters or new postulated entities introduced.

axioms (1)

domain assumption Standard properties of quasi-split real reductive groups, L-groups, discrete L-parameters, and normalized endoscopic transfer factors
These are foundational assumptions invoked throughout the local Langlands correspondence for real groups.

pith-pipeline@v0.9.0 · 5423 in / 1337 out tokens · 45432 ms · 2026-05-11T01:11:24.788739+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/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
We construct for each discrete L-parameter for G a corresponding L-packet of irreducible discrete series representations on each inner forms G̃_z(R) of the disconnected group G̃ = G ⋊ A. We prove that these L-packets satisfy the endoscopic character identities with respect to normalized transfer factors.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Duflo’s construction of irreducible representations of arbitrary Lie groups, specialized to the case of a disconnected reductive group G̃ and essentially discrete series representations thereof.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages · 2 internal anchors

[1]

Jeffrey Adams and Alexandre Afgoustidis, Nilpotent invariants for generic discrete series of real groups, arXiv:2410.04134

work page internal anchor Pith review Pith/arXiv arXiv
[2]

Discrete series L-packets for real reductive groups

Jeffrey Adams and Tasho Kaletha, Discrete series L -packets for real reductive groups , Preprint, arXiv :2409.13375 [math. RT ] (2024), 2024

work page internal anchor Pith review Pith/arXiv arXiv 2024
[3]

Vogan, Jr., Contragredient representations and characterizing the local L anglands correspondence , Amer

Jeffrey Adams and David A. Vogan, Jr., Contragredient representations and characterizing the local L anglands correspondence , Amer. J. Math. 138 (2016), no. 3, 657--682. 3506381

work page 2016
[4]

Alexandre Beilinson and Joseph Bernstein, Localisation de g -modules , C. R. Acad. Sci. Paris S\'er. I Math. 292 (1981), no. 1, 15--18. 610137

work page 1981
[5]

Beilinson and J

A. Beilinson and J. Bernstein, A proof of J antzen conjectures , I. M . G elfand S eminar, Adv. Soviet Math., vol. 16, Part 1, Amer. Math. Soc., Providence, RI, 1993, pp. 1--50. 1237825

work page 1993
[6]

Abderrazak Bouaziz, Sur les caract\`eres des groupes de L ie r\' e ductifs non connexes , J. Funct. Anal. 70 (1987), no. 1, 1--79. 870753

work page 1987
[7]

15, 1984, Harmonic analysis on Lie groups and symmetric spaces (Kleebach, 1983), pp

Michel Duflo, Gerrit Heckman, and Mich\`ele Vergne, Projection d'orbites, formule de K irillov et formule de B lattner , no. 15, 1984, Harmonic analysis on Lie groups and symmetric spaces (Kleebach, 1983), pp. 65--128. 789081

work page 1984
[8]

Peter Dillery, Rigid inner forms over local function fields, Adv. Math. 430 (2023), Paper No. 109204, 100. 4617942

work page 2023
[9]

129--221

Michel Duflo, Construction de repr\' e sentations unitaires d'un groupe de L ie , Harmonic analysis and group representations, Liguori, Naples, 1982, pp. 129--221. 777341

work page 1982
[10]

Dougal Davis and Kari Vilonen, Unitary representations of real groups and localization theory for hodge modules, arXiv:2309.13215

work page arXiv
[11]

Ginsburg, Characteristic varieties and vanishing cycles, Invent

V. Ginsburg, Characteristic varieties and vanishing cycles, Invent. Math. 84 (1986), no. 2, 327--402. 833194

work page 1986
[12]

Humphreys, Introduction to Lie algebras and representation theory

James E. Humphreys, Introduction to Lie algebras and representation theory. 3rd printing, rev , Grad. Texts Math., vol. 9, Springer, Cham, 1980 (English)

work page 1980
[13]

217--257

Tasho Kaletha, The local L anglands conjectures for non-quasi-split groups , Families of automorphic forms and the trace formula, Simons Symp., Springer, 2016, pp. 217--257. 3675168

work page 2016
[14]

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

work page 2016
[15]

, On L -embeddings and double covers of tori over local fields , arXiv:1907.05173 (2019)

work page arXiv 1907
[16]

, On the local L anglands conjectures for disconnected groups , arxiv:2210.02519 (2022)

work page arXiv 2022
[17]

Knapp, Representation theory of semisimple groups, Princeton Mathematical Series, vol

Anthony W. Knapp, Representation theory of semisimple groups, Princeton Mathematical Series, vol. 36, Princeton University Press, Princeton, NJ, 1986, An overview based on examples. 855239

work page 1986
[18]

140, Birkh\" a user Boston, Inc., Boston, MA, 2002

, Lie groups beyond an introduction, second ed., Progress in Mathematics, vol. 140, Birkh\" a user Boston, Inc., Boston, MA, 2002. 1920389

work page 2002
[19]

Bertram Kostant, On W hittaker vectors and representation theory , Invent. Math. 48 (1978), no. 2, 101--184. 507800 (80b:22020)

work page 1978
[20]

Kottwitz, Sign changes in harmonic analysis on reductive groups, Trans

Robert E. Kottwitz, Sign changes in harmonic analysis on reductive groups, Trans. Amer. Math. Soc. 278 (1983), no. 1, 289--297. 697075 (84i:22012)

work page 1983
[21]

Kostant and S

B. Kostant and S. Rallis, Orbits and representations associated with symmetric spaces, Amer. J. Math. 93 (1971), 753--809. 311837

work page 1971
[22]

Kottwitz and Diana Shelstad, On splitting invariants and sign conventions in endoscopic transfer, arXiv:1201.5658

Robert E. Kottwitz and Diana Shelstad, On splitting invariants and sign conventions in endoscopic transfer, arXiv:1201.5658

work page arXiv
[23]

255, vi+190

, Foundations of twisted endoscopy, Ast\'erisque (1999), no. 255, vi+190. 1687096 (2000k:22024)

work page 1999
[24]

R. P. Langlands, On the classification of irreducible representations of real algebraic groups, Representation theory and harmonic analysis on semisimple L ie groups, Math. Surveys Monogr., vol. 31, Amer. Math. Soc., Providence, RI, 1989, pp. 101--170. 1011897 (91e:22017)

work page 1989
[25]

386, ix+366

Bertrand Lemaire and Guy Henniart, Repr\'esentations des espaces tordus sur un groupe r\'eductif connexe p -adique, Ast\'erisque (2017), no. 386, ix+366. 3632513

work page 2017
[26]

R. P. Langlands and D. Shelstad, On the definition of transfer factors, Math. Ann. 278 (1987), no. 1-4, 219--271. 909227 (89c:11172)

work page 1987
[27]

Yi Luo, On the multiplicity formula for discrete automorphic representations of disconnected tori, preprint, arXiv:2312.16389, 2023

work page arXiv 2023
[28]

Paul Mezo, Character identities in the twisted endoscopy of real reductive groups, Mem. Amer. Math. Soc. 222 (2013), no. 1042, vi+94. 3076427

work page 2013
[29]

Mark Reeder, Torsion automorphisms of simple L ie algebras , Enseign. Math. (2) 56 (2010), no. 1-2, 3--47. 2674853 (2012b:17040)

work page 2010
[30]

David Renard, Twisted orbital integrals on real reductive Lie groups , J. Funct. Anal. 145 (1997), no. 2, 374--454 (French)

work page 1997
[31]

Wilfried Schmid, Some properties of square-integrable representations of semisimple L ie groups , Ann. of Math. (2) 102 (1975), no. 3, 535--564. 579165

work page 1975
[32]

Shelstad, Embeddings of L -groups , Canad

D. Shelstad, Embeddings of L -groups , Canad. J. Math. 33 (1981), no. 3, 513--558. 627641 (83e:22022)

work page 1981
[33]

, Tempered endoscopy for real groups. I . G eometric transfer with canonical factors , Representation theory of real reductive L ie groups, Contemp. Math., vol. 472, Amer. Math. Soc., Providence, RI, 2008, pp. 215--246. 2454336 (2011d:22013)

work page 2008
[34]

, Tempered endoscopy for real groups. II . S pectral transfer factors , Automorphic forms and the L anglands program, Adv. Lect. Math. (ALM), vol. 9, Int. Press, Somerville, MA, 2010, pp. 236--276. 2581952

work page 2010
[35]

, On geometric transfer in real twisted endoscopy, Ann. of Math. (2) 176 (2012), no. 3, 1919--1985. 2979862

work page 2012
[36]

80, American Mathematical Society, Providence, R.I., 1968

Robert Steinberg, Endomorphisms of linear algebraic groups, Memoirs of the American Mathematical Society, No. 80, American Mathematical Society, Providence, R.I., 1968. 0230728 (37 \#6288)

work page 1968
[37]

Olivier Ta \"i bi, The local L anglands conjecture , Proceedings of the IHES Summer School on the Langlands Program, 2022

work page 2022
[38]

Tate, Number theoretic background, Automorphic forms, representations and L -functions ( P roc

J. Tate, Number theoretic background, Automorphic forms, representations and L -functions ( P roc. S ympos. P ure M ath., O regon S tate U niv., C orvallis, O re., 1977), P art 2, Proc. Sympos. Pure Math., XXXIII, Amer. Math. Soc., Providence, R.I., 1979, pp. 3--26. 546607 (80m:12009)

work page 1977
[39]

Vogan, Jr., Gelfand- K irillov dimension for H arish- C handra modules , Invent

David A. Vogan, Jr., Gelfand- K irillov dimension for H arish- C handra modules , Invent. Math. 48 (1978), no. 1, 75--98. 0506503 (58 \#22205)

work page 1978
[40]

Vogan, Irreducible characters of semisimple L ie groups

David A. Vogan, Irreducible characters of semisimple L ie groups. III . P roof of K azhdan- L usztig conjecture in the integral case , Invent. Math. 71 (1983), no. 2, 381--417. 689650 (84h:22036)

work page 1983
[41]

Vogan, Jr., Associated varieties and unipotent representations, Harmonic analysis on reductive groups ( B runswick, ME , 1989), Progr

David A. Vogan, Jr., Associated varieties and unipotent representations, Harmonic analysis on reductive groups ( B runswick, ME , 1989), Progr. Math., vol. 101, Birkh\"auser Boston, Boston, MA, 1991, pp. 315--388. 1168491

work page 1989