2025-11-20T10:55:14.120354

Periods of Deligne-Lusztig Characters associated to Spherical Varieties

Shi

In this paper, we calculate the periods of Deligne-Lusztig characters $R_{T,Ï}^G$ associated to $X^F$, where $X=G/H$ for a connected spherical subgroup $H$ of $G$. As an application, we deduce a formula that partially generalizes Lusztig's work on symmetric spaces and extends Reeder's formula in the complexity $0$ case.

academic

球面多様体に関連するDeligne-Lusztig指標の周期

基本情報

論文ID: 2409.16853
タイトル: Periods of Deligne-Lusztig Characters associated to Spherical Varieties
著者: Fang Shi
分類: math.RT（表現論）
発表時期: 2024年9月
論文リンク: https://arxiv.org/abs/2409.16853

摘要

本論文は、球面多様体に関連するDeligne-Lusztig指標の周期を計算する。具体的には、連結球面部分群 H ⊂ G に対して、Deligne-Lusztig指標 $R_{T,\chi}^G$ の $X^F = (G/H)^F$ 上の周期 $\langle R_{T,\chi}^G, 1_{H^F} \rangle_{H^F}$ を研究する。応用として、Lusztigの対称空間上の仕事を部分的に一般化し、複雑度0の場合のReederの公式を一般化する公式を導出する。

研究背景と動機

研究課題: 本論文は、球面多様体上のDeligne-Lusztig指標の周期計算問題を研究する。これは代数群の表現論における基本的な問題である。
重要性:
- Deligne-Lusztig指標は有限群の表現論の中心的対象であり、その周期計算は有限群の表現構造の理解に重要な意義を持つ
- 球面多様体は代数幾何における重要な研究対象であり、数学の多くの分野と深い関連がある
- このような計算は数論や保型形式論などの分野で重要な応用を持つ
既存研究の限界:
- Lusztigの仕事は主に対称空間の場合に集中している
- Reederの公式は複雑度0の場合にのみ適用可能である
- 一般的な球面部分群を扱う統一的な方法が欠けている
研究動機: Wang-Zhangの仕事の有限体類似を求め、より一般的な周期計算公式を確立する。

核心的貢献

主定理: 仮定☆の下で、周期計算の明示的公式を確立する（定理4.33）： $\langle R_{T,\chi}^G, 1_{H^F} \rangle_{H^F} = \sum_{\omega \in \Omega_T^F} (-1)^{\sigma_\omega + \sigma(T)} t_{\omega,\chi}$
統一的枠組み: Lusztigの対称空間の結果とReederの複雑度0の結果を統一的枠組みに組み込む
技術的革新:
- 無限級数を扱うため幾何型関数の概念を導入する
- 多重指標間の全単射関係を確立する
- 球面多様体を扱うための新しい技術を開発する
広い適用可能性: 仮定☆が放物部分群、対称空間、複雑度0部分群など多くの重要な場合に成立することを証明する

方法の詳細

問題の定義

周期 $\langle R_{T,\chi}^G, 1_{H^F} \rangle_{H^F} = \frac{1}{|H^F|} \sum_{h \in H^F} R_{T,\chi}^G(h)$ を計算する。ここで：

$G$ は連結簡約群
$H$ は $G$ の連結球面部分群
$T$ は $F$ -安定な極大トーラス
$\chi: T^F \to \bar{\mathbb{Q}}_\ell^*$ は指標

核心的技術方法

1. 幾何型関数の方法

幾何型関数の概念を導入する： $M(\nu) = \frac{\sum_{i=1}^k a_i \alpha_i^\nu}{\sum_{j=1}^l b_j \beta_j^\nu}$

重要補題3.2: 幾何型関数 $M$ が整数値であり有限極限を持つならば、 $M$ は定数関数である。

2. 多重指標系

三つの集合間の全単射関係を確立する：

$\Phi_T$ : 四つ組 $(j,\iota,C,X)$ の集合
$\Gamma_{T,B_T}$ : 既約局所閉部分スキームの集合
$\Omega_T$ : 対 $(c,X)$ の集合

写像 $V_{T,B_T}: \Phi_T \to \Gamma_{T,B_T}$ と $M_T: \Phi_T \to \Omega_T$ を通じて関連付ける。

3. 本質的乗法型条件

仮定☆: 任意のBorel部分群 $B$ に対して、集合 $B(k) \cap H(k)$ はZariski位相で半単元からなる開稠密部分集合を持つ。

この条件は以下を保証する：

恒等元素のべき零軌道のみが公式に寄与する
Green関数の極限係数が $\pm 1$ である

アルゴリズムの流れ

周期を幾何型関数 $P(\nu,T,\chi)$ として表現する
補題3.2を利用して関数が定数であることを証明する
次元推定を通じて主要寄与項を決定する
仮定☆の下で多重指標を簡略化する
最終的な明示的公式を確立する

実験設定

理論検証の事例

論文は以下の具体的な例を通じて理論の正当性を検証する：

放物部分群の場合（5.2節）
対称空間（5.4節）
ユニタリ群の対 $(U_4 \times U_2, U_2 \times U_2)$ （5.3節）
簡約部分群の複雑度0の場合（5.5節）

検証方法

特定の場合における周期の直接計算
既知の結果（Lusztig、Reederの公式）との比較
仮定☆が様々な場合に成立することの検証

実験結果

主要結果の検証

1. 対称空間の場合

定理5.20: 対称空間 $H = G^\theta$ （ $\theta$ は対合）に対して： $\langle R_{T,\chi}^G, 1_{H^F} \rangle_{H^F} = \sum_O \sum_{c \in C_O^F} (-1)^{\sigma_{O,c} + \sigma(T)} t_{O,c,\chi}$ ここで和は $V_T$ における $F$ -安定な $T$ -軌道を走る。

これはLusztigの定理3.3と完全に一致する。

2. 放物部分群の場合

命題5.2: $H$ が放物部分群である場合： $\langle R_{T,\chi}^G, 1_{H^F} \rangle_{H^F} = \begin{cases} 0 & \text{if } \chi \text{ は非自明} \\ |(X^T)^F| & \text{if } \chi \text{ は自明} \end{cases}$