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

技术摘要：源于 Thaine 广义雅可比和的代数簇上的乘性 f-ic 形式

问题陈述
本文探讨两个相互关联的主题：广义雅可比和的算术性质，及其作为代数簇上乘性形式的几何实现。

1. 算术方面：经典雅可比和及其相关的乘法矩阵在素数幂（$p^r$）背景下已得到充分理解。然而，将这些结构推广到不同素数幂的乘积（$p_1 p_2$），并建立连接经典情形与广义情形的乘性恒等式，仍是一项挑战。具体而言，作者旨在利用 Thaine 的$d$-合成框架，将 Davenport 和 Hasse 的提升定理从素数幂情形推广至素数幂的乘积情形。
2. 几何方面：虽然 Pfister 关于域上乘性二次型的理论是经典的，但在代数簇上构造高次（$f$-ic 形式，其中$f \ge 2$）乘性形式的工作尚不充分。本文旨在在完全交上构造此类形式，并研究在这些簇的稠密开子集上出现的代数群结构（具体而言，是代数环面）。

方法论
作者采用了代数数论、分圆理论和代数几何的综合方法：

• 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$中的相对范数关系。具体而言，乘性形式源自范数映射$N_{L/M}$，其中$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$，作者在代数簇$V \subset K^{l-1}$上构造了一个正则二次型$q(x)$，该簇由$\frac{l-1}{2}-1$个二次超曲面的交定义。作者证明了$q(x)$在$V$上是乘性的，即对于特定的双线性映射$\phi$，有$q(x)q(y) = q(\phi(x, y))$。这推广了 Hoshi 关于乘性二次型的早期工作。

4. 乘性$f$-ic 形式的构造（定理 1.5）：
   推广到次数$f \ge 2$，本文在定义为$e-1$个$f$次超曲面完全交的簇$V$上（其中$l = ef + 1$）构造了乘性$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 形式的更广泛背景下。

• 算术意义：它利用 Thaine 的$d$-合成统一了这些情形，将 Davenport-Hasse 提升和雅可比和恒等式的适用范围从素数幂扩展到了素数幂的乘积。
• 几何意义：它表明，通过将雅可比和关系几何化而获得的系数簇的“可逆部分”自然地承载了代数环面的结构。这提供了一种几何机制，通过在这些簇上的群律生成丢番图方程的新解。
• 方法论贡献：这项工作弥合了形式算术运算（广义雅可比和）与几何结构（完全交上的乘性形式）之间的鸿沟，表明构造中出现的代数环面并非独立对象，而是由广义关系定义的簇的可逆轨迹。

作者明确指出，他们的结果将 Hoshi [Hos03] 发起的乘性形式研究从二次型示例扩展到了高次形式，并阐明了这些构造背后的群论结构。他们并未声称解决一般的丢番图问题，而是提供了一个系统框架，用于在特定的分圆背景下构造乘性形式并提升解。