Covering Barbasch-Vogan Duality

• Covering Barbasch-Vogan duality is an extension of the classical correspondence that associates nilpotent orbits with special unipotent representations using nontrivial covers.
• It refines traditional methods by stretching Dynkin diagram labels and preserving key properties like order-reversal and compatibility with parabolic induction.
• The duality has significant implications for harmonic analysis and representation theory, notably in constructing Arthur packets and determining wave-front sets.

Covering Barbasch–Vogan duality generalizes the classical Barbasch–Vogan correspondence between nilpotent orbits and special unipotent representations, incorporating nontrivial covers of nilpotent orbits that arise in settings involving Brylinski–Deligne covering groups and their dual parameters. This duality now plays a central organizational role in harmonic analysis and the theory of special unipotent representations for covering groups, both in the complex and real cases, and aligns closely with developments in endoscopy, primitive ideal theory, and the geometry of symplectic singularities.

1. Classical Barbasch–Vogan Duality and Its Extensions

The classical Barbasch–Vogan duality is a bijection between special nilpotent orbits in a complex reductive Lie algebra $\mathfrak{g}$ and the special nilpotent orbits in its Langlands dual $\mathfrak{g}^\vee$. In type A, the bijection is simply given by partition transpose; in types B, C, and D, the correspondence is the Lusztig–Spaltenstein “collapse" algorithm, characterized by compatibility with the Springer correspondence and with Lusztig–Spaltenstein induction or restriction of orbits. Notably, every special unipotent representation is attached, via this duality, to a unique special nilpotent orbit of the Langlands dual group; this is intrinsic to Arthur's and Barbasch–Vogan's classification, forming the local ABV-packet for real or complex groups (Hoang, 2024, Barbasch et al., 2017, Barbasch et al., 2010).

Recent progress has led to refinements where the duality outputs not merely orbits, but covers of orbits—accounting for the presence of nontrivial component groups and extended data, and connecting with symplectic duality and the geometry of primitive ideals in enveloping algebras (Mason-Brown et al., 2023). Furthermore, for metaplectic and more general covering groups, as well as genuine representations, a corresponding "covering Barbasch–Vogan duality" has been formulated, modifying the classical duality by nontrivial stretching of Dynkin diagram data and incorporating the covering structure (Gao et al., 18 Nov 2025, Barbasch et al., 2020).

2. Definitions: Covering Duality and Its Combinatorics

Let $G$ be a split connected reductive group and $\widetilde{G}^{(n)} \to G$ a Brylinski–Deligne $n$-fold covering. Consider the duals $G^\vee$ (connected complex dual group) and $\widetilde{G}^\vee$ (the dual group to the cover). For a nilpotent orbit $\mathcal{O} \subset \mathfrak{g}^\vee$, with weighted Dynkin diagram $\{c_\alpha(\mathcal{O})\}$, define stretching factors $n_\alpha = n/\gcd(n,Q(\alpha^\vee))$. The rescaled semisimple element is

$$h^{(n)}_\mathcal{O} = 2 s(\frac{1}{2} h_\mathcal{O}) = \sum_{\alpha\in\Delta} \frac{c_\alpha(\mathcal{O})}{n_\alpha}\, \omega_\alpha$$

where $\omega_\alpha$ are fundamental weights.

The covering Barbasch–Vogan duality is then:

$d_{BV,G}^{(n)} : \Nil(\widetilde{G}^\vee) \to \Nil(G), \qquad d_{BV,G}^{(n)}(\mathcal{O}) := \mathsf{AV}_{\mathfrak{g}_\mathbb{C}} (h_\mathcal{O}^{(n)}/2)$

where $\mathsf{AV}$ denotes the associated variety attached to a possibly non-integral infinitesimal character.

In type A, for $G = \operatorname{GL}_r$, the map admits an explicit description at the level of partitions:

$$d_{BV,GL_r^{(n)}}([p_1,\dots,p_k]) = \sum_{i=1}^k (n^{\lfloor p_i/n\rfloor},\, p_i - n\lfloor p_i/n\rfloor)$$

recovering the transpose map when $n=1$ (Gao et al., 18 Nov 2025).

For more general settings, the duality deforms the classical algorithm by stretching each Dynkin label, yielding potentially nontrivial covers in the image.

3. Structure and Properties of the Covering Duality

The covering Barbasch–Vogan duality possesses the following key features (Gao et al., 18 Nov 2025):

• Order-Reversing: If $\mathcal{O}_1 \subset \mathcal{O}_2$ in nilpotent orbit closure order, $$d_{BV,G}^{(n)}(\mathcal{O}_1) \supset d_{BV,G}^{(n)}(\mathcal{O}_2)$$.
• Parabolic Induction Compatibility: For a (covered) Levi subgroup $M$ and a dual orbit $\mathcal{O}_M \subset \mathfrak{m}^\vee$, the duality commutes with Richardson (orbit) induction and Lusztig–Spaltenstein induction:

$$d_{BV,G}^{(n)} \circ \mathrm{Sat}_{\,\mathfrak{m}^\vee}^{\mathfrak{g}^\vee}(\mathcal{O}_M) = \mathrm{Ind}_M^G \circ d_{BV,M}^{(n)}(\mathcal{O}_M).$$

These properties ensure the duality interplays well with the construction and analysis of induced representations and the stratification of nilpotent orbits.

• Recovery of Classical Duality: For $n=1$, covering duality reduces to the classical Barbasch–Vogan duality, satisfying involutivity and all the original properties.
• Extension to Galois Covers: By the work of Losev, Mason-Brown, and Matvieievskyi, covering Barbasch–Vogan duality naturally outputs not just orbits but $G$-equivariant covers, with finer structure encoded in Lusztig's canonical quotient $A(\mathcal{O})/\mathsf{N}$ (Mason-Brown et al., 2023, Hoang, 2024).

4. Connection to Unipotent Packets and Representation Theory

The covering Barbasch–Vogan duality is central in the parameterization and explicit construction of Arthur packets for complex (and real) groups and their covers. For connected complex classical groups, every Arthur packet is obtained as a normalized irreducible parabolic induction from a unipotent packet of good parity, leveraging Barbasch's deep irreducibility results (Moeglin et al., 2016). The combinatorial data defining these packets—via the component group $A(\psi)$ of the Arthur parameter—matches precisely the data arising from covers of nilpotent orbits under the duality (Barbasch et al., 2010).

In both the complex and metaplectic settings, the uniqueness and explicit description of special unipotent representations in terms of covers of dual nilpotent orbits is well established (Mason-Brown et al., 2023, Barbasch et al., 2017). For metaplectic groups, the metaplectic Barbasch–Vogan duality, defined via an explicit recipe on partitions and Young diagrams, yields a bijection between nilpotent orbits and "metaplectic-special" orbits compatible with the structure of primitive ideals and wave-front sets (Barbasch et al., 2020). The resulting special unipotent packets are constructed via theta lifting and satisfy unitarity and precise associated cycle characterizations (Barbasch et al., 2017).

5. Applications: Wave-Front Sets and Symplectic Duality

The covering Barbasch–Vogan duality organizes the relationship between genuine $L$-parameters of covering groups and their geometric invariants, especially the wave-front set of genuine representations. An important upper bound conjecture asserts:

$$\mathrm{WF}^{\mathrm{geo}}(\pi) \subseteq d_{BV,G}^{(n)}(\mathcal{O}(\phi_\pi))$$

for every irreducible genuine representation $\pi$ of a BD-cover $\widetilde{G}^{(n)}$, with equality attained in many families (e.g., Speh representations). The reduction to anti-discrete representations and the general structure of the wave-front set are governed by the covering duality, which serves as a "nilpotent mirror" generalizing the linear case (Gao et al., 18 Nov 2025).

Additionally, in geometric representation theory for classical Lie algebras, covering Barbasch–Vogan duality and its refinements interface with symplectic duality and the Hikita conjecture. This framework predicts isomorphisms between the cohomology ring of the Springer fiber for one nilpotent orbit and the coordinate ring of fixed points on symplectic singularities associated to a dual or covered orbit; such isomorphisms are verified in broad families using the structure of covers predicted by the duality (Hoang, 2024).

6. Explicit Example: Triangular Unipotent Orbits

For $G = \mathrm{SO}_{2n+1}(\mathbb{C})$, the "triangular" unipotent orbit $U$ (partition $[2m+1,\,2m-1,\,2m-1,\,\dots,\,3,\,3,\,1,\,1]$) corresponds under the classical (and covering) BV-duality to the orbit $O$ in $\mathfrak{sp}_{2n}$ with partition $[2m,\,2m,\,2m-2,\,2m-2,\,\dots,\,2,\,2]$. The Arthur packet consists of $2^m$ irreducibles parameterized by sign-vectors, and the representations are explicitly realized as Langlands subquotients of induced modules from character data matching the covering structure (Moeglin et al., 2016). This correspondence, which persists in the covering case, illustrates the power and combinatorial concreteness of the duality.

7. Outlook and Open Directions

Current developments emphasize the extension of the duality framework to incorporate more general types of covers, treat distinguished orbits, and address cases where closures of nilpotent orbits are non-normal or covers are genuinely nontrivial (Mason-Brown et al., 2023, Hoang, 2024). Conjectures about uniform generators for finite-set ideals, flatness properties, and surjectivity in the geometric realization of duality data are motivating further work. Moreover, the categorical and functorial aspects of BV-duality, especially in relation to quantization of symplectic singularities and mirror symmetry phenomena, are active areas of research.

Covering Barbasch–Vogan duality, in its current modern formulations, connects representation theory, orbit geometry, and noncommutative algebra in the context of both linear and covering (including metaplectic) groups. Its reach extends from the explicit parameterization of unipotent and Arthur packets to geometric correspondence theorems and upper bounds on invariants such as wave-front sets, consolidating it as a unifying principle in the modern theory of representations of reductive groups and their covers (Gao et al., 18 Nov 2025, Hoang, 2024, Mason-Brown et al., 2023, Barbasch et al., 2020, Barbasch et al., 2017, Moeglin et al., 2016).