Vogan's Conjecture in Representation Theory

• Vogan's Conjecture is a family of interrelated conjectures in representation theory that connect Dirac cohomology, Arthur packets, and fundamental parallelepiped constraints.
• Researchers use geometric techniques, vanishing cycles, and Dirac operators to establish links between spectral data and key representation-theoretic invariants.
• The conjectures extend from classical Lie groups to p-adic settings, Cherednik algebras, and quantum groups, underscoring broad implications for unitary dual classification.

“Vogan’s Conjecture” is not a single statement but a family of conjectures attached to David Vogan’s program in representation theory. In current usage, the label most often refers to one of three technically distinct assertions: the Dirac-cohomological determination of infinitesimal character; the identification of Arthur packets with geometrically defined ABV-packets for $p$-adic groups; and the fundamental parallelepiped constraint on unitary representations with real infinitesimal character. Recent work has converted substantial parts of each formulation into theorem, while also extending the underlying mechanisms to category $\mathcal O$, algebraic families, graded affine Hecke algebras, rational Cherednik algebras, and quantum groups (Afentoulidis-Almpanis et al., 1 Aug 2025, Cunningham et al., 2024, Dong et al., 2024).

1. Principal meanings of the term

The modern literature uses the expression in several related but non-equivalent senses.

Formulation	Representative statement	Status in the data
Dirac cohomology	$H_D$ determines the infinitesimal character up to Weyl conjugacy	Classical theorem and multiple extensions
$p$-adic ABV/A-packets	$\Pi^{\mathrm{ABV}}_\phi(G)=\Pi^A_\psi(G)$ for $\phi=\phi_\psi$	Tempered case proved generally; $\mathrm{GL}_n$ proved fully
Fundamental parallelepiped	Fully supported Hermitian modules outside FPP are non-unitary	Proved for complex simple groups

In the real-group Dirac setting, the conjecture says that if Dirac cohomology contains a $\widetilde K$-type of highest weight $\mu$, then the infinitesimal character is $W(\mathfrak g,\mathfrak h)$-conjugate to $\mathcal O$0 (Afentoulidis-Almpanis et al., 1 Aug 2025). In the $\mathcal O$1-adic setting, Vogan’s conjecture on $\mathcal O$2-packets predicts that the geometrically defined ABV-packet attached to a local Arthur parameter recovers Arthur’s packet (Cunningham et al., 2024). In the unitary-dual setting for complex groups, Vogan’s fundamental parallelepiped conjecture asserts that nontrivial unitary phenomena for fully supported irreducible Hermitian modules with real infinitesimal character occur only inside a bounded region of the dominant chamber (Dong et al., 2024).

2. Dirac cohomology and infinitesimal character

For a connected real reductive Lie group with Cartan decomposition $\mathcal O$3, the algebraic Dirac operator is the canonical $\mathcal O$4-invariant element

$\mathcal O$5

acting on $\mathcal O$6, where $\mathcal O$7 is a spin module. Its square satisfies the fundamental identity

$\mathcal O$8

The corresponding Dirac cohomology is

$\mathcal O$9

In the formulation recorded in the recent family-theoretic treatment, if $H_D$0 is an irreducible $H_D$1-module and $H_D$2 contains a $H_D$3-type of highest weight $H_D$4, then the infinitesimal character $H_D$5 is $H_D$6-conjugate to $H_D$7 (Afentoulidis-Almpanis et al., 1 Aug 2025). This is the Huang–Pandžić resolution of the classical Dirac-cohomological form of Vogan’s conjecture.

The same mechanism persists in the full BGG category $H_D$8. For a finite-dimensional complex semisimple $H_D$9, a reductive $p$0 containing a Cartan $p$1, and the cubic Dirac operator $p$2, the paper on category $p$3 proves that for any $p$4, the Dirac cohomology $p$5 is finitely generated, belongs to $p$6, and satisfies

$p$7

It also proves a nonvanishing theorem: if $p$8, then $p$9 (Afentoulidis-Almpanis, 2022). In the Hermitian symmetric case $\Pi^{\mathrm{ABV}}_\phi(G)=\Pi^A_\psi(G)$0 with $\Pi^{\mathrm{ABV}}_\phi(G)=\Pi^A_\psi(G)$1 unitary in $\Pi^{\mathrm{ABV}}_\phi(G)=\Pi^A_\psi(G)$2, Dirac cohomology is identified with nilpotent Lie algebra cohomology,

$\Pi^{\mathrm{ABV}}_\phi(G)=\Pi^A_\psi(G)$3

which makes the conjecture compatible with Hodge-theoretic structures already present in highest-weight theory (Afentoulidis-Almpanis, 2022).

A further extension places the conjecture in algebraic one-parameter families interpolating a real reductive group and its Cartan motion group. For deformation-like families

$\Pi^{\mathrm{ABV}}_\phi(G)=\Pi^A_\psi(G)$4

the family Dirac operator $\Pi^{\mathrm{ABV}}_\phi(G)=\Pi^A_\psi(G)$5 satisfies a family square formula, and if a generically irreducible admissible family has nonzero family Dirac cohomology then its family infinitesimal character is $\Pi^{\mathrm{ABV}}_\phi(G)=\Pi^A_\psi(G)$6-conjugate to $\Pi^{\mathrm{ABV}}_\phi(G)=\Pi^A_\psi(G)$7. In particular, the family infinitesimal character is constant across the deformation parameter (Afentoulidis-Almpanis et al., 1 Aug 2025).

3. Analogues in Hecke, Cherednik, and quantum settings

The Dirac formulation of Vogan’s conjecture has robust analogues outside the classical $\Pi^{\mathrm{ABV}}_\phi(G)=\Pi^A_\psi(G)$8-module category. For graded affine Hecke algebras $\Pi^{\mathrm{ABV}}_\phi(G)=\Pi^A_\psi(G)$9, the Dirac element $\phi=\phi_\psi$0 satisfies

$\phi=\phi_\psi$1

and the resulting theorem says that if $\phi=\phi_\psi$2 is an $\phi=\phi_\psi$3-module with nonzero Dirac cohomology and a genuine $\phi=\phi_\psi$4-type $\phi=\phi_\psi$5 occurs in $\phi=\phi_\psi$6, then the central character of $\phi=\phi_\psi$7 is the one attached to the nilpotent orbit $\phi=\phi_\psi$8 under Ciubotaru’s parametrization (Barbasch et al., 2010). This is explicitly presented as an affine-Hecke analogue of Vogan’s conjecture.

For rational Cherednik algebras $\phi=\phi_\psi$9, the half-Dirac operators

$\mathrm{GL}_n$0

satisfy $\mathrm{GL}_n$1, and their cohomology identifies with Lie algebra cohomology and homology. The paper proves a Casselman–Osborne type theorem via a Dirac morphism $\mathrm{GL}_n$2: if $\mathrm{GL}_n$3 occurs in $\mathrm{GL}_n$4, then $\mathrm{GL}_n$5; at $\mathrm{GL}_n$6, if an irreducible $\mathrm{GL}_n$7-module $\mathrm{GL}_n$8 occurs in $\mathrm{GL}_n$9, then the central character of $\widetilde K$0 is $\widetilde K$1 (Huang et al., 2015). The paper describes this as the rational-Cherednik counterpart of the statement that Dirac-type cohomology determines infinitesimal or central character.

For the quantum group $\widetilde K$2, the Dirac operator

$\widetilde K$3

admits a Harish–Chandra-type morphism $\widetilde K$4 such that, for every central element $\widetilde K$5,

$\widetilde K$6

for a suitable $\widetilde K$7-invariant $\widetilde K$8. If $\widetilde K$9 contains a $\mu$0-type of character $\mu$1, then the infinitesimal character $\mu$2 of $\mu$3 satisfies $\mu$4 (Pandžić et al., 2017). This is the quantum $\mu$5 analogue of Vogan’s conjecture.

4. ABV-packets, Arthur packets, and the $\mu$6-adic formulation

In the $\mu$7-adic setting, Vogan’s conjecture concerns the relation between Arthur’s $\mu$8-packets and the microlocally defined ABV-packets. For a Langlands parameter

$\mu$9

the associated infinitesimal parameter is

$W(\mathfrak g,\mathfrak h)$0

Fixing $W(\mathfrak g,\mathfrak h)$1, one forms the Vogan variety

$W(\mathfrak g,\mathfrak h)$2

with $W(\mathfrak g,\mathfrak h)$3 acting by conjugation. Langlands parameters with infinitesimal parameter $W(\mathfrak g,\mathfrak h)$4 correspond to $W(\mathfrak g,\mathfrak h)$5-orbits in $W(\mathfrak g,\mathfrak h)$6. The ABV-packet is defined via microlocal vanishing cycles of $W(\mathfrak g,\mathfrak h)$7-equivariant perverse sheaves on $W(\mathfrak g,\mathfrak h)$8, and Vogan’s conjecture on $W(\mathfrak g,\mathfrak h)$9-packets predicts that if $\mathcal O$00 is an Arthur parameter and $\mathcal O$01, then

$\mathcal O$02

(Cunningham et al., 2024).

A decisive recent theorem establishes the tempered case. If $\mathcal O$03 is tempered, equivalently if the Arthur $\mathcal O$04 is trivial, then $\mathcal O$05 is tempered, open, and of Arthur type, and one has

$\mathcal O$06

More generally, if $\mathcal O$07 is open, then the ABV-packet equals the $\mathcal O$08-packet for any connected reductive group (Cunningham et al., 2024). The later Whittaker-normalization paper strengthens this by proving that ABV-packets are independent of the choice of Whittaker datum as sets, determining the precise twist on the internal parametrization under change of datum, and proving that for open $\mathcal O$09 the microlocal fundamental group $\mathcal O$10 equals the usual component group $\mathcal O$11, with the normalized vanishing-cycles map coinciding with the LLC parametrization. For tempered Arthur parameters, the ABV internal parametrization coincides with Arthur’s internal parametrization after identifying $\mathcal O$12 (Cunningham et al., 2024).

The geometry is controlled by the open-orbit criterion. For any $\mathcal O$13,

$\mathcal O$14

and, under the Gross–Prasad–Rallis criterion, this is equivalent to packet genericity. In the ABV setting, the conjecture that $\mathcal O$15 contains a generic representation iff $\mathcal O$16 is open is proved for quasi-split classical groups and pure inner forms (Cunningham et al., 2024, Cunningham et al., 2024).

For $\mathcal O$17, Vogan’s conjecture on Arthur packets has been proved completely. First, the irreducible Arthur-parameter case was settled by identifying the vanishing-cycles packet with the singleton Arthur packet attached to the corresponding ladder or Speh representation (Cunningham et al., 2022). This was then extended to all Arthur parameters for $\mathcal O$18-adic $\mathcal O$19, where both the Arthur packet and the ABV-packet are singletons, and the paper proves

$\mathcal O$20

for every Arthur parameter $\mathcal O$21 (Cunningham et al., 2023). A subsequent paper supplied a new proof of the generalized combinatorial lemma underlying the Cunningham–Ray strategy, again in the $\mathcal O$22 case (Lo, 2023).

The conjectural framework is also borne out in explicit exceptional examples. For unipotent representations of split $\mathcal O$23-adic $\mathcal O$24, all ABV-packets and packet coefficients have been computed; ABV extends LLC, is compatible with Aubert duality, and verifies the expected Arthur-type normalization in the relevant cases, while isolating the remaining issues of full stability and comparison with Langlands–Shelstad transfer (Cunningham et al., 2021).

5. The fundamental parallelepiped conjecture

Vogan’s fundamental parallelepiped conjecture concerns the unitary dual rather than Dirac cohomology or Arthur packets. In the complex-group setting fixed in the recent proof, let $\mathcal O$25 be a connected complex simple Lie group viewed as a real group, with dominant real infinitesimal character $\mathcal O$26. The parameter lies inside the FPP when

$\mathcal O$27

for all simple roots $\mathcal O$28; in the dominant chamber this is equivalent to

$\mathcal O$29

Dong and Wong prove a sharpened version: if $\mathcal O$30 is an irreducible, fully supported, Hermitian $\mathcal O$31-module with dominant real infinitesimal character $\mathcal O$32 and $\mathcal O$33 does not lie inside the FPP, then $\mathcal O$34 is not unitary up to level $\mathcal O$35, hence non-unitary. This establishes Vogan’s FPP conjecture for all complex simple Lie groups (Dong et al., 2024).

The consequence is a finite reduction of the classification problem. After cohomological or parabolic reduction to fully supported modules, only parameters in the bounded region

$\mathcal O$36

need be checked. The proof uses Vogan’s notion of support, Speh–Vogan bottom layer theory, cx-basic $\mathcal O$37-types, and explicit analysis in types $\mathcal O$38, $\mathcal O$39, $\mathcal O$40, and $\mathcal O$41, with exceptional checks handled case by case (Dong et al., 2024).

Independent evidence for the FPP picture comes from Dirac-series classifications of exceptional real forms. For $\mathcal O$42, the classification yields $\mathcal O$43 fully supported scattered Dirac-series representations and $\mathcal O$44 strings; the paper states that the calculation partially supports the FPP conjecture, and the fully supported cases have u-small spin-lowest $\mathcal O$45-types (Ding et al., 2022). For $\mathcal O$46, the classification yields $\mathcal O$47 fully supported scattered representations and $\mathcal O$48 strings, and the paper states that the calculation continues to support the FPP conjecture; all spin-lowest $\mathcal O$49-types of the fully supported scattered part are u-small (Ding et al., 2024). These results do not prove the conjecture in the real-exceptional setting, but they provide a large body of computational evidence aligned with the bounded-region philosophy.

6. Methods, consequences, and unresolved cases

Across its different formulations, Vogan’s conjectural program is unified by a small set of structural devices. In the Dirac setting, the key ingredients are the square of the Dirac operator, the associated inequality, and a Dirac morphism from the center to a smaller commutative algebra; these recur in real groups, category $\mathcal O$50, graded affine Hecke algebras, Cherednik algebras, and quantum groups (Afentoulidis-Almpanis, 2022, Barbasch et al., 2010). In the $\mathcal O$51-adic packet setting, the central objects are Vogan varieties, conormal geometry, equivariant perverse sheaves, and vanishing-cycles functors, with Kazhdan–Lusztig-type multiplicity input bridging geometry and standard-module theory (Cunningham et al., 2024). In the FPP setting, the decisive tools are support reduction, bottom-layer signature comparison, and explicit control of low-level $\mathcal O$52-types (Dong et al., 2024).

Several consequences already go beyond the original statements. In the $\mathcal O$53-adic setting, one direction of the Gross–Prasad conjecture is proved under the LLC and the $\mathcal O$54-adic Kazhdan–Lusztig hypothesis: if an $\mathcal O$55-packet contains a generic representation, then $\mathcal O$56 is regular at $\mathcal O$57. The same paper proves the analogous ABV-packet statement and shows that, together with Vogan’s conjecture on ABV-packets, it implies one direction of Shahidi’s enhanced genericity conjecture: if an Arthur packet contains a generic representation, then $\mathcal O$58 is tempered, provided Arthur’s conjectures for $\mathcal O$59 are known (Balodis et al., 5 Apr 2025).

What remains open is sharply formulation-dependent. The non-tempered $\mathcal O$60-adic equality $\mathcal O$61 is still open in general; the recent general theorem covers open parameters and the tempered Arthur case, and the full non-tempered statement is established only for $\mathcal O$62 in the supplied data (Cunningham et al., 2024, Cunningham et al., 2023). The FPP conjecture is proved for complex simple groups, but its extension to all real reductive groups remains open (Dong et al., 2024). In the $\mathcal O$63 unipotent case, the ABV computation leaves open the full stability of certain elliptic packets and the identification of geometric transfer with Langlands–Shelstad transfer (Cunningham et al., 2021).

The result is that “Vogan’s Conjecture” now names a cluster of theorems, partial theorems, and active conjectures rather than a single unresolved problem. In each version, the common thesis is that subtle spectral data—infinitesimal character, Arthur packet structure, or unitarity—can be read from a comparatively rigid geometric or Dirac-theoretic object.