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

$p$ -進Coxeter軌道の分解について

基本情報

論文ID: 2109.01424
タイトル: On a decomposition of $p$ -adic Coxeter orbits
著者: Alexander B. Ivanov (ボン大学 / ボーフム・ルール大学)
分類: 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}$ を導入することで問題を簡潔にする。