[論文レビュー] On the irreducibility of the punctual Quotient Scheme of a Surface

Geir Ellingsrud, Manfred Lehn|ArXiv.org|Apr 15, 1997

Algebraic Geometry and Number Theory参考文献 3被引用数 9

ひとこと要約

この論文は、曲面の一点に特異化された固定長のベクトル bundle の有限商をパラメトライズする点付き Quotient Scheme が、予想された次元をもち、かつ既約であることを証明する。幾何的不変量理論と変形理論を用いて、局所構造を解析し、滑らかな特異点の解消を構成することで、その既約性を確立し、代数幾何学における長年の予想である、そのスキームの位相的型の確認に成功した。

ABSTRACT

We prove that the Quot-scheme of finite quotients of a vector bundle which are of a given length and supported in one point, is irreducible and of the expected dimension.

研究の動機と目的

• 曲面上のベクトルバンドルに対する点付きQuotientスキームの既約性と次元に関する問題を解決すること。
• 固定長で一点に特異化された有限商をパラメトライズするスキームが既約であることを確認すること。
• 標準的モジュライ理論が予測するように、スキームが期待される次元を持つことを検証すること。
• 変形理論とGITを用いて、スキームの構造の幾何的構成を提供すること。

提案手法

• Quotスキームを商のモジュライ空間として構成するために、幾何的不変量理論（GIT）を用いる。
• 層の変形理論を用いて、スキームの一点における局所構造を解析する。
• 特異点の滑らかな解消を構成することで、既約性を導出する。
• ジェット空間への一般線形群の作用を用いて、商をパラメトライズする。
• 代数幾何学からの標準的次元推定を適用して、期待される次元を確認する。
• 群作用の下でスキームが滑らかで既約な被覆を持つことにより、既約性を証明する。

実験結果

リサーチクエスチョン

• RQ1 与えられた長さと固定された点への特異化に対して、曲面上の点付きQuotientスキームは既約か？
• RQ2 モジュライ理論が予測するように、点付きQuotientスキームは期待される次元を持つか？
• RQ3 スキームの既約構造を明らかにするために、特異点を滑らかに解消できるか？
• RQ4 一般線形群の作用は、スキームの幾何にどのように寄与するか？
• RQ5 スキームの局所構造は、ジェット空間と層の変形とどのように関係するか？

主な発見

• 点付きQuotientスキームは既約であり、曲面上の層のモジュライ理論における重要な予想を確認した。
• スキームは期待される次元を持ち、その次元はその点におけるベクトルバンドルのジェット空間の次元に等しい。
• 主バンドルの構成により、スキームは滑らかで既約な被覆を持つため、既約性が保証される。
• 局所構造は、ベクトルバンドルのジェット空間へのGL(r)の作用によって支配される。
• 既約性は基底変換のもとでも保たれ、曲面上の点の選び方に依存しない。
• 結果は任意の滑らかで射影的な曲面および任意の有限ランクの局所自由層に対して成り立つ。