Interlacing for zeros of the Serre derivative of Eisenstein series

技術要約：アイゼンシュタイン級数のセルレ微分における零点のインターレーシング（挟み込み）

問題の所在
本論文は、セルレ微分 $\vartheta_k(E_k)$ の零点の位置およびインターレーシング（挟み込み）の性質を調査している。RankinとSwinnerton-Dyer (1970) は、アイゼンシュタイン級数 $E_k$ の非楕円零点が基本領域の下部弧上に存在することを確立しており、Sugibayashiは最近、$\vartheta_k(E_k)$ の零点もまたこの弧上に存在することを証明したが、それらの位置に関する精密な定量的評価は欠けていた。さらに、$\vartheta_\ell(E_\ell)$ の零点が $\vartheta_k(E_k)$ とどのように関連するか、また $\vartheta_k(E_k)$ が $E_{k+2}$ とどのように関連するかという、零点のインターレーシング挙動も未証明であった。著者らは、$\vartheta_k(E_k)$ が積 $E_2 \cdot E_k$ のモジュラー版として機能するという観点から、既知の積 $E_w E_k$ ($w \ge 4$) に関するインターレーシングの結果を $w=2$ のケースへと拡張する形で、本研究を位置づけている。

手法
著者らは、下部弧 $A = \{e^{i\theta} : \pi/2 < \theta < 2\pi/3\}$ 上で定義された、$\vartheta_k(E_k)$ の実数値変換である関数 $F_k(\theta)$ の零点に対して、段階的に精密な近似を構築する戦略を採用している。近似の手法は、以下の4つの段階で進行する：

1. プレサンプル零点 ($\theta^{**}_{k,i}$): 最も単純な近似 $F^{**}_k(\theta) = \sin(k\theta/2)$ の零点として定義される。これらは $2\pi/k$ の整数倍として明示的に与えられる。
2. サンプル零点 ($\theta^*_{k,i}$): $B_0(\theta)$ を含む補正項を含む次の近似 $F^*_k(\theta)$ の零点として定義される。著者らは、プレサンプル零点を用いた、精度 $O(1/k^3)$ のこれらの零点の漸近展開を導出している。
3. ポストサンプル零点 ($\hat{\theta}_{k,i}$): $d(\theta)^{-k}$ を含む項を加えた $\hat{F}_k(\theta)$ の零点として定義される。ここでの重要な技術的革新は、$s = k(2\pi/3 - \theta)$ に依存する変数 $W$ の導入であり、これにより端点 $\theta = 2\pi/3$ 付近での高度に精密な近似が可能となる。これにより、従来の著作で見られた、境界付近での零点の「動き」に関するケースごとの分析を回避できる。
4. 実際の零点 ($\theta_{k,i}$): 著者らは、実際の $F_k(\theta)$ の零点が、ポストサンプル零点に対して指数関数的に近いこと（具体的には $O(1/k^2)$ 以内）を証明している。

これらの精密な位置推定を用いて、著者らは連続する零点間の距離および異なる重みにおける零点の相対的位置を分析し、インターレーシングの性質を確立している。

主な貢献と結果
本論文は、$\vartheta_k(E_k)$ の零点に関する4つの主要な定理を確立している：

1. スティルツ・インターレーシング (Stieltjes Interlacing): すべての偶数整数 $\ell > k \ge 4$ について、$\vartheta_\ell(E_\ell)$ の零点は下部弧上で $\vartheta_k(E_k)$ の零点とスティルツ・インターレースする。これは、低重みの級数の連続する2つの零点の間に、高重みの級数の零点が少なくとも1つ存在することを意味する。
2. 標準的インターレーシングの分類: 本論文は、$\vartheta_\ell(E_\ell)$ の零点が $\vartheta_k(E_k)$ といつ「標準的に」インターレースするか（ここで「標準的」とは、一方の数列の連続する2つの零点の間に、他方の数列の零点がちょうど1つ存在することを指す）についての精密な分類を提供している。これは、$\ell - k \in \{2, 4, 6, 8, 12\}$ であるか、あるいは $(k, \ell)$ が特定の有限の例外ペア（例：$(4, 14), (6, 16)$ など）に属く場合に限られる。
3. $E_{k+2}$ とのインターレーシング: すべての偶数整数 $k \ge 4$ について、$\vartheta_k(E_k)$ の零点は下部弧上で $E_{k+2}$ の零点とインターレースする。具体的には、$E_{k+2}$ の各零点は、対応する $\vartheta_k(E_k)$ の零点のすぐ右側に位置する。
4. カスピダル射影の零点: 第3の結果の応用として、著者らは、$k \notin \{4, 6, 8, 12\}$ のとき、カスピダル射影 $\text{cuspproj}(\vartheta_k(E_k)) = \vartheta_k(E_k) + \frac{k}{12}E_{k+2}$ のすべての非カスピダルかつ非楕円零点が下部弧上に存在することを示す。これは、XueとZhuによる先行研究を拡張するものである。

意義と主張
著者らは、自身のアプローチが、アイゼンシュタイン級数の零点に関する従来の技法よりも概念的に単純な「一様（uniform）」な手法を提供すると主張している。ポストサンプル近似項を利用することで、以前の研究（Nozaki、Griffinら、Frendreissらによるもの）で必要とされた端点 $\theta = 2\pi/3$ 付近での複雑なケース分析を回避している。この一様性により、インターレーシングの性質のより明快な証明が可能となり、境界付近での零点の動きが技術的な障壁となる他の設定への一般化の可能性を示唆している。

また、本論文は、多項式の導関数のインターレーシングに関するマルコフの定理との関連性に触れており、重数が12の倍数である場合の彼らの結果は、マルコフの結果のモジュラー版と見なせることを指摘している。本研究は、修正された積 $\vartheta_k(E_k)$ が、その零点の位置とインターレーシングに関して、積 $E_w E_k$ ($w \ge 4$) と同様に振る舞うことを確認しており、これにより、セルレ微分を積 $E_2 \cdot E_k$ の自然な一般化として扱うという哲学的枠組みを検証している。