Permutahedra, Lusztig varieties, degenerations, and subdivisions

技術要約：置換多面体、ルスティグ多様体、退化、および細分

問題の所在
本論文は、ルスティグ多様体（ヘッセンベルグ多様体の一般化）と置換多面体の間の幾何学的および組合せ論的な関係を扱っている。具体的には、置換多面体 $\text{Perm} \subset G/B$ のリチャードソン多様体への分解を理解することを目的としている。アンダーソン–ティモツコやハラダ–ホリグチ–マスダ–パーク（HHMP）による先行研究は、コホモロジー類 $[\text{Perm}]$ がリチャードソン類の和であることを示し、また置換多面体 $\Pi$ がブルート区間多面体への分割（dissection）を許容することを確立した。しかし、これらの結果は組合せ論的、あるいは特定の退化を通じて導かれたものであり、多面体細分の幾何学的な起源を完全には説明していなかった。中心となる問題は、リチャードソン多様体の和へと、ルスティグ多様体から（埋め込まれたトーラス等質的な）退化を構成することであり、それがコホモロジー公式を同時に説明し、かつモーメント多面体の多面体細分を誘導することである。二次的な課題は、これらの細分が（Gröbner退化に関連付けられる性質である）高さ関数によって誘導される「正則（regular）」なものであるかどうかを判定することであるが、著者らの構成はGröbner退化ではない。

手法
著者らは、代数幾何学、組合せ論的表現論、および凸幾何学を組み合わせた手法を用いている：

1. 退化の構成： 著者らは、ルスティグ多様体 $Y_w(t)$（ここで $t$ は一般的なトーラス要素）から、リチャードソン多様体の簡約な和 $X_w = \bigcup \{X_{uw^{-1}}^u \mid uw^{-1} \text{ は長さ加法的}\}$ への埋め込まれた退化を構成する。これは、平坦な二重シュベルト多様体の族と、要素 $t$ によって定義される横断的なスライスとの交わりによって達成される。
2. トーリック退化理論： 著者らは、射影トーリック多様体 $Y$ から成分の和 $\bigcup X_i$ への任意の半トーリック退化は、$Y$ のモーメント多面体を $X_i$ のモーメント多面体へと細分（subdivision）を誘導するという一般的な定理（定理 3.1）を確立している。極めて重要な点として、彼らはこの退化がGröbner退化であることを要求せず、代わりにデュースターマート–ヘックマン・メジャーと幾何学的不変量理論（GIT）商を用いることで、多面体が単なる分割（dissection）ではなく細分（互いに内部が離散的なもの）を形成することを証明している。
3. 組合せ論的分析： ルスティグ多様体が置換多面体（すなわち $w$ がコーサー要素）である特定のケースにおいて、著者らはブルート区間多面体 $\Pi_{uc}^u$ への置換多面体の分解を分析する。
4. 正則性の証明： 細分が正則であることを証明するために、著者らは置換多面体の頂点上に高さ関数 $h_c$ を明示的に構成する。
   • タイプAにおいて： 著者らは「右端の部分式（rightmost subexpressions）」を用いて $h_c$ を定義し、格子パスとグリッド上のスキュー形状を通じて重みを解釈する。そして、正則性に必要な共面性と局所的な折り畳み条件を検証する。
   • タイプBおよびCにおいて： 著者らは「折り畳み（folding）」の手法を用い、ウェイル群の埋め込み $W_C \hookrightarrow S_{2n}$ を通じてタイプCの問題をタイプAへと写像することで、タイプAからの正則性を継承する。

主要な貢献および結果

• 定理A（ルスティグ多様体の退化）： 著者らは、一般的な $t \in T$ に対して、$Y_w(t)$ が $uw^{-1}$ が長さ加法的であるようなリチャードソン多様体の簡約な和 $X_{uw^{-1}}^u$ へと退化することを証明する。これは、アンダーソン–ティモツコおよびキムによるコホモロジー類公式の幾何学的な証明を提供し、結果を拡張するものである。
• 定理B（K理論およびコホモロジー）： 著者らは、置換多面体 $[\text{Perm}]$ のコホモロジー類およびK理論類を、コーサー要素 $c$ に関する長さ加法的な積の和として導出する。K理論の公式は、極大パラボリック部分群の単一の剰余類に含まれない区間 $[y, z]$ にわたる符号付き和を含む。
• 定理C（多面体細分）： 著者らは、置換多様体の退化が、$W$-置換多面体 $\Pi$ をブルート区間多面体 $\{\Pi_{uc}^u \mid uc \text{ は長さ加法的}\}$ へと「細分」（単なる分割ではなく）することを証明する。これは、HHMPによる分解を任意のコーサー要素およびタイプへと一般化するものである。
• タイプA, B, Cにおける正則性： 退化自体はGröbnerではない（周囲の空間 $G/B$ により大きなトーラスが作用していないため）にもかかわらず、著者らは得られる細分が正則であることを証明する。
  • タイプAでは、置換の右端の部分式から導かれる明示的な高さベクトル $h_c$ を提供する。
  • タイプBおよびCでは、タイプAからの折り畳み写像を通じて正則性を導出する。
• トロピカル幾何学との接続： タイプAにおける正則な細分は、正のトロピカル・フラッグ多様体（または正のフラッグ・ドレスリアン）の極大錐に対応する。本論文は、構築された特定の細分が、このファンにおける $2^{n-2}$ 個（あるいは $c$ に応じてそれ以上）の極大錐に対応することを確立している。
• セル計数： 著者らは、これらの細分における極大セルの数を分析する。彼らは、この数がコーサー要素 $c$ の選択に依存し、オイラー数（最小）から $(n-1)!$（最大）までの範囲をとることを示し、これを特定のポセット $\succsim_c$ の線形拡張の数に関連付ける。

意義および主張
本論文は、以下のいくつかの異なる結果を統一することを主張している：

1. 幾何学的統一： 置換多面体のコホモロジー的分解と置換多面体の組合せ論的分割の両方を説明する、単一の幾何学的メカニズム（ルスティグ多様体の埋め込まれた退化）を提供する。
2. Gröbner理論を超えて： トーリック多様体の非Gröbnerなトーラス等質的退化であっても、正則な多面体細分を生じさせることができるという、正則性がGröbner退化に厳密に結びついているという直観に挑戦する、重要な理論的貢献を行う。
3. 組合せ論的洞察： 細分を正のフラッグ・ドレスリアンおよびトロピカル・フラッグ多様体と結びつけることで、これらのトロピカル対象の構造に対して新たな洞察を提供し、特に特定の極大錐とその関連セル数の具体的な記述を与える。
4. 一般化： タイプAの現象を任意のコーサー要素およびタイプB、Cへと拡張し、ルスティグ多様体と置換多面体の間の関係が異なるリー型の型においても堅牢であることを示している。

著者らは、カッツ・ムーディ（Kac-Moody）類似（セクション7）については謙虚な姿勢を保っており、カッツ・ムーディ・フラッグ多様体のモーメント多面体の局所有限な細分に関する予想が存在するものの、現在の彼らの手法を無限次元の設定へ直接適用することを妨げる重大な障害（例えば、全モーメント多面体軌道を伴う「十分に一般的な」点の欠如など）があることを指摘している。