[論文レビュー] The Chow Ring of the Non-Linear Grassmannian

Rahul Pandharipande|ArXiv.org|Apr 28, 1996

Algebraic Geometry and Number Theory参考文献 5被引用数 11

ひとこと要約

本稿は、射影空間 P^k から P^r への次数 d の写像のモジュライ空間（非線形グラスマンニアンと呼ばれる）の有理チャウ環と、線形写像をパラメトライズする古典的グラスマンニアン Gr(P^k, P^r) のチャウ環との間に、標準的な同型写像を確立する。この結果により、非線形グラスマンニアンのタウトロジカル環構造が線形の場合と同一であることが示され、組合せ的幾何学およびグロモフ＝ウィッテン理論における基礎的な比較がなされる。

ABSTRACT

Let M_{P^k}(P^r, d) be the moduli space of unparameterized maps μ:P^k -> P^r satisfying μ^*(O(1))= O(d). M_{P^k}(P^r,d) is a quasi-projective variety, and, in case k=1, M_{P^1}(P^r,d) is the fundamental open cell of Kontsevich's space of stable maps \bar{M}_{0,0}(P^r,d). It is shown that the Q-coefficient Chow ring of M_{P^k}(P^r,d) is canonically isomorphic to the Chow ring of the Grassmannian Gr(P^k, P^r)= M_{P^k}(P^r,1).

研究の動機と目的

• P^k から P^r への非パラメトリック化された次数 d の写像のモジュライ空間の代数的サイクル構造を理解すること。
• 非線形グラスマンニアンの有理チャウ環と、線形埋め込みをパラメトライズする古典的グラスマンニアンのそれとを比較すること。
• これらのチャウ環の間に標準的同型写像を確立し、それによって両者のタウトロジカル環構造を統一すること。
• k=1 の場合に、コンツェビッチのモジュライ空間の幾何構造を明確にすることで、グロモフ＝ウィッテン理論に基礎的な情報を提供すること。
• 代数幾何学における線形から非線形のパラメトリック空間へと構造的知見を拡張すること。

提案手法

• 著者は、μ: P^k → P^r で μ*(O(1)) = O(d) を満たす次数 d の写像 μ のモジュライ空間 M_{P^k}(P^r,d) を分析する。これは準射影的多様体である。
• 研究は、代数幾何学および交線理論の道具を用いて、有理チャウ環に焦点を当てる。
• 主な技術は、M_{P^k}(P^r,d) とグラスマンニアン Gr(P^k, P^r) の両方におけるタウトロジカル類と関係を比較することにある。
• 同型写像は、両方の環がタウトロジカルバンドルのチャーン類によって生成されることに依拠し、チャウ環の標準的同一視によって構成される。
• k=1 の場合、M_{P^1}(P^r,d) はコンツェビッチの安定写像のモジュライ空間の基本的な開セルであり、既知の結果と比較可能である。
• 証明は、普遍的ファミリーの構造と、線分束の引き戻しにおける挙動に依拠している。

実験結果

リサーチクエスチョン

• RQ1 非線形グラスマンニアン M_{P^k}(P^r,d) の有理チャウ環は、古典的グラスマンニアン Gr(P^k,P^r) のそれと同型であるか？
• RQ2 次数 d の写像のモジュライ空間におけるタウトロジカル類は、線形グラスマンニアンにおけるそれとどのように比較できるか？
• RQ3 モジュライ空間の文脈において、線形写像から非線形写像に移行する際に、保存される構造的不変量は何か？
• RQ4 コンツェビッチの安定写像のモジュライ空間のチャウ環は、グラスマンニアンとの比較によって理解可能か？
• RQ5 次数 d の条件が、モジュライ空間のチャウ環構造を決定づける役割を果たすのはどのような点か？

主な発見

• M_{P^k}(P^r,d) の有理チャウ環は、グラスマンニアン Gr(P^k, P^r) のチャウ環と標準的に同型である。
• この同型写像はタウトロジカル環構造を保存するため、非線形グラスマンニアンが線形の場合と同一の代数的サイクル構造を持つことが示唆される。
• この結果はすべての k ≥ 1 および d ≥ 1 に対して成り立ち、k=1 で d が任意の値である場合に既知の結果が一般化される。
• k=1 の場合、空間 M_{P^1}(P^r,d) はコンツェビッチの安定写像のモジュライ空間の基本的な開セルであり、そのチャウ環は Gr(P^1, P^r) のそれと同型である。
• 同型写像は自然かつ関手的であり、タウトロジカルバンドルとそのチャーン類の同一視に起因する。
• 非線形グラスマンニアンのチャウ環は、古典的ケースと同様に、タウトロジカル商バンドルのチャーン類によって生成される。