[论文解读] The Moduli Space of Cubic Rational Maps

Lloyd West|arXiv (Cornell University)|Aug 14, 2014

Algebraic Geometry and Number Theory参考文献 5被引用 6

一句话总结

该论文利用二元型的经典不变量理论，在 $\bar{k}$ 上构造了三次有理映射的模空间 $M_3$，提供了 $M_3$ 的显式不变量和方程。该研究解决了从模点反向构造有理映射的逆问题，并提出了一种显式下降到定义域的方法，其应用涵盖奇数次映射的模域与定义域问题。

ABSTRACT

We construct the moduli space, $M_d$, of degree $d$ rational maps on $\mathbb{P}^1$ in terms of invariants of binary forms. We apply this construction to give explicit invariants and equations for $M_3$. Using classical invariant theory, we give solutions to the following problems: (1) explicitly construct, from a moduli point $P\in M_d(k)$, a rational map $ϕ$ with the given moduli; (2) find a model for $ϕ$ over the field of definition (i.e. explicit descent). We work out the method in detail for the cases $d=2,3$.

研究动机与目标

• 构造 $\mathbb{P}^1$ 上次数为 $d$ 的有理映射的模空间 $M_d$，作为二元型对的 $\mathrm{SL}_2$-商空间。
• 使用经典不变量理论，以不变量和方程显式描述 $M_3$。
• 解决逆问题：给定模点 $P \in M_d(k)$，显式构造一个具有该模类的有理映射 $\phi$。
• 从不变量出发确定有理映射的定义域，特别是对奇数次映射，其中模域可能不等于定义域。

提出的方法

• 将 $M_d$ 构造为次数为 $d$ 和 $d$ 的齐次二元型对空间的 $\mathrm{SL}_2$-商空间，利用不变量参数化模空间。
• 使用经典不变量理论计算三次有理映射的绝对不变量 $s_1, s_2, s_3, r$，其表达式以二次型和四次型的系数表示。
• 应用协变量 $V_i$ 和 $\mathrm{GL}_2$ 下的变换规则，关联不同坐标系下的型，确保射影等价性。
• 从不变量 $s_1, s_2, s_3, r$ 推导出有理映射 $\phi = [f:g]$ 的显式公式，利用线性型和三次型 $f_0, g_0$ 及其协变量。
• 使用行列式 $r = \det[V_0, V_1]$ 对型进行归一化，构造定义在定义域上的模型。
• 对奇数次映射，应用上同调方法与下降技术，从模域恢复出定义在定义域上的模型。

实验结果

研究问题

• RQ1 如何利用二元型的不变量显式描述三次有理映射的模空间 $M_3$？
• RQ2 给定 $M_d(k)$ 中的一点，能否算法性地构造一个定义在 $k$ 上的有理映射 $\phi$，使其模类与该点对应？
• RQ3 对奇数次有理映射，何时模域等于定义域？如何从不变量计算定义域？
• RQ4 对奇数次映射，从模域下降到定义域的障碍是什么？如何计算该障碍？
• RQ5 能否利用经典不变量理论推导出 $M_3$ 的显式方程与不变量？

主要发现

• 模空间 $M_3$ 被显式描述为次数为 2 和 4 的二元型对空间的商空间，其中不变量 $s_1, s_2, s_3, r$ 生成了绝对不变量环。
• 推导出三次有理映射的不变量 $d, i, j, a, b, c$ 的显式公式，其表达式以定义其的二次型和四次型系数表示。
• 可从其模点 $P \in M_3(k)$ 显式重构有理映射 $\phi = [f:g]$，利用不变量与协变量 $V_i$，确保所得映射具有正确的模类。
• 对奇数次映射，一般情况下定义域严格大于模域，本文提供了一种从不变量计算定义域的方法。
• 该构造给出了定义在定义域上的映射模型，解决了通用奇数次映射的下降问题。
• 该方法在 $d=2$ 和 $d=3$ 的情形下得到明确说明，表明利用经典不变量理论，逆问题与下降均可算法求解。