[論文レビュー] Toric surfaces with equivariant Kazhdan-Lusztig atlases

Balázs Elek|arXiv (Cornell University)|Oct 14, 2016

Geometric and Algebraic Topology参考文献 2被引用数 3

ひとこと要約

この論文は、モーメント多面体の分析とKac-Moody旗多様体内のリチャードソン多様体の直和への退化を用いて、等変Kazhdan-Lusztigアトラスを許容する滑らかなトーリック表面を分類する。単純根系のタイプに限れば最大19または20の破れたトーリック表面が同定され、一般のKac-Moodyケースでは最大7,543例が同定される。多様体の分類のための組合せ的および幾何的制約を用いた高次元への枠組みが確立される。

ABSTRACT

A Kazhdan-Lusztig atlas, introduced by He, Knutson and Lu, on a stratified variety (V,Y) is a way of modeling the stratification Y of V locally on the stratification of Kazhdan-Lusztig varieties X^w_o \cap X_v by their intersection with opposite Schubert varieties X_u. We are interested in classifying smooth toric surfaces with Kazhdan-Lusztig atlases. This involves finding a degeneration of V to a union of Richardson varieties in the flag variety H/B_H of some Kac-Moody group H. We determine which toric surfaces have a chance at having a Kazhdan-Lusztig atlas by looking at their moment polytopes, then describe a way to find a suitable group H. More precisely, we find that (up to equivalence) there are 19 or 20 broken toric surfaces admitting simply-laced atlases, and that there are at most 7543 broken toric surfaces where H is any Kac-Moody group.

研究の動機と目的

• 滑らかなトーリック表面が等変Kazhdan-Lusztigアトラスを許容する条件を特定し、ブルハットアトラスの枠組みをトーリック幾何に拡張すること。
• どのトーリック表面がKac-Moody旗多様体内のリチャードソン多様体の直和へ等変に退化可能かを同定すること。
• このような表面のモーメント多面体を特徴づけ、Kac-Moodyワイル群からの組合せ的データと関連付けること。
• vanishing Plücker座標を用いた方法で、トーリック表面を旗多様体へ明示的に埋め込む手法を構築すること。
• 高次元多様体が同様のアトラス構造を持つ場合の分類の基盤を、トーリック表面モデルを通じて提供すること。

提案手法

• 論文は、トーリック表面のモーメント多面体を、Kazhdan-Lusztigアトラス構造の分類の主な不変量として用いる。
• Kac-Moody旗多様体内の2次元リチャードソン多様体に対応する、リチャードソン四角形の組合せ的配置「ピザ」の概念を適用する。
• 各候補となる多面体に対して、strataが $ X^{w(f)}_o \cap X_{w(V)} $ の交わりに対応するような、適切なKac-Moody群 $ H $ が存在するかを検証し、アトラス公理を満たすかを確認する。
• トーリック作用と $ \mathfrak{r}^*_H $ から $ \mathfrak{r}^*_M $ への射影写像を用いて、$ H/B_H $ 内のvanishing Plücker座標を特定することで、明示的な等変退化を構成する。
• Weyル群における単純根による左乗法に対応する多面体の辺にラベルを付けるシステムを導入し、トーリック埋め込みの追跡を可能にする。
• $ T_M $-等変退化 $ M \rightsquigarrow \bigcup_f X^{w(f)} \cap X_{w(V)} $ の存在を検証し、反標準バンドルおよび層構造と整合性があることを保証する。

実験結果

リサーチクエスチョン

• RQ1 どの滑らかなトーリック表面が等変Kazhdan-Lusztigアトラスを許容するか。また、それらのモーメント多面体は、基礎となるKac-Moody群 $ H $ にどのような制約を課えるか。
• RQ2 与えられたトーリック表面が、Kac-Moody旗多様体内のリチャードソン多様体の直和へ等変に退化可能かどうかを体系的に同定する方法は何か。
• RQ3 単純根系タイプのKazhdan-Lusztigアトラスを許容するトーリック表面の完全なリストは何か。また、それらは $ A_2 $, $ A_1 \times A_1 $, および $ B_2 $ 根系の組合せ論とどのように関係するか。
• RQ4 すべてのこのようなアトラスがPlücker座標の消滅条件によって構成可能か。また、これらの条件は $ H/B_H $ へのトーリック埋め込みにどのような制約を課えるか。
• RQ5 Kac-Moody群 $ H $ が任意のものとして許容される場合、Kazhdan-Lusztigアトラスを許容するトーリック表面の最大数は何か。

主な発見

• Kac-Moody群 $ H $ が任意のものとして許容される場合、Kazhdan-Lusztigアトラスを許容する破れたトーリック表面は最大7,543例存在する。
• 同値関係の下で、単純根系タイプのKazhdan-Lusztigアトラスを許容する破れたトーリック表面は19または20例存在する。
• 分類は、モーメント多面体の組合せ的構造と、それらをリチャードソン四角形に分解することに基づく。
• 論文は、$ H/B_H $ 内のvanishing Plücker座標を用いた、等変退化の明示的例を構成し、非自明なケースの代表行列を提示する。
• モーメント写像の像と $ T_M \subset T_H $ の旗多様体上での作用を分析することで、すべての可能なアトラス構造を同定する手法が成功した。
• 結果として、$ \mathbb{C}\mathbb{P}^2 $ と $ \mathbb{C}\mathbb{P}^1 \times \mathbb{C}\mathbb{P}^1 $ が、等変ブルハットアトラスを許容する唯一の滑らかなトーリック表面であることが確認された。これは、一般分類の特別な場合である。