[论文解读] An inverse of the modular invariant

Semjon Adlaj|arXiv (Cornell University)|Oct 14, 2011

Advanced Mathematical Identities参考文献 2被引用 3

一句话总结

本文首次显式构造了模不变量 $ j(\tau) $ 的反函数，通过组合包含算术-几何平均和嵌套根式的特殊函数实现。所得函数 $ k = k_0 \circ k_1 \circ k_2 $ 可逆 $ j(\tau) $，并在基本域边界上验证了特定值，解决了由拉马努金发起的长期难题。

ABSTRACT

During the last few years of his life, Ramanujan had adamantly tried to invert the modular invariant. Subsequent efforts failed until May 30, 2011 when an explicit closed formula for an inverse was presented at the CCRAS (Moscow, Russia). This very formula, along with some special values of the modular invariant, is given in this paper.

研究动机与目标

• 解决拉马努金长期未能解决的模不变量 $ j(\tau) $ 的反演问题。
• 提供一种构造性、闭式表达的 $ j(\tau) $ 反函数，克服以往尝试的失败。
• 通过初等函数与特殊函数的复合，证明 $ j(\tau) $ 的可逆性。
• 计算并验证 $ j(\tau) $ 在基本域边界关键点的精确值。
• 建立一种实用的 $ j(\tau) $ 反演方法，将其与六次方程求解问题关联。

提出的方法

• 反函数构造为复合形式 $ k = k_0 \circ k_1 \circ k_2 $，其中每个函数作用于一个变换后的变量。
• 函数 $ k_0(x) $ 使用算术-几何平均 $ G(x) $，定义为 1 与 $ x $ 之间 AGM 迭代的极限。
• 函数 $ k_1(x) $ 是一个有理化平方根表达式：$ \frac{\sqrt{x+4} - \sqrt{x}}{2} $。
• 函数 $ k_2(x) $ 涉及一个三次表达式：$ \frac{3}{2}\left(\frac{x}{k_3(x)} + k_3(x)\right) - 1 $，其中 $ k_3(x) = \sqrt[3]{\sqrt{x^2 - x^3} - x} $。
• 整个复合函数将实变量 $ x $ 映射为复数 $ \tau $，使得 $ j(\tau) = x $，从而有效实现 $ j $ 的反演。
• 验证过程简化为检查输出是否满足以模 $ \lambda $ 函数表示的已知六次变换关系。

实验结果

研究问题

• RQ1 尽管拉马努金的尝试失败，能否显式构造模不变量 $ j(\tau) $ 的闭式反函数？
• RQ2 如何系统地利用已知的特殊函数（如 AGM 和根式）推导出该反函数？
• RQ3 在基本域边界特定点上，$ j(\tau) $ 的精确值是什么？如何验证？
• RQ4 该反函数是否为单值函数？若否，其多值性在构造中如何处理？
• RQ5 反演过程能否简化为求解已知代数方程（如六次方程）以供验证？

主要发现

• 模不变量的反函数被显式构造为 $ k = k_0 \circ k_1 \circ k_2 $，其中 $ k_0(x) = \frac{i G(\sqrt{1-x^2})}{G(x)} $，$ k_1(x) = \frac{\sqrt{x+4} - \sqrt{x}}{2} $，$ k_2(x) = \frac{3}{2}\left(\frac{x}{k_3(x)} + k_3(x)\right) - 1 $，且 $ k_3(x) = \sqrt[3]{\sqrt{x^2 - x^3} - x} $。
• 函数 $ k $ 将实数输入映射为上半平面中的复数 $ \tau $，使得 $ j(\tau) = x $，从而提供一种构造性反函数。
• 在关键点上计算出 $ j(\tau) $ 的精确值：$ j(1/2 + \sqrt{-1}) = \left(181 - 19(3/\sqrt{2})^3\right)^3 $，$ j(\sqrt{-1}) = 1 $ 等。
• 基本域边界上序列值严格递增，满足 $ j(1/2 + 2\sqrt{-1}) < j(1/2 + \sqrt{-3}) < \cdots < j(8\sqrt{-1}) $，确认了单调性。
• 反函数并非单值，这与模函数的性质一致，但该复合结构提供了有效的反演分支。
• 反函数的验证被简化为确认输出满足以模 $ \lambda $ 函数表示的已知六次变换关系，从而确认其正确性。