[論文レビュー] An example of a reducible Severi variety

Ilya Tyomkin|arXiv (Cornell University)|Nov 24, 2013

Polynomial and algebraic computation参考文献 8被引用数 5

ひとこと要約

この論文は、トーリック多様体上の正次元で可約なセヴェリ多様体の最初の既知の例を構成し、セヴェリ多様体の古典的非可約性結果が一般には成り立たないことを示している。トーリック幾何とトロピカル法を用いて、特定の線型系統におけるトーリック多様体上の種数1曲線のセヴェリ多様体が、ちょうど2つの既約成分を持つことを示し、それぞれが異なる幾何的配置を持つノード付き曲線をパラメトライズしている。これにより、この設定における予想される非可約性が破れる反例が得られる。

ABSTRACT

We construct a positive-dimensional, reducible Severi variety on a toric surface.

研究の動機と目的

• トーリック多様体上のすべてのセヴェリ多様体が非可約であるという予想に対する反例を構成すること。
• 正次元のセヴェリ多様体が可約になり得ることを示し、有理多様体に対する古典的結果に基づく非可約性の一般的信念に挑戦すること。
• トーリック幾何とトロピカル法を用いて、セヴェリ多様体の幾何的・組合せ的構造を分析すること。
• 2つの異なるノードの配置と正規化データに対応する2つの明確に区別できる既約成分を同定・特徴づけること。

提案手法

• 完全なファンを用いて定義されるトーリック多様体で、そのレイトスが ±2e₁±e₂ で生成されるものを利用し、特定のアーマイナラインバンドル L を持つ多様体 X を得る。
• セヴェリ多様体 V は、ゼロ次元の軌道を通らない |L| 内の既約的で非特異な種数1曲線をパラメトライズする。種数は関連する多角形 Δ の内部格子点の数により計算される。
• 正規化データを用いて多様体 V を分析する：4つのマークド点 p₁,…,p₄ を持つ楕円曲線 E と、除法条件 div(φ(m)) = ∑(m,nᵢ)pᵢ を満たすホモモルフィズム φ: M → ℂ(E)。
• V の2つの成分は、楕円曲線 (E,O) 上の点 p の位数（2または4）によって区別され、それぞれ異なるモノドロミー挙動を持つ曲線族に対応する。
• トロピカル幾何とアモーバ理論を用いて、2つの成分が多角形 Δ₀ の異なる M′-分割に対応し、異なるアモーバを持つことを示し、非可約性の失敗を証明する。
• 計算代数幾何（Macaulay2）を用いて成分の次数を計算：deg(W₂) = 8, deg(W₄) = 26 であり、これが成分の相異なることを確認する。

実験結果

リサーチクエスチョン

• RQ1 トーリック多様体上の正次元セヴェリ多様体は可約になり得るか？
• RQ2 セヴェリ多様体の可約性を引き起こす幾何的または組合せ的条件は何か？
• RQ3 ノード上のモノドロミー作用が完全な対称群として作用しない場合、それが可約性を示唆するか？
• RQ4 古典的手法が失敗する場合、トロピカル幾何はセヴェリ多様体の成分を区別できるか？
• RQ5 与えられた線型系統におけるトーリック多様体上の種数1曲線のセヴェリ多様体は常に非可約か？

主な発見

• トーリック多様体 X 上の |L| 内の種数1曲線をパラメトライズするセヴェリ多様体 V は可約であり、次元4の等次元的多様体である。
• V は正確に2つの既約成分を持ち、それぞれが楕円曲線上のマークド点が位数2または4である正規化データに対応する。
• 各成分には、既約的で非特異なノード付き種数1曲線に対応する一般点が含まれる。
• |L| 内での各成分の閉包には、既約的で有理型のノード付き曲線が含まれており、ハリスの非可約性証明の第二段階が成り立つことを示している。
• 2つの成分はそれらのトロピカルアモーバによって区別される：一方は Δ₀ の M′-分割に対応し、他方は別の分割に対応する。ミハルキンの実現定理により、これが成分の相異なることを証明する。
• 成分の次数は deg(W₂) = 8 および deg(W₄) = 26 として計算され、これが2つの成分が同一の多様体でないことを確認する。