Determinants of Mahler measures and special values of $L$-functions

技術要約：マラー・メジャーの決定因子とL関数の特殊値

問題提起
本論文は、2つの特定の二変量多項式の族、$P_t = x + x^{-1} + y + y^{-1} + \sqrt{t}$ および $Q_t = x^3 + y^3 + 1 - \sqrt[3]{t}xy$ のマラー・メジャー（Mahler measure）と、それらの零点集合によって定義される楕円曲線に関連するL関数の特殊値との関係を調査している。数値的な証拠（Boyd, Rodriguez Villegas）によれば、複素乗法（CM）を持つ有理数 $t$ に対して、マラー・メジャーはL関数の $s=0$ における導関数（または関連する特殊値）の有理数倍に等しいことが示唆されているが、厳密な証明は極めて少ない。著者らは主に以下の2つの問題に取り組んでいる：

1. 分類： 関連する楕円曲線（$P_t$ に対しては $F_t$、$Q_t$ に対しては $C_t$）が複素乗法（CM）を持つような、次数 $n \leq 4$ の数体 $K$ におけるすべてのパラメータ $t$ を決定すること。
2. 行列式恒等式： 次数 $n=2$ および $n=4$ の全実数体 $K$ において、行列の成分が $t$ のガロア共役のマラー・メジャーである $n \times n$ 行列の行列式が、その曲線の $s=0$ におけるL関数の $n$ 階導関数（または $s=2$ での値）の非ゼロの有理数倍に等しくなるような、明示的な恒等式を確立すること。

手法
著者らは、モジュラー形式、CM理論、および格子簡約アルゴリズムを組み合わせた計算的かつ理論的な枠組みを用いている：

• CM分類アルゴリズム： 既往の研究（Guo et al., Samart et al.）のアルゴлоズムを適応し、合同部分群 $\Gamma_0(4)$ および $\Gamma_0(3)$ の基本領域におけるCM点を網羅的にリストアップする。モジュラー方程式とハプトモジュルス（Hauptmoduls $t_P(\tau)$ および $t_Q(\tau)$）を利用することで、CM点 $\tau$ を代数的なパラメータ $t$ に写像し、その次数を $\leq 4$ とする。これは、CM点の $j$ 不変量の次数が、関連する虚二次体の類数に対応するという事実に依拠している。
• モジュラー形式の分解： 特定された各CM曲線について、CMを持つ新形式（newforms）のL関数の積へと、数体上のCM楕円曲線のL関数が分解するという事実を利用する。著者らは、LMFDB（L関数およびモジュラー形式データベース）および PARI/GP を用いて、これらの新形式を明示的に特定する。
• テータ級数とマラー・メジャー： 命題 5.1 を用い、マラー・メジャー $\mu(t)$ および $\nu(t)$ を、CM格子から導出された二次形式によるカスプ形式のL値の線形結合として表現する。これらのテータ級数は、CM格子から構成される。
• PSLQ アルゴリズム： マラー・メジャーとL値の間の具体的な線形関係を発見するために、高精度な数値データを用いて PSLQ アルゴリズム（整数関係検出）を使用する。著者らは、超幾何級数公式を用いてマラー・メジャーを計算し、PARI/GP を用いてL値を計算する。
• 行列式の構成： ガロア共役のマラー・メジャーを特定の行列構造（多くの場合、ベイリソン予想におけるレギュレータ・ペアリングに関連するもの）に配置することにより、これらの行列の行列式が、基礎となる新形式のL値の積に簡略化され、それが数体 $K$ 上の楕円曲線のL関数に対応することを証明する。

主要な貢献および結果

1. CMパラメータの完全な分類： 本論文は、次数4までの数体におけるこれら一族のCMパラメータの完全なリストを提供する。

   • $F_t$ の場合：3つの有理整数、12組の実二次整数、4組の虚二次整数、24個の全実四次整数のガロア軌道、および24個の非全実四次整数の共役軌道。
   • $C_t$ の場合：3つの有理整数、15組の実二次整数、2組の虚二次整数、4個の非全実三次整数の共役軌道、24個の全実四次整数のガロア軌道、および25個の非全実四次整数の共役軌道。
   • データは表1および表2に提供されている。

2. マラー・メジャーの一般公式： 著者らは、任意のCMパラメータ $t$ に対して、$\mu(t)$ および $\nu(t)$ をカスプ形式のL値として表現する一般公式（命題 5.1）を導出している。これは、有理数 $t$ に対してのみ知られていた従来の成果を一般化したものである。

3. 全実数体における行列式恒等式：

   • 二次の場合 ($n=2$)： $F_t$ に対して12組、$C_t$ に対して15組の実二次パラメータについて、以下の形式の恒等式を証明している：
     $$\det \begin{pmatrix} a\mu(t) & b\mu(t^\sigma) \\ -\mu(t^\sigma) & \mu(t) \end{pmatrix} = r \pi^{-4} L(F_t, 2) = s L''(F_t, 0)$$
     （および $C_t$ に対する同様の形式）。これらは表1に記載されている。
   • 四次の場合 ($n=4$)： 両方の族の24個の全実四次パラメータのガロア軌道について、$4 \times 4$ の行列式恒等式を確立している。これらの行列式は、4つのガロア共役のマラー・メジャーを含むものであり、$L^{(4)}(F_t, 0)$（または $L^{(4)}(C_t, 0)$）の有理数倍に等しい。これらは表3に記載されている。
   • 特に、$t$ の立方根が特定の領域 $K_Q^\circ$（具体的には $t \in (-1, 27)$）に含まれるパラメータについては、恒等式の妥当性を維持するために「修正されたマラー・メジャー」$\tilde{n}(t)$ を利用している。

4. 非全実数ケース： 本論文は、非全実数 $t$（三次および四次）に対するマラー・メジャーを、新形式のL値の線形結合として表現する公式（定理 5.6 および 5.8）も提供しているが、これらは全実数の場合のような行列式恒等式は得られない。

意義および主張
本論文は、これらの一族におけるCMパラメータの分類を次数4まで完全に解決し、マラー・メジャーと特殊なL値とを結びつける包括的な一連の新しい行列式恒等式を確立したと主張している。

• 計算への焦点： 著者らは、これらの恒等式をレギュレータの手法や、ベイリソン予想の言語（$K_2$ における明示的な元の構成を必要とするもの）への翻訳によって証明するのではなく、あくまで「計算的側面」に焦点を当て、行列式が期待されるL値と有理数定数倍の範囲で一致することを検証している。
• 新規性： 著者らは、表に記載された $F_t$ および $C_t$ の一族に関するいかなる $4 \times 4$ 行列式恒等式も、既往の文献では知られていなかったと断言している。
• 限界： 行列式恒等式の結果は、全実数体に限定されている。非全実数体の場合、マラー・メジャーのガロア共役は同様の方法では線形独立にならないため、同様の行列式恒等式を形成できないことを著者らは述べている。また、二次の場合の $Q$-曲線に関する数値的証拠に基づいた予想を提示している。

本研究は、パラメータを有理数から高次の数体へと拡張し、これらの文脈におけるマラー・メジャーとL関数の関係に関する体系的な計算的検証を提供することで、先行研究（Boyd, Rodriguez Villegas, Rogers, および著者自身の以前の研究）を大きく発展させたものである。