The Unitarity of Arthur Packets for Real Reductive Groups

Andrei Ionov; David Vogan; Jeffrey Adams; Lucas Mason-Brown

arxiv: 2606.01609 · v1 · pith:IXHJXVO5new · submitted 2026-06-01 · 🧮 math.RT

The Unitarity of Arthur Packets for Real Reductive Groups

Jeffrey Adams , Andrei Ionov , Lucas Mason-Brown , David Vogan This is my paper

Pith reviewed 2026-06-28 12:23 UTC · model grok-4.3

classification 🧮 math.RT

keywords Arthur packetsunitarityreal reductive groupsJordan decompositionLanglands parameterscohomological inductionwavefront setsJiang conjecture

0 comments

The pith

Arthur packets for real reductive groups consist entirely of unitary representations.

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

The paper proves Arthur's longstanding conjecture that every packet of irreducible admissible representations of a real reductive group G(R) consists solely of unitary representations. It does so by introducing a Jordan decomposition that expresses any Arthur packet as the result of real parabolic induction and cohomological induction applied to a unipotent Arthur packet on a suitable Levi subgroup. Because unitarity is already established for the unipotent packets, the reduction settles the general case. A reader would care because unitarity determines which representations appear in the discrete spectrum and in the Arthur-Selberg trace formula.

Core claim

The central claim is that all Arthur packets are unitary. The proof proceeds by constructing a canonical two-step Jordan decomposition for Arthur packets that realizes an arbitrary packet via real parabolic and cohomological induction from a unipotent Arthur packet attached to a Levi subgroup; this decomposition is modeled on the unique commuting product of elliptic, hyperbolic, and unipotent parts in a complex algebraic group. Unitarity of the general packet then follows from the already-known unitarity of unipotent packets. The same method also yields a proof of Jiang's conjecture bounding the wavefront sets of packet members by the Barbasch-Vogan dual of the Arthur SL(2,C).

What carries the argument

Jordan decomposition for Arthur packets: a canonical two-step process realizing any packet via real parabolic and cohomological induction from a unipotent Arthur packet on a Levi subgroup.

If this is right

Unitarity of every Arthur packet follows directly from the known unitarity of its unipotent part on the Levi.
Jiang's conjecture holds for all real reductive groups, giving an upper bound on wavefront sets in terms of the Barbasch-Vogan dual.
The decomposition supplies a systematic reduction of questions about general Arthur packets to the unipotent case.
All members of an Arthur packet satisfy the unitarity and wavefront-set properties required by the original Arthur conjectures.

Where Pith is reading between the lines

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

The method may extend to computing explicit bases or characters for packets by first solving the unipotent case on smaller groups.
Similar decompositions could be examined for packets attached to other groups or to p-adic fields where unitarity remains open.
The reduction organizes the study of Arthur packets by the semisimple rank of the Levi, potentially simplifying induction arguments in the trace formula.

Load-bearing premise

The Jordan decomposition is canonical and preserves the property of being an Arthur packet.

What would settle it

An explicit Arthur packet containing at least one non-unitary representation, or a concrete Arthur parameter whose Jordan decomposition fails to recover the full packet from its unipotent part on the Levi.

read the original abstract

Let $G$ be a connected reductive algebraic group defined over $\mathbb{R}$. In the 1980s, Arthur conjectured the existence of certain packets of irreducible admissible representations of $G(\mathbb{R})$ satisfying various remarkable properties. These packets were given a precise definition in the book of Adams, Barbasch, and Vogan in terms of microlocal geometry on a space of Langlands parameters. A longstanding conjecture, originally due to Arthur, is that all Arthur packets consist of $\textit{unitary}$ representations. In this paper, we prove this conjecture in general. The main new idea is a `Jordan decomposition' for Arthur packets: a canonical two-step process for realizing an arbitrary Arthur packet via real parabolic and cohomological induction from a unipotent Arthur packet for a certain Levi subgroup. This process is analogous to the decomposition of an element of a complex algebraic group as a (unique) commuting product of elliptic, hyperbolic, and unipotent parts. Using our Jordan decomposition, we reduce the question of unitarity to the case of unipotent Arthur packets, where the answer is already known (by work of Adams-Arancibia-Mezo, Adams-van Leeuwen-Miller-Vogan, Arthur, Barbasch, Barbasch-Ma-Sun-Zhu, and Davis-Mason-Brown). As an application of the same methods, we also give a proof of Jiang's conjecture for real reductive groups, which gives an upper bound on the wavefront sets of the members of an Arthur packet in terms of the Barbasch-Vogan dual of the Arthur $SL_2(\mathbb{C})$.

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.

Desk Editor's Note private letter to a colleague

The paper proves Arthur's unitarity conjecture for general Arthur packets by reducing via a new Jordan decomposition to the already-settled unipotent case.

read the letter

The main result is a proof that Arthur packets for real reductive groups consist entirely of unitary representations. The authors introduce a Jordan decomposition that realizes an arbitrary packet through real parabolic induction followed by cohomological induction from a unipotent packet on a suitable Levi subgroup. This reduces the general case to prior results on unipotent packets by Adams-Arancibia-Mezo, Arthur, Barbasch and others.

The new piece is the decomposition itself and the claim that it is canonical. The construction is presented as the direct analog of the elliptic-hyperbolic-unipotent splitting for elements in a complex group, and the paper uses the same framework to prove Jiang's conjecture on wavefront set bounds in terms of the Barbasch-Vogan dual. The reduction avoids circularity by citing independent verifications for the base case.

The soft spot is whether the two-step induction exactly recovers the Adams-Barbasch-Vogan packet rather than a proper subset or a larger collection that only satisfies some of the packet axioms. The abstract sketches the process at high level and invokes the analogy, but the details of how the microlocal geometry on the Langlands parameter space is preserved under the induction maps are not visible here. If that preservation holds without extra choices of Levi or parameters, the argument goes through; if it requires additional verification, that is the section that needs the closest look.

This is for people working on the endoscopic classification, the unitary dual, or L2 cohomology for real groups. Specialists who already follow Arthur packets will get the most out of the reduction.

I would send it to referees. The conjecture is central enough that the reduction deserves a full technical check even if the base cases are already known.

Referee Report

2 major / 2 minor

Summary. The paper proves Arthur's longstanding conjecture that all Arthur packets of irreducible admissible representations of G(R), for connected reductive G over R, consist entirely of unitary representations. The central new tool is a 'Jordan decomposition' for Arthur packets: a canonical two-step construction realizing an arbitrary packet as the image, under real parabolic induction followed by cohomological induction, of a unipotent Arthur packet on a suitable Levi subgroup. This reduces unitarity of the general packet to the already-established unipotent case (citing Adams-Arancibia-Mezo, Arthur, Barbasch et al.). The same methods yield a proof of Jiang's conjecture bounding wavefront sets of packet members by the Barbasch-Vogan dual of the Arthur SL_2(C).

Significance. If the reduction is rigorous, the result resolves a central open problem in the representation theory of real reductive groups and the Langlands program. It gives explicit credit to the prior resolution of the unipotent case by multiple independent works and supplies a uniform mechanism (the Jordan decomposition) that may apply to other packet properties. The additional proof of Jiang's conjecture is a concrete payoff of the same technique.

major comments (2)

[§3] §3 (Jordan decomposition construction): the argument that the two-step induction produces exactly the Adams-Barbasch-Vogan packet (rather than a proper subset or a larger packet) must be verified by showing that the map on Langlands parameters preserves the microlocal geometry and the nilpotent orbit data; the analogy with the Jordan decomposition of elements in a complex group is suggestive but does not by itself establish exact preservation of the ABV definition.
[§4] §4 (reduction to unipotent case): the claim that unitarity of the source unipotent packet on the Levi implies unitarity of the induced packet requires an explicit check that the real parabolic and cohomological inductions preserve the Arthur packet axioms and do not introduce non-unitary constituents outside the packet; this step is load-bearing for the main theorem.

minor comments (2)

Notation for the two-step induction functors should be introduced once and used consistently; the current abstract sketch leaves the precise functors implicit.
A short table or diagram summarizing the Jordan decomposition steps (Levi choice, parabolic induction, cohomological induction) would improve readability of the reduction argument.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where the rigor of the Jordan decomposition and reduction arguments can be strengthened. We address the two major comments below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [§3] §3 (Jordan decomposition construction): the argument that the two-step induction produces exactly the Adams-Barbasch-Vogan packet (rather than a proper subset or a larger packet) must be verified by showing that the map on Langlands parameters preserves the microlocal geometry and the nilpotent orbit data; the analogy with the Jordan decomposition of elements in a complex group is suggestive but does not by itself establish exact preservation of the ABV definition.

Authors: We agree that the analogy alone is insufficient and that explicit verification of preservation of microlocal geometry and nilpotent orbit data is required to confirm exact equality with the ABV packet. In the revised version we will insert a new lemma in §3 that directly checks compatibility of the two-step map on Langlands parameters with the geometric invariants appearing in the ABV definition, including the relevant characteristic cycles and orbit data. This will be carried out by comparing the parameters before and after each induction step. revision: yes
Referee: [§4] §4 (reduction to unipotent case): the claim that unitarity of the source unipotent packet on the Levi implies unitarity of the induced packet requires an explicit check that the real parabolic and cohomological inductions preserve the Arthur packet axioms and do not introduce non-unitary constituents outside the packet; this step is load-bearing for the main theorem.

Authors: We accept that an explicit verification of axiom preservation under both inductions is needed to make the reduction rigorous. The revised manuscript will expand §4 with a proposition that confirms the two functors send Arthur packets on the Levi to Arthur packets on G and that no non-unitary representations outside the target packet arise. The argument will combine the known compatibility of parabolic and cohomological induction with Langlands parameters and the already-established unitarity in the unipotent case. revision: yes

Circularity Check

0 steps flagged

Minor self-citations for base unipotent case; Jordan reduction independent of fitted inputs

full rationale

The derivation introduces a canonical Jordan decomposition realizing arbitrary Arthur packets via parabolic and cohomological induction from unipotent packets on a Levi, then invokes known unitarity of the unipotent case from prior works (Adams-Arancibia-Mezo, Adams-van Leeuwen-Miller-Vogan, Arthur, Barbasch et al., Davis-Mason-Brown). These citations include some author overlap but are presented as established external results rather than load-bearing self-referential steps; no equations or definitions in the abstract reduce the central claim to a self-definition, a fitted parameter renamed as prediction, or an unverified ansatz. The argument is therefore self-contained against external benchmarks for the base case, warranting only a minimal score for incidental self-citation.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof relies on the existence and properties of Arthur packets as defined via microlocal geometry in Adams-Barbasch-Vogan, plus standard facts about parabolic and cohomological induction; no new free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption Arthur packets are well-defined via microlocal geometry on the space of Langlands parameters (Adams-Barbasch-Vogan).
Invoked as the starting point for the Jordan decomposition.
domain assumption Unitarity holds for unipotent Arthur packets (multiple cited works).
The reduction step depends on this prior result.

pith-pipeline@v0.9.1-grok · 5829 in / 1377 out tokens · 23450 ms · 2026-06-28T12:23:21.718909+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references · 2 canonical work pages

[1]

Equivalent definitions of Arthur packets for real classical groups

[AAM24] J. Adams, N. Arancibia Robert, and P. Mezo. “Equivalent definitions of Arthur packets for real classical groups.” In:Mem. Amer. Math. Soc.(2024). [ABV92] J. Adams, D. Barbasch, and D. Vogan.The Langlands Classification and Irreducible Characters for Real Reductive Groups. Birkh¨ auser,

2024
[2]

L-groups, projective representations, and the Langlands classification

[AMLV] J. Adams, S. Miller, M. van Leeuwen, and D. Vogan.Unipotent representations of real exceptional groups. In preparation. [AV92] J. Adams and D. Vogan. “L-groups, projective representations, and the Langlands classification”. In:Amer. J. Math.114 (1992), pp. 45–138. [Art83] J. Arthur. “On some problems suggested by the trace formula”. In:Lie Group Re...

1992
[3]

Unipotent automorphic representations: conjectures

Springer-Verlag, 1983, pp. 1–49. [Art89] J. Arthur. “Unipotent automorphic representations: conjectures”. In:Unipotent orbits and representations. Vol. 171–172. Ast´ erisque. Soci´ et´ e math´ ematique de France,

1983
[4]

The unitary dual for complex classical Lie groups

[Bar89] D. Barbasch. “The unitary dual for complex classical Lie groups”. In:Invent. Math.96 (1989), pp. 103–176. [BMSZ23] D. Barbasch, J. Ma, B. Sun, and C. Zhu.Special unipotent representations of real classical groups: construction and unitarity

1989
[5]

The Local Structure of Characters

arXiv:1712.05552 [math.RT]. [BV80] D. Barbasch and D. Vogan. “The Local Structure of Characters”. In:Journal of Func- tional Analysis(1980). [BV85] D. Barbasch and D. Vogan. “Unipotent representations of complex semisimple groups”. In:Ann. of Math. (2)121.1 (1985), pp. 41–110. [Bor79] A. Borel. “AutomorphicL-functions”. In:Automorphic forms, representatio...

work page arXiv 1980
[6]

Differential operators on homogeneous spaces I

Vol. XXXIII. Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI, 1979, pp. 27–61. [BB82] W. Borho and J-L. Brylisnki. “Differential operators on homogeneous spaces I”. In: Invent. Math.(1982). [DM25] D. Davis and L. Mason-Brown.Hodge theory, intertwining functors, and the Orbit Method for real reductive groups

1979
[7]

[DMB25] D

arXiv:2503.14794 [math.RT]. [Duf79] M. Duflo. “Polynomes de Vogan pourSLpn,Cq”. In:Non-commutative Harmonic Anal- ysis. Lecture Notes in Mathematics. Springer-Verlag,

work page arXiv
[8]

Characteristic varieties and vanishing cycles

[Gin86] V. Ginsburg. “Characteristic varieties and vanishing cycles”. In:Invent. Math.(1986). [Jia14] D. Jiang. “Automorphic Integral transforms for classical groups I: endoscopy corre- spondences”. In:Automorphic Forms: L-functions and related geometry: assessing the legacy of I.I. Piatetski-Shapiro. Contemp. Math.,

1986
[9]

The principal three-dimensional subgroup and the Betti numbers of a complex simple Lie group

Princeton Mathematical Series. Princeton University Press, Princeton, NJ, 1995, pp. xx+948. [Kos59] B. Kostant. “The principal three-dimensional subgroup and the Betti numbers of a complex simple Lie group”. In:Amer. J. Math.81 (1959), pp. 973–1032. [Kot83] R. Kottwitz. “Sign changes in harmonic analysis on reductive groups”. In:Trans. Amer. Math. Soc.278...

1995
[10]

On the classification of irreducible representations of real algebraic groups

1979, pp. 205–246. 50 REFERENCES [Lan89] R. Langlands. “On the classification of irreducible representations of real algebraic groups”. In:Representation theory and harmonic analysis on semisimple Lie groups. Vol

1979
[11]

On the Definition of Transfer Factors

Math. Surveys Monogr. Amer. Math. Soc., Providence, RI, 1989, pp. 101–170. [LS87] R. Langlands and D. Shelstad. “On the Definition of Transfer Factors”. In:Math. Ann. (1987). [MR18] C. Moeglin and D. Renard. “Sur les paquets d’Arthur aux places r´ eelles, translation”. In:Geometric Aspects of the Trace Formula. Springer,

1989
[12]

A classification of irreducible prehomogeneous vector spaces and their relative invariants

[SK77] M. Sato and T. Kimura. “A classification of irreducible prehomogeneous vector spaces and their relative invariants”. In:Nagoya Math. J.(1977). [Vog81] D. Vogan.Representations of real reductive Lie groups. Vol

1977
[13]

Irreducible characters of semisimple Lie groups. IV. Character- multiplicity duality

[Vog82] David A. Vogan Jr. “Irreducible characters of semisimple Lie groups. IV. Character- multiplicity duality”. In:Duke Math. J.49.4 (1982), pp. 943–1073

1982

[1] [1]

Equivalent definitions of Arthur packets for real classical groups

[AAM24] J. Adams, N. Arancibia Robert, and P. Mezo. “Equivalent definitions of Arthur packets for real classical groups.” In:Mem. Amer. Math. Soc.(2024). [ABV92] J. Adams, D. Barbasch, and D. Vogan.The Langlands Classification and Irreducible Characters for Real Reductive Groups. Birkh¨ auser,

2024

[2] [2]

L-groups, projective representations, and the Langlands classification

[AMLV] J. Adams, S. Miller, M. van Leeuwen, and D. Vogan.Unipotent representations of real exceptional groups. In preparation. [AV92] J. Adams and D. Vogan. “L-groups, projective representations, and the Langlands classification”. In:Amer. J. Math.114 (1992), pp. 45–138. [Art83] J. Arthur. “On some problems suggested by the trace formula”. In:Lie Group Re...

1992

[3] [3]

Unipotent automorphic representations: conjectures

Springer-Verlag, 1983, pp. 1–49. [Art89] J. Arthur. “Unipotent automorphic representations: conjectures”. In:Unipotent orbits and representations. Vol. 171–172. Ast´ erisque. Soci´ et´ e math´ ematique de France,

1983

[4] [4]

The unitary dual for complex classical Lie groups

[Bar89] D. Barbasch. “The unitary dual for complex classical Lie groups”. In:Invent. Math.96 (1989), pp. 103–176. [BMSZ23] D. Barbasch, J. Ma, B. Sun, and C. Zhu.Special unipotent representations of real classical groups: construction and unitarity

1989

[5] [5]

The Local Structure of Characters

arXiv:1712.05552 [math.RT]. [BV80] D. Barbasch and D. Vogan. “The Local Structure of Characters”. In:Journal of Func- tional Analysis(1980). [BV85] D. Barbasch and D. Vogan. “Unipotent representations of complex semisimple groups”. In:Ann. of Math. (2)121.1 (1985), pp. 41–110. [Bor79] A. Borel. “AutomorphicL-functions”. In:Automorphic forms, representatio...

work page arXiv 1980

[6] [6]

Differential operators on homogeneous spaces I

Vol. XXXIII. Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI, 1979, pp. 27–61. [BB82] W. Borho and J-L. Brylisnki. “Differential operators on homogeneous spaces I”. In: Invent. Math.(1982). [DM25] D. Davis and L. Mason-Brown.Hodge theory, intertwining functors, and the Orbit Method for real reductive groups

1979

[7] [7]

[DMB25] D

arXiv:2503.14794 [math.RT]. [Duf79] M. Duflo. “Polynomes de Vogan pourSLpn,Cq”. In:Non-commutative Harmonic Anal- ysis. Lecture Notes in Mathematics. Springer-Verlag,

work page arXiv

[8] [8]

Characteristic varieties and vanishing cycles

[Gin86] V. Ginsburg. “Characteristic varieties and vanishing cycles”. In:Invent. Math.(1986). [Jia14] D. Jiang. “Automorphic Integral transforms for classical groups I: endoscopy corre- spondences”. In:Automorphic Forms: L-functions and related geometry: assessing the legacy of I.I. Piatetski-Shapiro. Contemp. Math.,

1986

[9] [9]

The principal three-dimensional subgroup and the Betti numbers of a complex simple Lie group

Princeton Mathematical Series. Princeton University Press, Princeton, NJ, 1995, pp. xx+948. [Kos59] B. Kostant. “The principal three-dimensional subgroup and the Betti numbers of a complex simple Lie group”. In:Amer. J. Math.81 (1959), pp. 973–1032. [Kot83] R. Kottwitz. “Sign changes in harmonic analysis on reductive groups”. In:Trans. Amer. Math. Soc.278...

1995

[10] [10]

On the classification of irreducible representations of real algebraic groups

1979, pp. 205–246. 50 REFERENCES [Lan89] R. Langlands. “On the classification of irreducible representations of real algebraic groups”. In:Representation theory and harmonic analysis on semisimple Lie groups. Vol

1979

[11] [11]

On the Definition of Transfer Factors

Math. Surveys Monogr. Amer. Math. Soc., Providence, RI, 1989, pp. 101–170. [LS87] R. Langlands and D. Shelstad. “On the Definition of Transfer Factors”. In:Math. Ann. (1987). [MR18] C. Moeglin and D. Renard. “Sur les paquets d’Arthur aux places r´ eelles, translation”. In:Geometric Aspects of the Trace Formula. Springer,

1989

[12] [12]

A classification of irreducible prehomogeneous vector spaces and their relative invariants

[SK77] M. Sato and T. Kimura. “A classification of irreducible prehomogeneous vector spaces and their relative invariants”. In:Nagoya Math. J.(1977). [Vog81] D. Vogan.Representations of real reductive Lie groups. Vol

1977

[13] [13]

Irreducible characters of semisimple Lie groups. IV. Character- multiplicity duality

[Vog82] David A. Vogan Jr. “Irreducible characters of semisimple Lie groups. IV. Character- multiplicity duality”. In:Duke Math. J.49.4 (1982), pp. 943–1073

1982