[論文レビュー] Homogeneous varieties for Hilbert schemes

G. Ferrarese, Margherita Roggero|ArXiv.org|Jan 21, 2009

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

ひとこと要約

本稿では、ℤ^m-次数付きなアフィン多様体が、原点におけるZariski接空間に埋め込まれることを証明しており、これは、アフィン空間に同型であることと同値に滑らかであることと関連している。これらの結果はヒルベルト様相に応用され、グレブナー層がトーラス軌道を介して有理的チェーン連結であり、そのチャウ群が同次的サイクルによって生成されることを示しており、ヒルベルト様相の明示的方程式における計算量の削減が可能になる。

ABSTRACT

The paper concerns the affine varieties that are homogeneous with respect to a (non-standard) graduation over the group Z^m. Among the other properties it is shown that every such a variety can be embedded in its Zariski tangent space at the origin, so that it is smooth if and only if it is isomorphic to an affine space. The results directly apply to the study of Hilbert schemes of subvarieties in P^n.

研究の動機と目的

• ℤ^m-次数付きなアフィン多様体とその構造的性質を分析すること。
• このような多様体が原点におけるZariski接空間に最小埋め込み可能であることを確立すること。
• これらの結果をヒルベルト様相におけるグレブナー層に応用し、計算量を低減すること。
• トーラス作用と軌道層への分割を用いてヒルベルト様相の幾何を研究すること。
• 特に低codimensionにおいて、λ-同次的サイクルによって生成されることを示すこと。

提案手法

• 群準同型 λ: ℤ^s → ℤ^m を用いて、k[y₁,…,yₛ] 上にℤ^m-次数を誘導し、λ-同次的イデアルおよび多様体を定義する。
• 任意のλ-同次的多様体 V が、原点におけるZariski接空間に同型に埋め込まれることを証明し、これが最小埋め込みであることを示す。
• 次数によって誘導されるトーラス (k*)^m の作用を用いて、次元の異なる軌道に V を層別化する。
• 有理曲線 t ↦ (aᵢt^{cᵢ}) が原点を通るものが V に含まれることを示し、有理的チェーン連結性を示す。
• λ-同次的サイクル、特に軌道の閉包によって、多様体 V のチャウ群 A•(V) が生成されることを確立する。
• これらの結果をヒルベルト様相におけるグレブナー層に応用し、最小埋め込みによってパrameter数を削減し、アルゴリズム的計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 λ-同次的多様体が滑らかである条件は何か？ これは原点におけるZariski接空間への埋め込みとどのように関係するか？
• RQ2 ヒルベルト様相におけるグレブナー層は、その接空間を用いた最小埋め込みによって記述可能か？
• RQ3 λ-同次的多様体上のトーラス軌道は、ヒルベルト様相の有理的チェーン連結性にどのように寄与するか？
• RQ4 λ-同次的多様体のチャウ群は、どの程度まで同次的サイクルによって生成されるか？
• RQ5 グレブナー層の構造は、ヒルベルト様相の明示的方程式における計算量の削減に利用可能か？

主な発見

• 任意のλ-同次的多様体 V は、原点におけるZariski接空間に同型に埋め込まれ、これはアフィン空間に同型であることと同値に滑らかである。
• ヒルベルト様相におけるグレブナー層は、t ↦ (aᵢt^{cᵢ}) によってパラメトライズされる有理曲線を介して有理的チェーン連結であり、これらは1次元トーラス軌道の閉包である。
• λ-同次的多様体 V のチャウ群 A•(V) は、λ-同次的サイクルによって生成され、特に A₁(V) は1次元軌道の閉包によって生成される。
• λ-次数 [3,5] の多様体 V が F = y₁²y₂y₃ + y₁y₄ + y₂y₃²y₄ で定義されるとき、A₂(V) は点 Q₁=(0,0,1,1) および Q₂=(0,1,0,1) における軌道の閉包によって生成され、3[Λ_Q₁] + 5[Λ_Q₂] ≡ 0 が成り立つ。
• V におけるトーラス作用による商は一般に分離的ではないが、開被覆 U_{i₁,…,i_μ} を用いて局所的な商を貼り合わせることで、商のスキーム近似が得られる。
• グレブナー層がその接空間に最小埋め込まれることで、パrameter数が著しく削減され、ヒルベルト様相の式のアルゴリズム的計算が可能になる。