[论文解读] Counting ramified coverings and intersection theory on spaces of rational functions I (Cohomology of Hurwitz spaces)

Сергей Константинович Ландо, Dimitri Zvonkine|ArXiv.org|Mar 18, 2003

Algebraic Geometry and Number Theory参考文献 7被引用 4

一句话总结

本文建立了一个上同调框架，通过将 Hurwitz 空间分支层上的 Lyashko–Looijenga 映射的次数与交点理论相关联，实现了对黎曼球面的分支覆盖计数。该研究计算了 Hurwitz 空间的上同调代数，并推导出具有指定分支类型的有理函数数量的新公式，包括对具有两个双临界点和 $ 2n-6 $ 个单临界点的 $ n $ 次覆盖的全新闭式表达式。

ABSTRACT

The Hurwitz space is a compactification of the space of rational functions of a given degree. The Lyashko-Looijenga map assigns to a rational function the set of its critical values. It is known that the number of ramified coverings of CP^1 by CP^1 with prescribed ramification points and ramification types is related to the degree of the Lyashko--Looijenga map on various strata of the Hurwitz space. Here we explain how the degree of the Lyashko-Looijenga map is related to the intersection theory on this space. We describe the cohomology algebra of the Hurwitz space and prove several relations between the homology classes represented by various strata.

研究动机与目标

• 建立描述给定次数有理函数的 Hurwitz 空间的上同调描述。
• 将 Hurwitz 空间分支层上 Lyashko–Looijenga 映射的次数与分支覆盖的枚举不变量相关联。
• 通过计算 Hurwitz 空间上的交点数，推导出具有指定分支类型的有理函数同构类数量的新公式。
• 通过稳定映射模空间上的交点理论，为分支覆盖的枚举提供几何与拓扑基础。

提出的方法

• 作者将 Hurwitz 空间 $ \mathcal{H}_n $ 定义为从亏格零曲线到 $ \mathbb{C}\mathbb{P}^1 $ 的稳定映射空间，且在无穷远处具有平凡分支。
• 他们使用 Lyashko–Looijenga 映射，该映射将一个有理函数映射为其临界值集合，并研究其在对应于固定分支类型的分支层上的次数。
• 描述了 Hurwitz 空间的上同调代数，并通过交点理论推导出不同分支类型对应分支层的同调类之间的关系。
• 通过退化技术以及后续文献 [15] 的结果，特别是涉及模空间 $ \overline{\mathcal{M}}_{n-1} $ 的结果，计算了有理函数族与包络线 $ C_n $ 的交点指标。
• 将具有固定极点的有理函数导数的判别式次数计算为参数的齐次多项式，以确定交点重数。
• 该方法依赖于分析极点碰撞时有理函数的退化情形，并通过齐次性与除子行为计算与分支层及包络线的交点指标。

实验结果

研究问题

• RQ1 具有指定分支类型的 $ n $ 次有理函数的同构类数量与 Hurwitz 空间对应分支层上 Lyashko–Looijenga 映射的次数之间有何关系？
• RQ2 Hurwitz 空间 $ \mathcal{H}_n $ 的上同调代数结构是什么？不同分支类型对应的分支层如何相交？
• RQ3 如何利用 Hurwitz 空间上的交点理论计算 $ \mathbb{C}\mathbb{P}^1 $ 到 $ \mathbb{C}\mathbb{P}^1 $ 的具有指定分支剖面的分支覆盖数量？
• RQ4 一个一般有理函数族与包络线 $ C_n $ 的交点指标是多少？它与导数判别式的次数有何关系？

主要发现

• 具有两个双临界点和 $ 2n-6 $ 个单临界点、且所有临界值固定的 $ n $ 次有理函数的数量由公式 $ h_{2,2} = \frac{3}{4}(27n^2 - 137n + 180) \frac{n^{n-6} (2n-6)!}{(n-3)!} $ 给出，这是新结果。
• 对应于分支类型 $ \kappa_1, \dots, \kappa_c $ 的分支层上 Lyashko–Looijenga 映射的次数等于该分支层与包络线 $ C_n $ 的交点数，该结果通过退化与模空间技术计算得出。
• 描述了 Hurwitz 空间 $ \mathcal{H}_n $ 的上同调代数，且对应于不同分支类型的分支层在同调中满足特定代数关系。
• 一个一般一参族有理函数与包络线 $ C_n $ 的交点指标为 $ 3(n-3) $，该结果由在 $ \overline{\mathcal{M}}_{n-1} $ 上纤维中导数判别式的次数推导得出。
• 具有 $ p $ 和 $ q $ 个极点位于两个分量上的有理函数导数的判别式在参数 $ u, v $ 中的次数为 $ 2n(2n-3) $，其在 $ u=0 $、$ v=0 $ 以及 $ u/v = a_i/b_j $ 处具有已知重数，剩余 $ 6(pq-1) $ 个根。
• 通过将族 $ \sigma_{p,q} $ 局部同构于 $ \mathcal{H}_{n-1} \times \mathbb{C}^2 $，计算了其与包络线 $ C_n $ 的交点，其指标由通用纤维中 $ C_{n-1} $ 的次数决定，该次数为 $ 3(n-3) $。