[论文解读] A computational note about Fricke-Macbeath's curve

Rubeén A. Hidalgo|arXiv (Cornell University)|Mar 28, 2012

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

一句话总结

本文提出一种计算方法，用于在 ℚ(√−7) 上构造 Fricke-Macbeath 曲线的显式代数模型，结合伽罗瓦下降与不变量理论。该方法实现了从 ℚ(ρ) 上 Macbeath 原始模型到 ℚ 上定义的曲线之间的双有理同构，首次在实二次域上提供了该亏格 7 的 Hurwitz 曲线的显式模型，且所有构造均可在计算机代数系统中实现。

ABSTRACT

The well known Hurwitz upper bound states that a closed Riemann surface $S$ of genus $g \geq 2$ has at most $84(g-1)$ conformal automorphisms. If $S$ has exactly $84(g-1)$ conformal automorphisms, then it is called a Hurwitz curve. The first two genera for which there are Hurwitz's curves are $g \in \{3,7\}$. In both situations there is exactly one such curve up to conformal equivalence, in particular, in both cases the field of moduli is ${\mathbb Q}$. As these two curves are quasiplatonic curves, they are definable over ${\mathbb Q}$. The Hurwitz's curve of genus $g=3$ is given by Klein's quartic $x^3y+y^3z+z^3x=0$. The Hurwitz's curve of genus $g=7$ is known as Fricke-Macbeath's curve and equations over ${\mathbb Q}(ρ)$, where $ρ=e^{2 πi/7}$, are known due to Macbeath. Unfortunately, explicit equations over ${\mathbb Q}$ are not easy to find for this curve. In this paper we first explain how to construct an explicit model $Z_{2}$ of Fricke-Macbeath's curve over ${\mathbb Q}(\sqrt{-7})$ and an explicit isomorphism $L_{1}:X o Z_{2}$, defined over ${\mathbb Q}(ρ)$. Next, using that explicit model we construct another explicit isomorphism $L_{2}:Z_{2} o W$, defined over ${\mathbb Q}(\sqrt{-7})$, where $W$ is some algebraic curve defined over ${\mathbb Q}$. Unfortunately, the equations for $W$ are quite long to write down, but everything is explained in order to perform the computations in a computer.

研究动机与目标

• 在 ℚ(√−7) 上构造 Fricke-Macbeath 曲线的显式代数模型，尽管该曲线已知在 ℚ(ρ) 上定义，其中 ρ = e²πi/7。
• 通过计算代数几何技术，提供从 ℚ(ρ) 上 Macbeath 原始模型 X 到 ℚ 上定义的新曲线 W 的双有理同构。
• 通过将问题分解为两步：首先在 ℚ(√−7) 上构造模型 Z₂，再下降到 ℚ，从而克服在 6 维循环群作用下计算伽罗瓦不变量的困难。
• 证明尽管 Fricke-Macbeath 曲线可通过其模域定义在 ℚ 上，但其显式方程在文献中仍属空白，本文通过计算上可行的构造填补了这一空白。

提出的方法

• 应用 Weil 伽罗瓦下降定理的构造版本，利用 Gal(ℚ(ρ)/ℚ) 在曲线模型上的作用，将曲线从 ℚ(ρ) 下降到 ℚ(√−7)。
• 通过在 24 维多项式空间上对一个 6 阶循环群作用下的不变量进行计算机辅助计算，构造 ℚ(√−7) 上的中间模型 Z₂。
• 在 ℚ(ρ) 上显式计算了从 X 到 Z₂ 的同构 L₁，并提供了其逆，从而实现将 Macbeath 原始方程变换到新坐标系。
• 通过不变量理论与计算代数，构造定义在 ℚ(√−7) 上的第二个同构 L₂: Z₂ → W，其中 W 是定义在 ℚ 上的代数曲线，从而实现下降到有理数域。
• 通过将伽罗瓦作用分解为可管理的步骤，避免了直接计算完整不变量生成元，利用曲线自同构群的对称性。
• 所有构造均设计为可在 MAGMA 等计算机代数系统中实现，关键变换提供了显式公式。

实验结果

研究问题

• RQ1 能否在 ℚ(√−7) 上构造 Fricke-Macbeath 曲线的显式模型，尽管该曲线最初在分圆域 ℚ(ρ) 上定义？
• RQ2 能否使用计算下降技术，计算从 ℚ(ρ) 上 Macbeath 原始模型到 ℚ 上定义的曲线之间的双有理同构？
• RQ3 当直接计算 6 维伽罗瓦群作用下的不变量不可行时，如何有效实现下降所需的伽罗瓦不变性条件？
• RQ4 中间模型 Z₂ 在 ℚ(√−7) 上的结构是什么？它如何促进下降到 ℚ 上的模型 W？
• RQ5 整个下降过程能否通过显式公式完成，且这些公式在计算上可行，适合在符号计算系统中实现？

主要发现

• 本文首次构造了 Fricke-Macbeath 曲线在 ℚ(√−7) 上的显式模型 Z₂，是迈向 ℚ 上模型的重要一步。
• 提供了在 ℚ(ρ) 上定义的显式同构 L₁: X → Z₂，其逆也已给出，从而可将 Macbeath 的原始方程变换到新坐标系。
• 构造了在 ℚ(√−7) 上定义的第二个同构 L₂: Z₂ → W，其中 W 是定义在 ℚ 上的代数曲线，成功实现下降到有理数域。
• 最终曲线 W 由变量 t₁, t₃, t₁₁, t₃, t₁₄, t₁₅, t₁₆, t₁₇, t₁₈, t₁₉, t₂₀, t₂₁, t₂₂, t₂₃, t₂₄ 上的一组长方程系统显式定义，系数属于 ℚ。
• W 的方程过长，无法完整写出，但本文提供了完整的算法框架，可用于计算机代数系统中计算这些方程。
• 通过验证 Gal(ℚ(ρ)/ℚ) 中的伽罗瓦作用 σ 满足 W^σ = W，验证了整个构造过程，确认 W 确实定义在 ℚ 上。