The variation of zeros of the Miller basis

技術的概要：ミラー基底の零点の振る舞い

問題提起
本論文は、偶数重み $k \ge 4$ およびレベル 1 の正則モジュラー形式の空間 $M_k$ における、ミラー基底要素 $g_{k,m}$ の零点の漸近分布を調査する。これらの形式は、そのフーリエ展開 $g_{k,m} = q^m + O(q^{\ell+1})$ によって定義される。ここで $\ell = \dim M_k - 1$ であり、$0 \le m \le \ell$ である。

先行研究はこの族の部分集合に対して特定の振る舞いを確立している：

• ランキンとスウィンナートン＝ダイアーは、アイゼンシュタイン級数の零点が標準的な基本領域 $\mathcal{F}$ 内の単位円弧 $A$ 上に存在することを証明した。
• ダークとジェンキンスは、特定の弱ホロモルフィック形式もまた $A$ 上に零点を持つことを示した。
• ラヴェフは、$m$ を固定し、$\ell$ が $m$ に対して十分に大きい場合、$g_{k,m}$ の零点が $A$ 上に存在することを示した。
• ルドニクは、$k \to \infty$ となる一方で差 $D = \ell - m$ を固定する場合、零点が垂直線付近にクラスター形成することを示した。

中心的な課題は、特に $k$ と $D$ の両方が増加する状況において、比 $\delta = m/\ell$ が変化するにつれてミラー形式の全系にわたる零点の振る舞いを分析することで、これらの現象を統合することである。

手法
著者は、解析的数論、複素解析、計算機検証を組み合わせて用いる：

1. 積分表示と円周法：著者は、ダークとジェンキンスおよびラヴェフの枠組みから導出された積分表示を用いて、単位円弧上の $g_{k,m}(e^{i\theta})$ を近似する。これには、単位元および変換 $S = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}$ に対応する極における留数を評価しつつ、特定の輪郭上で核関数 $G(z, \tau)$ を積分することが含まれる。
2. 誤差評価：積分近似における誤差項を評価することにより、$g_{k,m}(e^{i\theta})$ が漸近的に $2\cos(2\pi m \cos \theta + k\theta/2)$ のように振る舞う条件を決定する。これにより、余弦項の振動に基づいて円弧 $A$ 上の零点を数えることが可能となる。
3. ファベル多項式：形式 $g_{k,m}$ は、関係式 $g_{k,m}/(\Delta^\ell E_{k'}) = P(j)$ によってファベル多項式 $P(j)$ と関連付けられる。著者は、次数 $D = \ell - m$ が増大するにつれてこれらの多項式の係数を分析する。
   • $D$ が $k$ に対して小さい場合、スターリングの近似とラグエル多項式の性質を用いて、係数が切断された指数多項式の係数と同様に振る舞うことを示す。
   • $D$ が大きい場合、組合せ論的な評価と $j$-不変量の展開の性質を用いて、係数に対する明示的な評価式を導出する。
4. ゼーゴ曲線解析：切断された指数多項式の零点の漸近分布は、ゼーゴ曲線 $S = \{z \in \mathbb{C} : |z e^{1-z}| = 1\}$ に収束することが知られている。著者は、この振る舞いを $j$-不変量を通じてモジュラー領域へ写像し、「対数的ゼーゴ曲線」$L_\pm$ とシフトされた曲線 $S_\delta$ を定義する。
5. 計算機検証：著者は SageMath を用いて、零点が円弧 $A$ から曲線 $S_\delta$ へ遷移する比 $\delta$ の閾値を数値的に計算する。また、小さな $D$ に対して代数的零点に対する網羅的探索も行う。

主要な貢献と結果

• 定理 A（円弧上の零点）：著者は、$\delta = m/\ell$ の関数として、単位円弧 $A$ 上に存在する非楕円零点の割合の下限を確立する。

  • $\delta < 0.6194$ の場合、十分に大きな $k$ に対してすべての零点が $A$ 上に存在する。
  • $0.6194 \le \delta < 0.9546$ の場合、$A$ 上に存在する零点の割合は減少する。
  • $\delta \ge 0.9546$ の場合、$A$ 上の零点の下限はゼロに低下する。
  • これらの理論的閾値は、$k=600,000$ までの数値実験と非常に良く一致する。

• 定理 B（対数的ゼーゴ曲線への収束）：$D = \ell - m \to \infty$ であるが、$k$ に対して緩やかに増加する場合（具体的には $D < \alpha \log |k| / \log \log |k|$）、$g_{k,m}$ の零点は漸近的にシフトされた対数的ゼーゴ曲線 $S_\delta$ に近づく。この曲線は、古典的ゼーゴ曲線から導出された関数のグラフである $L_\pm$ を用いて $L_\pm - \frac{1}{2\pi} \log |1-\delta|$ として定義される。

• 予想 C：著者は、任意の $\delta > 0$ に対して、零点が漸近的に、単位円弧 $A$ と曲線 $S_\delta$ の和集合の上包絡線として定義される曲線 $C_\delta$ に近づくことを提案する。定理 A と定理 B は、$\delta$ の極限においてこの予想の一部を証明する。

• 弱ホロモルフィック形式：弱ホロモルフィックモジュラー形式に対しても並行した結果が導出され（定理 9）、$\delta$ に対する異なる閾値値が特定される（例えば、$k \ll 0$ の場合、すべての零点が $A$ 上にあるための $\delta > 1.1598$ など）。

• 代数的零点（第 7 節）：アイゼンシュタイン級数（ここではコーンエンが非楕円零点が超越数であることを証明した）とは対照的に、著者は非楕円代数的零点を持つミラー形式を提示する。

  • $\ell - m \le 25$ に対して、そのような形式を完全に分類する。
  • 非楕円代数的零点は $m = \ell - 1$ の場合のみ発生し、その零点は類数 1 の特定の虚二次体（判別式 $-19, -27, -43, -67, -163$）に対応することを発見する。
  • $25 < \ell - m \le 100$ に対して、ファベル多項式のガロア群の分析に基づき、ほとんどすべての重みにおいて非楕円代数的零点が存在しないという確率的結果を提供する。

意義
本論文は、ミラー基底の零点の幾何学的分布を理解するための包括的な枠組みを提供し、小さな $\delta$ で支配的な「円弧」現象と、大きな $\delta$ または固定された $D$ で支配的な「垂直線」または「ゼーゴ曲線」現象との間のギャップを埋める。

著者は、自らの研究が以下の点で画期的であると主張する：

1. ダーク、ジェンキンス、ラヴェフ、ルドニクによる先行研究を、単一の連続パラメータ族へと一般化すること。
2. 切断された指数多項式の理論とモジュラー形式を結びつける、モジュラー形式の零点に対する新しい漸近軌跡（対数的ゼーゴ曲線）を特定すること。
3. 大きな $\delta$ において零点が異なる曲線へ移動することを示すことで、「円弧上の零点」という性質の普遍性に挑戦すること。
4. 古典的なアイゼンシュタイン級数の場合には見られない特徴である代数的零点の存在を示すことでこれらの零点の算術的複雑さを浮き彫りにし、低次数の場合に対する体系的な分類を提供すること。

本論文は、これらの領域間の遷移が比 $\delta$ によって支配されており、ゼーゴ曲線と単位円弧の幾何学から導出された特定の仮説的カットオフを伴うと結論付けている。