Periods of Deligne-Lusztig Characters associated to Spherical Varieties

Basic Information

• Paper ID: 2409.16853
• Title: Periods of Deligne-Lusztig Characters associated to Spherical Varieties
• Author: Fang Shi
• Classification: math.RT (Representation Theory)
• Publication Date: September 2024
• Paper Link: https://arxiv.org/abs/2409.16853

Abstract

This paper computes the periods of Deligne-Lusztig characters associated to spherical varieties. Specifically, for a connected spherical subgroup H ⊂ G, the paper studies the periods $\langle R_{T,\chi}^G, 1_{H^F} \rangle_{H^F}$ of Deligne-Lusztig characters $R_{T,\chi}^G$ on $X^F = (G/H)^F$. As an application, a formula is derived that partially generalizes Lusztig's work on symmetric spaces and extends Reeder's formula for the complexity zero case.

Research Background and Motivation

1. Research Problem: This paper addresses the computation of periods of Deligne-Lusztig characters on spherical varieties, a fundamental problem in the representation theory of algebraic groups.
2. Significance:
   • Deligne-Lusztig characters are central objects in the representation theory of finite groups; computing their periods is crucial for understanding the representation structure of finite groups
   • Spherical varieties are important objects in algebraic geometry with deep connections to many branches of mathematics
   • Such computations have important applications in number theory, the theory of automorphic forms, and related fields
3. Limitations of Existing Work:
   • Lusztig's work primarily focuses on the symmetric space case
   • Reeder's formula applies only to the complexity zero case
   • A unified approach for handling general spherical subgroups is lacking
4. Research Motivation: To seek a finite field analogue of the work of Wang-Zhang and establish more general period computation formulas.

Core Contributions

1. Main Theorem: Under Assumption ☆, an explicit formula for period computation is established (Theorem 4.33): $\langle R_{T,\chi}^G, 1_{H^F} \rangle_{H^F} = \sum_{\omega \in \Omega_T^F} (-1)^{\sigma_\omega + \sigma(T)} t_{\omega,\chi}$
2. Unified Framework: Incorporates Lusztig's symmetric space results and Reeder's complexity zero results into a unified framework
3. Technical Innovations:
   • Introduces the concept of geometric-type functions to handle infinite series
   • Establishes bijections between multiple index sets
   • Develops new techniques for handling spherical varieties
4. Broad Applicability: Proves that Assumption ☆ holds in many important cases, including parabolic subgroups, symmetric spaces, and complexity zero subgroups

Detailed Methodology

Problem Definition

Compute the period $\langle R_{T,\chi}^G, 1_{H^F} \rangle_{H^F} = \frac{1}{|H^F|} \sum_{h \in H^F} R_{T,\chi}^G(h)$, where:

• $G$ is a connected reductive group
• $H$ is a connected spherical subgroup of $G$
• $T$ is an $F$-stable maximal torus
• $\chi: T^F \to \bar{\mathbb{Q}}_\ell^*$ is a character

Core Technical Methods

1. Geometric-Type Function Method

Introduces the concept of geometric-type functions: $M(\nu) = \frac{\sum_{i=1}^k a_i \alpha_i^\nu}{\sum_{j=1}^l b_j \beta_j^\nu}$

Key Lemma 3.2: If a geometric-type function $M$ is integer-valued and has a finite limit, then $M$ is constant.

2. Multiple Index System

Establishes bijections between three sets:

• $\Phi_T$: the set of quadruples $(j,\iota,C,X)$
• $\Gamma_{T,B_T}$: the set of irreducible locally closed subschemes
• $\Omega_T$: the set of pairs $(c,X)$

Connections are established via mappings $V_{T,B_T}: \Phi_T \to \Gamma_{T,B_T}$ and $M_T: \Phi_T \to \Omega_T$.

3. Essential Multiplicative-Type Condition

Assumption ☆: For any Borel subgroup $B$, the set $B(k) \cap H(k)$ has an open dense subset consisting of semisimple elements in the Zariski topology.

This condition ensures:

• Only the nilpotent orbit of the identity element contributes to the formula
• The limit coefficients of Green functions are $\pm 1$

Algorithm Flow

1. Express the period as a geometric-type function $P(\nu,T,\chi)$
2. Use Lemma 3.2 to prove the function is constant
3. Determine the main contributing terms through dimension estimates
4. Simplify the multiple indices under Assumption ☆
5. Establish the final explicit formula

Experimental Setup

Theoretical Verification Cases

The paper verifies the correctness of the theory through the following concrete examples:

1. Parabolic Subgroup Case (Section 5.2)
2. Symmetric Spaces (Section 5.4)
3. Unitary Group Pair $(U_4 \times U_2, U_2 \times U_2)$ (Section 5.3)
4. Complexity Zero Case for Reductive Subgroups (Section 5.5)

Verification Methods

• Direct computation of periods in specific cases
• Comparison with known results (formulas of Lusztig and Reeder)
• Verification of Assumption ☆ in various cases

Experimental Results

Main Result Verification

1. Symmetric Space Case

Theorem 5.20: For a symmetric space $H = G^\theta$ (where $\theta$ is an involution): $\langle R_{T,\chi}^G, 1_{H^F} \rangle_{H^F} = \sum_O \sum_{c \in C_O^F} (-1)^{\sigma_{O,c} + \sigma(T)} t_{O,c,\chi}$ where the sum ranges over $F$-stable $T$-orbits in $V_T$.

This is in complete agreement with Lusztig's Theorem 3.3.

2. Parabolic Subgroup Case

Proposition 5.2: When $H$ is a parabolic subgroup: $\langle R_{T,\chi}^G, 1_{H^F} \rangle_{H^F} = \begin{cases} 0 & \text{if } \chi \text{ is nontrivial} \\ |(X^T)^F| & \text{if } \chi \text{ is trivial} \end{cases}$

3. Concrete Unitary Group Computation

Specific period computation results are provided for $(U_4 \times U_2, U_2 \times U_2)$ (Corollaries 5.5 and 5.6).

Theoretical Contribution Verification

• Successfully incorporates known results into a unified framework
• Provides explicit computation formulas in new cases
• Demonstrates the broad applicability of the method

Related Work

Major Related Research

1. Deligne-Lusztig Theory: Establishes parametrization of irreducible representations of finite reductive groups
2. Lusztig's Work on Symmetric Spaces: Addresses the case of fixed point subgroups
3. Reeder's Work on Reductive Subgroups: Studies embeddings of complexity zero
4. Wang-Zhang's Periods in Automorphic Forms: This paper seeks its finite field analogue

Uniqueness of This Paper's Contribution

• First systematic treatment of the period problem for general spherical subgroups
• Develops new technical tools (geometric-type functions, essential multiplicative-type condition)
• Establishes unified connections between different cases

Conclusions and Discussion

Main Conclusions

1. Under Assumption ☆, an explicit formula for periods of Deligne-Lusztig characters on spherical varieties is established
2. Unifies various previously known special cases
3. Proves that Assumption ☆ holds in a broad range of important cases

Limitations

1. Necessity of Assumption ☆: Although it holds in many important cases, it remains a restrictive condition
2. Computational Complexity: The geometric objects involved in actual computations may be quite complex
3. Generality: Some technical details depend on specific geometric properties

Future Directions

1. Seek methods to remove or weaken Assumption ☆
2. Develop more efficient computational techniques
3. Explore connections with other branches of mathematics
4. Investigate applications in number theory

In-Depth Evaluation

Strengths

1. Theoretical Depth: Combines deep techniques from algebraic geometry, representation theory, and number theory
2. Unification: Successfully incorporates multiple known results into a unified framework
3. Technical Innovation: The introduced geometric-type function method has general value
4. Completeness: Both theoretical establishment and concrete verification are thorough

Weaknesses

1. Restrictive Assumptions: Although Assumption ☆ holds in important cases, it limits the generality of the results
2. Computational Complexity: Actual applications may involve difficult computations
3. Relatively Few Examples: More concrete computational examples could be included

Impact

1. Theoretical Contribution: Establishes foundations for period theory on spherical varieties
2. Methodological Value: The developed techniques may apply to other problems
3. Bridging Role: Establishes new connections between different mathematical fields

Applicable Scenarios

1. Representation theory research on finite reductive groups
2. Arithmetic geometry research on spherical varieties
3. Period problems in the theory of automorphic forms
4. Related computational problems in number theory

References

The paper cites important literature in the field, including:

• Original work of Deligne-Lusztig DL
• Lusztig's theory on symmetric spaces Lu1, Lu2
• Reeder's work on reductive subgroups R
• Wang-Zhang's period theory WZ

This paper demonstrates considerable technical depth and innovation, successfully generalizing existing theory and establishing a new unified framework. Although it involves some restrictive assumptions, these are verified in important concrete cases, providing a solid foundation for further development in this field.