pith. sign in

arxiv: 2409.13375 · v1 · submitted 2024-09-20 · 🧮 math.RT · math.NT

Discrete series L-packets for real reductive groups

Jeffrey Adams , Tasho Kaletha This is my paper

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

classification 🧮 math.RT math.NT
keywords discrete seriesL-packetsreal reductive groupstransfer factorsWhittaker datumendoscopic groupsLanglands parameterscharacter relations
0
0 comments X

The pith

Modern exposition simplifies construction and parameterization of discrete series L-packets for 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 gives an updated account of how discrete series L-packets for real reductive groups are constructed, parameterized by Langlands parameters, and related by character formulas. It folds in recent definitions of normalized geometric transfer factors and canonical double covers of tori and endoscopic groups, which shorten the original statements from Langlands and Shelstad. Two new results are proved: a direct test for whether a representation is generic relative to a fixed Whittaker datum, and an explicit expression for the factor Δ_I using the covers of tori. These changes matter for anyone working with the local Langlands correspondence, because the packets classify representations and the character relations are the bridge to endoscopy and trace formulas.

Core claim

The construction, parameterization, and character relations for discrete series L-packets of real reductive groups admit simpler statements and proofs once normalized geometric transfer factors and the canonical double covers of tori and endoscopic groups are used; the same tools also yield a simple criterion that detects generic representations for a prescribed Whittaker datum and an explicit formula for the factor Δ_I in terms of covers of tori.

What carries the argument

Discrete series L-packets, built from Langlands parameters, whose character relations are expressed via normalized geometric transfer factors and canonical double covers of tori.

If this is right

  • Character relations for discrete series representations become shorter to write and verify.
  • Generic representations can be identified by a direct check against a chosen Whittaker datum.
  • Computations involving the factor Δ_I reduce to explicit data on covers of tori.
  • The entire local theory for these packets integrates recent normalization conventions without extra correction terms.

Where Pith is reading between the lines

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

  • The same normalization choices may shorten proofs for non-discrete-series packets once analogous covers are defined.
  • The generic criterion supplies a practical test that could be run on explicit matrix coefficients in low-dimensional groups.
  • Explicit Δ_I formulas may help isolate the contribution of real places in global trace formulas.
  • The exposition isolates which parts of the original Langlands-Shelstad work depend only on the new covers rather than on older ad-hoc choices.

Load-bearing premise

The normalized geometric transfer factors and canonical double covers of tori and endoscopic groups are correctly defined and can be applied without creating inconsistencies in the character relations or packet parameterizations.

What would settle it

An explicit low-rank example, such as a discrete series packet for SL(2,R) or SU(2,1), in which the new criterion misclassifies a known generic representation or the updated character relation fails to match the original Langlands-Shelstad formula.

read the original abstract

We give a modern exposition of the construction, parameterization, and character relations for discrete series L-packets of real reductive groups, which are fundamental results due to Langlands and Shelstad. This exposition incorporates recent developments not present in the original sources, such as normalized geometric transfer factors and the canonical double covers of tori and endoscopic groups, allowing for simpler statements and proofs. We also prove some new results, such as a simple criterion for detecting generic representations for a prescribed Whittaker datum, and an explicit formula for the factor $\Delta_I$ in terms of covers of tori.

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 manuscript provides a modern exposition of the construction, parameterization, and character relations for discrete series L-packets of real reductive groups, following Langlands and Shelstad, while incorporating normalized geometric transfer factors and canonical double covers of tori and endoscopic groups. It also establishes new results including a criterion for detecting generic representations relative to a prescribed Whittaker datum and an explicit formula for the factor Δ_I in terms of covers of tori.

Significance. If the results hold, the work supplies a streamlined reference that consolidates recent technical advances into the classical theory of discrete series packets. The new criterion for genericity and the formula for Δ_I could reduce the technical overhead in applications to endoscopic classification and character relations for real groups.

minor comments (2)
  1. [Introduction] The introduction could more explicitly flag which statements are new versus expository to help readers navigate the updates to the Langlands-Shelstad framework.
  2. Notation for the canonical double covers and the normalized transfer factors should be cross-referenced consistently between the new results on Δ_I and the recalled character relations.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and recommendation to accept the manuscript. The referee's summary accurately captures the scope and contributions of the work.

Circularity Check

0 steps flagged

No significant circularity; exposition of external results plus independent simplifications

full rationale

The paper is framed as a modern exposition of the Langlands-Shelstad construction of discrete series L-packets, incorporating cited recent developments on normalized geometric transfer factors and canonical double covers. The new results (generic representation criterion and explicit Δ_I formula) are presented as simplifications following from those external updates rather than self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations. No derivation step reduces by the paper's own equations to its inputs by construction; the central claims rest on independently established prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so specific free parameters, axioms, or invented entities cannot be extracted. The work rests on the standard framework of the Langlands program for real groups.

pith-pipeline@v0.9.0 · 5612 in / 988 out tokens · 23886 ms · 2026-05-23T21:11:49.795276+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.

Forward citations

Cited by 2 Pith papers

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

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

    math.RT 2026-05 unverdicted novelty 7.0

    The paper constructs L-packets for discrete L-parameters on inner forms of quasi-split disconnected real reductive groups and proves they satisfy endoscopic character identities, establishing the refined local Langlan...

  2. Nilpotent Invariants for Generic Discrete Series of Real Groups

    math.RT 2024-10 unverdicted novelty 3.0

    For generic discrete series of real reductive groups, the associated variety, wave-front set, and set of Whittaker data are in natural bijection, with elementary proofs of known relations including the Kostant-Sekiguc...

Reference graph

Works this paper leans on

64 extracted references · 64 canonical work pages · cited by 2 Pith papers · 1 internal anchor

  1. [1]

    Adams and A

    J. Adams and A. Afgoustidis, Whittaker models for real groups, preprint

    work page

  2. [2]

    Vogan, Jr., The L anglands classification and irreducible characters for real reductive groups , Progress in Mathematics, vol

    Jeffrey Adams, Dan Barbasch, and David A. Vogan, Jr., The L anglands classification and irreducible characters for real reductive groups , Progress in Mathematics, vol. 104, Birkh\"auser Boston, Inc., Boston, MA, 1992. 1162533 (93j:22001)

    work page 1992

  3. [3]

    Math., vol

    James Arthur, Problems for real groups, Representation theory of real reductive L ie groups, Contemp. Math., vol. 472, Amer. Math. Soc., Providence, RI, 2008, pp. 39--62. 2478455 (2010c:22014)

    work page 2008

  4. [4]

    Vogan, Jr., L -groups, projective representations, and the L anglands classification , Amer

    Jeffrey Adams and David A. Vogan, Jr., L -groups, projective representations, and the L anglands classification , Amer. J. Math. 114 (1992), no. 1, 45--138. 1147719 (93c:22021)

    work page 1992

  5. [5]

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

    work page 2016

  6. [6]

    , Associated varieties for real reductive groups, Pure Appl. Math. Q. 17 (2021), no. 4, 1191--1267. 4359259

    work page 2021

  7. [7]

    Borel, Automorphic L -functions , Automorphic forms, representations and L -functions ( P roc

    A. Borel, Automorphic L -functions , 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. 27--61. 546608 (81m:10056)

    work page 1977

  8. [8]

    126, Springer-Verlag, New York, 1991

    Armand Borel, Linear algebraic groups, second ed., Graduate Texts in Mathematics, vol. 126, Springer-Verlag, New York, 1991. 1102012 (92d:20001)

    work page 1991

  9. [9]

    Bourbaki, Lie groups and lie algebras: Chapters 1-3, Bourbaki, Nicolas: Elements of mathematics, Springer, 1989

    N. Bourbaki, Lie groups and lie algebras: Chapters 1-3, Bourbaki, Nicolas: Elements of mathematics, Springer, 1989

    work page 1989

  10. [10]

    Vogan, Jr., The local structure of characters, J

    Dan Barbasch and David A. Vogan, Jr., The local structure of characters, J. Functional Analysis 37 (1980), no. 1, 27--55. 576644

    work page 1980

  11. [11]

    Collingwood and William M

    David H. Collingwood and William M. McGovern, Nilpotent orbits in semisimple L ie algebras , Van Nostrand Reinhold Mathematics Series, Van Nostrand Reinhold Co., New York, 1993. MR1251060 (94j:17001)

    work page 1993

  12. [12]

    Peter Dillery, Rigid inner forms over local function fields, 2020, preprint, arXiv:2008.04472

    work page arXiv 2020

  13. [13]

    Stephen DeBacker and Mark Reeder, On some generic very cuspidal representations, Compos. Math. 146 (2010), no. 4, 1029--1055. 2660683 (2011j:20114)

    work page 2010

  14. [14]

    Jessica Fintzen, Tasho Kaletha, and Loren Spice, A twisted Y u construction, H arish- C handra characters, and endoscopy , arXiv:2106.09120 (2021)

    work page arXiv 2021

  15. [15]

    Lucas Fresse and Salah Mehdi, Approximation of nilpotent orbits for simple L ie groups , Glas. Mat. Ser. III 56(76) (2021), no. 2, 287--327. 4400846

    work page 2021

  16. [16]

    Harish-Chandra, The characters of semisimple L ie groups , Trans. Amer. Math. Soc. 83 (1956), 98--163. 80875

    work page 1956

  17. [17]

    , Invariant distributions on L ie algebras , Amer. J. Math. 86 (1964), 271--309. 161940

    work page 1964

  18. [18]

    , Discrete series for semisimple L ie groups. I . C onstruction of invariant eigendistributions , Acta Math. 113 (1965), 241--318. 219665

    work page 1965

  19. [19]

    , Invariant eigendistributions on a semisimple L ie group , Trans. Amer. Math. Soc. 119 (1965), 457--508. 180631

    work page 1965

  20. [20]

    , Harmonic analysis on real reductive groups. I . T he theory of the constant term , J. Functional Analysis 19 (1975), 104--204. 399356

    work page 1975

  21. [21]

    , Harmonic analysis on real reductive groups. II . W avepackets in the S chwartz space , Invent. Math. 36 (1976), 1--55. 439993

    work page 1976

  22. [22]

    , Harmonic analysis on real reductive groups. III . T he M aass- S elberg relations and the P lancherel formula , Ann. of Math. (2) 104 (1976), no. 1, 117--201. 439994

    work page 1976

  23. [23]

    Benjamin Harris, Hongyu He, and Gestur \' O lafsson, Wave front sets of reductive L ie group representations , Duke Math. J. 165 (2016), no. 5, 793--846. 3482333

    work page 2016

  24. [24]

    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

  25. [25]

    Tasho Kaletha, Lectures on the stable trace formula, with emphasis on SL _2 , available on author's website

    work page

  26. [26]

    , Endoscopic character identities for depth-zero supercuspidal L -packets , Duke Math. J. 158 (2011), no. 2, 161--224. 2805068 (2012f:22031)

    work page 2011

  27. [27]

    10, 2447--2474

    , Genericity and contragredience in the local L anglands correspondence , Algebra Number Theory 7 (2013), no. 10, 2447--2474. 3194648

    work page 2013

  28. [28]

    217--257

    , 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

  29. [29]

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

    work page 2016

  30. [30]

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

    work page arXiv 1907

  31. [31]

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

    work page 2019

  32. [32]

    , Covers of reductive groups and functoriality, arXiv:2209.14357 (2022)

    work page arXiv 2022

  33. [33]

    Knapp, Lie groups beyond an introduction, second ed., Progress in Mathematics, vol

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

    work page 2002

  34. [34]

    Bertram Kostant, The principal three-dimensional subgroup and the B etti numbers of a complex simple L ie group , Amer. J. Math. 81 (1959), 973--1032. 114875

    work page 1959

  35. [35]

    , Lie group representations on polynomial rings, Amer. J. Math. 85 (1963), 327--404. 158024

    work page 1963

  36. [36]

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

    work page 1978

  37. [37]

    Kottwitz, Rational conjugacy classes in reductive groups, Duke Math

    Robert E. Kottwitz, Rational conjugacy classes in reductive groups, Duke Math. J. 49 (1982), no. 4, 785--806. 683003 (84k:20020)

    work page 1982

  38. [38]

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

    work page 1983

  39. [39]

    , Stable trace formula: cuspidal tempered terms, Duke Math. J. 51 (1984), no. 3, 611--650. 757954 (85m:11080)

    work page 1984

  40. [40]

    , Stable trace formula: elliptic singular terms, Math. Ann. 275 (1986), no. 3, 365--399. 858284 (88d:22027)

    work page 1986

  41. [41]

    II , Compositio Math

    , Isocrystals with additional structure. II , Compositio Math. 109 (1997), no. 3, 255--339. 1485921 (99e:20061)

    work page 1997

  42. [42]

    Theory 3 (1999), 127--138 (electronic)

    , Transfer factors for L ie algebras , Represent. Theory 3 (1999), 127--138 (electronic). 1703328 (2000g:22028)

    work page 1999

  43. [43]

    On Splitting Invariants and Sign Conventions in Endoscopic Transfer

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

    work page internal anchor Pith review Pith/arXiv arXiv

  44. [44]

    255, vi+190

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

    work page 1999

  45. [45]

    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

  46. [46]

    R. P. Langlands and M. Rapoport, Shimuravariet\"aten und G erben , J. Reine Angew. Math. 378 (1987), 113--220. 895287 (88i:11036)

    work page 1987

  47. [47]

    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

  48. [48]

    Langlands and D

    R. Langlands and D. Shelstad, Descent for transfer factors, The G rothendieck F estschrift, V ol.\ II , Progr. Math., vol. 87, Birkh\"auser Boston, Boston, MA, 1990, pp. 485--563. 1106907 (92i:22016)

    work page 1990

  49. [49]

    82 (1992), no

    Hisayosi Matumoto, C^ - - W hittaker vectors corresponding to a principal nilpotent orbit of a real reductive linear L ie group, and wave front sets , Compositio Math. 82 (1992), no. 2, 189--244. 1157939

    work page 1992

  50. [50]

    Bao Ch \^a u Ng \^o , Le lemme fondamental pour les alg\`ebres de L ie , Publ. Math. Inst. Hautes \'Etudes Sci. (2010), no. 111, 1--169. 2653248 (2011h:22011)

    work page 2010

  51. [51]

    139, Academic Press, Inc., Boston, MA, 1994, Translated from the 1991 Russian original by Rachel Rowen

    Vladimir Platonov and Andrei Rapinchuk, Algebraic groups and number theory, Pure and Applied Mathematics, vol. 139, Academic Press, Inc., Boston, MA, 1994, Translated from the 1991 Russian original by Rachel Rowen. 1278263 (95b:11039)

    work page 1994

  52. [52]

    Freydoon Shahidi, A proof of L anglands' conjecture on P lancherel measures; complementary series for p -adic groups , Ann. of Math. (2) 132 (1990), no. 2, 273--330. 1070599 (91m:11095)

    work page 1990

  53. [53]

    Shelstad, L -indistinguishability for real groups , Math

    D. Shelstad, L -indistinguishability for real groups , Math. Ann. 259 (1982), no. 3, 385--430. 661206 (84c:22017)

    work page 1982

  54. [54]

    , 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

  55. [55]

    , Tempered endoscopy for real groups. III . I nversion of transfer and L -packet structure , Represent. Theory 12 (2008), 369--402. 2448289 (2010c:22016)

    work page 2008

  56. [56]

    , 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

  57. [57]

    a user Classics, Birkh\

    T. A. Springer, Linear algebraic groups, second ed., Modern Birkh\" a user Classics, Birkh\" a user Boston, Inc., Boston, MA, 2009. 2458469

    work page 2009

  58. [58]

    T. A. Springer and R. Steinberg, Conjugacy classes, Seminar on A lgebraic G roups and R elated F inite G roups ( T he I nstitute for A dvanced S tudy, P rinceton, N . J ., 1968/69), Lecture Notes in Mathematics, Vol. 131, Springer, Berlin, 1970, pp. 167--266. 0268192 (42 \#3091)

    work page 1968

  59. [59]

    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

  60. [60]

    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

  61. [61]

    Math., vol

    , The local L anglands conjecture , Representation theory of groups and algebras, Contemp. Math., vol. 145, Amer. Math. Soc., Providence, RI, 1993, pp. 305--379. 1216197 (94e:22031)

    work page 1993

  62. [62]

    Wallach, Real reductive groups

    Nolan R. Wallach, Real reductive groups. I , Pure and Applied Mathematics, vol. 132, Academic Press, Inc., Boston, MA, 1988. 929683

    work page 1988

  63. [63]

    Waldspurger, Le lemme fondamental implique le transfert, Compositio Math

    J.-L. Waldspurger, Le lemme fondamental implique le transfert, Compositio Math. 105 (1997), no. 2, 153--236. 1440722 (98h:22023)

    work page 1997

  64. [64]

    , Endoscopie et changement de caract\'eristique, J. Inst. Math. Jussieu 5 (2006), no. 3, 423--525. 2241929 (2007h:22007)

    work page 2006