[論文レビュー] Symmetric subgroup orbit closures on flag varieties: Their equivariant geometry, combinatorics, and connections with degeneracy loci

Benjamin J. Wyser|arXiv (Cornell University)|Jan 20, 2012

Advanced Algebra and Geometry参考文献 9被引用数 9

ひとこと要約

本稿は、古典的群 $G = SL(n,\mathbb{C})$, $SO(n,\mathbb{C})$, $Sp(2n,\mathbb{C})$ 及びその対称部分群 $K$ に対する旗多様体 $G/B$ 上の閉 $K$-軌道のトーラス作用付き基本類に対して明示的な公式を提供する。組合せ的パラメトライゼーションと分岐差分作用素を用いて、すべての軌道閉包の作用付き類を計算し、型 $A$ における $K$-軌道閉包を普遍退化局所化として特定し、それらをスキーム上のベクトルバンドルのチャーン類に関連付ける。

ABSTRACT

We give explicit formulas for torus-equivariant fundamental classes of closed $K$-orbits on the flag variety $G/B$ when $G$ is one of the classical groups $SL(n,\C)$, $SO(n,\C)$, or $Sp(2n,\C)$, and $K$ is a symmetric subgroup of $G$. We describe parametrizations of each orbit set and the combinatorics of its weak order, allowing us to compute formulas for the equivariant classes of all remaining orbit closures using divided difference operators. In each of the cases in type A, we realize the $K$-orbit closures as universal degeneracy loci of a certain type, involving a vector bundle $V$ over a scheme $X$ equipped with a flag of subbundles and a further structure determined by $K$. We describe how our equivariant formulas can be interpreted as formulas for such loci in the Chern classes of the various bundles on $X$.

研究の動機と目的

• 古典的群の対称部分群 $K$ に対する旗多様体 $G/B$ 上の閉 $K$-軌道のトーラス作用付き基本類を計算すること。
• $K\backslash G/B$ の組合せ的パラメトライゼーションを構築し、軌道集合上の弱順序構造を記述すること。
• 閉軌道の公式を分岐差分作用素を用いてすべての軌道閉包へ拡張すること。
• 型 $A$ における $K$-軌道閉包を普遍退化局所化として実現し、作用付き類をチャーン類の公式として解釈すること。
• 対称空間における軌道閉包、作用付きコホロジー、退化局所化理論の間の幾何学的・代数的橋渡しを確立すること。

提案手法

• 作用付きコホロジーにおける局在化定理を用いて、作用付き類の計算を固定点のデータに還元すること。
• ねじれた自己同型とクランを介した記号的パラメトライゼーションを用いて、型 $A$, $B$, $C$, $D$ における $K$-軌道を分類すること。
• 分岐差分作用素を用いて、閉軌道の作用付き類からすべての軌道閉包の作用付き類を生成すること。
• さまざまな対称対 $(G,K)$ に対して、チャーン変数 $x_i$ と $y_j$ を用いた明示的公式を構築すること。
• 特に型 $A$ において、ベクトルバンドルにフラッグと $K$-構造を備えたものと $K$-軌道閉包の間の対応を確立し、退化局所化を介して結びつけること。
• 付録におけるケースバイケースの解析と証明を通じてパラメトライゼーションを検証し、内部類の分解と軌道空間の構造を含む。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、古典的群の対称部分群 $K$ に対する旗多様体 $G/B$ 上の $K$-軌道閉包のトーラス作用付き基本類を明示的に計算できるか？
• RQ2 どのような組合せ的構造（例：クラン、弱順序）が、対称対における $G/B$ 上の $K$-軌道をパラメトライズするか？
• RQ3 分岐差分作用素は、閉軌道の作用付き類からすべての軌道閉包の作用付き類をどのように生成するか？
• RQ4 型 $A$ における $K$-軌道閉包はどのようにして普遍退化局所化として実現され、それらの作用付き類はチャーン類とどのように関係するか？
• RQ5 ベクトルバンドルの設定において、対称部分群の軌道と退化局所化の間の正確な幾何学的・代数的対応は何か？

主な発見

• すべての古典的型において、閉 $K$-軌道の作用付き基本類に対して明示的な公式が提供され、$x_i$ と $y_j$ 変数を用いた閉形式の表現が得られている。
• 特に $G = SL(n,\mathbb{C})$, $K = S(GL(p,\mathbb{C}) \times GL(q,\mathbb{C}))$ の場合、閉軌道のクラスは $\prod_{i=1}^p \prod_{j=1}^q (x_i - y_j)$ であり、他の対称対に対しても同様の公式が導出されている。
• 型 $A$ において、$K$-軌道閉包は、フラッグと $K$-構造を備えたベクトルバンドル $V$ に対する普遍退化局所化として実現され、作用付き類はチャーン類の公式に対応する。
• $K\backslash G/B$ 上の弱順序は、組合せ的に記述されており、$SL(4,\mathbb{C})$, $SO(6,\mathbb{C})$ などの小規模なケースについてハッセ図が提供されている。
• $Sp(6,\mathbb{C})$, $K = Sp(4,\mathbb{C}) \times Sp(2,\mathbb{C})$ の場合、閉軌道クラスは $(x_1^2 - y_3^2)(x_2^2 - y_3^2)$ であり、すべてのクランについて同様の表現が表形式で整理されている。
• $K = GL(n,\mathbb{C}) \subset SO(2n,\mathbb{C})$ の場合、軌道クラスは $\prod_{i=1}^n (x_i + y_i)$ および関連する対称関数として示され、表 B.12 に明示的な公式が記載されている。