Unipotent representations: changing q to -q

Basic Information

• Paper ID: 2508.13951
• Title: Unipotent representations: changing q to -q
• Authors: P. Deligne, G. Lusztig
• Classification: math.RT (Representation Theory)
• Publication Period: Classical paper citing literature from 1963-1987
• Paper Link: https://arxiv.org/abs/2508.13951

Abstract

Consider Chevalley groups over finite fields $F_q$ whose Weyl group has the longest element in the center. The authors construct an involution $\xi \mapsto \xi^!$ on the set of unipotent representations of such groups, such that the degree polynomial of a unipotent representation $\xi$ can be obtained from the degree polynomial of $\xi^!$ by replacing $q$ with $-q$ (up to a sign).

Research Background and Motivation

1. Core Problem: In the representation theory of finite Chevalley groups, investigate the symmetry properties of degree polynomials of unipotent representations under the parameter transformation $q \to -q$.
2. Significance:
   • Unipotent representations constitute one of the most important classes of representations of finite Chevalley groups
   • The transformation of parameter $q$ to $-q$ carries profound geometric meaning in algebraic geometry and representation theory
   • This symmetry reveals deep connections between Weyl group structure and finite group representations
3. Existing Research Foundation:
   • Lusztig established the classification and parametrization of unipotent representations in L84
   • Tables in L84 reveal the existence of certain $q \to -q$ symmetry
   • However, explicit theoretical construction and proof were lacking
4. Research Motivation:
   • Provide explicit mathematical description of this symmetry
   • Construct concrete involution mappings realizing this symmetry
   • Establish connections with Iwahori-Hecke algebras

Core Contributions

1. Construction of explicit involution mapping: For Weyl groups satisfying condition (a), construct an involution $\xi \mapsto \xi^!$ on the set of unipotent representations $U$
2. Establishment of duality relations for degree polynomials: Prove that $D_{\xi}(-u) = (-1)^{A_\xi} D_{\xi^!}(u)$, where $A_\xi$ is the degree of $D_\xi(u)$
3. Provision of geometric interpretation: Give geometric proof via cohomology of Deligne-Lusztig varieties
4. Establishment of connections with Iwahori-Hecke algebras: Link the construction with Iwahori-Hecke algebras parametrized by $-q$

Detailed Methodology

Task Definition

Given a reductive connected algebraic group $G$ over finite field $F_q$, whose Weyl group $W$ satisfies the condition:

• $W$ is irreducible
• The longest element $w_0$ acts as $-1$ in the reflection representation

The goal is to construct an involution $\xi \mapsto \xi^!$ on the set of unipotent representations $U$ such that degree polynomials satisfy the duality relation.

Core Construction

1. Definition of Elements $m_c$

For each family of Weyl group representations $c \in \text{ce}(W)$, construct special elements $m_c \in M(\Gamma_c)^*$:

Theorem 1.3: If $|c| \neq 2$ (resp. $|c| = 2$), there exists a unique (resp. exactly two) element $m_c \in M(\Gamma_c)^*$ such that for any $E \in c$: $\langle m_E, m_c \rangle = (-1)^{b'_E} \frac{\dim \rho}{|Z(g)|}$

where $m_E = (g, \rho)$, $b'_E = b_E - b_{E(c)}$.

2. Construction of Involution

• Case 1 ($|c| \neq 2$): Define $m^! = m_c * m$, thus $\xi_m^! = \xi_{m^!}$
• Case 2 ($|c| = 2$): Requires choosing $\sqrt{-1} \in \bar{\mathbb{Q}}_l$, construct bijection $U'_c \to U''_c$

3. Key Theorem

Theorem 2.2: For $c \in \text{ce}(W)$, $m \in M(\Gamma_c)$, the polynomials $D_{\xi_m}(u)$ and $D_{\xi_{m_c * m}}(u)$ are obtained from each other by the substitution $u \mapsto -u$ (up to sign).

Technical Innovations

1. Categorical approach: Use vector bundle category $\text{Vec}^{\Gamma}$ and convolution operations to parametrize unipotent representations
2. Sign calculations: Handle sign calculations separately for different types of Weyl groups ($B_n, C_n, D_n, E_6, E_7, E_8, F_4, G_2$)
3. Geometric realization: Provide geometric proof via cohomology of Deligne-Lusztig varieties $X_w$

Experimental Setup

Verification Methods

The authors verify the theory through:

1. Concrete calculations: Perform explicit sign and polynomial calculations for various Weyl group types
2. Comparison with known results: Compare with tabular data from L84
3. Special case verification: Verify concrete examples such as type $B_2$

Theoretical Verification

• Prove well-definedness of the involution
• Verify consistency across various Weyl group types
• Establish correspondence with geometric objects

Experimental Results

Main Results

Theorem 0.4 (Main Result): For $w \in W$, $\xi \in U$: $(\xi : H^*(X_w)) = (-1)^{A_\xi}(\xi^! : H^*(X_{ww_0}))$

Theorem 4.3 (Refined Result): $(\xi_m^! : H^*_k(X_{ww_0})) = (-1)^{A_c}(\xi_m : H^*_{k-2\nu+a_c+A_c}(X_w))$

Concrete Verification

• Type $B_2$: Verify the case $D_\xi(u) = u(u^2+1)/2$
• Various exceptional groups: Detailed calculations for $E_6, E_7, E_8, F_4, G_2$
• Symmetric group case: Verify construction when $\Gamma_c = S_n$

Related Work

1. DL76: Foundational work on Deligne-Lusztig theory
2. L84: Lusztig's systematic study of characters of reductive groups over finite fields
3. L78: Connections between Iwahori-Hecke algebras and representations
4. L25: Theory of superspecial representations (cites results from this paper)

Conclusions and Discussion

Main Conclusions

1. Successfully construct an involution on unipotent representations, realizing the $q \to -q$ symmetry
2. Establish profound connections between representation theory and geometry
3. Provide new geometric interpretation for Iwahori-Hecke algebra theory

Limitations

1. Requires Weyl groups to satisfy special conditions (centrality of longest element)
2. Requires choice of $\sqrt{-1}$ in cases $E_7, E_8$
3. In some cases the involution is not uniquely determined

Future Directions

1. Generalization to cases not satisfying condition (a)
2. Connections with quantum group theory
3. Applications in geometric representation theory

In-Depth Evaluation

Strengths

1. Theoretical depth: Skillfully combines representation theory, geometry, and algebra
2. Technical innovation: Uses categorical methods to handle complex combinatorial problems
3. Completeness: Provides complete treatment for all relevant Weyl group types
4. Geometric insight: Provides geometric intuition via Deligne-Lusztig varieties

Weaknesses

1. Technical complexity: Requires extensive concrete calculations and case-by-case analysis
2. Condition restrictions: Main results require relatively strong hypotheses
3. Construction dependency: In some cases construction depends on additional choices

Impact

1. Theoretical contribution: Provides important symmetry properties for finite group representation theory
2. Methodology: Establishes standard methods for handling such problems
3. Subsequent development: Influences development of quantum group and geometric representation theory

Applicable Scenarios

1. Representation theory research on finite Chevalley groups
2. Geometric realization of Iwahori-Hecke algebras
3. Study of duality phenomena in quantum group theory
4. $\ell$-adic cohomology theory in algebraic geometry

References

The paper cites important literature in representation theory, including:

• DL76: Foundational work by Deligne-Lusztig
• L84: Lusztig's monograph on character theory
• L78: Theory of Iwahori-Hecke algebras
• D80: Deligne's work on Weil conjectures