技術的概要：超特異アイソゲニーグラフ上の $\mathbf{Z}_p$-塔に関するイワサワ $\lambda$-不変量の分布

問題提起

本論文は、二重超特異 $\ell$-アイソゲニーグラフ（DSIGs）上の定数 $\mathbf{Z}_p$-塔に関連するイワサワ $\lambda$-不変量の分布を調査する。本研究は、グラフ理論、イワサワ理論、および楕円曲線の算術の交差点に位置する。

研究の中心対象は、有限体 $\mathbf{F}_r$ の代数的閉包上で定義された超特異 $\ell$-アイソゲニーグラフであり、$SI(r, \ell)$ と表記される（ここで $r$ と $\ell$ は異なる素数である）。頂点は超特異楕円曲線の同型類を表し、辺は $\ell$-アイソゲニーを表す。著者らは「二重」バージョンである $X(r, \ell)$ を考慮する。これは、$SI(r, \ell)$ の有向辺とその逆辺を異なる辺として扱うことで構成される無向グラフである。

この問題は、$X(r, \ell)$ 上の特定の $\mathbf{Z}_p$-塔（$\mathbf{Z}/p^n\mathbf{Z}$-被覆の整合系）に関連するイワサワ $\lambda$-不変量 $\lambda_\ell$ の挙動に焦点を当てている。具体的には、著者らは素数 $r$（モジュラー曲線のレベル）と素数 $p$（塔の標数）を固定し、素数 $\ell$ を無限に多くの素数にわたって変化させる。目的は、$\ell$ が変化するにつれて $\lambda_\ell$ が取る値の統計的分布を決定することである。

手法

1. グラフ理論的イワサワ理論

著者らは、Gonet および Vallières によって開発されたグラフ理論的なイワサワ理論のアナロジーを利用する。グラフ $X$ 上の $\mathbf{Z}_p$-塔に対して、複雑性 $\kappa(X_n)$（$n$ 層の全域木の数）は、十分大きな $n$ に対して以下の漸近式を満たす：
$$\text{ord}_p(\kappa(X_n)) = \mu p^n + \lambda n + \nu$$
ここで、整数 $\mu$ と $\lambda$ はイワサワ不変量である。$\lambda$-不変量は、塔を定義する電圧割り当てと基底グラフの隣接行列から導かれる塔の特性要素 $\Delta(T)$ によって決定される。

2. アイソゲニーグラフのスペクトル特性

超特異アイソゲニーグラフの隣接行列とモジュラー形式との間に重要なリンクが確立される。Eichler に従い、隣接行列 $A(SI(r, \ell))$ の固有値は、レベル $r$ の重さ 2 のモジュラー形式の $\ell$-次フーリエ係数に対応する。具体的には、スペクトルは以下のものから構成される：

• Эйзенシュタイン級数 $\mathcal{E}_2$ に対応する固有値 $\ell+1$。
• 空間 $S_2(\Gamma_0(r))$ 内の新形式 $f$ を走る $a_\ell(f)$。

著者らは、特定の電圧割り当て（$\mathbf{Z}_p$ において前方辺を 1、後方辺を -1 に写す）を用いて、$X(r, \ell)$ 上の「定数 $\mathbf{Z}_p$-塔」を定義する。彼らはこの塔の特性要素 $\Delta_\ell(T)$ の公式を導き、それが隣接行列の固有値に関連する項に因数分解されることを示す。

3. ガロア表現と Big Image 定理

$\ell$ が変化するにつれて $\lambda_\ell$ の分布を解析するために、著者らは項 $\ell+1 - a_\ell(f)$ の $p$-進評価を制御しなければならない。これには、$a_\ell(f)$ の $p$ における分布を理解することが必要である。

本論文は、Lei、Loeffler、および Zerbes によって確立された、新形式に付随するガロア表現に対する「Big Image 定理」を採用する。複素乗法を持たない新形式の集合 $f_1, \dots, f_s$（ガロア軌道の代表元）に対して、それらに関連するガロア表現（および円分指標）の積の像は、有限個の素数 $p$ を除くすべての $p$ に対して「大きい」（本質的に、関連する環上の一般線形群の完全積）である。

4. チェボタレフ密度定理

特性要素のスペクトル分解と Big Image 定理を組み合わせることで、著者らは有限拡大 $K/\mathbf{Q}$ のガロア群の特定の部分集合を構成する。彼らはチェボタレフ密度定理を適用して、フロベニウス元 $\text{Frob}_\ell$ が正の密度を持つ特定の共役類に属することを示す。これらの類は、係数 $a_\ell(f)$ に関する特定の合同条件に対応し、それが $\lambda$-不変量の値を決定する。

主要な貢献と結果

1. $\lambda_\ell$ の明示的公式

著者らは、$X(r, \ell)$ 上の定数 $\mathbf{Z}_p$-塔のイワサワ $\lambda$-不変量に対する明示的公式を導き出す。$r \equiv 1 \pmod{12}$ かつ $\ell \equiv 1 \pmod{p}$ と仮定すると、彼らは以下を証明する：
$$\lambda_\ell = 1 + 2 \sum_{k \in W} |O(k)|$$
ここで、$W$ は新形式軌道のインデックスの部分集合であり、$|O(k)|$ は $k$ 番目の軌道の大きさ（新形式のヘッケ体の次数に等しい）である。項 $1$は Эйзенシュタイン級数成分に由来し、係数$2$ は二重グラフの構造に由来する。

2. 分布定理（主要定理 1.2 / 5.5）

主要な結果は、固定された素数 $r \equiv 1 \pmod{12}$ および有限個の奇素数 $p$ を除くすべての奇素数 $p$ に対して、$\lambda_\ell$ が特定の値を取る素数 $\ell$ の集合が正の下限密度を持つことを述べている。

具体的には、新形式軌道の任意の部分集合 $W \subset \{1, \dots, s\}$ に対して、集合
$$\mathcal{L}_W = \left\{ \ell : \ell \neq r, \ell \equiv 1 \pmod{p}, \lambda_\ell = 1 + 2 \sum_{k \in W} |O(k)| \right\}$$
は正の下限密度を持つ。これは、$1 + 2 \sum |O(k)|$ の形のすべての可能な値が、無限に多くの素数 $\ell$ によって実現されることを意味する。

3. 新形式軌道との関連

本論文は、イワサワ $\lambda$-不変量の可能な値が、レベル $r$ の新形式の算術によって厳密に決定されることを示している。新形式軌道の大きさ（ヘッケ体の次数）は、$\lambda_\ell$ の可能な値を直接決定する。

4. 奇数の実現に関する予想

LMFDB（L-関数とモジュラー形式データベース）からの計算データに基づき、著者らは、様々な $r$ に対して値の集合 $\{1 + 2 \sum_{k \in W} |O(k)|\}$ が多くの奇数をカバーすることを観察する。彼らは予想 5.6を提案する：任意の非負整数 $n$ に対して、ある素数 $r$ と新形式軌道の部分集合が存在し、$n = \sum |O(k)|$ となる。これが真であれば、すべての奇数が、ある DSIG 上の定数 $\mathbf{Z}_p$-塔に対するイワサワ $\lambda$-不変量として実現されることを意味する。

意義と主張

本論文は、4 つの異なる分野間の深い関連性を明らかにすると主張している：

1. グラフ理論：特に、アイソゲニーグラフのスペクトル理論。
2. イワサワ理論：グラフの塔における不変量の研究。
3. 楕円曲線：超特異曲線とそのアイソゲニーの算術。
4. ガロア表現：新形式のフーリエ係数の分布。

著者らは、彼らの仕事が、新形式のガロア表現に対するチェボタレフ密度定理を適用することを通じて、グラフ理論的な設定におけるイワサワ不変量の分布を予測する具体的なメカニズムを提供することを強調している。彼らは、以前の研究（Lei および Müller など）がアイソゲニーグラフの $\mathbf{Z}_p$-塔を研究していたが、本論文は特に「定数」塔を取り扱い、不変量を新形式のガロア軌道に結びつける精密な分布定理を確立したと指摘している。

本論文はその範囲において控えめであり、隣接行列の対称性を保証し、特定の超特異 $j$-不変量（0 と 1728）の欠如を確保するために、主要定理を $r \equiv 1 \pmod{12}$ の場合に制限している。著者らは、この仮定を取り除いて理論を拡張することが、今後の研究の自然な方向性であると示唆しており、それはすべての奇数を $\lambda$-不変量として実現する可能性を秘めている。

また、本論文は、アイソゲニーグラフのヤコビの $p$-シロー部分群の分布に関する Munier および Shnidman による関連する研究にも言及しており、彼らの結果とここで提示されたイワサワ理論的な視点との間の正確な関係を明確にすることが、興味深い未解決問題であると述べている。