Pith. sign in

REVIEW 4 minor 30 references

The Aubert and Bernstein involutions for disconnected groups

T0 review · 0 major / 4 minor · reviewed 2026-07-14 · grok-4.5

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

Pith's one-line read Aubert and Bernstein dualities extend to disconnected reductive p-adic groups, with uniqueness, irreducibility, and a character formula.

desk verdict Solid, careful extension of Aubert–Bernstein dualities to arbitrary disconnected p-adic groups, with usable Steinberg and twisted Kottwitz sign for endoscopy. read the letter →

arxiv 2607.10660 v1 pith:JP32HFAN submitted 2026-07-12 math.RT math.NT

Yongshen Cheng , Tasho Kaletha This is my paper · ORCID
classification math.RTmath.NT MSC 22E5020G2511F70
keywords AubertdualityBernsteindisconnectedreductivegroupsp-adicparabolicinductionSteinbergrepresentationtwistedendoscopyKottwitzsign
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

The paper constructs two dualities—Aubert’s covariant involution and Bernstein’s cohomological contravariant involution—on the category of finite-length smooth complex representations of an arbitrary disconnected reductive p-adic group. These functors restrict to the classical dualities on the identity component, square to the identity, preserve irreducibility, commute with the contragredient, and are compatible with parabolic induction and restriction relative to opposite parabolic subgroups. They are uniquely characterized by those properties together with a Frobenius-reciprocity compatibility. As a sample application the authors produce a natural Steinberg representation for the disconnected group, compute its character on regular semisimple elements, and relate it to twisted endoscopic transfer via a sign character that generalizes the classical Kottwitz sign.

What carries the argument

The complex of endofunctors built from parabolic induction and restriction (the Aubert complex Y_t, or its Borel–Serre variant), equipped with a natural action of Ĝ(F) via equivariance under automorphisms that preserve a fixed minimal parabolic pair; after taking the appropriate cohomology or cokernel one obtains D̃_A and D̃_B.

What would settle it

Exhibit a disconnected reductive p-adic group and a finite-length representation for which either (D̃_A)^{2} is not isomorphic to the identity, or D̃_A fails to preserve irreducibility, or the character formula of Proposition 3.2.1 disagrees with direct computation of the character of the Steinberg representation.

Watch

Extended reading notes

Core claim

The Aubert and Bernstein dualities on finite-length smooth representations of a connected reductive p-adic group G extend to functors D̃_A and D̃_B on the corresponding category for any disconnected reductive group Ĝ whose identity component is G; the extensions satisfy the same list of formal properties (involution, compatibility with induction/restriction, preservation of irreducibility, identity/contragredient on supercuspidals) and are uniquely determined by them.

Load-bearing premise

Everything rests on the corresponding dualities and second-adjointness already being known for the connected identity component; if those fail, the disconnected extension fails with them.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper extends Aubert duality D_A and Bernstein cohomological duality D_B from connected reductive p-adic groups G to arbitrary disconnected affine algebraic groups Ĝ with reductive identity component G. It constructs covariant D̃_A (via an equivariant lift of Aubert’s complex Y_t, and equivalently via disconnected parabolic induction/restriction) and contravariant D̃_B (via RHom with the big Hecke algebra of Ĝ), proves that both are involutions, commute with contragredient, satisfy D̃_A∘(−)∨≅D̃_B, are compatible with normalized parabolic induction and restriction relative to opposite parabolics, preserve irreducibility, act as id (resp. contragredient) on supercuspidal blocks, and restrict to the classical dualities on G. Uniqueness characterizations via Frobenius reciprocity and Bernstein decomposition are given (Props. 3.8.5–3.8.6). A character formula for D̃_A is derived, a sign character ε̃_G is introduced, and the construction is applied to define a Steinberg representation St̃ of Ĝ(F), compute its character, and discuss twisted endoscopic transfer and Kottwitz-type signs.

Significance. The extension fills a genuine gap needed for the local Langlands program for disconnected groups (as formulated in Kaletha’s conjectures) and for twisted endoscopy. The constructions are explicit, the equivariance and restriction-compatibility diagrams are carefully checked, and the uniqueness statements via the lifting-isomorphism lemma give a clean axiomatic characterization. The sample application to the Steinberg representation, its character formula, and the appearance of the sign ε̃_G as a component of a twisted Kottwitz sign are concrete and immediately usable. The paper correctly imports the recent connected-case result (D_A)^{2}≅id and second adjointness; once those inputs are granted, the disconnected arguments appear self-contained and load-bearing.

minor comments (4)
  1. In §2.7 and again in §3.1 the notation for the equivariance maps Y_t(a,θ_a) and the induced action of n∈Ñ(F) is dense; a short summary diagram of the two constructions of D̃_A (complex lift vs. disconnected parabolics) would help the reader keep track of which maps are being used.
  2. The comparison with Xu’s inv_θ (Corollary 3.2.4) is useful but the precise sign factor (−1)^{(r−t)+dim(A_G^θ)} could be highlighted more prominently, since it reappears in the endoscopic discussion of §4.5.
  3. A few typographical inconsistencies remain (e.g., occasional missing tildes on functors, slight variation between “wide parabolic” and “standard wide parabolic”). These do not affect correctness but should be cleaned in production.
  4. The dependence on the connected-case result of [Che26b] is correctly acknowledged; a one-sentence pointer in the introduction to the precise statements imported would make the logical structure even clearer for readers who have not yet seen that preprint.

Circularity Check

1 steps flagged · score 1.0 of 10

No significant circularity: dualities defined by explicit complexes/RHom, properties derived via restriction+equivariance, uniqueness via general lifting once connected inputs granted.

  1. self citation load bearing [Prop. 3.8.3 and Props. 3.8.5–3.8.6 (and §2.6)]
    "This is proved in the connected case by using the ”lifting isomorphism lemma” in [Che26b, Corollary 3.7], and this argument also works for the disconnected case. ... We can now apply the ”lifting isomorphism lemma” in [Che26b] to lift the isomorphism α:F_b →E_b to α′:F_˜G →E_˜G ..."

    Uniqueness of the family {D̃_M_B} (and likewise for D̃_A) is obtained by invoking the authors’ own prior lifting-isomorphism lemma from Che26b and verifying that the same adjunction-permutation hypotheses hold after restriction. The lemma itself is a general categorical device, not a restatement of the target uniqueness, so the dependence is ordinary self-citation rather than a definitional loop; it does not force the dualities by construction.

full rationale

The paper constructs D̃_A by endowing the Aubert complex Y_t of the identity component with a ˜G(F)-action via Ad(n)-equivariance for n normalizing a fixed minimal parabolic pair (Def. 3.1.9, Lemmas 3.1.3–3.1.7, Prop. 2.7.2), and D̃_B by RHom with the big Hecke algebra, showing single-degree concentration by restriction to the connected case (Def. 3.7.5, Cor. 3.7.4, Lem. 3.7.3). Properties (involution, induction/restriction compatibility, irreducibility preservation, supercuspidal behaviour) are proved from these definitions plus standard parabolic facts and equivariance diagrams that are checked explicitly (Props. 3.7.7–3.7.8, 3.8.1, 3.8.3–3.8.4, Lem. 3.7.12). Uniqueness (Props. 3.8.5–3.8.6) applies a general categorical lifting-isomorphism lemma (imported from the authors’ Che26b) after verifying the required adjunction-permutation properties by the same arguments used for the connected case; the lemma does not assume the conclusion. Self-citations to Che26b (for connected (D_A)^{2} ≅ id and the lifting tool) and to Kal22 (for the endoscopic application) are ordinary dependencies of an extension paper; they are not load-bearing in a circular sense, nor do any “predictions” reduce by construction to fitted inputs. The Steinberg character formula and endoscopic sign discussion follow directly from the character formula of §3.2 and Cor. 3.3.3. The derivation chain is therefore self-contained once the (externally cited) connected-case inputs are granted.

Assumptions & free parameters 0 free parameters · 4 assumptions · 3 invented entities

The paper is pure mathematics. It imports standard facts about reductive groups over non-archimedean local fields, Bernstein’s decomposition, parabolic induction/restriction and second adjointness, and the already-established Aubert/Bernstein dualities for connected groups. No numerical parameters are fitted. The only new entities are the functors themselves and the auxiliary sign character; both are defined explicitly and their properties are proved rather than postulated.

assumptions (4)
  • domain assumption The category of smooth representations of a p-adic reductive group has finite homological dimension and admits finitely generated projective resolutions for finitely generated objects (Bernstein).
    Used to define the cohomological duality D̃_B via RHom with the Hecke algebra and to guarantee that cohomology is concentrated in a single degree on each Bernstein block (Lemma 3.7.1, Corollary 3.7.4).
  • domain assumption Aubert duality D_A and Bernstein duality D_B for connected groups satisfy the seven listed properties, including (D_A)^{2} ≅ id (recently proved) and D_A ∘ (−)∨ ≅ D_B.
    Imported throughout §2 and used via restriction and equivariance to construct and identify the disconnected functors (Proposition 2.5.3–2.5.4, Proposition 3.8.1).
  • standard math Normalized parabolic induction and restriction form adjoint pairs (first and second adjointness) and satisfy induction/restriction in stages.
    Standard for connected groups; extended verbatim to disconnected parabolic subgroups in §3.5 and used for the alternative complex defining D̃_A and for uniqueness.
  • standard math The component group of an affine algebraic group is finite; G(F) has finite index in Ĝ(F).
    Used repeatedly to transfer semi-simplicity, irreducibility, and Bernstein decompositions from G to Ĝ (Lemma 3.1.1, Lemma 3.1.11).
invented entities (3)
  • Functors D̃_A and D̃_B (and the signed variant ′D̃_A) independent evidence
    purpose: Provide the Aubert and Bernstein dualities on the category of finite-length smooth representations of a disconnected group.
    Defined by lifting the connected complexes or by RHom with the disconnected Hecke algebra; their properties are proved, not assumed.
  • Sign character ε̃_G : Ĝ(F)/G(F) → {±1} independent evidence
    purpose: Measures the difference between the two natural lifts of the Aubert complex (Y versus Borel–Serre) and appears in the twisted Kottwitz sign for endoscopy.
    Defined explicitly as the sign of the permutation of simple roots induced by conjugation; related to dimensions of fixed tori by Lemma 3.2.3.
  • Steinberg representation St̃ of a disconnected group independent evidence
    purpose: Canonical extension of the classical Steinberg representation, used for endoscopic character identities.
    Defined as ′D̃_A of the trivial representation (or equivalently via the Whittaker extension when a Whittaker datum is preserved); character formula proved in Theorem 4.4.1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Aubert and Bernstein involutions for disconnected groups." pith.science (2026). https://pith.science/paper/JP32HFAN

@misc{pith2026260710660,
  author       = {Pith},
  title        = {Pith review of: The Aubert and Bernstein involutions for disconnected groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JP32HFAN}},
  note         = {Machine review of arXiv:2607.10660}
}
abstract

We extend to arbitrary disconnected reductive $p$-adic groups the duality on the category of smooth finite-length complex representations defined by Aubert, as well as its cohomological analog defined by Bernstein, and prove various properties of these functors, such as uniqueness, preservation of irreducibility, compatibility with parabolic induction and restriction, and a character formula. As a sample application, we obtain a definition of the Steinberg representation for a disconnected reductive $p$-adic group, compute its character, and discuss its twisted endoscopic properties.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 5 linked inside Pith

  1. [1]

    NT ] (2024), 2024

    Hiraku Atobe, Wee Teck Gan, Atsushi Ichino, Tasho Kaletha, Alberto M \' nguez, and Sug Woo Shin, Local Intertwining Relations and Co -tempered A -packets of Classical Groups , Preprint, arXiv :2410.13504 [math. NT ] (2024), 2024

    arXiv 2024

  2. [2]

    61, American Mathematical Society, Providence, RI, 2013, Orthogonal and symplectic groups

    James Arthur, The endoscopic classification of representations, American Mathematical Society Colloquium Publications, vol. 61, American Mathematical Society, Providence, RI, 2013, Orthogonal and symplectic groups. 3135650

    2013

  3. [3]

    Anne-Marie Aubert, Dualit\' e dans le groupe de G rothendieck de la cat\' e gorie des repr\' e sentations lisses de longueur finie d'un groupe r\' e ductif p -adique , Trans. Amer. Math. Soc. 347 (1995), no. 6, 2179--2189. 1285969

    1995

  4. [4]

    , Erratum: `` D uality in the G rothendieck group of the category of finite-length smooth representations of a p -adic reductive group'' [ T rans. A mer. M ath. S oc. 347 (1995), no. 6, 2179--2189; MR 1285969 (95i:22025)] , Trans. Amer. Math. Soc. 348 (1996), no. 11, 4687--4690. 1390967

    1995

  5. [5]

    (N.S.) 24 (2018), no

    Joseph Bernstein, Roman Bezrukavnikov, and David Kazhdan, Deligne- L usztig duality and wonderful compactification , Selecta Math. (N.S.) 24 (2018), no. 1, 7--20. 3769724

    2018

  6. [6]

    Bernstein, P

    J. Bernstein, P. Deligne, and D. Kazhdan, Trace P aley- W iener theorem for reductive p -adic groups , J. Analyse Math. 47 (1986), 180--192. 874050

    1986

  7. [7]

    C\'edric Bonnaf\'e, Jean-Fran c ois Dat, and Rapha\"el Rouquier, Derived categories and D eligne- L usztig varieties II , Ann. of Math. (2) 185 (2017), no. 2, 609--670. 3612005

    2017

  8. [8]

    Rumelhart; unpublished lecture notes, 1992

    Joseph Bernstein, Representations of p -adic groups , Lectures at Harvard University, Fall 1992; written by Karl E. Rumelhart; unpublished lecture notes, 1992

    1992

Show all 30 references
  1. [9]

    Borel and J.-P

    A. Borel and J.-P. Serre, Cohomologie d'immeubles et de groupes S -arithm\' e tiques , Topology 15 (1976), no. 3, 211--232. 447474

    1976

  2. [10]

    I. N. Bernstein and A. V. Zelevinsky, Induced representations of reductive p -adic groups. I , Ann. Sci. \'Ecole Norm. Sup. (4) 10 (1977), no. 4, 441--472. 579172

    1977

  3. [11]

    Casselman, The S teinberg character as a true character , Harmonic analysis on homogeneous spaces ( P roc

    W. Casselman, The S teinberg character as a true character , Harmonic analysis on homogeneous spaces ( P roc. S ympos. P ure M ath., V ol. XXVI , W illiams C oll., W illiamstown, M ass., 1972), 1973, pp. 413--417. 0338273

    1972

  4. [12]

    26, Cambridge University Press, Cambridge, 2015

    Brian Conrad, Ofer Gabber, and Gopal Prasad, Pseudo-reductive groups, second ed., New Mathematical Monographs, vol. 26, Cambridge University Press, Cambridge, 2015. 3362817

    2015

  5. [13]

    Yongshen Cheng, Functorial dualities for representations of p -adic groups, Master Thesis, 2026

    2026

  6. [14]

    , Homological duality commutes with contragredient, 2026

    2026

  7. [15]

    Dan Ciubotaru, Lucas Mason-Brown, and Emile Okada, Some unipotent A rthur packets for reductive p -adic groups , Int. Math. Res. Not. IMRN (2024), no. 9, 7502--7525. 4742832

    2024

  8. [16]

    Casselman and J

    W. Casselman and J. Shalika, The unramified principal series of p -adic groups. II . T he W hittaker function , Compositio Math. 41 (1980), no. 2, 207--231. 581582

    1980

  9. [17]

    Peter Dillery and David Schwein, A stacky generalized springer correspondence and rigid enhancements of l-parameters,, arXiv:2308.11752

    arXiv

  10. [18]

    Getz and Heekyoung Hahn, An introduction to automorphic representations---with a view toward trace formulae, Graduate Texts in Mathematics, vol

    Jayce R. Getz and Heekyoung Hahn, An introduction to automorphic representations---with a view toward trace formulae, Graduate Texts in Mathematics, vol. 300, Springer, Cham, [2024] 2024. 4738301

    2024

  11. [19]

    Nagayoshi Iwahori, Generalized T its system ( B ruhat decompostition) on p -adic semisimple groups , Algebraic G roups and D iscontinuous S ubgroups ( P roc. S ympos. P ure M ath., B oulder, C olo., 1965), Amer. Math. Soc., Providence, RI, 1966, pp. 71--83. 215858

    1965

  12. [20]

    Dihua Jiang and Baiying Liu, On wavefront sets of global A rthur packets of classical groups: upper bound , J. Eur. Math. Soc. (JEMS) 27 (2025), no. 9, 3841--3888. 4939527

    2025

  13. [21]

    Tasho Kaletha, Supercuspidal L -packets , arXiv:1912.03274 (2019)

    1912 arXiv

  14. [22]

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

    2022 arXiv

  15. [23]

    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)

    1983

  16. [24]

    44, Cambridge University Press, 743pp., 2022

    Tasho Kaletha and Gopal Prasad, B ruhat-- T its theory: a new approach , New Mathematical Monographs, vol. 44, Cambridge University Press, 743pp., 2022

    2022

  17. [25]

    Bertrand Lemaire, Caract\'eres tordus des représentations admissibles, arXiv:1007.3576 (2010)

    2010 arXiv

  18. [26]

    M glin and J.-L

    C. M glin and J.-L. Waldspurger, Le spectre r\'esiduel de GL (n) , Ann. Sci. \'Ecole Norm. Sup. (4) 22 (1989), no. 4, 605--674. 1026752

    1989

  19. [27]

    Algebra 175 (1995), no

    Bernhard M\"uhlherr and Peter Schmid, The extended S teinberg character , J. Algebra 175 (1995), no. 1, 373--384. 1338984

    1995

  20. [28]

    17, Soci\' e t\' e Math\' e matique de France, Paris, 2010

    David Renard, Repr\' e sentations des groupes r\' e ductifs p -adiques , Cours Sp\' e cialis\' e s, vol. 17, Soci\' e t\' e Math\' e matique de France, Paris, 2010. 2567785

    2010

  21. [29]

    37 (1978), no

    Freydoon Shahidi, Functional equation satisfied by certain L -functions , Compositio Math. 37 (1978), no. 2, 171--207. 498494

    1978

  22. [30]

    Bin Xu, On M glin's parametrization of A rthur packets for p -adic quasisplit Sp(N) and SO(N) , Canad. J. Math. 69 (2017), no. 4, 890--960. 3679701

    2017

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.