On $p$-adic Asai $L$-functions of Bianchi modular forms at non-ordinary primes and their decomposition into bounded $p$-adic $L$-functions

この論文は、非通常素数におけるビアンキ・モジュラー形式の $p$ 進アサイ $L$ 関数を構成し、それを有界な $p$ 進 $L$ 関数の線形結合に分解する手法を確立するものである。

要約

🌟 論文のテーマ：「見えない数の地図」を描く

この研究の主人公は、**「Bianchi 形式（ビアンキ形式）」という、複素数と整数が絡み合った不思議な「波」のような数学的な対象です。
この波には、「Asai L-関数」**という、その波の性質を数値で表す「秘密の暗号（L 値）」が隠されています。

数学者たちは、この「秘密の暗号」を、**「p 進数（p-adic numbers）」という、通常の数とは全く異なるルールで動く数の世界に翻訳した「p 進 L 関数」という「新しい地図」**を作ろうとしています。この地図があれば、無限にある数の性質を、一つの式で統一的に理解できるようになります。

🚧 過去の壁と、今回の突破口

1. 過去の成功と限界
これまでに、ある特定の条件（「p 進数で普通の数（正則）」である場合）を満たす波に対しては、この地図を作る方法が確立されていました（Loeffler と Williams という研究者たちによるもの）。
しかし、**「p 進数で少し変な挙動をする（非正則）」**という、より複雑で難しい条件の波に対しては、その方法が通用しないという壁がありました。まるで、平らな道では使えるコンパスが、急な崖では使えなくなってしまうようなものです。

2. 今回の解決策：「多項式」という梯子
著者の M. V. Deo さんは、この壁を乗り越えるために、**「多項式（Polynomials）」**という、数学的な「梯子」や「足場」を新しく作りました。

• 比喩： 以前は、高い壁を越えるには「魔法の杖（特定の条件）」が必要でしたが、Deo さんは「何段もの階段（多項式）」を積み上げて、どんな高さの壁（どんな条件の波）でも登れるようにしました。
• この階段は、**「Asai-Eisenstein 要素」**という、L 関数の性質を反映した特別な「レンガ」を使って作られています。

🔍 研究の 3 つのステップ

この論文は、大きく分けて 3 つのパートで構成されています。

① 地図の作成（非正則な場合の p 進 L 関数の構築）

まず、上記の「階段（多項式）」を使って、複雑な条件（非正則）を持つ波に対しても、その「秘密の暗号（L 値）」を正しく読み取る**「p 進分布（p-adic distribution）」**という地図を作成しました。

• ポイント： この地図は、従来の方法では扱えなかった「変な挙動をする波」に対しても機能します。ただし、この地図は少し「荒々しい（係数が無限に大きくなる）」性質を持っています。

② 地図の分解（有界な分布への分解）

「荒々しい地図」は使いにくいので、これを**「滑らかな地図（有界な p 進 L 関数）」**に分解しました。

• 比喩： 荒れた山道（非正則な場合）を、2 つのきれいな舗装道路（「+」と「-」の符号がついた 2 つの新しい地図）に分けて、それぞれをスムーズに走れるようにしました。
• これには、**「対数行列（Logarithmic matrix）」**という、2 つの地図を繋ぐ「変換器」のような道具を使っています。これにより、複雑な現象を、より扱いやすい 2 つの単純な現象の組み合わせとして理解できるようになりました。

③ 応用（イワサワ主予想への架け橋）

最後に、この新しい地図や道具を使うことで、数論における最大の目標の一つである**「イワサワ主予想（Iwasawa Main Conjecture）」**という、数の世界と幾何学の世界を繋ぐ巨大な橋を架けるための準備が整ったことを示しています。

• これは、単に地図を作っただけでなく、「これからこの地図を使って、より大きな冒険（証明）ができるよ」と宣言する部分です。

🎯 なぜこれが重要なのか？

• 未知の領域の開拓： これまで「非正則」という理由で手が付けられなかった数の世界に、初めて体系的なアプローチが可能になりました。
• 統一性の向上： 以前は条件によって使い分けられていた異なる手法を、一つの枠組みで統合しました。
• 将来への投資： 作成された「地図（p 進 L 関数）」と「道具（対数行列）」は、今後、他の多くの数学的な問題を解くための基礎となるでしょう。

まとめ

一言で言えば、この論文は**「数学の難所だった『非正則な波』の領域に、新しい『階段（多項式）』と『変換器（行列）』を設けて、その先にある『数の秘密（L 値）』を安全に読み取り、整理できるようになった」**という画期的な成果です。

Deo さんは、Loeffler や Williams などの先駆者の研究を土台にしつつ、より困難な状況でも通用する新しい方法を編み出し、数論の地図をさらに広げました。

技術概要

論文の技術的サマリー：非通常の素数におけるビアンキモジュラー形式の p-進アサイ L 関数とその有界 p-進 L 関数への分解

1. 問題設定と背景

本論文は、数論における重要な研究分野である p-進 L 関数の構成と研究に焦点を当てています。特に、虚二次体 $F$ 上のビアンキモジュラー形式 $\Psi$ に関連する**アサイ L 関数（Asai L-function）**の p-進版の構成が主題です。

• 従来の結果: Loeffler と Williams は、$p$-通常（ordinary）なビアンキモジュラー形式に対して、アサイ L 関数の特殊値を補間する p-進測度（p-進 L 関数）の構成を確立していました。彼らの構成は、Euler 系（ベティコホモロジーにおける Asai-Eisenstein 要素）を用いており、p-通常性の仮定のもとで、ある特定の補間性質を満たすことが保証されていました。
• 未解決の課題: $p$ が非通常（non-ordinary）な場合、すなわち $U_p$ 作用素の固有値 $a_p$ が p-進単元ではない（$v_p(a_p) > 0$）場合、Loeffler-Williams の手法は直接適用できません。非通常の場合、補間されるべき値が「有界」ではなく、分母が p-進的に発散する（unbounded denominators）ため、単純な測度としての構成が困難になります。
• 本研究の目的: $p$-非通常かつ「小スロープ（small slope、$0 < v_p(a_p) < k+1$）」を持つビアンキモジュラー形式$\Psi$ に対して、アサイ L 関数の特殊値を補間する p-進分布（p-進 L 関数）を構成し、それを有界な p-進測度の線形結合として分解することです。

2. 手法と主要な構成要素

本研究は、Amice-Vélu、Višik、Perrin-Riou、Büyükboduk-Lei などが開発した「ねじれ（twist）の補間」手法を、Loeffler-Williams の Asai-Eisenstein 要素の枠組みに適用することで、以下のステップで構成を進めます。

2.1. 多項式の構成と補間

非通常の場合、単一の要素（$j=0$ の場合）だけでは補間が不可能であるため、多項式族を用いたアプローチを採用します。

• 多項式 $P_{r,j}(T)$ の定義: 次数が $p^r-1$ の多項式族 $P_{r,j}(T)$ を構成します。これは、ビアンキモジュラー形式 $\Psi$ に対応するモジュラー符号 $\phi^*_\Psi$ と、Loeffler-Williams が構成した Asai-Eisenstein 要素 $\Xi_{p^r, N, a}^{k, j}$ をペアリング（Poincaré 双対性）することで得られます。
• 係数の制御: この多項式は、特定の補間条件（Dirichlet 指標 $\theta$ と整数 $j$ に対する特殊値 $L^{As}(\Psi, \theta, j+1)$）を満たすように設計されます。

2.2. 合同式と Norm 関係の証明

分布を構成する鍵となるのは、これらの多項式が満たす高度な合同式と Norm 関係です。

• 新しい合同式（Lemma 5.7, 6.1）: Asai-Eisenstein 要素の性質を詳細に解析し、新しい合同式を証明しました。具体的には、Asai-Eisenstein 要素の「モーメント（moment）」と、Clebsch-Gordan 写像を用いた操作によって、多項式の係数が $p$-進的にどのように振る舞うかを制御します。
• 技術的革新: Loeffler-Zerbes や Loeffler-Williams の手法を、Betti コホモロジーの文脈で拡張し、混合レベル（mixed level）の局所対称空間 $Y^*_F(m, mN)$ におけるコホモロジー要素の解析を行いました。

2.3. p-進分布の構成（Theorem A）

上記の多項式族の極限として、p-進分布を構成します。

• 分布空間 $H_{E, v_p(a_p)}(\Gamma)$: 構成された分布は、通常の Iwasawa 代数（有界測度）ではなく、係数が有界でない分布空間（growth condition を満たす空間）に属します。
• 補間性質: 得られた分布 $cL^{As}_p(\Psi)$ は、任意の Dirichlet 指標 $\theta$ と整数 $j$ に対して、アサイ L 関数の特殊値 $L^{As}(\Psi, \theta, j+1)$ を補間します。
  $$cL^{As}_p(\Psi)(\chi^j \theta) \sim L^{As}(\Psi, \theta, j+1)$$
  ここで、$v_p(a_p)$ がスロープ（growth rate）を決定します。

2.4. 有界 p-進 L 関数への分解（Theorem B）

構成された分布は係数が発散しますが、これを「符号付き（signed）」の有界 p-進 L 関数（測度）に分解します。

• 対数行列（Logarithmic Matrix）の適用: 著者が以前に開発した対数行列 $\tilde{M}$ の手法を用います。これは、p-進 Hodge 理論の性質（Wach モジュール）に基づき、発散する分布を有界な測度の線形結合として表現する変換行列です。
• 分解: $p$ が $F$ で分裂する場合（$p\mathcal{O}_F = \mathfrak{p}\bar{\mathfrak{p}}$）に、$p$-安定化された形式 $\Psi_{\tilde{\alpha}}, \Psi_{\tilde{\beta}}$ に対応する分布を、2 つの有界 p-進 L 関数 $L^{As, \sharp}_p, L^{As, \flat}_p$ と対数行列 $\tilde{M}$ を用いて以下のように分解します。
  $$\begin{pmatrix} cL^{As}_p(\Psi_{\tilde{\alpha}}) \\ cL^{As}_p(\Psi_{\tilde{\beta}}) \end{pmatrix} = \tilde{Q}^{-1} \tilde{M} \begin{pmatrix} L^{As, \sharp}_p \\ L^{As, \flat}_p \end{pmatrix}$$
  この分解により、従来の「有界」な枠組みでの Iwasawa 主予想の定式化が可能になります。

3. 主要な結果

1. 非通常アサイ L 関数の構成（Theorem A）:
   $p$-非通常かつ小スロープのビアンキモジュラー形式 $\Psi$ に対して、アサイ L 関数の特殊値を補間する p-進分布 $cL^{As}_p(\Psi)$ を構成しました。これは Loeffler-Williams の結果を非通常ケースへ一般化したものです。

2. 有界測度への分解（Theorem B）:
   構成された分布（係数発散）を、Pollack, Sprung, Lei-Loeffler-Zerbes の手法を拡張した「対数行列」を用いて、2 つの有界 p-進 L 関数（測度）の線形結合として表現することに成功しました。これにより、非通常の場合でも Iwasawa 主予想の定式化が可能な枠組みが整いました。

3. 新しい合同式とコホモロジー的解析:
   Asai-Eisenstein 要素に関する新しい合同式（Lemma 5.7, 6.1）を証明し、Betti コホモロジーにおける Euler 系の類似物の性質を詳細に解明しました。

4. 意義と今後の展望

• 理論的進展: 本研究は、p-進 L 関数の構成において「非通常」なケースをビアンキモジュラー形式（3 次元多様体上の形式）の文脈で初めて体系的に扱った重要な成果です。Loeffler-Williams の成果を、p-通常性の仮定なしに拡張しました。
• Iwasawa 理論への応用: 構成された分布やその分解は、Harron-Pottharst 型の Iwasawa 主予想（分布空間上の主予想）や、符号付き Iwasawa 主予想の定式化・証明への道を開きます。特に、非通常の場合の Selmer 群と L 関数の関係を解明する上で不可欠なツールとなります。
• 手法の一般化: 本研究で用いられた「多項式によるねじれ補間」と「対数行列による分解」の手法は、他のモジュラー形式や高次元のモジュラー多様体における p-進 L 関数の構成にも応用可能な汎用性を持っています。

総じて、本論文は p-進数論、特に非通常なモジュラー形式の Iwasawa 理論における重要な一歩であり、複雑な p-進分布を扱いやすい有界測度に還元する強力な枠組みを提供しています。