Köhler's Conjecture on Hecke Theta Series of Weight One

技術的要約：重さ1のヘッケ・テータ級数に関するケーラーの予想

問題提起
本論文は、重さ1のヘッケ・テータ級数に関連付けられた二次体の唯一性に関する根本的な問いに取り組んでいる。定義によれば、このような級数は特定の二次体 $K$ のヘッケ指標から構成される。中心となる問題は、どのような条件下で二次体 $K$ がテータ級数自体によって一意に決定されるかを明らかにすることである。この問いは、テータ級数が異なる二次体の指標によって等価的に表現され得る特定の条件を提示する、ギュンター・ケーラーによる予想（[Köh11, Conjecture 5.5], [Köh18]）に基づいている。

手法
著者である Mahima Kumar と Gabor Wiese は、ケーラーの予想を解決するために表現論的なアプローチを採用している。彼らの手法は、以下の3つの明確な段階で進行する：

1. 群論的簡約： 著者らは、問題を2次元ガロア表現のレベルへと抽象化する。具体的には、有限群 $G$ の指数2の部分群 $H$ から誘導された表現 $\rho$ を分析する。彼らは、そのような表現が、別の指数2の部分群 $H' \subset G$ からも誘導され得る条件を調査する。
2. 明示的な行列実現： 抽象的な存在証明に依存した従来の扱いとは異なり、著者らはこれらの誘導表現の明示的な行列実現を提供する。彼らは、これらの表現の像を分類し、それらが特定の2-群（二面体群 $D_4$、四元数群 $Q_8$、およびモジュラー最大巡回群を含む）であることを特定する。これにより、表現が複数の誘導部分群を許容するかどうかを具体的に決定することが可能となる。
3. 数論への翻訳： アーティン相互律とテータ級数の理論を用いて、著者らは群論的な結果をディリクレ指標と言語、およびヘッケ・テータ級数の言語へと翻訳する。彼らは、ガロア表現における誘導部分群の曖昧さと、テータ級数の定義における基礎となる二次体の曖昧さとの間の対応関係を確立する。

主要な貢献と結果

• 修正された予想の証明： 本論文は、ケーラーの予想のわずかに修正されたバージョン（定理 4.1）を証明している。主要な結果は、以下の記述の等価性を確立することである：

  • (A) 第二の二次体 $K' \neq K$ と指標 $\xi'$ が存在し、$\Theta_1(K, \xi, z) = \Theta_1(K', \xi', z)$ が成立する。
  • (B) 指標 $\xi$ は特定の代数的条件を満たす：すなわち、$\xi$ はノルムを介して $\mathbb{Q}$ の指標から誘導されたものではなく、任意の法（modulus）と互いに素な素イデアル $\mathfrak{p}$ に対して $\xi(\mathfrak{p}) = \pm \xi(\sigma(\mathfrak{p}))$ である（ここで $\sigma$ は $K$ の非自明な自己同型である）。
  • (C) 同じテータ級数を与える2つの異なる二次体 $K', K''$ （$K$ とは異なるもの）が存在する。

• 曖昧さの特性付け： 著者らは、テータ級数が条件 (B) を満たす原始的な指標から生じる場合、それはちょうど3つの異なる二次体に関連付けられることを示している。これは、関連するガロア表現の像が、3つの異なる指数2の部分群を持つ群（例：$D_4, Q_8,$ または特定のモジュラー群）であるという群論的な知見に対応している。

• ローリッヒの分類の精緻化： 命題 2.2 において、著者らは2つの異なる指数2の部分群の指標から誘導される2次元表現の像の明示的な分類を提供している。彼らは [Roh19a] に見られる「準アーベル2-群」のリストを精緻化し、生成元の位数や核の構造に基づいてケースを区別しながら、具体的な行列生成元と提示（presentation）を提供している。

• 非原始的指標に対する反例： 本論文は、予想の等価性が 原始的 な指標に対して厳密に成り立つことを明確にしている。著者らは、非原始的な指標に対して、代数的条件 (B) から（A）の存在への含意が失敗し得ることを示す明示的な反例を構築している。これは、法（modulus）を割り切るが導手（conductor）を割り切らない素数におけるフーリエ係数の振る舞いに起因する。

意義と主張
著者らは、自身の研究が（修正された形式での）ケーラーの予想の完全な証明を提供していると主張しており、それは「三重にインプリミティブ（triply imprimitive）」な表現に関する既知であるがこれまで適用されていなかった群論的事実から導かれている。

• 独立性と明示性： 本論文は、その提示が「三重にモノミアル（triply monomial）」な表現に関する先行研究（例：[Roh19a], [ST18]）から独立していることを強調しており、明示的な行列実現の使用によって区別される。この具体性により、二次体が曖昧になる条件を直接検証することが可能となる。
• 条件の明確化： 本研究は、ケーラーのオリジナルの定式化における「原始的」という仮定の必要性を明確にしている。著者らが、指標の位数に関して必ずしも成立しないことを示した項目を元の予想から取り除くことで、曖昧さの現象に関するより精密で堅牢な記述を提供している。
• モジュラー形式との接続： これらの結果は、二次体の決定における曖昧さが、関連するガロア表現の構造と本質的に結びついていることを裏付けている。具体的には、テータ級数が二次体を一意に決定できないのは、関連するガロア表現が3つの異なる二次体の指標から誘導される（これは表現の像の特定の群論的性質によって特徴付けられる）場合と一致する。

本論文は、ヘッケ・テータ級数の定義における二次体の曖昧さは、2次元既約表現が複数の指数2の部分群から誘導され得るという表現論的な性質の直接的な帰結であると結論付けている。