2025-11-20T22:40:15.261838

On a decomposition of $p$-adic Coxeter orbits

Ivanov

We analyze the geometry of some $p$-adic Deligne--Lusztig spaces $X_w(b)$ introduced in [Iva21] attached to an unramified reductive group ${\bf G}$ over a non-archimedean local field. We prove that when ${\bf G}$ is classical, $b$ basic and $w$ Coxeter, $X_w(b)$ decomposes as a disjoint union of translates of a certain integral $p$-adic Deligne--Lusztig space. Along the way we extend some observations of DeBacker and Reeder on rational conjugacy classes of unramified tori to the case of extended pure inner forms, and prove a loop version of Frobenius-twisted Steinberg's cross section.

academic

On a decomposition of $p$ -adic Coxeter orbits

基本信息

论文ID: 2109.01424
标题: On a decomposition of $p$ -adic Coxeter orbits
作者: Alexander B. Ivanov (Universität Bonn / Ruhr-Universität Bochum)
分类: math.AG (代数几何), math.RT (表示论)
发表期刊: Épijournal de Géométrie Algébrique, Volume 7 (2023), Article No. 19
论文链接: https://arxiv.org/abs/2109.01424

摘要

本文分析了作者在早期工作中引入的某些 $p$ -进Deligne-Lusztig空间 $X_w(b)$ 的几何性质，这些空间附着在非阿基米德局部域上的无分歧约化群 $G$ 上。作者证明了当 $G$ 是经典群、 $b$ 是基本元素且 $w$ 是Coxeter元素时， $X_w(b)$ 可以分解为某个整 $p$ -进Deligne-Lusztig空间的平移的不交并。在此过程中，作者将DeBacker和Reeder关于无分歧环面的有理共轭类的观察推广到扩展纯内形式的情况，并证明了Frobenius扭曲Steinberg截面的环版本。

研究背景与动机

问题背景

$p$ -进Deligne-Lusztig理论的发展: 经典的Deligne-Lusztig理论在有限域上的约化群表示论中发挥了重要作用。作者在之前的工作中将这一理论推广到 $p$ -进情形，构造了 $p$ -进Deligne-Lusztig空间 $X_w(b)$ 。
几何结构的理解: 与经典情形不同， $p$ -进Deligne-Lusztig空间是完美代数上的弧拓扑层，其几何结构更加复杂。理解这些空间的几何性质对于研究 $p$ -进群 $G(k)$ 的表示具有重要意义。
Coxeter轨道的特殊性: Coxeter元素在Weyl群中具有特殊的性质，对应的Deligne-Lusztig空间往往有更好的几何和表示论性质。

研究动机

几何分解: 寻求 $p$ -进Deligne-Lusztig空间的显式几何分解，特别是对于Coxeter情形。
表示论应用: 这种分解对于理解相关的光滑 $G(k)$ -表示具有重要意义。
理论完善: 推广现有的关于环面共轭类的理论到更一般的情形。

核心贡献

主要分解定理: 证明了对于经典群 $G$ 、基本元素 $b$ 和Coxeter元素 $c$ ， $p$ -进Deligne-Lusztig空间 $X_c(b)$ 和 $\dot{X}_{\bar{c}}(b)$ 可以分解为整级别Deligne-Lusztig空间的平移的不交并。
环面共轭类理论的推广: 将DeBacker和Reeder关于无分歧环面的有理共轭类的参数化推广到所有扩展纯内形式。
Steinberg截面的环版本: 证明了Frobenius扭曲Steinberg截面的环版本，这是一个重要的技术工具。
方案性质的证明: 作为推论，证明了相关的 $p$ -进Deligne-Lusztig空间是仿射格式的不交并，从而验证了作者之前提出的一个猜想。

方法详解

任务定义

研究 $p$ -进Deligne-Lusztig空间 $X_w(b)$ 和 $\dot{X}_{\bar{w}}(b)$ 的几何结构，其中：

$G$ 是非阿基米德局部域 $k$ 上的无分歧约化群
$w \in W$ 是Weyl群中的Coxeter元素
$b \in G(\bar{k})$ 是基本元素
$\bar{w}$ 是 $w$ 在某个离散商集中的提升

主要定理陈述

定理1.1: 设 $G$ 是经典型的无分歧群， $c$ 是Coxeter元素， $b$ 是基本元素。则存在 $G_b(k)$ -等变同构：

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

和 $G_b(k) \times T_c(k)$ -等变同构：

$\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}$

技术路径

1. 预备理论构建

环函子: 使用环函子 $L$ 和正环函子 $L^+$ 来构造相关的 $p$ -进对象
基本群和Kottwitz映射: 利用Borovoi基本群 $\pi_1(G)$ 和Kottwitz映射 $\kappa_G$ 来参数化共轭类
$\sigma$ -共轭类: 研究Frobenius作用下的共轭类结构

2. 环面共轭类的分析

稳定共轭类: 扩展DeBacker-Reeder的理论到扩展纯内形式
有理共轭类的参数化: 使用映射 $F_w / \ker \bar{\kappa}_w \to \pi_1(G)^{\langle\sigma\rangle}$
Coxeter情形的特殊性质: 利用 $\beta_c = 0$ （当 $G$ 是伴随型且 $c$ 是Coxeter元素时）

3. Steinberg截面的环版本

命题5.3: 对于经典群 $G$ 和特殊Coxeter元素 $c$ ，映射 $\alpha_b: L({}^cU \cap U^-) \times L({}^cU \cap U^-) \to L({}^cU)$ $(x,y) \mapsto x^{-1}y\sigma_b(x)$ 是同构。

4. Newton多边形方法

在证明的关键步骤中，使用了等斜率等晶体的Newton多边形性质：

引理7.3: 设 $(V,\varphi)$ 是斜率 $\lambda$ 、维数 $n$ 的等斜率等晶体， $v$ 是循环向量。若 $\varphi^n(v) = \sum_{i=0}^{n-1} A_i\varphi^i(v)$ ，则 $\text{ord}_\varpi(A_i) \geq (n-i)\lambda$ 。

技术创新点

v-下降论证: 使用准紧致泛下射态射的性质来处理从覆盖空间到商空间的下降问题。
逐类型分析: 对每个不可约Dynkin类型（ $A_{n-1}, B_m, C_m, D_m, {}^2A_{n-1}, {}^2D_m$ ）进行详细的计算和验证。
积分级别的处理: 通过引入积分 $p$ -进Deligne-Lusztig空间 $\dot{X}^{G_x}_{\bar{c},b}$ 来简化问题。