Vogan's Conjecture on local Arthur packets of $p$-adic $\mathrm{GL}_n$ and a combinatorial Lemma

Basic Information

• Paper ID: 2311.00249
• Title: Vogan's Conjecture on local Arthur packets of $p$-adic $\mathrm{GL}_n$ and a combinatorial Lemma
• Author: Chi-Heng Lo (Purdue University)
• Classification: math.RT (Representation Theory), math.NT (Number Theory)
• Publication Date: November 1, 2023
• Paper Link: https://arxiv.org/abs/2311.00249

Abstract

For $\mathrm{GL}_n$ over $p$-adic fields, Cunningham and Ray proved Vogan's conjecture, which states that local Arthur packets are equivalent to ABV packets. They used endoscopic theory to reduce the general case to a combinatorial lemma for irreducible local Arthur parameters, whose proof demonstrates that Vogan's conjecture for $p$-adic $\mathrm{GL}_n$ can also be established by proving a generalized version of this combinatorial lemma. Riddlesden recently proved this generalized lemma. This paper provides a new proof of this lemma with independent research value.

Research Background and Motivation

Problem Background

1. Arthur packet theory: In his foundational work, Arthur constructed local Arthur packets $\Pi_\psi$ for local Arthur parameters $\psi$ of quasi-split classical groups, which are finite multisets of smooth irreducible representations satisfying specific twisted endoscopic character identities.
2. ABV packet construction: Cunningham and others extended the work of ABV by using microlocal vanishing cycles functors to define ABV packets $\Pi^{ABV}_\phi$ for L-parameters $\phi$ of arbitrary $p$-adic reductive groups.
3. Vogan's conjecture: The conjecture asserts that for a local Arthur parameter $\psi$ and its associated L-parameter $\phi_\psi$, the equality $\Pi_\psi = \Pi^{ABV}_{\phi_\psi}(G(F))$ holds.

Research Motivation

1. Theoretical completeness: Vogan's conjecture is an important bridge connecting Arthur packet theory and geometric constructions, and its proof is significant for the development of representation theory.
2. Methodological innovation: Although Cunningham-Ray and Riddlesden have resolved the problem, seeking more elegant and fundamental proof methods remains valuable.
3. Technical simplification: Existing proofs rely on complex network theory; this paper provides an elementary proof using only the Mœglin-Waldspurger algorithm.

Core Contributions

1. New proof method: Provides a new proof of Lemma 1.3 (the generalized combinatorial lemma) based on the Mœglin-Waldspurger algorithm, avoiding the complexity of network theory.
2. Technical simplification: The proof is more elementary and intuitive, relying primarily on combinatorial operations on multi-segments.
3. Theoretical insight: Provides new understanding of the $\mathrm{GL}_n$ case through analogy with Arthur packet theory for symplectic and special orthogonal groups.
4. Algorithm reconstruction: Reformulates the Mœglin-Waldspurger algorithm and develops a notation system convenient for the proof.

Detailed Methodology

Task Definition

Prove the following key lemma:

Lemma 1.3: Let $\psi$ be an arbitrary local Arthur parameter for $\mathrm{GL}_n(F)$, and let $\phi_\psi$ be its associated L-parameter. If an L-parameter $\phi$ satisfies $\phi \geq \phi_\psi$ and $\hat{\phi} \geq \hat{\phi}_\psi$, then $\phi = \phi_\psi$.

Here $\geq$ denotes the closure order on the Vogan variety, and $\hat{\cdot}$ denotes the Pyasetskii involution.

Core Technical Framework

1. Multi-segment Representation Theory

• Segment: Of the form $\Delta = [b,e]_\rho = \{\rho|\cdot|^b, \rho|\cdot|^{b+1}, \ldots, \rho|\cdot|^e\}$
• Multi-segment: A finite multiset of segments
• Correspondence: Establishes a triple correspondence $\Pi(\mathrm{GL}(F)) \leftrightarrow \Phi(\mathrm{GL}(F)) \leftrightarrow \text{Mseg}$

2. Partial Order Structure

Define a partial order $\alpha \geq \beta$ on multi-segments through a sequence of basic operations:

• Unrelated segments remain unchanged
• Related segments undergo merging or decomposition operations

3. Mœglin-Waldspurger Algorithm

Algorithm 2.3: Compute the involution $\tilde{\alpha}$ of a multi-segment $\alpha$

1. Select the maximum endpoint value $e$
2. Among segments with endpoint $m$, select the segment $\Delta_m$ with maximum base value
3. Recursively construct until a stopping condition is satisfied
4. Return $M(\alpha) = [m,e]$

Key Innovations

1. Algorithm Reconstruction (Section 3)

• Introduce a new notation system $\{K_i\}_{i=0}^{t-1}$ such that each $K_i$ is pairwise disjoint
• Lemma 3.3: Proves important properties such as $m_0 \leq m_1 \leq \cdots \leq m_{t-1}$
• Corollary 3.4: Provides an equivalent characterization of the algorithm

2. Reduction Strategy (Section 4.2)

Proposition 4.3: For Arthur-type multi-segment $\alpha = \delta_\psi$, define $a+d := \max\{a_i + d_i \mid i \in I_\rho\}$$d := \min\{d_i \mid i \in I_\rho, a_i + d_i = a+d\}$

Prove that any $\beta$ satisfying the conditions must contain a copy of $\delta_{d,a}$, and after removal still satisfies the reduction condition.

3. Technical Lemmas

Lemma 4.5: If $\beta$ contains a copy of $\delta_{b,e,s}$, then under appropriate assumptions $\tilde{\beta} = \tilde{\beta^-} + \tilde{\delta}_{b,e,s}$

Experimental Setup

This is a pure theoretical mathematics paper with no numerical experiments. The proof is verified through the following approaches:

Verification Methods

1. Constructive proof: Through concrete algorithms and mathematical induction
2. Example verification: Provides concrete computational examples of multi-segments (e.g., Example 3.2, Example 4.6)
3. Logical reasoning: Rigorous mathematical proof chains

Key Examples

Example 4.6: Demonstrates the reduction process for a complex multi-segment $\beta$ containing $\delta_{0,2,3}$, verifying the correctness of Lemma 4.5.

Experimental Results

Main Results

1. Complete proof: Successfully proves Lemma 1.3, providing a new proof path for Vogan's conjecture
2. Algorithm optimization: The reconstructed Mœglin-Waldspurger algorithm is more suitable for theoretical analysis
3. Technical simplification: Avoids complex network theory, making the proof more elementary

Theoretical Findings

1. Structural properties: Discovers the pairwise disjointness property of index sets in the multi-segment algorithm (Lemma 3.3(c))
2. Reduction mechanism: Reveals the special reduction structure of Arthur-type multi-segments
3. Involution properties: Provides a combinatorial interpretation of the Pyasetskii involution

Related Work

Main Research Threads

1. Arthur theory: Arthur's endoscopic classification provides the foundation for representation theory of classical groups
2. Mœglin's construction: Mœglin explicitly constructed local Arthur packets, but computing Langlands classification is difficult
3. Geometric methods: ABV packets provide a unified geometric approach to representations of various groups

Technical Development

1. Zelevinsky theory: Establishes the correspondence between $\mathrm{GL}_n$ representations and multi-segments
2. Mœglin-Waldspurger algorithm: Provides a combinatorial algorithm for the Zelevinsky involution
3. Knight-Zelevinsky formula: Provides a closed-form formula using network theory

Contribution of This Paper

Compared to Riddlesden's network-theoretic approach, this paper provides a more fundamental proof relying only on the combinatorial properties of the Mœglin-Waldspurger algorithm.

Conclusions and Discussion

Main Conclusions

1. Method effectiveness: Demonstrates that the key technical problem of Vogan's conjecture can be solved through pure combinatorial methods
2. Theoretical unity: Connects the $\mathrm{GL}_n$ case with more general classical group theory
3. Algorithm optimization: Provides an algorithm formulation more suitable for theoretical analysis

Limitations

1. Scope restriction: Only addresses the $\mathrm{GL}_n$ case; generalization to other groups is not obvious
2. Technical complexity: While avoiding network theory, still requires delicate combinatorial analysis
3. Application limitations: Primarily a theoretical contribution with limited practical computational efficiency gains

Future Directions

1. Generalization research: Extend the method to other classical groups
2. Algorithm optimization: Further simplify the Mœglin-Waldspurger algorithm
3. Computational implementation: Develop efficient computational tools

In-Depth Evaluation

Strengths

1. Methodological innovation: Provides a new proof path avoiding network theory with more elementary techniques
2. Theoretical depth: Offers new insights through analogy with classical group theory
3. Technical rigor: Complete and rigorous proof with clear logical flow
4. Clear exposition: The reconstructed algorithm formulation is more accessible and applicable

Weaknesses

1. Limited originality: Primarily a new proof of existing results with relatively limited originality
2. Application value: Greater theoretical than practical application value
3. Generalizability: The generalizability of the method requires further verification

Impact

1. Theoretical contribution: Provides new technical pathways for important conjectures in representation theory
2. Methodological value: Demonstrates the power of combinatorial methods in representation theory
3. Educational value: More elementary proofs facilitate teaching and dissemination in the field

Applicable Scenarios

1. Theoretical research: Suitable for advanced theoretical research in representation theory and number theory
2. Teaching applications: Can serve as advanced material in relevant courses
3. Further research: Provides technical foundations for related problems

References

The paper cites important literature in the field, including:

• Arthur's foundational work Art13
• Mœglin's construction theory Mœ06a, Mœ06b, Mœ09, Mœ10, Mœ11a
• Cunningham-Ray's original proof CR22, CR23
• Riddlesden's network-theoretic approach Rid23
• Zelevinsky and related scholars' combinatorial theory Zel81, MW86, KZ96

Overall Assessment: This is a high-quality theoretical mathematics paper that provides a new proof method for an important representation-theoretic problem. While primarily a technical improvement rather than a breakthrough innovation, its method's elegance and theoretical insights have significant value. The paper is well-written with rigorous proofs and represents a valuable contribution to the field.