[論文レビュー] Regular cell complexes in total positivity

Patricia Hersh|arXiv (Cornell University)|Nov 8, 2007

Advanced Combinatorial Mathematics参考文献 18被引用数 5

ひとこと要約

この論文は、FominとShapiroの予想を証明する。即ち、実数体上の単純・ simply な代数群の完全非負単型部分群のBruhat層構造における単位元のリンクは、球面に同相な正則CW複体である。証明は、Bruhat順序の組合せ論とcodimension-one位相を組み合わせた、有限CW複体の正則性を判定する新規基準に依拠し、Coxeter群における簡約語によってパラメトライズされた多面体からの写像の像にこれを適用する。これにより、これらの像が正則CW複体であり、球面に同相であり、閉包ポセットとしてBruhat区間をもつことが確認される。

ABSTRACT

This paper proves a conjecture of Fomin and Shapiro that their combinatorial model for any Bruhat interval is a regular CW complex which is homeomorphic to a ball. The model consists of a stratified space which may be regarded as the link of an open cell intersected with a larger closed cell, all within the totally nonnegative part of the unipotent radical of an algebraic group. A parametrization due to Lusztig turns out to have all the requisite features to provide the attaching maps. A key ingredient is a new, readily verifiable criterion for which finite CW complexes are regular involving an interplay of topology with combinatorics.

研究の動機と目的

• 完全非負単型部分群のBruhat層構造における単位元のリンクが、球面に同相な正則CW複体であるというFomin-Shapiroの予想を証明すること。
• 任意のCoxeter群における下位Bruhat区間と自然に関連づけられる合成的シューベルト多様体が存在するかどうかというBernsteinの問いを解決すること。
• 有限CW複体が正則であるかどうかを特定の特徴写像の選択に関して判定するための新しい基準を確立すること、特に正則CW複体からの写像の像に特に適用可能なものである。
• Coxeter群における簡約語によってパラメトライズされた単体からの連続写像（面の衝突を伴う）の像が、球面に同相な正則CW複体をなすことの証明。
• このような複体の閉包ポセットが下位Bruhat区間と同型であることを示し、表現論と正則CW位相の間の関係を結ぶこと。

提案手法

• 閉包ポセットの組合せ論とcodimension-one位相に基づく、有限CW複体の正則性を判定する新規基準（定理1.3）を導入。下位次元のセルの逆像に関する条件と区間の細かさ（thinness）を要件とする。
• Braid移動を符号化する同値関係を用いた、非負単体と単位球面の交わりからの連続写像 $ f_{(i_1, ext{...},i_d)} $ の像にこの基準を適用する。
• Lusztigの結果（$ f_{(i_1, ext{...},i_d)} $ が定義域の内部で同相である）を、同値関係による商空間にまで拡張する。
• Coxeter群における交換公理に依拠した次元に関する帰納的議論により、codimension-oneにおける付加写像の単射性を保証する。
• BjörnerとWachsによるBruhat順序のシェルラビリティと細かさの性質を用いて、正則性基準における組合せ論的条件を検証する。
• 領域 $ ({ ext{ℝ}}_{ ext{≥q}0}^d igcap S_1^{d-1})/ ext{∼} $ が球面に同相な正則CW複体であること、および写像 $ ar{f} $ がセル構造を保存することを用いて、像の正則性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 Borel部分群の完全非負単型部分群におけるBruhat層構造における単位元のリンクは、球面に同相な正則CW複体か？
• RQ2 正則CW複体の閉包ポセットは、任意のCoxeter群における下位Bruhat区間と自然に同一視可能か？
• RQ3 事前に付加写像の単射性を要求しないが、組合せ論的および位相的条件に基づく、有限CW複体の正則性を判定する新しい基準を定式化できるか？
• RQ4 Coxeter群における簡約語によってパラメトライズされた正則CW複体（例えば、面の衝突を伴う単体）からの連続写像の像は、球面に同相な正則CW複体か？
• RQ5 クラスター代数における座標変換を符号化する写像 $ f_{(i_1, ext{...},i_d)} $ のファイバーは、像の位相およびセル構造とどのように関係するか？

主な発見

• Fomin-Shapiroの予想は完全に解決された：完全非負単型部分群における単位元のリンクは、球面に同相な正則CW複体である。
• 簡約語 $ w $ によって定義される写像 $ f_{(i_1, ext{...},i_d)} $ の像は、球面に同相な正則CW複体であり、閉包ポセットは下位Bruhat区間 $ (1,w] $ と同型である。
• 新規正則性基準（定理1.3）は、与えられた特徴写像の集合に関して、有限CW複体が正則であるための必要十分条件であり、正則CW複体からの写像の像に直接適用可能である。
• Coxeter群の交換条件により、付加写像のcodimension-oneにおける単射性が従い、正則性証明における帰納的ステップが可能になる。
• 任意のセル $ u $ における $ Y_w $ のリンク $ lk(u,w) $ は、球面に同相な正則CW複体であり、閉包ポセットはBruhat区間 $ (u,w] $ と同型である。
• セルを保存する同相写像 $ ar{f}_{(i_1, ext{...},i_d)} $ は、商空間 $ ({ ext{ℝ}}_{ ext{≥q}0}^d igcap S_1^{d-1})/ ext{∼} $ と $ Y_w $ の間に同相を誘導し、セル構造と正則性を保存する。