[論文レビュー] Degeneracy Loci, Pfaffians, and Vexillary Signed Permutations in Types B, C, and D

David Anderson, William Fulton|arXiv (Cornell University)|Oct 7, 2012

Advanced Combinatorial Mathematics参考文献 16被引用数 22

ひとこと要約

本稿では、型B、C、Dにおけるびまん signed permutation の概念を導入し、それらに関連する退化局所のコホモロジー類が明示的な Pfaffian 公式で与えられることを示している。主な貢献は、これらのびまん要素に対する二重 Schubert 多項式が一般化された Pfaffian に一致することを証明し、Kazarian や Ikeda-Mihalcea-Naruse、Billey-Haiman の結果を統一的かつ拡張することにある。

ABSTRACT

We define a notion of vexillary signed permutation in types B, C, and D, corresponding to natural degeneracy loci for vector bundles with symmetries of those types. We show that the classes of these loci are given by explicit Pfaffian formulas. The Grassmannian formulas of Kazarian are important special cases, and the corresponding double Schubert polynomials of Ikeda, Mihalcea, and Naruse are shown to be equal to these Pfaffians.

研究の動機と目的

• 型B、C、Dにおける退化局所が単純な幾何的記述を持つ場合に対応するびまん signed permutation の概念を定義すること。
• これらの局所のコホモロジー類が明示的な Pfaffian 公式で与えられることを確立し、古典的な行列式および Schur 多項式の公式を一般化すること。
• Ikeda, Mihalcea, Naruse の型B、C、Dにおけるこれらの要素の二重 Schubert 多項式が、構成された Pfaffian に等しいことを示すこと。
• Kazarian の isotropic な部分束に対する一般化された Pfaffian 公式と Billey-Haiman の型B、C、Dにおける Schubert 多項式といった既存の結果を統合・拡張すること。
• 古典的 Lie 型における Schubert 多項式の安定性が Pfaffian の設定でも保たれる枠組みを提供すること。

提案手法

• シンプレクティックまたは直交構造を持つベクター束における退化局所の構造に基づき、型B、C、Dにおけるびまん signed permutation の概念を定義する。
• 系列 $ d(k) $ と $ g(k) $ からなる歪対称行列を用いて、スケーリングされた Schur Pfaffian 公式を構成する。行列の成分には $ d(k)_{\text{index}} $、$ g(k)_{\text{index}} $、および交互和が含まれる。
• 行列が歪対称であることを保証するため、関係式 $ d(k)d(l)^* = g(k)g(l)^* $ を課す。これにより Pfaffian の定義が可能になる。
• ローレンツ級数および対称関数に作用する作用素の合成を通じて、Schubert 多項式と Pfaffian を関係付けるホモモーティズム $ (\rho_k)_* $ と $ (\theta_k)_* $ を用いる。
• これらのホモモーティズムの合成が $ \frac{1}{2^r} \operatorname{Pf}_{\lambda}(g(1)|d(1), \dots, g(r)|d(r)) $ を与えることを証明し、主要な恒等式を確立する。
• Schubert 多項式の安定性および環 $ \Gamma $ の構造を活用して、これらの公式を等質コホモロジー設定へ一般化する。

実験結果

リサーチクエスチョン

• RQ1 型B、C、Dにおける退化局所が単純なコホモロジー類を持つ場合に対応する、適切なびまん signed permutation の概念とは何か？
• RQ2 Pfaffian 公式をどのように一般化すれば、型Aを超える古典的 Lie 型における Schubert 級数を捉えることができるか？
• RQ3 Ikeda, Mihalcea, Naruse の型B、C、Dにおける二重 Schubert 多項式は Pfaffian として表現可能か？
• RQ4 Kazarian の isotropic な退化局所に対する一般化された Pfaffian 公式は、より広いびまん要素のクラスの特別な場合として回復可能か？
• RQ5 どのような代数的構造が、異なる対称群埋め込みにおいてこれらの Pfaffian 公式の安定性と一貫性を保証するか？

主な発見

• 著者らは、型Aにおける古典的定義を一般化する、型B、C、Dにおけるびまん signed permutation の新しいクラスを定義した。
• それに対応する退化局所のコホモロジー類は、系列 $ d(k) $ と $ g(k) $ から構成された歪対称行列を用いた明示的な Pfaffian 公式で与えられる。
• これらのびまん要素の二重 Schubert 多項式は、一般化された Pfaffian $ \operatorname{Pf}_{\lambda}(g(1)|d(1), \dots, g(r)|d(r)) $ に等しいことが示された。これは [IMN] および [K] の結果を拡張するものである。
• この構成により、型Cにおける isotropic な部分束に対する Kazarian の一般化された Pfaffian 公式が特別な場合として回復された。
• ホモモーティズム $ (\varphi_k)_* $ の合成は $ \frac{1}{2^r} \operatorname{Pf}_{\lambda}(g(1)|d(1), \dots, g(r)|d(r)) $ を与え、主要な恒等式が証明された。
• この枠組みは Schubert 多項式の安定性を保ち、通常および等質コホモロジー設定の両方へ適用可能である。