Multiplicative $f$-ic forms on algebraic varieties arising from Thaine's generalized Jacobi sums

技術的概要：Thaine の一般化されたジャコビ和に由来する代数多様体上の乗法的 f-ic 形式

問題提起
本論文は、一般化されたジャコビ和の算術的性質と、それらが代数多様体上の乗法的形式として幾何学的に実現されるという、相互に関連する 2 つのテーマに取り組む。

1. 算術的側面: 古典的なジャコビ和とその関連する乗法行列は、素数べき ($p^r$) の文脈においてよく理解されている。しかし、これら構造を異なる素数べきの積 ($p_1 p_2$) に拡張し、古典的設定と一般化された設定の間のギャップを埋める乗法的恒等式を確立することは、依然として課題である。具体的には、著者らは、Thaine の $d$-合成の枠組みを用いて、Davenport と Hasse の持ち上げ定理を素数べきの設定から素数べきの積へと一般化することを試みる。
2. 幾何学的側面: 体上の乗法的二次形式に関する Pfister の理論は古典的であるが、代数多様体上の高次次数 ($f \ge 2$ である $f$-ic 形式) の乗法的形式の構成は、あまり発展していない。本論文は、完全交叉 (complete intersections) 上にそのような形式を構成し、これらの多様体の稠密な開部分集合上に現れる代数群構造（具体的には、代数トーラス）を調査することを目的とする。

手法
著者らは、代数体論、分円論、および代数幾何学の統合を用いる：

• Thaine の枠組み: 本研究は、F. Thaine による一般化されたジャコビ和 $E_p(a, b)$ および $p \in K^\times$ に対する一般化された乗法行列 $H_p$ を利用する。これらの対象は、古典的なジャコビ和と類似する性質を満たすように公理的に定義されるが、一般的な体上で適用可能である。
• $d$-合成: 中心的な道具は、行列に対する Thaine の $d$-合成操作 ($A \overset{d}{*} B$) である。著者らは、この操作が $p_1$ と $p_2$ に関連する一般化されたジャコビ和および乗法行列をどのように結合して、積 $p_1 p_2$ に関連する対象を導き出すかを分析する。
• フーリエ解析: 第 3.3 節において、乗法的恒等式は「ねじれた二重有限フーリエ変換」を通じて解釈され、有限アーベル群上の畳み込み定理を介して分円数とジャコビ和を関連付ける。
• 幾何学的構成: 算術的恒等式は幾何学的操作へと翻訳される。分円拡大における係数の相関和から導かれる超曲面の完全交叉として代数多様体 $V$ を定義することにより、著者らは双線形写像 $\phi_d: V \times V \to V$ を構成する。
• ノルム関係: この構成は、分円拡大 $L/K$ における相対ノルム関係に依存する。具体的には、乗法的形式は中間体 $M$ に対するノルム写像 $N_{L/M}$ から導かれ、多様体の代数構造を係数の体論的性質と結びつける。

主要な貢献と結果

1. 一般化された乗法的恒等式 (定理 1.1):
   著者らは、積 $p_1 p_2$ に対する一般化されたジャコビ和が、$p_1$ と $p_2$ に対する和の $d$-合成を通じて構成可能であることを証明する。具体的には、$E_{p_1}$ と $E_{p_2}$ が一般化されたジャコビ和であるならば、$E_{p_1 p_2, d}(a, b) := -\sigma_{-d}(E_{p_1}(a, b))E_{p_2}(a, b)$ は $p_1 p_2$ に対する一般化されたジャコビ和となる。これは、ジャコビ和が本質的に素数べきに結びついている古典的理論を拡張し、Thaine の一般化された和が積に関して乗法的であることを示す。

2. Davenport-Hasse 持ち上げの拡張 (定理 1.3):
   本論文は、ジャコビ和の持ち上げ (Davenport-Hasse) とガウス周期の乗法行列の持ち上げとの間の等価性を確立する。$(-1)$-合成下での乗法行列の $n$ 重積が、$\mathbb{F}_{p^r}$ から $\mathbb{F}_{p^{nr}}$ へのジャコビ和の持ち上げに対応することを証明する。

3. 乗法的二次形式の構成 (定理 1.4):
   奇素数 $l$ に対して、著者らは $\frac{l-1}{2}-1$ 個の二次曲面の交叉によって定義される代数多様体 $V \subset K^{l-1}$ 上の正則な二次形式 $q(x)$ を構成する。特定の双線形写像 $\phi$ に対して $q(x)q(y) = q(\phi(x, y))$ となることを示し、$q(x)$ が $V$ 上で乗法的であることを実証する。これは、乗法的二次形式に関する Hoshi の先行研究を一般化するものである。

4. 乗法的 $f$-ic 形式の構成 (定理 1.5):
   次数 $f \ge 2$ に一般化し、本論文は、$l = ef + 1$であるとき、次数$f$の$e-1$個の超曲面の完全交叉として定義される多様体$V$上の乗法的$f$-ic 形式 $h(x)$ を構成する。形式 $h(x)$ が、係数の $d$-合成から導かれる合成則に関して正則かつ乗法的であることが示される。

5. 代数トーラス構造 (定理 1.6):
   重要な幾何学的結果として、関連する要素のノルムが非ゼロであるような稠密な開部分集合 $W \subset V$ が、代数 $K$-トーラスとして同定される。合成則 $x \overset{-1}{*} y$ は $W$ 上で可換な群法則に制限され、$W$ を Weil 制限 $R_{L/K}(\mathbb{G}_m)$ のノルム定義部分トーラスに同型させる。これは、Pfister の乗法的二次形式の理論を、トーラス構造を有する多様体上の乗法的 $f$-ic 形式のより広範な文脈に位置づけるものである。

6. ディオファントス解の明示的な持ち上げ (第 4.3 節):
   著者らは、これらの結果を適用し、ジャコビ和に関連するディオファントス方程式系の解の持ち上げのための明示的な数式を提供する。素数べき $p_1, p_2$ に対して、$p_1 p_2$ に対する解は、乗法的形式から導かれる双線形写像を用いて、$p_1$ と $p_2$ に対する解から構成される。これは、$l=3, 5, 7$ に対する既知の結果（例えば、ガウスの『算術研究』や Katre、Rajwade、van Wamelen によって研究された系に関連するもの）を回復し、一般化する。

意義と主張
本論文は、体上の乗法的二次形式の理論 (Pfister の理論) を、アフィン代数多様体上の乗法的 $f$-ic 形式のより広範な設定に位置づけることを主張する。

• 算術的意義: Davenport-Hasse 持ち上げおよびジャコビ和恒等式の範囲を、素数べきから素数べきの積へと拡張し、Thaine の $d$-合成を用いてこれらのケースを統一する。
• 幾何学的意義: ジャコビ和の関係を幾何化することで得られる係数多様体の「可逆部分」が、自然に代数トーラスの構造を有することを示す。これは、これらの多様体上の群法則を介してディオファントス方程式の新たな解を生成するための幾何学的メカニズムを提供する。
• 方法的貢献: 形式的な算術操作（一般化されたジャコビ和）と幾何学的構造（完全交叉上の乗法的形式）の間のギャップを埋め、構成中に現れる代数トーラスが独立した対象ではなく、一般化された関係によって定義される多様体の可逆部分集合であることを示す。

著者らは明示的に、自らの結果が Hoshi [Hos03] によって開始された乗法的形式の研究を、二次の例から高次形式へと拡張し、これらの構成の背後にある群論的構造を明確にすると述べている。彼らは一般的なディオファントス問題を解決することを主張するのではなく、特定の分円的文脈において乗法的形式を構成し、解を持ち上げるための体系的な枠組みを提供するものである。