Iwasawa invariants of Bertolini--Darmon Theta Elements

技術的概要：Bertolini–Darmon 円周要素の Iwasawa 不変量

問題設定
本論文は、虚二次体 $K$ の反円周 $\mathbb{Z}_p$ 拡大において、重さ 2 のモジュラー形式 $f \in S_2(\Gamma_0(N))$ に付随する Bertolini–Darmon 円周要素の Iwasawa 不変量（$\mu$ および $\lambda$）を調査する。本研究は、素数 $p \geq 5$ における 2 つの異なる縮小シナリオ、すなわち通常のケースと非通常のケースを扱う。

この研究は、円周設定（特に Pollack–Weston および Leonard–Lei の結果）で既知の結果を、反円周設定へ拡張することを目的としている。円周の文脈では、Mazur-Tate 要素の Iwasawa 不変量が $p$ 進 $L$ 関数の不変量と関連することが知られている。本論文は、Bertolini–Darmon 円周要素（$L_{f,n}$）および関連する反円周 $p$ 進 $L$ 関数（$L_p(f, K_\infty)$ または $L_p(f, K)^\ast$）に対して、同様の関係を確立しようとするものである。

方法論
著者らは、代数的 Iwasawa 理論と、確定四元数代数上のモジュラー形式の算術を組み合わせて用いる。

1. 設定と定義:

   • 著者らは、$K$ において分岐しない素数 $p$ を持つ虚二次体 $K$ を固定する。レベル $N$ は $N = N^+ N^-$ と分解され、$N^+$ を割る素数は $K$ で分裂し、$N^-$ を割る素数は不変である。$N^-$ は平方因子を持たず、奇数個の素数の積であると仮定される。
   • Bertolini–Darmon 円周要素 $L_{f,n} \in \mathcal{O}[Gal(K_n/K)]$ は、Jacquet–Langlands 対応を通じて定義され、モジュラー形式 $f$ を判別式 $N^-$ の確定四元数代数に関連する Bruhat–Tits 木上の関数と同一視する。
   • これらの要素は、Hecke 固有値 $a_p(f)$ とノルム写像を含む 3 項漸化式を満たす。

2. 通常のケース:

   • $f$ が $p$ において通常のとき、著者らは $p$ 安定化された円周要素（$L_{f\alpha, n}$）を用いて、反円周 $p$ 進 $L$ 関数 $L_p(f/K_\infty)$ を射影極限として定義する。
   • 彼らは、Iwasawa 代数 $\Lambda \cong \mathcal{O}[[T]]$ の性質および射影とノルム写像下での $\mu$ と $\lambda$ の挙動に関する特定の補題を用いて、有限レベルの要素 $L_{f,n}$ の不変量と無限レベルの $L$ 関数の不変量の間の関係を解析する。

3. 非通常のケース:

   • この設定では、著者らは $p$ が $K$ で分裂すると仮定する。彼らは、円周要素を積分 $\sharp/\flat$ $p$ 進 $L$ 関数（$L_p^\sharp(f, K_\infty)$ および $L_p^\flat(f, K_\infty)$）に関連付けるために、「Sprung 型」対数行列（$M_{f,n}$）を構成する。
   • 重要な技術的ステップは、$\sharp/\flat$ $L$ 関数の観点から、$\omega_n$（ただし $\omega_n = (1+T)^{p^n}-1$）を法とする円周要素の合同性を解析することである。これにより、著者らは $L_{f,n}$ を円周多項式因子（$\omega_n^\pm$）と $L$ 関数要素の積として表現できる。
   • 著者らは、$a_p(f) = 0$ か $a_p(f) \not\equiv 0 \pmod{\varpi}$ かによってケースを区別し、非通常設定において $a_p(f) \equiv 0 \pmod{\varpi}$ であるという事実を利用して行列関係を簡略化する。

主要な貢献と結果

• 通常のケース（定理 A / 定理 4.1）:
  著者らは、反円周設定に対する Pollack–Weston の結果のアナログを証明する。$f$ が良い通常の縮小を持ち、かつ $\mu(L_p(f/K_\infty)) = 0$ と仮定すると、十分大きな $n$ に対して以下が成り立つ：

  1. $\mu(L_{f,n}) = 0$。
  2. $2\lambda(L_{f,n}) = \lambda(L_p(f/K_\infty))$。
     これは、円周要素の $\lambda$ 不変量が $p$ 進 $L$ 関数のそれのちょうど半分であり、$L$ 関数の $\mu$ 不変量が消滅する場合、$\mu$ 不変量も消滅することを確認するものである。

• 非通常のケース（定理 B / 定理 5.10）:
  著者らは、Leonard–Lei の結果を反円周設定へ拡張する。$p$ が $K$ で分裂し、かつ $\mu(L_p^\sharp) = \mu(L_p^\flat) \neq \infty$ と仮定すると、$L_{f,n}$ の不変量を $\sharp/\flat$ $L$ 関数（$L_p(f, K)^\ast$）の不変量に関連付ける。
  十分大きな $n$（$n$ の偶奇が $\sharp$ ブランチか $\flat$ ブランチかを決定する）において：

  1. $\mu(L_p(f, K)^\ast) = 2\mu(L_{f,n})$。
  2. $\lambda(L_p(f, K)^\ast) = 2\lambda(L_{f,n}) = 2\lambda(L^\ast_f) + 2q_n$。
     ここで、$q_n$ は $n$ の偶奇に依存する $p$ の特定の多項式である（例えば、$n$ が偶数の場合 $p^{n-1} - p^{n-2} + \dots - 1$ など）。

意義と主張
本論文は、Pollack–Weston および Leonard–Lei の既知の円周結果を、虚二次体の反円周拡大へ成功裏に一般化したと主張している。有限レベルの Bertolini–Darmon 円周要素の Iwasawa 不変量を対応する $p$ 進 $L$ 関数の不変量に結びつける正確な数式を確立することにより、この研究は非通常ケースにおけるこれらの要素の算術的性質に対する理解を深めている。

著者らは、証明戦略が Sprung 型行列を用いて円周要素を $\sharp/\flat$ $L$ 関数で表現することに基づいており、それによって $L$ 関数から円周要素へ不変量の性質を転移させることを可能にしていると指摘している。

将来の方向性
著者らは明示的に、$p$ が $K$ で不変である場合の定理 B のアナログは現在進行中の作業であり、本論文では扱われていないと述べている。