[論文レビュー] Generalized Schubert Calculus

Nora Ganter, Arun Ram|arXiv (Cornell University)|Dec 22, 2012

Advanced Mathematical Theories and Applications参考文献 26被引用数 14

ひとこと要約

本稿は、Borelモデルとモーメントグラフモデルを用いて、旗多様体における等変Schubert積分幾何の一般化枠組みを構築し、一般化コホロジー理論におけるSchubert類とBott-Samelson類の区別に焦点を当てる。複素次元3までのランク2の場合（A₂, B₂, G₂, A₁⁽¹⁾）において、Schubert類の明示的計算、Pieri-Chevalley公式、Schubert類積の構造定数を提供し、深いつい positivity 特性を明らかにするとともに、特異Schubert多様体における代数的コホーモロジーの補正因子を提案する。

ABSTRACT

In this paper we study the T-equivariant generalized cohomology of flag varieties using two models, the Borel model and the moment graph model. We study the differences between the Schubert classes and the Bott-Samelson classes. After setup of the general framework we compute, for classes of Schubert varieties of complex dimension <4 in rank 2 (including A_2, B_2, G_2 and A_1^{(1)}), moment graph representatives, Pieri-Chevalley formulas and products of Schubert classes. These computations generalize the computations in equivariant K-theory for rank 2 cases which are given in Griffeth-Ram arXiv:math/0405333.

研究の動機と目的

• 一般化コホロジー理論の高度な知識を必要とせずに、旗多様体における一般化等変Schubert積分幾何の枠組みを確立すること。
• 通常のコホモロジーおよびK理論とは異なり、一般化コホロジーにおいてSchubert類とBott-Samelson類の違いを明確にすること。
• ランク2の場合の複素次元 ≤3 のSchubert多様体について、モーメントグラフ代表元、Pieri-Chevalley公式、Schubert類積の計算を行うこと。
• 補正因子、正性、Soergel双モジュラーを用いて、特異Schubert多様体におけるSchubert類の定義を検討すること。
• 写像Φの環準同型性を活用することで、モーメントグラフモデルの有用性を拡張し、体系的な計算を可能にすること。

提案手法

• 等変一般化コホモロジー h_T(G/B) を、S ⊗_{S^{W₀}} S としてのコインvariants環として提示するためにBorelモデルを用いる。
• T固定点の包含写像を用いて、h_T(G/B) をモーメントグラフモデルで記述し、写像Φの環準同型性を活用する。
• 一般化されたノルム付きアフィンヘッケ代数とBGG-Demazure作用素を用い、代数的構造とSchubert積分幾何を関連付ける。
• x変数および群的要素を用いたt_sᵢおよびAᵢ作用素の明示的展開を計算し、ブレード関係を符号化する。
• モーメントグラフ代表元と作用素計算を用いて、Pieri-Chevalley公式およびSchubert類積を導出する。
• 特異Schubert多様体の解体を分析することで、等変代数的コホーモロジー類に対する補正因子を提案する。

実験結果

リサーチクエスチョン

• RQ1 一般化等変コホモロジーにおいて、Schubert類とBott-Samelson類が異なる場合、どのようにSchubert類を定義できるか？
• RQ2 ランク2の旗多様体における複素次元3までのSchubert類のモーメントグラフ代表元の構造は何か？
• RQ3 コホーモロジー理論やK理論のような一般化コホモロジー理論において、Pieri-Chevalley公式およびSchubert類積はどのように振る舞うか？
• RQ4 ランク2の場合の最小の特異Schubert多様体における等変代数的コホーモロジー類に対して、一貫した補正因子を計算できるか？
• RQ5 Soergel双モジュラーまたは正性の性質が、一般化コホモロジーにおけるSchubert類を一意に決定できる程度はどの程度か？

主な発見

• 本稿は、A₂, B₂, G₂, A₁⁽¹⁾ におけるすべての複素次元 ≤3 のSchubert多様体について、モーメントグラフ代表元およびSchubert類積を明示的に計算し、A₂およびB₂では完全な結果を得た。
• Schubert類積には顕著な正性の特徴が見られ、乗法に関する正性による特徴付けの可能性を示唆している。
• すべてのランク2の場合において、最小の特異Schubert多様体（次元3）の等変代数的コホーモロジー類に対する候補補正因子を計算した。
• モーメントグラフモデルにおける写像Φの環準同型性により、体系的かつ一般化された計算が可能となり、[GR]で先行する手法を凌駕した。
• 一般化コホモロジーにおけるSchubert類とBott-Samelson類の違いが確認され、単純な押し出しや標準的解体では正しいSchubert類が得られないことが判明した。
• 初期の計算から、定理3.1における環S上のSoergel双モジュラーが、一般化コホモロジーにおけるSchubert類の定義に実用的な枠組みを提供する可能性があることが示唆された。