Unipotent representations: changing q to -q, II

Basic Information

• Paper ID: 2510.06345
• Title: Unipotent representations: changing q to -q, II
• Authors: P. Deligne, G. Lusztig
• Classification: math.RT (Representation Theory)
• Institutions: Institute for Advanced Study, Princeton, NJ; Department of Mathematics, M.I.T., Cambridge, MA
• Paper Link: https://arxiv.org/abs/2510.06345

Abstract

This paper investigates unipotent representations of Chevalley groups over finite fields $\mathbb{F}_q$, particularly studying the effect of replacing the parameter $q$ with $-q$ on the characteristic polynomials of eigenvalues of unipotent representations at semisimple elements, in the case where the longest element of the Weyl group is central.

Research Background and Motivation

Problem Background

1. Core Problem: Investigating the behavior of unipotent representations of algebraic groups over finite fields under the parameter transformation $q \to -q$
2. Theoretical Importance: This is a fundamental problem in the representation theory of algebraic groups, involving deep symmetries of characters
3. Prior Work: This paper continues the authors' previous work DL25, which established symmetry of $q \to -q$ at the level of dimension formulas
4. Research Motivation: Seeking to extend the symmetry at the dimension level to the level of character values

Limitations of Existing Methods

1. Difficulty of Direct Generalization: Simple extension of $q \to -q$ symmetry from dimensions to character values does not hold in general cases
2. Existence of Counterexamples: When $G$ is of type $G_2$ and the centralizer of $\sigma$ is of type $A_2$, direct symmetry fails
3. Need for New Framework: Requires construction of new polynomial families to characterize this symmetry

Core Contributions

1. Construction of Polynomial Families: Defines polynomials $P_{m,z}(u) \in \mathbb{Q}[u]$, where $m \in M(\Gamma_c)$ and $z \in Z_Y$
2. Establishment of Character Formula: Proves $\text{tr}(\sigma, \xi^r_m) = P_{m,z}(p^s)$, where $r^2 = p^s$
3. Proof of Symmetry Theorem: Establishes involutions $z \mapsto z^!$ and $m \mapsto m^!$ such that $P_{m^!,z^!}(u) = \pm P_{m,z}(-u)$
4. Generalization of Prior Results: Extends results from DL25 to more general semisimple element cases

Detailed Methodology

Task Definition

Investigating character values of unipotent representations $\xi^r_m$ of connected reductive groups $G$ over finite fields $\mathbb{F}_q$ at semisimple elements $\sigma$, where $r \in R = \{r \in \overline{\mathbb{Q}}_l : r^2 \in \{p, p^2, p^3, \ldots\}\}$.

Core Mathematical Construction

1. Orbit Parametrization

For conjugacy orbits of $G$ acting on the set of connected reductive subgroups $Y$, construct finite sets $Z_Y$ to parametrize $G^{F^s}$-orbits of $F^s$-stable subgroups:

$Z_Y \cong Y^{F^s}/\sim$

where $\sim$ denotes $G^{F^s}$-conjugacy equivalence.

2. Polynomial Definition

For $H \in Y_0 = \{H \in Y : T \subset H\}$, define:

$P_{m,z}(u) = \sum_{E \in c} \sum_{j \in \mathbb{N}} \text{tr}(z_H, (\overline{S}^j_{T/Z_H} \otimes E)^{N_T \cap H}) \Delta(m) \langle m, m_E \rangle u^j$

where:

• $\overline{S}^j_{T/Z_H}$ is the quotient space of the symmetric algebra
• $z_H \in (N_T \cap N_H)/(N_T \cap H)$ corresponds to $z \in Z_Y$
• $\Delta(m)$ and $\langle m, m_E \rangle$ arise from Lusztig's theory

3. Involution Construction

When the Weyl group $W$ satisfies the condition that the longest element $w_0$ acts as $-1$ on the reflection representation:

• There exists $\dot{w}_0 \in N_T$ such that $\dot{w}_0 t \dot{w}_0^{-1} = t^{-1} \bmod Z_G$
• This induces an involution $z \mapsto z^!$ on $Z_Y$
• Combined with the involution $m \mapsto m^!$ from DL25

Main Theorems

Theorem 1.12: For $c \in \text{ce}(W)$, $m \in M(\Gamma_c)$, $z \in Z_Y$: $P_{m^!, z^!}(u) = (-1)^{A_c} P_{m,z}(-u)$

Theorem 0.2(a): For a semisimple element $\sigma \in G^{F^s}$ with $Z^0(\sigma) \in Y$: $\text{tr}(\sigma, \xi^r_m) = P_{m,z}(p^s)$ where $r^2 = p^s$ and $z$ is the $G^{F^s}$-orbit containing $Z^0(\sigma)$.

Technical Innovations

1. Geometric-Algebraic Correspondence

• Transforms representation-theoretic problems into parametrization problems for geometric orbits
• Utilizes Lang's theorem to establish correspondence between $F^s$-fixed points and conjugacy classes

2. Symmetric Algebra Techniques

• Uses symmetric algebras $S^*_{T/Z_H}$ and their quotients to capture geometric information
• Applies invariant theory to handle group actions

3. Frobenius Map Analysis

• Provides deep analysis of Frobenius map actions at different levels
• Exploits properties of split tori to simplify calculations

Experimental Setup

This is a pure theoretical mathematics paper with no numerical experiments, relying instead on rigorous mathematical proofs to verify theoretical results.

Verification Methods

1. Special Case Verification: When $Y = \{G\}$, results reduce to the main theorem of DL25
2. Consistency Checks: Verifies consistency of constructed polynomials under different choices
3. Theoretical Derivation: Validates formulas using tools such as Grothendieck fixed-point formulas

Main Results

Core Theorem Proofs

1. Existence: Establishes well-definedness and independence of polynomials $P_{m,z}(u)$
2. Symmetry: Establishes precise symmetry relations under parameter transformation $q \to -q$
3. Character Formula: Provides explicit polynomial expressions for unipotent representation characters

Technical Achievements

• Complete orbit classification theory
• Explicit construction of involution maps
• Perfect alignment with known results

Related Work

Foundational Theory

1. Deligne-Lusztig Theory: Foundational framework for representation theory of algebraic groups over finite fields
2. Lusztig Classification: Systematic classification theory of unipotent representations
3. Geometric Representation Theory: Geometric methods for studying representation-theoretic problems

Directly Related

• DL25: Predecessor work establishing symmetry at the dimension level
• L84: Lusztig's monograph providing complete theory of unipotent representations
• DL76: Classical work by Deligne-Lusztig

Conclusions and Discussion

Main Conclusions

1. Successfully extends $q \to -q$ symmetry from dimensions to character values
2. Provides complete framework for handling general semisimple element cases
3. Establishes deep connections between geometric orbits and representation-theoretic data

Theoretical Significance

• Deepens understanding of symmetries in finite group representations
• Provides new technical tools for further research
• Connects different aspects of geometry and algebra

Limitations

1. Condition Restrictions: Requires the longest element of the Weyl group to be central
2. Technical Complexity: Proofs involve substantial technical details
3. Special Cases: Certain types of groups and elements require special treatment

In-Depth Evaluation

Strengths

1. Theoretical Depth: Resolves deep problems in representation theory
2. Technical Innovation: Develops new mathematical tools and methods
3. Completeness: Provides comprehensive theoretical framework
4. Generality: Handles broad classes of groups and representations

Academic Value

1. Foundational Contribution: Advances development of algebraic group representation theory
2. Methodological Significance: Demonstrates power of geometric methods in representation theory
3. Subsequent Impact: Provides important tools for related research

Technical Assessment

• Mathematical reasoning is rigorous and complete
• Constructions possess intrinsic geometric intuition
• Results carry profound theoretical significance

Applicable Scenarios

Theoretical Research

1. Representation theory of algebraic groups over finite fields
2. Further development of character theory
3. Related problems in geometric representation theory

Related Fields

1. L-function theory in number theory
2. Cohomology theory in algebraic geometry
3. Symmetric function theory in combinatorics

This paper represents an important theoretical contribution to the representation theory of algebraic groups, solving a fundamental symmetry problem through ingenious mathematical construction, exemplifying the perfect synthesis of geometric and algebraic methods in modern mathematics.