[論文レビュー] K-orbit closures on G/B as universal degeneracy loci for flagged vector bundles splitting as direct sums

Benjamin J. Wyser|arXiv (Cornell University)|Jan 8, 2013

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

ひとこと要約

本稿は、古典的対称対 (G,K) における旗多様体 G/B における K-軌道閉包のトーラスに固有なコホロジー類を、等置性局在化と微分差分作用素を用いて計算する。これらの類が、フラッグ付きベクトル bundle における直接和分解との相対的配置条件によって定義される普遍的退化性局所化に対応することを確立し、型 A に対して明示的な公式を提示し、型 B/C については予想を提示する。

ABSTRACT

We use equivariant localization and divided difference operators to determine formulas for the torus-equivariant fundamental cohomology classes of $K$-orbit closures on the flag variety $G/B$ for various symmetric pairs $(G,K)$. In type $A$, we realize the closures of $K=GL(p,\\C) \ imes GL(q,\\C)$-orbits on $GL(p+q,\\C)/B$ as universal degeneracy loci for a vector bundle over a variety which is equipped with a single flag of subbundles and which splits as a direct sum of subbundles of ranks $p$ and $q$. The precise description of such a degeneracy locus relies upon knowing a set-theoretic description of $K$-orbit closures, which we provide via a detailed combinatorial analysis of the poset of "$(p,q)$-clans," which parametrize the orbit closures. We describe precisely how our formulas for the equivariant classes of $K$-orbit closures can be interpreted as formulas for the classes of such degeneracy loci in the Chern classes of the bundles involved. In the cases outside of type $A$, we suggest that the orbit closures should parametrize degeneracy loci involving a vector bundle equipped with a non-degenerate symmetric or skew-symmetric bilinear form, a single flag of subbundles which are isotropic or Lagrangian with respect to the form, and a splitting as a direct sum of subbundles with each summand satisfying some property (depending on $K$) with respect to the form. The precise description of such a degeneracy locus is conjectured for all cases in types $B$ and $C$.

研究の動機と目的

• 古典的 G を持つ対称対 (G,K) に対して、G/B における K-軌道閉包のトーラスに固有な基本コホロジー類を特定すること。
• これらのコホロジー類が、直接和分解を備えたフラッグ付きベクトル bundle における退化性局所化を表すものとして解釈すること。
• 型 A におけるこのような退化性局所化の明示的公式を提示し、型 B および C についても類似の記述を予想すること。
• 従来シューベルト多様体に用いられた「普遍的退化性局所化」の枠組みを、一般化されたシューベルト多様体として K-軌道閉包へと拡張すること。
• K-軌道閉包を、分解されたベクトル bundle の部分束とフラッグ部分束の相対的位置制約によって定義される退化性局所化としての幾何的実現を確立すること。

提案手法

• 閉 K-軌道の S-等置性コホロジー類を計算するために、等置性局在化と自己交差公式を適用する。
• 微分差分作用素を用いて、閉軌道類から出発して、すべての K-軌道閉包の等置性類の公式を導出する。
• K\G/B の組合せ的モデルと弱順序ハッセ図を用い、微分差分規則により実線と破線の辺を区別する。
• 「クラン」パrameter を用いて、ベクトル bundle V のフラッグ線形空間と部分束 V' および V'' の間の相対的位置関係を符号化し、退化性局所化を定義する。
• 明示的な集合論的記述（例：型 A の場合の定理 3.3）を活用して、退化性局所化条件を構築する。
• 構造的類似性に基づき、型 B および C に対しても同様の退化性局所化記述が成り立つと予想するが、型 D では明示的拡張が失敗することを示す（事実 1）。

実験結果

リサーチクエスチョン

• RQ1 古典的 G を持つ対称対 (G,K) に対して、G/B における K-軌道閉包の等置性コホロジー類をどのように計算できるか？
• RQ2 シューベルト多様体がそうであったように、直接和分解を備えたベクトル bundle に対して、K-軌道閉包を普遍的退化性局所化として実現できるか？
• RQ3 このような退化性局所化を定義するための、フラッグ部分束と直接和部分束の相対的位置関係の正確な条件は何か？
• RQ4 構造的類似性にもかかわらず、型 D では型 A の退化性局所化記述の自明な一般化がなぜ失敗するのか？
• RQ5 退化性局所化枠組みは、シューベルト多様体から型 B, C, D の K-軌道閉包へどの程度拡張可能か？

主な発見

• 本稿は、すべての古典的対称対 (G,K) に対して、G/B における K-軌道閉包のトーラスに固有なコホロジー類の明示的公式を提示している（定理 2.15 にて示される）。
• 型 A の対 (SL(p+q,C), S(GL(p,C)×GL(q,C))) に対しては、退化性局所化が、フラッグと直接和分解 V=V'⊕V'' 間の相対的位置関係が (p,q)-クランによって符号化されたフラッグの集合として記述される。
• 等置性類の公式は、表 1–10 に明示的に与えられており、例として (Sp(6,C),Sp(4,C)×Sp(2,C)) の対とクラン ++--++ に対して [Y_γ] = (x₁−y₃)(x₁+y₃)(x₂−y₃)(x₂+y₃) が得られる。
• 構造的類似性に基づき、型 B および C に対しても同様の退化性局所化記述が成り立つと予想されるが、型 D では明示的拡張が失敗することが事実 1 で示されている。
• 本手法により、シューベルト多様体に限られていたフルトンの普遍的退化性局所化枠組みが、直接和分解を追加構造として組み込むことによって、K-軌道閉包へと一般化された。
• 本研究は、[Wys13a] で提起されたプログラムを完了し、古典的型における残りの対称対へ、等置性コホロジーと退化性局所化記述を拡張した。