Weak unipotence and Langlands duality

Basic Information

• Paper ID: 2510.13523
• Title: Weak unipotence and Langlands duality
• Authors: Jia-Jun Ma, Shilin Yu
• Classification: math.RT (Representation Theory)
• Publication Date: October 16, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.13523

Abstract

Weak unipotence of primitive nilpotent ideals is an important property in the study of unitary representations of reductive groups. This paper establishes a sufficient condition called mild unipotence, which guarantees weak unipotence and is more readily verifiable in practice. The authors establish mild unipotence for q-nilpotent ideals defined by McGovern and nilpotent ideals attached to nilpotent orbit covers defined by Losev-Mason-Brown-Matvieievskyi. The proofs are conceptual in nature, essentially utilizing the bijection between special orbits of type D and metaplectic special orbits of type C discovered by Barbasch-Ma-Sun-Zhu.

Research Background and Motivation

Problem Background

1. Core Problem: Weak unipotence is a key property in the representation theory of unitary representations of reductive groups, introduced by Vogan in 1984. This property plays a crucial role in studying unitary representations of reductive groups.
2. Significance:
   • Weak unipotence is an important tool for determining whether primitive ideals correspond to unitary representations
   • Has important applications in Harish-Chandra bimodule theory and the orbit method
   • Closely related to geometric properties of nilpotent orbits
3. Limitations of Existing Methods:
   • Barbasch-Vogan proved in 1985 that special nilpotent ideals attached to even orbits possess weak unipotence
   • McGovern introduced the concept of q-nilpotent ideals in 1994, but the proof of their weak unipotence faced technical difficulties
   • Direct verification of weak unipotence conditions is often prohibitively complex in practice
4. Research Motivation:
   • Establish more readily verifiable sufficient conditions to guarantee weak unipotence
   • Establish weak unipotence for broader categories of nilpotent ideals
   • Provide conceptual unified proofs using Langlands duality theory

Core Contributions

1. Introduction of Mild Unipotence Concept: Proposes mild unipotence as a sufficient condition for weak unipotence, which is more easily verifiable in practice.
2. Establishment of Main Theorems: Proves that for classical and exceptional Lie algebras, all q-nilpotent ideals and nilpotent ideals attached to nilpotent orbit covers possess weak unipotence.
3. Provision of Conceptual Proof Methods: Through Langlands duality theory and bijections between special orbits, provides unified conceptual proofs that avoid complex combinatorial calculations.
4. Extension of Theoretical Framework: Generalizes the classical results of Barbasch-Vogan to broader categories of nilpotent ideals.

Detailed Methodology

Core Concept Definitions

Definition of Weak Unipotence

Let M be a g-module with generalized infinitesimal character χ_λ, where λ ∈ h_R. M is called weakly unipotent with respect to group G if for any finite-dimensional representation F of G and any ν ∈ h/W satisfying ‖ν‖ < ‖λ‖, we have Pr_ν(M ⊗ F) = 0.

Definition of Mild Unipotence

Let J be a primitive ideal with infinitesimal character λ, and σ_J be the Goldie rank representation attached to J. J is called mildly unipotent with respect to algebraic group G if whenever σ_J ≤_LR σ_ν for some ν ∈ Λ = λ + X*, we must have ‖ν‖ ≥ ‖λ‖.

Key Technical Tools

Langlands Duality

Utilizes the relationship between Lie algebra g and its Langlands dual ǧ to transform mild unipotence conditions into inclusion relations of Richardson orbits in the dual Lie algebra:

Mild unipotence is equivalent to: Ind^{ǧ_Λ}{ǧ_λ} 0 ⪯ Ind^{ǧ_Λ}{ǧ_ν} 0 implies ‖ν‖ ≥ ‖λ‖

Special Orbit Bijections

Crucially employs the following bijection relations:

• Springer duality: P^{sp}_B(2n+1) ↔ P^{sp}_C(2n)
• D-C bijection: P^{sp}_D(2n) ↔ P^{ms}_C(2n)

These bijections preserve partial order relations and are compatible with Richardson induction.

Proof Strategy

Classical Type Cases

1. Types B and D: Decompose partition d into d_0 (even part) and d_1 (odd part)
2. Utilize Bijections: View d_0 as a C-type metaplectic special partition and d_1 as the corresponding special partition of its type
3. Apply Barbasch-Vogan Lemma: Apply known weak unipotence results to each component
4. Norm Estimates: Obtain required inequalities through ‖λ‖² = ‖λ_0‖² + ‖λ_1‖²

Type A Case

Directly construct minimal norm infinitesimal characters through combinatorial methods to prove mild unipotence of corresponding ideals.

Experimental Setup

Exceptional Type Verification

For exceptional Lie algebras, the authors implemented verification algorithms using the atlas software:

1. Input: Infinitesimal character λ corresponding to birationally rigid covers
2. Algorithm: Traverse all ν ∈ Λ satisfying ‖ν‖ ≤ ‖λ‖, checking whether n_ν > n_λ holds
3. Judgment Criterion: If it holds, then dim(Ind^{ǧ_Λ}{ǧ_λ} 0) > dim(Ind^{ǧ_Λ}{ǧ_ν} 0), thereby guaranteeing mild unipotence

Verification Scope

• All simple exceptional Lie algebras (E_6, E_7, E_8, F_4, G_2)
• All nilpotent ideals attached to birationally rigid covers
• Verification for both root lattice and weight lattice cases

Experimental Results

Main Results

Theorem 1.1: Let g be a complex semisimple Lie algebra

1. If g is of classical type, then q-nilpotent infinitesimal characters and nilpotent ideals attached to nilpotent orbit covers in g* are all weakly unipotent
2. If g is of exceptional type, then all nilpotent ideals attached to birationally rigid covers of nilpotent orbits in g* are weakly unipotent

Specific Verification Results

Classical Type

• Theorem 3.13: All q-nilpotent ideals are mildly unipotent with respect to the root lattice, hence weakly unipotent
• Theorem 3.16: For g = sp(2n), all metaplectic special nilpotent ideals are weakly unipotent
• Theorem 3.26: For classical Lie algebras, nilpotent ideals attached to connected covers of nilpotent orbits are weakly unipotent with respect to the root lattice

Exceptional Type

Verified through atlas software that all nilpotent ideals attached to birationally rigid covers in all exceptional Lie algebras satisfy mild unipotence conditions.

Important Findings

1. Root Lattice vs. Weight Lattice: Certain q-nilpotent ideals are weakly unipotent with respect to the root lattice but not the weight lattice (Example 3.15)
2. Limitations of McGovern's Method: Example 3.12 demonstrates insufficiencies in McGovern's original proof approach
3. Uniformity: Mild unipotence provides a unified framework for treating different types of Lie algebras

Related Work

Historical Development

1. Vogan (1984): Introduced the concept of weak unipotence
2. Barbasch-Vogan (1985): Proved weak unipotence of special nilpotent ideals
3. McGovern (1994): Defined q-nilpotent ideals and attempted to prove their weak unipotence
4. Losev-Mason-Brown-Matvieievskyi (2024): Introduced nilpotent ideals attached to orbit covers

Technical Tools

• Kazhdan-Lusztig Theory: Provides framework for cellular decomposition and special representations
• Springer Correspondence: Connects Weyl group representations with nilpotent orbits
• Langlands Duality: Provides correspondence relations between different Lie algebras

Conclusions and Discussion

Main Conclusions

1. Mild unipotence is an effective sufficient condition for weak unipotence and is more readily verifiable
2. All q-nilpotent ideals and nilpotent ideals attached to orbit covers possess weak unipotence
3. Langlands duality theory provides a unified conceptual proof framework

Limitations

1. Weight Lattice Restriction: For certain type D cases, results hold only for the root lattice, not applicable to the weight lattice
2. Cover Restriction: Exceptional type results apply only to birationally rigid covers
3. Computational Complexity: Exceptional type verification requires computer assistance

Future Directions

1. Extend to more general types of orbit covers
2. Study complete classification in the weight lattice case
3. Explore further connections with unitary representation theory

In-Depth Evaluation

Strengths

1. Conceptual Innovation: The mild unipotence concept fills a theoretical gap and provides practical verification tools
2. Methodological Unification: Through Langlands duality, avoids case-by-case analysis and provides conceptual proofs
3. Technical Depth: Skillfully utilizes bijections between special orbits, demonstrating profound theoretical mastery
4. Completeness: Provides complete classification for both classical and exceptional types

Weaknesses

1. Technical Threshold: Requires deep background in Lie group representation theory, with limited readability
2. Application Limitations: Primarily theoretical results; practical applications require further exploration
3. Computational Dependence: Exceptional type verification relies on computers, lacking purely theoretical proofs

Impact

1. Theoretical Contribution: Provides new tools and perspectives for representation theory and geometry
2. Methodological Value: Demonstrates the power of Langlands duality in solving concrete problems
3. Foundation for Future Research: Establishes foundation for further research in related fields

Applicable Scenarios

1. Classification of unitary representations of reductive groups
2. Harish-Chandra bimodule theory
3. Applications of the orbit method in representation theory
4. Study of nilpotent orbits in algebraic geometry

References

The paper cites 26 important references, including:

• Vogan (1984): Original definition of weak unipotence
• Barbasch-Vogan (1985): Theory of special nilpotent ideals
• McGovern (1994): Concept of q-nilpotent ideals
• Losev-Mason-Brown-Matvieievskyi (2024): Theory of orbit covers
• Barbasch-Ma-Sun-Zhu (2023): Bijections of metaplectic special orbits