Bogomolov property for modular Galois representations with nontrivial nebentypus

ピエトロ・ピラス（Pietro Piras）による論文**「BOGOMOLOV PROPERTY FOR MODULAR GALOIS REPRESENTATIONS WITH NONTRIVIAL NEBENTYPUS」**（非自明なネベントピウスを持つモジュラーガロイス表現に対するボゴモロフ性質）の技術的概要を以下にまとめます。

1. 研究の背景と問題設定

ボゴモロフ性質 (Property (B)) とは
代数体 $\mathbb{Q}$ の部分集合 $A$ が「ボゴモロフ性質」を持つとは、$A$ の元のうち、1 の冪根でないすべての元 $\alpha$ に対して、その（対数）ワイエルシュトラス高 $h(\alpha)$ が、ある正の定数 $C$ によって下方から有界である（$h(\alpha) > C$）ことを意味します。

• 有限次数体は北村の定理により常にこの性質を持ちます。
• 無限次拡大の場合、この性質はレフマー予想（Lehmer's conjecture）の一般化と深く関連しており、特に楕円曲線のねじれ点から生成される体や、モジュラー形式から導かれるガロイス表現の像によって切り出される体における性質が近年研究されています。

既存の成果と課題

• Habegger [Hab13]: $\mathbb{Q}$ 上で定義された楕円曲線 $E$ について、そのねじれ点の座標からなる体 $\mathbb{Q}(E_{\text{tors}})$ がボゴモロフ性質を持つことを証明しました。
• Amoroso & Terracini [AT25]: モジュラー形式 $f \in S_k(\Gamma_0(N))$（重み $k \ge 2$、自明なネベントピウス）に対応するアデールガロイス表現 $\hat{\rho}_f$ によって切り出される体が、ある条件下でボゴモロフ性質を持つことを示しました。

本論文の目的
Amoroso と Terracini の結果を、**非自明なネベントピウス（$\chi \neq 1$）**を持つ正規化された固有形式 $f \in S_k(\Gamma_0(N), \chi)$ に拡張することです。
非自明なネベントピウスが存在する場合、形式の「内側ひねり（inner twists）」の存在がガロイス表現の像の構造を複雑にし、[AT25] の手法を直接適用できなくなるという技術的障壁が存在します。

2. 主要な手法と理論的枠組み

本論文は、ガロイス表現の「$p$ 以外での部分」と「$p$ での部分」を分離して解析し、それらを統合するアプローチをとっています。

2.1. 内側ひねり（Inner Twists）と像の制御

非自明なネベントピウス $\chi$ の場合、自己同型 $\gamma$ に対して $f^\gamma = f \otimes \chi_\gamma$ となるような「内側ひねり」が存在し得ます。

• これらのひねりによって生成されるディリクレ指標の集合 $\Omega$ を考え、これらすべての指標で固定される体 $K$ を導入します。
• $K$ 上では、ネベントピウスが自明化され、ガロイス表現の像がより制御可能になります（Momose, Ribet などの結果に基づく）。
• 係数体の有限次拡大を経て、十分大きな素数 $p$ において表現の像が制御可能であることを示します。

2.2. ADZ 体の導入と合成に関する保存性

• ADZ 体の定義: 数体 $K$ 上のガロイス拡大 $F/K$ において、そのガロイス群の中心 $Z(\text{Gal}(F/K))$ によって固定される体 $F^{Z(G)}$ が、ある素点 $v$ 上で局所次数が有界であるとき、$F$ を $v$ における ADZ 体と呼びます。
• 合成に関する保存性: 従来のボゴモロフ性質は体の合成（compositum）に対して不安定でしたが、本論文は「同じ素点における ADZ 体の合成は再び ADZ 体となる」ことを群論的に証明しました（定理 5.8）。
  • この性質により、ADZ 体はボゴモロフ性質を保持する「よく振る舞う」体のクラスとして再定義されます。
  • 特に、任意のアーベル拡大は ADZ 体であり、ADZ 体とアーベル拡大の合成も ADZ 体（したがってボゴモロフ性質を持つ）となります。

2.3. 表現の分割と統合

証明は以下の 3 つのステップで構成されます。

1. $p$ 以外での表現 ($\rho_f^{(p)}$) の解析:

   • 仮定 $a_p(f)=0$（$p$ におけるフробニウスのトレースが 0）を用いると、$p$ 以外のフробニウス要素の 2 乗がスカラー行列（中心元）となることが示されます。
   • これにより、$p$ 以外での表現によって切り出される体は ADZ 体となり、ボゴモロフ性質を持つことが導かれます（命題 5.9）。

2. $p$ での表現 ($\rho_{f,p}$) の解析:

   • Breuil の分類定理を用いて、$p$ での制限表現が結晶的表現（crystalline representation）$V_{k,0,\omega}$ であることを示します（仮定 $a_p=0$ による）。
   • この表現の構造を詳細に調べ、そのガロイス拡大が「仮定 2（中心元の存在）」と「仮定 3（分岐群の制御）」を満たすことを示します。

3. 統合定理（Merging Theorem）の適用:

   • [AT25] や [ADZ14] の手法を一般化し、$p$ で分岐しないボゴモロフ性質を持つ体 $F$ と、特定の分岐条件を満たす体 $L$ の合成体 $FL$ もボゴモロフ性質を持つことを証明する定理 5.3 を用います。
   • ここでは、「正規閉包補題（Normal Closure Lemma）」（命題 5.19）が鍵となります。これは、$L(p^n)/L(p^{n-1})$ のガロイス群の $K(p^n)/K$ における正規閉包が $K(p^n)/K(p^{n-1})$ 全体であることを示すものです。これにより、$p$ での部分と $p$ 以外の部分が適切に結合され、全体の表現がボゴモロフ性質を持つことが導かれます。

3. 主要な結果

定理 4.3 (Main Theorem):
$f \in S_k(\Gamma_0(N), \chi)$ を重み $k \ge 2$ の正規化された固有形式とし、素数 $p$ が以下の仮定を満たすとする：

• (P0) $p \nmid N$
• (P1) $a_p(f) = 0$
• (P2) 剰余体への射影における像が $SL_2(\mathcal{O}_f/p\mathcal{O}_f)$ を含む。
• (P3) $p \ge 5$, $p \nmid k-1$, $\frac{p+1}{2} \nmid k-1$.

このとき、$f$ に対応するアデールガロイス表現 $\hat{\rho}_f$ によって切り出される体はボゴモロフ性質 (B) を持つ。

補足的な結果:

• ADZ 体の性質: ADZ 体は合成に対して閉じており、その合成体も ADZ 体（したがってボゴモロフ性質を持つ）であることが示された。
• 正規閉包補題: 非自明なネベントピウスを持つ場合でも、適切な条件のもとでガロイス群の構造が制御可能であることを証明した。

4. 意義と貢献

1. 既存結果の一般化:
   Amoroso と Terracini [AT25] の結果を、非自明なネベントピウスを持つモジュラー形式のケースに拡張しました。これにより、楕円曲線（重み 2、自明なネベントピウス）からより一般的なモジュラー形式への理論的橋渡しがなされました。

2. 技術的障壁の克服:
   非自明なネベントピウスによる「内側ひねり」の問題を、係数体の有限次拡大と、ネベントピウスで固定される体 $K$ への制限という戦略で解決しました。これにより、像の制御と分岐構造の解析を可能にしました。

3. ADZ 体の概念の確立と応用:
   非自明なネベントピウスの場合、表現の像が単純な $SL_2$ ではなく、より複雑な構造を持つ可能性があります。この問題を解決するために導入された「ADZ 体」の概念は、ボゴモロフ性質が合成に対して保存される新しいクラスの体を提供し、将来的な研究（例えば、最大アーベル拡大への拡張など）への道を開きました。

4. 具体的な例の構成:
   第 7 章では、Mascot の未発表結果や Diamond の定理を用いて、仮定を満たす具体的なモジュラー形式（特に重み 2 の場合）の例を構成し、理論が実際に適用可能であることを示しました。

結論

本論文は、モジュラー形式から導かれるガロイス表現が切り出す体の算術的性質（ボゴモロフ性質）に関する研究において、非自明なネベントピウスという重要な一般化を達成した画期的な成果です。特に、内側ひねりという複雑な構造を「ADZ 体」という新しい枠組みと群論的な手法（正規閉包補題）によって巧みに処理した点は、数論的ガロイス表現論における重要な進歩と言えます。