[论文解读] Moduli spaces for families of rational maps on P^1

Michelle Manes|ArXiv.org|Feb 11, 2009

Algebraic Geometry and Number Theory参考文献 9被引用 3

一句话总结

该论文构建了模空间 $M_d(N)$，用于参数化 $ℝ\mathbb{P}^1$ 上度为 $d$ 的有理映射在共轭下的等价类，且具有形式周期 $N$。通过显式标准型和动力多项式的不可约性，证明了当 $N > 1$ 时 $M_2(N)$ 是几何不可约的；但同时也表明，对于具有非平凡 $ℝ\mathrm{PGL}_2$-自同构的映射，$M_d(pN,\mathfrak{C}_p)$ 对无穷多个 $N$ 是可约的，通过自同构作用下的轨道结构提供了几何解释。

ABSTRACT

Let phi: P^1 --> P^1 be a rational map defined over a field K. We construct the moduli space M_d(N) parameterizing conjugacy classes of degree-d maps with a point of formal period N and present an algebraic proof that M_2(N) is geometrically irreducible for N>1. Restricting ourselves to maps phi of arbitrary degree d >= 2 such that the composition h^{-1} phi h = phi for some nontrivial h in PGL_2, we show that the moduli space parameterizing these maps with a point of formal period N is geometrically reducible for infinitely many N.

研究动机与目标

• 构建并研究模空间 $M_d(N)$，用于参数化 $ℝ\mathbb{P}^1$ 上度为 $d$ 的有理映射在 $ℝ\mathrm{PGL}_2$-共轭下的等价类，且具有形式周期 $N$。
• 通过显式标准型和动力多项式的不可约性，证明 $M_2(N)$ 在所有 $N > 1$ 下的几何不可约性。
• 研究具有非平凡自同构的映射的模空间的几何结构，特别是 $M_d(N,\mathfrak{C}_p)$，并确定其可约的条件。
• 通过自同构作用下的轨道结构，为自同构不变族中动力多项式可约性的几何原因提供解释。

提出的方法

• 利用代数几何和不变量理论，将 $M_d(N)$ 构造为参数化度为 $d$ 的有理映射共轭类（具有形式周期 $N$）的模空间。
• 使用二次有理映射 $\psi(z) = \frac{z^2 + az}{az + 1}$ 的标准型，显式描述 $M_2$，从而实现迭代和多项式参数化。
• 通过证明映射到 $M_2(N)$ 的覆盖曲面是不可约的，来证明 $M_2(N)$ 的不可约性，其依据是 Morton 关于 $f_c(z) = z^2 + c$ 的动力多项式不可约性的结果。
• 分析 $ℝ\mathrm{PGL}_2(\overline{K})$ 中的自同构 $h$ 对周期点的作用，区分 $h$ 保持或交换一个形式周期为 $N$ 的点的轨道的情况。
• 构造 $M_d(pN,\mathfrak{C}_p)$ 的一个极大维数的真闭子簇，以证明其可约性，表明模空间根据自同构作用下的轨道行为被划分为多个分支。
• 利用特殊化论证和动力多项式的性质，证明在特征为 0 的域中，对所有但有限多个 $N$，以及在一般域中对所有但有限多个素数 $N$，$M_d(pN,\mathfrak{C}_p)$ 是可约的。

实验结果

研究问题

• RQ1 对所有 $N > 1$，模空间 $M_2(N)$ 是否是几何不可约的？
• RQ2 对于具有素数阶非平凡 $ℝ\mathrm{PGL}_2$-自同构的映射，模空间 $M_d(N,\mathfrak{C}_p)$ 的几何结构如何？
• RQ3 为何当 $N$ 为偶数时，具有非平凡自同构的映射的动力多项式会变得可约？这如何影响相应模空间的几何结构？
• RQ4 能否通过自同构对周期轨道的作用，从几何上解释 $M_d(pN,\mathfrak{C}_p)$ 的可约性？
• RQ5 自同构的存在是否会导致动态模曲线中通用不可约性的系统性失效？

主要发现

• 模空间 $M_2(N)$ 对所有 $N > 1$ 是几何不可约的，其证明基于显式标准型和族 $f_c(z) = z^2 + c$ 的动力多项式不可约性。
• 当域 $K$ 的特征为 0 时，对于具有素数阶非平凡 $ℝ\mathrm{PGL}_2$-自同构 $\mathfrak{C}_p$ 的映射，模空间 $M_d(pN,\mathfrak{C}_p)$ 对所有但有限多个整数 $N$ 是几何可约的。
• 可约性源于自同构的作用：若 $h$ 的阶整除 $N$，则它要么保持一个形式周期为 $N$ 的点的轨道，要么交换其轨道，从而导致模空间中至少存在两个不可约分支。
• 该构造在 $M_d(pN,\mathfrak{C}_p)$ 中给出了一个极大维数的真闭子簇，从而在不依赖特例的前提下证明了可约性。
• 该结果与先前工作形成对比：与以往仅在每个次数中对单一映射出现可约性的例子不同，此处在每个 $d \geq 2$ 的次数中，对无穷多个 $N$ 都存在整个映射族的可约性。
• 当 $2^N - 1$ 为素数时，曲线 $M_2(N,\mathfrak{C}_2)$ 是不可约的，这通过将动力多项式特殊化并利用 $\Phi_N^*(z)$ 对 $\phi(z) = z^2$ 的不可约性得到证明。