[論文レビュー] Shi variety corresponding to an affine Weyl group

Nathan Chapelier‐Laget|arXiv (Cornell University)|Oct 9, 2020

Advanced Combinatorial Mathematics被引用数 4

ひとこと要約

本稿は、Jian-Yi Shiによるアフィン・ウェイル群 $W_a$ のアロケーブの特徴付け（$\Phi^+$-tuple としての整数 $k(w,\alpha)$）を用い、アフィン多様体 $\widehat{X}_{W_a}$（ Shi 多様体と呼ばれる）の整数点と $W_a$ の間の自然な全単射を確立する。主な貢献は定理 4.3 であり、$W_a \simeq \widehat{X}_{W_a}(\mathbb{Z})$ を示しており、代数幾何学的手法により群構造の幾何的実現を可能にするとともに、符号型を通じて Kazhdan-Lusztig のセル理論と結びつける。

ABSTRACT

Let $W$ be an irreducible Weyl group and $W_a$ its affine Weyl group. In this article we show that there exists a bijection between $W_a$ and the integral points of an affine variety, denoted $\widehat{X}_{W_a}$, which we call the Shi variety of $W_a$. In order to do so, we use Jian-Yi Shi's characterization of alcoves in affine Weyl groups. We then study this variety further. We highlight combinatorial properties of the irreducible components of $\widehat{X}_{W_a}$ and we show how they are related to a fundamental parallelepiped $P_{\mathcal{H}}$.

研究の動機と目的

• アフィン・ウェイル群の幾何的実現を、アフィン多様体（Shi 多様体と呼ばれる）を用いて行い、その組合せ的・代数的構造をよりよく理解すること。
• $\Phi^+$-整数列 $k(w,\alpha)$ を用いて、Jian-Yi Shi のアフィン・ウェイル群におけるアロケーブの特徴付けを、グローバルな代数的枠組みへと拡張すること。
• Shi 多様体の既約成分と、基本平行体 $P_{\mathcal{H}}$ およびセル理論との関係を調査すること。
• 符号型と一般化された象限を分析することで、特に型 $A$ において、Shi 多様体と Kazhdan-Lusztig セルとの関係を明確にすること。
• 有限ウェイル群 $W$ が Shi 多様体に作用するとき、その作用が多様体を $f_\Phi$ 個の軌道に分割し、それぞれの軌道に $W$ の元がちょうど一つずつ含まれることを示すこと。

提案手法

• 根系から導かれる線形関係を満たす整数点の集合として、Shi 多様体 $\widehat{X}_{W_a}$ を定義する。この定義は、$W_a$ のアロケーブを $\Phi^+$-tuple $(k(w,\alpha))_{\alpha \in \Phi^+}$ で特徴付ける Shi の特徴付けに基づく。
• 多様体 $\widehat{X}_{W_a}$ は、$\mathbb{R}^{\Phi^+}$ 内の一般化された象限（$k(w,\alpha)$ の符号条件により定義される）に対応するアフィン部分空間の和集合として構成される。
• ウェイル群 $W_a$ の $\Phi^+$-表現を用い、各群元 $w$ を $\mathbb{Z}^{\Phi^+}$ 内の点 $\iota(w)$ に写像することで、全単射 $W_a \simeq \widehat{X}_{W_a}(\mathbb{Z})$ を構成する。
• 有限ウェイル群 $W$ が $\widehat{X}_{W_a}$ に作用する様子を分析し、各軌道にちょうど一つの $W$ の元が含まれることを示す。また、その軌道数は $f_\Phi$ 個であり、$f_\Phi$ は $W$ が $\Phi^+ \setminus \Delta$ に作用する軌道の数である。
• 異なる生成元に対応する既約成分が異なることを示すため、$P_\theta(s_i) \neq P_\theta(s_j)$ となる根 $\theta \in \Phi^+ \setminus \Delta$ を構成する。このとき $\lambda_\theta(s_i) \neq \lambda_\theta(s_j)$ が得られ、成分が等しいと仮定すれば $s_i = s_j$ でなければならない。
• 基本平行体 $P_{\mathcal{H}}$ の研究により、$\widehat{X}_{W_a}$ の既約成分の幾何的モデルが得られ、根系の幾何構造と関連づけられる。

実験結果

リサーチクエスチョン

• RQ1 アフィン・ウェイル群 $W_a$ の元は、代数的多様体の整数点によって自然にパラメトライズ可能か？
• RQ2 Shi 多様体 $\widehat{X}_{W_a}$ の既約成分は、基本平行体 $P_{\mathcal{H}}$ および根系の構造とどのように関係しているか？
• RQ3 符号型と一般化された象限は、Shi 多様体内に埋め込まれた Kazhdan-Lusztig セルを記述する上で果たす役割は何か？
• RQ4 なぜ $W_a \neq W(\widetilde{A}_2)$ のとき、異なる単純反射 $s_i$ と $s_j$ は $\widehat{X}_{W_a}$ の異なる既約成分に属するのか？
• RQ5 有限ウェイル群 $W$ が $\widehat{X}_{W_a}$ に作用するとき、その作用は多様体をどのように軌道に分割するのか？また、$f_\Phi$ の数の意味は何か？

主な発見

• 本稿は、$W_a \simeq \widehat{X}_{W_a}(\mathbb{Z})$ という自然な全単射を確立し、アフィン・ウェイル群が Shi 多様体の整数点と一対一に対応することを証明した。
• 多様体 $\widehat{X}_{W_a}$ の既約成分はアフィン部分空間であり、それぞれ $\mathbb{R}^{\Phi^+}$ 内の一般化された象限に対応し、$k(w,\alpha)$ の符号条件によって定義される。
• 型 $A$ における Kazhdan-Lusztig セルは、符号写像 $Sg(w)$ によって定まる一般化された象限との交わりの和集合として表される。
• $W_a \neq W(\widetilde{A}_2)$ のとき、異なる単純反射 $s_i$ と $s_j$ は $\widehat{X}_{W_a}$ の異なる既約成分に属する。これは、$P_\theta(s_i) \neq P_\theta(s_j)$ となる根 $\theta$ を構成することで示された。
• $W$ が $\widehat{X}_{W_a}$ に作用するとき、その作用によりちょうど $f_\Phi$ 個の軌道に分割され、それぞれの軌道に $W$ の元がちょうど一つずつ含まれる。ここで $f_\Phi$ は $W$ が $\Phi^+ \setminus \Delta$ に作用する軌道の数である。
• 基本平行体 $P_{\mathcal{H}}$ は、$\widehat{X}_{W_a}$ の既約成分の幾何的モデルを提供し、各成分が $\mathbb{Z}\Phi$ の作用による $P_{\mathcal{H}}$ の平行移動として得られることを示した。