[論文レビュー] Affine pavings of regular nilpotent Hessenberg varieties and intersection theory of the Peterson variety

Erik Insko, Julianna Tymoczko|arXiv (Cornell University)|Sep 2, 2013

Advanced Combinatorial Mathematics参考文献 30被引用数 7

ひとこと要約

本稿は、すべてのリー型にわたる正則冪零ヘッセ多様体に対してアフィンパビングを確立し、そのホモロジーを計算する幾何的道具を提供する。交線論を用いて、ペトーセン多様体のホモロジーがフルフラッグ多様体へ単射であることを証明し、そのクラスをシューベルトクラスの線形結合として展開する。この展開における一部の係数を明示的に同定する。これはシューベルト計算およびヘッセ多様体の位相的性質において重要な結果である。

ABSTRACT

This paper describes a paving by affines for regular nilpotent Hessenberg varieties in all Lie types, namely a kind of cell decomposition that can be used to compute homology despite its weak closure conditions. Precup recently proved a stronger result; we include ours because we use different methods. We then use this paving to prove that the homology of the Peterson variety injects into the homology of the full flag variety. The proof uses intersection theory and expands the class of the Peterson variety in the homology of the flag variety in terms of the basis of Schubert classes. We explicitly identify some of the coefficients of Schubert classes in this expansion, which is a problem of independent interest in Schubert calculus.

研究の動機と目的

• すべてのリー型における正則冪零ヘッセ多様体に対してアフィンパビングを構成し、ホモロジー計算を可能にする。
• ペトーセン多様体のフラッグ多様体への埋め込みがホモロジーに単射を誘導することを幾何学的に証明する。
• シューベルトクラスを用いて、フラッグ多様体のホモロジーにおけるペトーセン多様体のクラスを展開する問題を提示し、シューベルト計算の独立した関心事柄として位置づける。
• ペトーセン多様体クラスのシューベルト展開における明示的な係数を同定し、その幾何的およびコホモロジー的構造の理解を深める。
• プレクープの手法とは異なる、交線論とパビング分解を用いた方法を提示し、ヘッセ多様体の位相を研究する。

提案手法

• ヘッセ条件に適合したバイアリンツキ＝ビルール型分解を用いて、正則冪零ヘッセ多様体のアフィンパビングを構成する。
• パビングを用いて、等変形式性とホモロジーにおける幾何的基本クラスの存在を証明する。
• 古典的交線論を適用し、シューベルト多様体とペトーセン多様体のパビングセルの閉包との交点における点の数を数える。
• パビングセルのホモロジークラスを、交線多重度を用いてシューベルトクラスに分解する。
• 得られた展開を用いて、ペトーセン多様体からフラッグ多様体へのホモロジー写像が単射であることを示す。
• パビングセルに関連する特定の行列の行列式を明示的に計算し、交線数の非消滅を検証する。

実験結果

リサーチクエスチョン

• RQ1 正則冪零ヘッセ多様体に対して、すべてのリー型でアフィン空間によるパビングを構成できるか？
• RQ2 ペトーセン多様体のフルフラッグ多様体への埋め込みがホモロジーに単射を誘導するか？
• RQ3 ペトーセン多様体のホモロジークラスは、フラッグ多様体のシューベルト基底クラスの線形結合としてどのように展開できるか？
• RQ4 ペトーセン多様体クラスのシューベルト展開における明示的な係数は何か？
• RQ5 交線論を用いて、ペトーセン多様体からフラッグ多様体へのホモロジー写像の単射性を幾何的に検証できるか？

主な発見

• すべてのリー型における正則冪零ヘッセ多様体に対してアフィンパビングが構成され、等変形式性と幾何的基本クラスの存在が証明された。
• ペトーセン多様体のフラッグ多様体への埋め込みがホモロジーに単射を誘導する。この結果は交線論的手法によって証明された。
• ペトーセン多様体のクラスは、フラッグ多様体のホモロジーにおいてシューベルトクラスの線形結合として展開され、いくつかの項について明示的な係数が計算された。
• 恒等元に対応するシューベルトクラスの係数は1であり、他の係数は非消滅交線数によって決定される。
• パビングセルから導かれる特定の行列の行列式を用いて、交線の非退化性を検証し、シューベルト展開への非零寄与を確認した。
• ハラダ＝ティモツコの以前の組合せ的結果に対する幾何的説明を提供し、位相的および交線論的基盤を強化した。