🔢 mathematics

The dynamics of the Hesse derivative on the $j$ -invariant

本文研究了三次曲线在 $j$ -不变量集合上的赫塞（Hesse）导数所定义的有理函数动力学，分析了其轨道计数、曲线与其 $n$ 次赫塞导数同构的条件，并探讨了 $j$ -不变量的周期性如何蕴含曲线本身的周期性。

原作者： Jake Kettinger

发布于 2026-03-27

📖 1 分钟阅读🧠 深度阅读

原作者： Jake Kettinger

原始论文根据 CC0 1.0（http://creativecommons.org/publicdomain/zero/1.0/）发布到公有领域。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇论文就像是在探索一个数学宇宙中的“魔法变换”游戏。作者 Jake Kettinger 研究了一种特殊的规则，看看当你对某些几何图形反复应用这个规则时，会发生什么有趣的事情。

为了让你轻松理解，我们可以把这篇论文拆解成几个生动的故事：

1. 主角是谁？（椭圆曲线与 j-不变量）

想象一下，数学世界里住着一种叫**“椭圆曲线”**的魔法生物。它们长得像甜甜圈（在几何上），非常优雅且重要。

身份证（j-不变量）： 每一只椭圆曲线都有一个独特的“身份证号码”，叫做 j-不变量。这个号码决定了这只曲线的形状和性格。如果两个曲线的号码一样，它们本质上就是同一种生物（只是摆放位置不同）。
Riemann 球： 所有的这些号码都分布在一个巨大的球面上（就像地球仪一样），我们称之为 Riemann 球。

2. 魔法是什么？（Hesse 导数）

论文的主角是一个叫 H(j) 的魔法公式。

Hesse 导数（Haw 导数）： 这是一个特殊的几何操作。如果你拿一个椭圆曲线，对它施一次“魔法”（计算它的 Hesse 导数），你会得到一条新的椭圆曲线。
号码的变换： 神奇的是，这条新曲线也有一个新的“身份证号码”。这个新号码和旧号码之间，有一个固定的数学公式（就是论文开头那个看起来很复杂的分数公式）。
简单来说： 就像你给一个物体照了一面特殊的镜子，镜子里的倒影（新曲线）虽然变了，但它的“身份证号”可以通过一个固定的计算器算出来。

3. 游戏怎么玩？（动力学与循环）

作者把这个魔法公式看作一个**“传送门”**。

传送游戏： 你站在一个号码（比如 $j=1728$ ）上，按下传送门，你会跳到下一个号码。再按一次，又跳到下一个。
循环（轨道）： 有些号码很有趣，你按几次传送门后，会回到原点。
- 比如：A -> B -> C -> A。这就形成了一个长度为 3 的循环。
- 作者就像在数数：在这个魔法世界里，有多少个长度为 1 的循环（原地不动）？有多少个长度为 2 的？长度为 100 的？
发现： 作者发现了一个完美的数学公式，可以算出任意长度的循环有多少个。这就像是在预测：如果你在这个魔法世界里走 $N$ 步，有多少种不同的“回圈”路径。

4. 核心谜题：曲线本身会循环吗？

这是论文最精彩的部分。

问题： 如果“身份证号码”（j-不变量）在传送门里转了一圈回到了原点，那么原本的曲线（那个几何形状）也会回到原来的样子吗？
直觉： 你可能会想：“当然会啊，号码一样，曲线不就一样了吗？”
现实（反转）： 不一定！
- 想象一下，你有两个长得一模一样的双胞胎（曲线 A 和曲线 B），他们的身份证号完全一样。
- 魔法把曲线 A 变成了曲线 B（虽然身份证号没变，但曲线本身被“旋转”或“翻转”了）。
- 如果号码转了 1 圈就回来了，曲线可能转了 2 圈、3 圈甚至更多才回到原来的姿态。
结论： 作者证明了，只要号码是循环的，曲线最终也一定会回到原点。但是，曲线转回来的圈数，可能是号码圈数的 1 倍、2 倍或 3 倍。这就像是一个**“时间差”**：号码先到了家，曲线还在路上多绕了几圈。

5. 数据与未解之谜

数据表： 作者在论文最后列了一张表，就像是一个“魔法实验记录本”。他记录了不同号码的循环长度，以及对应的曲线实际转了多少圈。有些巧合的是，有些曲线转的圈数和号码完全一样；但大多数时候，曲线转得更多。
未来的问题：
- 我们能不能找出所有那些“转得和号码一样快”的特殊曲线？
- 如果在不同的数学宇宙（比如用不同的数字系统，而不是我们熟悉的实数）里玩这个游戏，会发生什么？
- 还有一个关于“收敛”的猜想：如果你一直按传送门，这些号码在某种特殊的距离度量下，会不会最终稳定在某个地方？

总结

这篇论文就像是在研究一个**“几何万花筒”**。

我们有一个规则，能把一个形状变成另一个形状。
我们给每个形状贴个标签（j-不变量）。
我们发现，标签会按照固定的规律循环。
最有趣的是，标签的循环速度和形状本身的循环速度并不总是同步的。形状可能会比标签多转几圈才回到原位。

作者不仅算出了有多少种循环，还证明了这种“不同步”是有规律的，并留下了几个有趣的谜题让未来的数学家去解开。这展示了数学中**“局部规律”（号码）与“整体结构”（曲线）**之间微妙而迷人的关系。

以下是关于 Jake Kettinger 的论文《Hesse 导数在 $j$ -不变量上的动力学》（The dynamics of the Hesse derivative on the j-invariant）的详细技术总结：

1. 研究问题 (Problem)

本文主要研究定义在黎曼球面（Riemann sphere）上的有理函数 $H(j)$ 的动力学性质，该函数描述了椭圆曲线（或三次曲线）的 Hesse 导数（Hesse derivative）与其 $j$ -不变量（ $j$ -invariant）之间的关系。

具体而言，文章探讨以下核心问题：

映射关系：给定一个椭圆曲线 $C$ ，其 Hesse 导数 $H_C$ 的 $j$ -不变量 $j(H_C)$ 如何由 $j(C)$ 表示？
轨道计数：对于有理函数 $H(j) = \frac{(6912 - j)^3}{27j^2}$ ，如何计算其周期点（periodic points）和轨道（orbits）的数量？
曲线与不变量的周期性对应：如果 $j$ -不变量在 $H$ 映射下是周期的（即 $H^n(j) = j$ ），那么对应的椭圆曲线 $C$ 是否也是周期的（即 $H^n C \cong C$ ）？如果是，曲线的轨道长度与 $j$ -不变量的轨道长度之间有何关系？
算术性质：在哪些情况下，椭圆曲线与其 Hesse 导数具有相同的自同态环（Endomorphism ring）？

2. 方法论 (Methodology)

作者结合了代数几何、复动力学和数论的方法：

代数推导：
- 从 Weierstrass 形式 $y^2z - x^3 - axz^2 - bz^3$ 出发，直接计算 Hesse 矩阵的行列式，得到 Hesse 导数的多项式。
- 通过线性坐标变换将 Hesse 导数转化为 Weierstrass 形式，从而推导出 $j(H_C)$ 关于 $j(C)$ 的显式有理函数公式。
复动力学分析：
- 分析有理函数 $H(j)$ 的临界点（critical points）和不动点（fixed points）。
- 证明 $H$ 是 后临界有限（Post-Critically Finite, PCF） 的，且没有周期临界点，从而得出其 Julia 集为整个黎曼球面。
- 利用 Möbius 反演公式 和组合计数方法，推导轨道数量的递归公式和闭式解。
Hesse 铅笔（Hesse Pencil）与自同构群：
- 利用标准 Hesse 铅笔 $V(x^3 + y^3 + z^3 - 3txyz)$ 的参数化性质。
- 引入 Hessian 群 $G_{216}$ （同构于 $(\mathbb{Z}/3\mathbb{Z})^2 \rtimes SL_2(\mathbb{F}_3)$ ），分析其对纤维的自同构作用。
- 利用极曲线（polar curve）的性质证明 Hesse 导数与平面自同构的可交换性。
计算实验：
- 使用计算机代数系统（如 Macaulay2, Mathematica, Maple）计算特定 $j$ -不变量下的曲线轨道长度，并生成数据表以比较 $j$ -不变量的轨道大小与曲线本身的轨道大小。

3. 主要贡献与结果 (Key Contributions & Results)

A. 理论推导

Hesse 导数的 $j$ -不变量公式：
证明了对于椭圆曲线 $C$ ，其 Hesse 导数 $H_C$ 的 $j$ -不变量由以下有理函数给出：
$H(j) = \frac{(6912 - j)^3}{27j^2}$
这一结果验证并直接证明了文献 [13] 中的定理。
动力学性质：
- 确定了 $H$ 的四个不动点： $1728, \infty$ 以及两个复数点。
- 证明了 $H$ 是 PCF 函数，其临界点（$6912, -13824, 0$）均为预周期点（preperiodic），且 $H$ 的 Julia 集 $J(H)$ 是整个黎曼球面 $\hat{\mathbb{C}}$ 。
- 所有不动点均为排斥点（repelling）。
轨道计数公式：
推导了长度为 $n$ 的轨道数量 $B_n$ 的闭式公式：
$B_n = \frac{1}{n} \sum_{d|n} \mu(d) 3^{n/d}$
其中 $\mu$ 是 Möbius 函数。该序列对应 OEIS 中的 A027376。

B. 周期性曲线与不变量的关系（核心定理）

定理 2：如果椭圆曲线 $E$ 的 $j$ -不变量 $j(E)$ 在 $H$ 映射下是周期为 $p$ 的周期点，那么存在一个正整数 $n$ 使得 $H^n E \cong E$ （即曲线本身也是周期的）。
轨道长度关系：曲线 $E$ $E$ 的轨道长度 $n$ $n$ 与 $j$ $j$ -不变量的轨道长度 $p$ $p$ 满足 $n \le 3p$ $n \leq 3 p$ 。
- 作者指出， $j$ -不变量的轨道大小不能唯一确定曲线的轨道大小。
- 通过 Hessian 群 $G_{216}$ 的作用，证明了 $H^p$ 在 $E$ 的同构类集合上是一个置换，其阶数最多为 3。

C. 数据发现

通过计算表（Table 1 & 2），作者收集了不同 $j$ -不变量下的轨道数据。
关键发现：存在某些椭圆曲线，其轨道长度与 $j$ -不变量的轨道长度相等（即 $n=p$ ），但这并非普遍规律。
发现曲线轨道长度与 $j$ -不变量最小多项式的次数之间没有简单的正相关性。

4. 意义与未来工作 (Significance & Future Work)

理论意义：
- 建立了代数几何中 Hesse 导数操作与复动力学中有理函数迭代之间的深刻联系。
- 澄清了 $j$ -不变量的周期性并不总是意味着曲线本身的周期性具有相同的周期长度，揭示了曲线自同构群在其中的调节作用。
- 提供了计算此类动力学系统轨道数量的通用方法，适用于更广泛的 PCF 有理函数。
开放问题：
1. 自同态环分类：能否分类所有满足 $\text{End}(E) = \text{End}(H_C)$ 的椭圆曲线？（注：即使 $j$ -不变量轨道有限，曲线也不一定与 Hesse 导数在 $\mathbb{Q}$ 上同构，但自同态环可能相同）。
2. $p$ -进动力学：对于哪些有理数 $j$ 和素数 $q$ ，序列 $H^n(j)$ 在 $q$ -进度量下收敛？
3. 遍历性猜想：作者提出了一个关于 $H^n(j)$ 在实数轴上分布的猜想（Conjecture 1），即对于通用的实数 $j$ ，其迭代值落在区间 $(-\infty, 0)$ 、 $(0, 6912)$ 和 $(6912, \infty)$ 的频率均趋于 $1/3$ 。

总结

这篇文章通过严谨的代数推导和动力学分析，完整描述了 Hesse 导数在 $j$ -不变量空间上的动力学行为。它不仅给出了精确的轨道计数公式，还深入探讨了从 $j$ -不变量的周期性到椭圆曲线本身周期性的提升机制，揭示了自同构群在这一过程中的关键作用，并为该领域的进一步算术和动力学研究提出了明确的方向。