[論文レビュー] Locus of indeterminacy of the Prym map

Vitaly Vologodsky|ArXiv.org|Mar 26, 2001

Mathematical Dynamics and Fractals被引用数 3

ひとこと要約

この論文は、安定曲線の自己同型に関する双対グラフを用いて、拡張されたプリム写像の不定性の軌跡を簡略化して特徴づけ、それが4本以上の辺をもつフレーデリック＝スミス例の退化と完全に一致することを示している。主な結果は、双対グラフに、少なくとも4本の通常の辺で接続され、それらの間にボルドパスが存在しない2つの互いに素で等変な部分グラフが含まれる場合にのみ不定性が生じることを示している。

ABSTRACT

We provide an easy characterization for the locus of indeterminacy of the Prym map in terms of the dual graphs of stable curves. As a corollary, we show that the closure of the Fridman-Smith locus coincides with the locus of indeterminacy of the Prym map.

研究の動機と目的

• 安定曲線の自己同型に関する双対グラフを用いて、拡張されたプリム写像の不定性の軌跡をより簡単な組合せ論的特徴づけを行うこと。
• 不定性の軌跡とフレーデリック＝スミス軌跡の閉包との関係を明確にすること。
• 複雑な代数的条件の代わりに、幾何的・組合せ論的基準を用いて、不定性条件を双対グラフ構造で再表現すること。
• 2辺のフレーデリック＝スミス例の退化が存在しないことと、条件（**）の成立が同値であることを確立すること。これにより、標準的プリム埋め込みが保証される。

提案手法

• 安定曲線の自己同型に関する双対グラフを用いて、退化曲線の位相的・組合せ論的構造を表現する。
• 自己同型で固定される「ボルド」頂点および辺の概念を導入し、$ B(\tilde{\Gamma}) $ をすべてのボルド頂点および辺の和集合として定義する。
• 分解の議論を適用する：2つの互いに素な等変部分グラフが少なくとも4本の通常の辺で接続され、それらの間にボルドパスがない場合、曲線は4本以上の辺をもつフレーデリック＝スミス例の退化である。
• グラフの補集合の位相的分解を用いて、全域的等変部分グラフ $ \Gamma'_1 $ および $ \Gamma'_2 $ を構成し、必要な辺の接続性を保つ。
• 不定性の軌跡が退化に関して閉じているという事実に依拠する。したがって、ある族で写像が定義されない場合、その極限点に対しても同様に定義されない。
• 組合せ論的条件 (*) と (**) の同値性を用い、条件 (**) が失敗するのは、2辺のフレーデリック＝スミス例の退化である場合に限ることを示す。

実験結果

リサーチクエスチョン

• RQ1 拡張されたプリム写像は、安定曲線と自己同型のモジュライ空間 $ \bar{R}_g $ においていつ不定性を示すか？
• RQ2 安定曲線と自己同型の双対グラフを用いて、不定性の軌跡をどのように特徴づけられるか？
• RQ3 フレーデリック＝スミス軌跡の閉包とプリム写像の不定性の軌跡との正確な関係は何か？
• RQ4 文献[ABH]における条件（**）が成り立つのはどのような場合か？ また、2辺の退化が存在しないこととどのように関係するか？
• RQ5 不定性の軌跡は、複素代数幾何学的条件に依存しない、双対グラフ上の単純な組合せ論的条件によって完全に記述可能か？

主な発見

• 拡張されたプリム写像の不定性の軌跡は、4本以上の辺をもつフレーデリック＝スミス軌跡の閉包と完全に一致する。
• 自己同型をもつ曲線が不定性の軌跡にあるのは、その双対グラフに、少なくとも4本の通常の辺で接続され、それらの間にボルドパスが存在しない2つの互いに素で等変な部分グラフが含まれる場合に限り、かつその場合に限り成り立つ。
• 4本以上の辺をもつフレーデリック＝スミス例の退化は、まさに不定性の軌跡に含まれる曲線であり、これはプリム写像が元の例では定義されず、軌跡が閉じていることによる。
• 不定性の軌跡に対して条件 (*) が成り立ち、条件 (**) は、曲線が2辺のフレーデリック＝スミス例の退化でない場合にのみ成り立つ。
• 双対グラフにタイプ(2)の辺が存在しないことは、条件 (**) と同値であり、これによりプリム多様体が被覆曲線のヤコビアンへの標準的埋め込みをもつことが示される。
• 双対グラフの分解法により、theta 特性の代数幾何学的性質やトロイダルコンパクト化に依存せずに、不定性の軌跡の完全かつ組合せ論的な分類が可能となる。