[论文解读] Locus of indeterminacy of the Prym map

Vitaly Vologodsky|ArXiv.org|Mar 26, 2001

Mathematical Dynamics and Fractals被引用 3

一句话总结

本文通過穩定曲線與對合的對偶圖，簡化了延拓Prym映射的不確定性點的特徵描述，表明其恰好與具有四條或更多邊的Friedman-Smith例子的退化情形完全一致。關鍵結果表明，不確定性僅在對偶圖包含兩個由至少四條普通邊連接且彼此之間無粗路徑的不相交、等變子圖時發生。

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.

研究动机与目标

• 以穩定曲線與對合的對偶圖為基礎，提供延拓Prym映射不確定性點的更簡潔、組合學特徵描述。
• 澄清不確定性點與Friedman-Smith點集閉包之間的關係。
• 利用對偶圖結構重述不確定性條件，以幾何-組合條件取代複雜的代數條件。
• 建立2條邊Friedman-Smith例子退化情形的缺失與條件(**)有效性之間的等價性，從而確保canonical Prym嵌入成立。

提出的方法

• 使用穩定曲線與對合的對偶圖來表示退化曲線的拓撲與組合結構。
• 引入「粗」頂點與邊（被對合固定的）的概念，並定義子圖 $ B(\tilde{\Gamma}) $ 為所有粗頂點與邊的並集。
• 應用分解論證：若兩個不相交的等變子圖由至少四條普通邊連接，且彼此間無粗路徑，則該曲線是具有≥4條邊的Friedman-Smith例子的退化情形。
• 利用圖形補集的拓撲分解，構造全局的等變子圖 $ \Gamma'_1 $ 和 $ \Gamma'_2 $，以保持所需的邊連通性。
• 依賴不確定性點集在退化下封閉的事實，即若某映射在一族曲線上未定義，則其在極限點上也未定義。
• 利用組合條件(*)與(**)的等價性，表明條件(**)僅在曲線為2條邊Friedman-Smith例子的退化情形時失效。

实验结果

研究问题

• RQ1 延拓Prym映射在穩定曲線與對合的模空間 $ \bar{R}_g $ 上何時不確定？
• RQ2 如何利用穩定曲線與對合的對偶圖來特徵描述不確定性點集？
• RQ3 Friedman-Smith點集的閉包與Prym映射不確定性點集之間的精確關係為何？
• RQ4 條件(**)在[ABH]中成立的條件為何？其與2條邊退化情形缺失的關係為何？
• RQ5 不確定性點集能否完全由對偶圖上的一個簡單組合條件描述，且獨立於複代數條件？

主要发现

• 延拓Prym映射的不確定性點集恰好是具有至少四條邊的Friedman-Smith點集的閉包。
• 一個帶有對合的曲線屬於不確定性點集，當且僅當其對偶圖包含兩個由至少四條普通邊連接且彼此間無粗路徑的不相交、等變子圖。
• 具有四條或更多邊的Friedman-Smith例子的退化情形，恰好是不確定性點集中的所有曲線，因為Prym映射在原始例子上未定義，且該點集在退化下封閉。
• 條件(*)對不確定性點集成立，而條件(**)僅在曲線非2條邊Friedman-Smith例子的退化情形時成立。
• 對偶圖中不存在類型(2)的邊，等價於條件(**)，且此條件意味著Prym簇可嵌入覆蓋曲線的雅可比簇中。
• 對偶圖分解方法允許完全且組合學地分類不確定性點集，無需依賴theta特徵的代數幾何或塔羅伊爾緊化。