[論文レビュー] Computations in intersection rings of flag bundles

Daniel R. Grayson, Alexandra Seceleanu+1 more|arXiv (Cornell University)|May 18, 2012

Commutative Algebra and Its Applications参考文献 6被引用数 4

ひとこと要約

本稿では、フラッグ bundle の交叉環に対して、チェーン類における順序付き単項式基底を用いた最小のグレブナー基底を提示する。これにより、Macaulay2 に実装されたアルゴリズムを用いて、サイクル類のプッシュフォワードを効率的に計算可能となる。この手法は、等長フラッグ bundle に対しても拡張可能であり、フラッグ多様体上の交叉理論に対する体系的な計算フレームワークを提供する。

ABSTRACT

Intersection rings of flag varieties and of isotropic flag varieties are generated by Chern classes of the tautological bundles modulo the relations coming from multiplicativity of total Chern classes. In this paper we describe the Groebner bases of the ideals of relations and give applications to computation of intersections, as implemented in Macaulay2.

研究の動機と目的

• 特異的でない多様体上のベクトル束に関連するフラッグ bundle の交叉環に対して、明示的な最小グレブナー基底を提供すること。
• 構造的な単項式順序を用いて、交叉ホモロジーにおけるサイクル類のプッシュフォワードをアルゴリズム的に計算可能にする。
• 通常のフラッグ bundle の枠組みを、直交的およびシミプレクティックなフラッグ多様体へと一般化し、適用範囲を拡張すること。
• Macaulay2 にアルゴリズムを実装することで、計算代数幾何学を支援し、実用的利用を可能にすること。

提案手法

• フラッグフィルトレーションに適合する、レキコグラフィックに類似した順序を用いて、フラッグ bundle 上のタウトロジカルバンドルのチェーン類における単項式を順序付ける。
• 交叉環 $ A(\mathbb{F}) $ を定義するチェーン類間の関係のイデアルを構成し、このイデアルの最小グレブナー基底を計算する。
• グレブナー基底を用いて標準単項式の簡約を実行し、サイクル類の正規表現を可能にする。
• 交叉環の構造を活用して、Macaulay2 にアルゴリズムを実装し、サイクルのプッシュフォワードを計算する。
• 直交的およびシミプレクティックな設定に適応した単項式順序と関係構造を用いて、アプローチを等長フラッグ bundle に一般化する。
• グレブナー基底の最小性と順序付けを活用し、プッシュフォワード操作における計算効率と正しさを保証する。

実験結果

リサーチクエスチョン

• RQ1 チェーン類とその関係を用いて、フラッグ bundle の交叉環をどのようにアルゴリズム的に記述できるか？
• RQ2 交叉環の関係イデアルに対して最小グレブナー基底をもたらす単項式順序は何か？
• RQ3 グレブナー基底構造を用いて、サイクル類のプッシュフォワードをどのように効率的に計算できるか？
• RQ4 通常のフラッグ bundle に対して構築された枠組みを、同様の計算的保証を持つ等長フラッグ bundle に拡張できるか？
• RQ5 このようなアルゴリズムをコンピュータ代数システムに実装する際の計算量的複雑性と実用的妥当性は何か？

主な発見

• 特定のチェーン類における単項式順序を用いて、フラッグ bundle の交叉環に対する最小グレブナー基底を明示的に構成した。
• グレブナー基底により、サイクル類の正規簡約が可能となり、交叉理論におけるプッシュフォワード計算に不可欠である。
• アルゴリズムフレームワークは Macaulay2 に実装されており、フラッグ bundle 上のサイクルのプッシュフォワード計算に実用的なツールを提供する。
• この手法は等長フラッグ bundle に一般化可能であり、直交的およびシミプレクティックなフラッグ多様体への適用範囲を拡張する。
• 適切に選ばれた単項式順序の使用により、グレブナー基底が最小かつ計算的に効率的であることが保証された。
• 結果として得られたものには、フラッグ多様体上の交叉理論の基盤的計算ツールが提供され、代数幾何学およびシューベルタリズム分野におけるさらなる研究を支援する。