On a decomposition of $p$-adic Coxeter orbits

Basic Information

• Paper ID: 2109.01424
• Title: On a decomposition of $p$-adic Coxeter orbits
• Author: Alexander B. Ivanov (Universität Bonn / Ruhr-Universität Bochum)
• Classification: math.AG (Algebraic Geometry), math.RT (Representation Theory)
• Published Journal: Épijournal de Géométrie Algébrique, Volume 7 (2023), Article No. 19
• Paper Link: https://arxiv.org/abs/2109.01424

Abstract

This paper analyzes the geometric properties of certain $p$-adic Deligne-Lusztig spaces $X_w(b)$ introduced in the author's earlier work, which are attached to unramified reductive groups $G$ over non-Archimedean local fields. The author proves that when $G$ is a classical group, $b$ is a basic element, and $w$ is a Coxeter element, $X_w(b)$ decomposes as a disjoint union of translates of some integral $p$-adic Deligne-Lusztig space. In the process, the author generalizes observations of DeBacker and Reeder concerning rational conjugacy classes of unramified tori to the case of extended pure inner forms, and proves an integral version of the Frobenius-twisted Steinberg section.

Research Background and Motivation

Problem Background

1. Development of $p$-adic Deligne-Lusztig theory: Classical Deligne-Lusztig theory played an important role in the representation theory of reductive groups over finite fields. The author generalized this theory to the $p$-adic setting in previous work, constructing $p$-adic Deligne-Lusztig spaces $X_w(b)$.
2. Understanding geometric structure: Unlike the classical case, $p$-adic Deligne-Lusztig spaces are arc-topology sheaves over perfect algebras, with more complex geometric structure. Understanding the geometric properties of these spaces is crucial for studying representations of the $p$-adic group $G(k)$.
3. Special properties of Coxeter orbits: Coxeter elements possess special properties in the Weyl group, and the corresponding Deligne-Lusztig spaces often exhibit better geometric and representation-theoretic properties.

Research Motivation

1. Geometric decomposition: Seeking explicit geometric decompositions of $p$-adic Deligne-Lusztig spaces, particularly in the Coxeter case.
2. Representation-theoretic applications: Such decompositions are important for understanding related smooth $G(k)$-representations.
3. Theory refinement: Generalizing existing theory concerning toral conjugacy classes to more general settings.

Core Contributions

1. Main decomposition theorem: Proves that for a classical group $G$, a basic element $b$, and a Coxeter element $c$, the $p$-adic Deligne-Lusztig spaces $X_c(b)$ and $\dot{X}_{\bar{c}}(b)$ decompose as disjoint unions of translates of integral-level Deligne-Lusztig spaces.
2. Generalization of toral conjugacy class theory: Extends the parametrization of rational conjugacy classes of unramified tori by DeBacker and Reeder to all extended pure inner forms.
3. Integral version of Steinberg section: Proves an integral version of the Frobenius-twisted Steinberg section, an important technical tool.
4. Proof of scheme properties: As a corollary, proves that the relevant $p$-adic Deligne-Lusztig spaces are disjoint unions of affine schemes, thereby verifying a conjecture posed by the author previously.

Detailed Methods

Problem Setup

Study the geometric structure of $p$-adic Deligne-Lusztig spaces $X_w(b)$ and $\dot{X}_{\bar{w}}(b)$, where:

• $G$ is an unramified reductive group over a non-Archimedean local field $k$
• $w \in W$ is a Coxeter element in the Weyl group
• $b \in G(\bar{k})$ is a basic element
• $\bar{w}$ is a lift of $w$ in some discrete quotient set

Main Theorem Statement

Theorem 1.1: Let $G$ be an unramified group of classical type, $c$ a Coxeter element, and $b$ a basic element. Then there exist $G_b(k)$-equivariant isomorphisms:

$X_c(b) = \coprod_{\gamma \in G^{ad}_b(k)/G^{ad}_{x,b}(\mathcal{O}_k)} \gamma X^{G^{ad}_x}_{c,b}$

and $G_b(k) \times T_c(k)$-equivariant isomorphisms:

$\dot{X}_{\bar{c}}(b) \cong \coprod_{\gamma \in G_b(k)/G_{x,b}(\mathcal{O}_k)} \gamma \dot{X}^{G_x}_{\bar{c},b}$

Technical Approach

1. Foundational Theory Construction

• Arc functors: Using arc functors $L$ and positive arc functors $L^+$ to construct relevant $p$-adic objects
• Fundamental groups and Kottwitz map: Utilizing the Borovoi fundamental group $\pi_1(G)$ and Kottwitz map $\kappa_G$ to parametrize conjugacy classes
• $\sigma$-conjugacy classes: Studying conjugacy class structures under Frobenius action

2. Analysis of Toral Conjugacy Classes

• Stable conjugacy classes: Extending DeBacker-Reeder theory to extended pure inner forms
• Parametrization of rational conjugacy classes: Using the map $F_w / \ker \bar{\kappa}_w \to \pi_1(G)^{\langle\sigma\rangle}$
• Special properties in the Coxeter case: Exploiting $\beta_c = 0$ (when $G$ is adjoint type and $c$ is a Coxeter element)

3. Integral Version of Steinberg Section

Proposition 5.3: For a classical group $G$ and special Coxeter element $c$, the map $\alpha_b: L({}^cU \cap U^-) \times L({}^cU \cap U^-) \to L({}^cU)$$(x,y) \mapsto x^{-1}y\sigma_b(x)$ is an isomorphism.

4. Newton Polygon Method

At key steps in the proof, properties of Newton polygons of isoclinic crystals are employed:

Lemma 7.3: Let $(V,\varphi)$ be an isoclinic crystal of slope $\lambda$ and dimension $n$, and $v$ a cyclic vector. If $\varphi^n(v) = \sum_{i=0}^{n-1} A_i\varphi^i(v)$, then $\text{ord}_\varpi(A_i) \geq (n-i)\lambda$.

Technical Innovations

1. $v$-descent argument: Using properties of quasi-compact universal descent morphisms to handle descent from covering spaces to quotient spaces.
2. Type-by-type analysis: Detailed calculations and verification for each irreducible Dynkin type ($A_{n-1}, B_m, C_m, D_m, {}^2A_{n-1}, {}^2D_m$).
3. Integral-level treatment: Introducing integral $p$-adic Deligne-Lusztig spaces $\dot{X}^{G_x}_{\bar{c},b}$ to simplify the problem.

Experimental Setup

Theory Verification Methods

As a pure mathematics theory paper, this work contains no numerical experiments but verifies the theory through:

1. Case-by-case verification: Detailed calculations for all classical Dynkin types
2. Compatibility checks: Verifying compatibility between different constructions
3. Limiting case analysis: Examining special cases such as quasi-split situations

Computational Framework

• Bruhat-Tits building theory: For handling geometry of $p$-adic groups
• Isoclinic crystal theory: For analyzing Frobenius action
• Galois cohomology: For parametrizing inner forms

Main Results

Corollaries of the Core Theorem

Corollary 1.2: If $G$ is a classical-type unramified group, $c$ is a Coxeter element, and $b$ is a basic element, then both $X_c(b)$ and $\dot{X}_{\bar{c}}(b)$ are disjoint unions of affine schemes.

Corollary 1.3 (Quasi-split case): When $b$ is conjugate to 1, there is a $G(k)$-equivariant isomorphism: $X_c(1) \cong \coprod_{\gamma \in G^{ad}(k)/G^{ad}_{x,1}(\mathcal{O}_k)} \gamma X^{G_x}_c(1)$

New Results on Toral Conjugacy Classes

Corollary 4.7: For a basic element $b$ and Coxeter element $c$, the set of distinct non-empty slices $X_c(b)_{\bar{c}} \subseteq X_c(b)$ admits a canonical surjection to the set of rational conjugacy classes of unramified Coxeter tori in $G_b$, denoted $T(G_b,c)/\text{Ad}G_b(k)$.

Related Work

Historical Development

1. Classical Deligne-Lusztig theory: Deligne and Lusztig established the foundational theory over finite fields in 1976
2. Affine Deligne-Lusztig varieties: Rapoport and others developed the theory in the affine case
3. $p$-adic generalization: The author established the foundational theory of the $p$-adic version in previous work

Technical Connections

• Relationship with affine Deligne-Lusztig varieties: Chan-Ivanov proved that inverse limits of certain systems of affine Deligne-Lusztig varieties are isomorphic to $p$-adic Deligne-Lusztig spaces
• Similarity with He-Nie-Yu work: The decomposition results in this paper are formally similar to their results on decompositions of affine Deligne-Lusztig varieties for finite Coxeter parts

Conclusions and Discussion

Main Conclusions

1. Successfully proves geometric decomposition of Coxeter-type $p$-adic Deligne-Lusztig spaces in the classical group case
2. Establishes a complete generalization of toral rational conjugacy class theory
3. Provides geometric foundations for further representation-theoretic applications

Limitations

1. Group type restrictions: Currently only handles classical groups; the case of general reductive groups remains open
2. Coxeter condition: The method strongly depends on special properties of Coxeter elements
3. Technical complexity: The proof requires detailed case-by-case analysis for each Dynkin type

Future Directions

1. Generalization to general reductive groups: The author expects the theorem to hold for all unramified reductive groups
2. Representation-theoretic applications: Using geometric decompositions to study related smooth representations
3. Cohomology computations: Using decomposition results to compute cohomology of Deligne-Lusztig spaces

In-Depth Evaluation

Strengths

1. Theoretical depth: Organically combines multiple deep mathematical theories (Deligne-Lusztig theory, Bruhat-Tits theory, isoclinic crystal theory)
2. Technical innovation: Develops new methods for handling problems specific to the $p$-adic setting, particularly the application of Newton polygon techniques
3. Completeness: Provides complete proofs including all technical details
4. Application prospects: Provides important tools for further development of $p$-adic group representation theory

Weaknesses

1. Proof complexity: Requires lengthy case-by-case verification for each Dynkin type
2. Readability: The technical content is extremely dense, making it difficult for non-specialists
3. Generality: Current results remain limited to the classical group case

Impact

1. Theoretical contribution: Significantly advances the development of $p$-adic Deligne-Lusztig theory
2. Methodological value: The established technical methods may be applicable to other related problems
3. Subsequent research: Has already stimulated further research in related areas

Application Scenarios

• Representation theory of $p$-adic groups
• Geometric aspects of local Langlands correspondence
• Reduction theory of Shimura varieties
• Geometric realization of affine Hecke algebras

References

The paper cites 39 related references, primarily including:

• Original Deligne-Lusztig papers DL76
• Author's previous work on $p$-adic Deligne-Lusztig spaces Iva23
• DeBacker-Reeder work on toral conjugacy classes DeB06, DR09, Ree11
• Classical work of Kottwitz on fundamental groups and $\sigma$-conjugacy classes Kot84, Kot85, Kot97