Twisted triple product root numbers and a cycle of Darmon-Rotger

技術的要約：「ねじれられた三重複積根数とダルモン–ロジェのサイクル」

問題提起
本論文は、素数レベル $p$ のモジュラー曲線 $X_0(p)$ の三重複積上に定義された特定の代数サイクル、すなわちダルモン–ロジェ（Darmon–Rotger）サイクルに関する算術的性質を調査するものである。このサイクルは、ルジャンドル記号 $\chi$ を用いた二次拡大 $K = \mathbb{Q}(\sqrt{\chi(-1)p})$ 上に構成される。中心となる問題は、このサイクルのホモロジー的および有理的同値性の性質を決定すること、および、このサイクルの非自明性を、ねじれられた三重複積 $L$ 関数 $L(f_1 \otimes f_2 \otimes f_3 \otimes \chi, s)$ の解析的挙動に関連付けることである。ここで、$f_1, f_2, f_3$ は重さ2、レベル $\Gamma_0(p)$ の正規化されたカスピダル固有形式である。具体的には、著者は、この $L$ 関数の大域的根数が $-1$ であることを検証しようとしている。これは、ベイリンソン–ブロッホ–カトー（Beilinson–Bloch–Kato）予想およびグロス–ザギエ（Gross–Zagier）哲学の下で、当該サイクルが非捩れであることを示唆するものである。

手法
本論文は、代数幾何学、モジュラー曲線の理論、およびヴェイル–ドゥルテ（Weil–Deligne）群の表現論を組み合わせた手法を用いている。

1. 幾何学的構成: 著者は、ダルモン–ロジェ・サイクル $\Xi = \Delta_+ - \Delta_-$ の代替的な記述として、フルレベル $p$ のモジュラー曲線 $X(p)$ から $X_0(p)^3$ への特定の写像の像の差を提供している。この記述は、全レベル $p$ 構造とヴェイル・ペアリング（Weil pairing）を伴う楕円曲線を用いる $X(p)$ のモジュライ解釈を利用している。これらのサイクルに対する対称群 $S_3$ およびガロア群 $\text{Gal}(K/\mathbb{Q})$ の作用を分析し、それらの不変性を決定している。
2. ホモロジー的自明性: サイクルが零ホモロジーであることを証明するために、著者はグロス–シェーン（Gross–Schoen）射影器 $P_{GKS}(e)$ を用いる。サイクルがこの射影器の下で不変であること（この射影器はある種のコホモロジー群を消滅させる）を示すことにより、本論文は、サイクルがチョー群（Chow group）の零ホモロジー部分に含まれることを確立している。ド・ラム（de Rham）サイクル類写像を用いた代替的な証明もスケッチされている。
3. 根数の計算: ねじれられた三重複積 $L$ 関数 $F \otimes \chi$ のための大域的根数 $W(F, \chi)$ の計算は、イプシロン因子の局所・大域原理に基づいている。著者は、関連する8次元のヴェイル–ドゥルテ表現 $F \otimes \chi$ を分析することで、素数 $p$ におけるイプシロン因子を計算している。これには、表現を特殊な表現（$sp(2)$）と指標のテンソル積へと分解するプロセスが含まれ、ガウス和の性質とねじれ指標$\chi$ の導手（conductor）を用いて、イプシロン因子を明示的に計算している。

主要な貢献と結果

• ダルモン–ロジェ・サイクル: 本論文は、ダルモン–ロジェ・サイクル $\Xi = \Delta_+ - \Delta_-$ が零ホモロジーであることを証明している。また、$\Xi$ が $\text{CH}^2(X_0(p)^3_K)^{\tau=-1}_0$ の元を定義することを確立している。$\Xi$ に対する対称群 $S_3$ の作用は次のように決定される：$p \equiv 1 \pmod 4$ の場合、$S_3$ は $\Xi$ を固定し、$p \equiv 3 \pmod 4$ の場合、$S_3$ は符号表現を通じて $\Xi$ に作用する。
• 大域的根数: 主要な解析的結果は定理 1.2であり、これはねじれられた三重複積 $L$ 関数 $L(F, \chi, s)$ の大域的根数が $-1$であることを述べている。その結果、$L$関数はその中心臨界点$s=2$ において奇数次の消失を持つ。
  • 証明は、素数 $p$ における局所根数が $1$であり、無限遠点における根数が$-1$ であることを示すことに依拠している。
  • （グロス–クドラが研究した）未ねじれのケースとの極めて重要な技術的相違点は、ねじれられたヴェイル–ドゥルテ表現のイプシロン因子が、元のヴェイル表現のイプシロン因子に等しいことであり、これにより異なる導手と根数の計算が導かれる点である。
• 導手の計算: 本論文は、ねじれられた表現の導手を $\text{cond}(F, \chi) = p^8$ と明示的に計算している。

意義と主張
本論文は、その結果をベイリンソン–ブロッホ–カトー予想およびグロス–ザギエ哲学の枠組みの中に位置付けている。

• $L$ 値との関連: 根数が $-1$であるため、$L$関数の$s=2$ における消失次数は少なくとも1である。ベイリンソン–ブロッホ–カトー予想の下では、これは関連するセレー群（Selmer group）（したがってチョー群）の次元が少なくとも1であることを意味する。
• 非捩れに関する推測: 著者は、根数が、ダルモン–ロジェ・サイクル $\Xi$ が非捩れであること（具体的には、消失次数がちょうど1であれば $t_F \Xi \neq 0$ であること）を示唆しているものの、本論文はこの非捩れ性の証明を提供していないことを指摘している。著者は「我々は現在、これの証明を持っていない」と明言している。
• 修正対角サイクルとの比較: 本論文は、ダルモン–ロジェ・サイクルを、グロス–クドラおよびグロス–シェーンによって研究された修正対角サイクル $\Delta_{GKS}(e)$ と対比させている。修正対角サイクルは、零ホモロジーになるために基点と射影器の選択を必要とするのに対し、ダルモン–ロジェ・サイクルは、そのような選択なしに標準的に定義される。著者は、もし未ねじれおよびねじれられた両方の $L$ 関数が消失次数1を持つならば、チョー群はこれら2つの異なるサイクルによって生成される直和へと分解される可能性があると推測しているが、これはあくまで「純粋な推測」である。

要約すれば、本論文はダルモン–ロジェ・サイクルの幾何学的性質と、関連するねじれられた $L$ 関数の解析的性質を厳密に確立しており、根数を通じて、当該サイクルの潜在的な算術的重要性のための強力な理論的証拠（根数によるもの）を提供している。同時に、チョー群におけるその非自明性の証明が依然として未解決の問題であることを認めている。