2025-11-23T07:07:16.456108

Universal quadratic forms and Dedekind zeta functions

Kala, Melistas
We study universal quadratic forms over totally real number fields using Dedekind zeta functions. In particular, we prove an explicit upper bound for the rank of universal quadratic forms over a given number field $K$, under the assumption that the codifferent of $K$ is generated by a totally positive element. Motivated by a possible path to remove that assumption, we also investigate the smallest number of generators for the positive part of ideals in totally real numbers fields.
academic

Universal quadratic forms and Dedekind zeta functions

基本信息

  • 论文ID: 2311.12911
  • 标题: Universal quadratic forms and Dedekind zeta functions
  • 作者: Vítězslav Kala, Mentzelos Melistas
  • 分类: math.NT (Number Theory)
  • 发表时间: November 21, 2023
  • 论文链接: https://arxiv.org/abs/2311.12911
  • 资助: Czech Science Foundation (GAČR) grant 21-00420M

摘要

本文利用Dedekind zeta函数研究全实数域上的泛二次型（universal quadratic forms）。特别地，在codifferent由全正元素生成的假设下，证明了给定数域K上泛二次型秩的显式上界。为了移除该假设，作者还研究了全实数域中理想正部分的最小生成元数量问题。

研究背景与动机

研究问题

泛二次型是指能够表示所有自然数的正定二次型。本文研究的核心问题是：在全实数域K上，泛二次型至少需要多少个变量（即秩的下界是多少）？

问题重要性

  1. 历史悠久：泛二次型研究涉及Diophantus、Fermat、Euler、Gauss等数学家的工作，现代重要成果包括Conway-Schneeberger定理（15-定理）和Bhargava-Hanke的290-定理。
  2. 自然推广：将整数环Z推广到全实数域K的整数环O_K是自然的数论问题。
  3. 已知结果：
    • Maaß (1941)：三平方和在Q(√5)上是泛的
    • Siegel (1945)：若任意多个平方和在K上泛，则K=Q或Q(√5)
    • Hsia-Kitaoka-Kneser：每个数域上都存在泛二次型
    • Blomer-Kala：给定正数N，存在实二次域使得任何泛二次型的秩至少为N

现有方法局限性

虽然已知泛二次型存在，但找到给定数域上泛二次型所需的最小变量数仍是开放且困难的问题。现有方法缺乏对特定数域的精确刻画。

研究动机

  1. 利用Dedekind zeta函数提取关于泛二次型秩的更精确信息
  2. 推广Yatsyna和Kala-Yatsyna的技术
  3. 探索移除"codifferent由全正元素生成"这一技术假设的可能路径

核心贡献

  1. 定理1.1（主要结果）：在codifferent O^∨_K由全正元素δ生成的假设下，给出了泛二次型秩R的显式下界，该下界依赖于判别式Δ_K和度数d。
  2. 定理1.2（有限性结果）：对于给定的度数d和秩R，只有有限多个全实数域（其codifferent由全正元素生成）上存在秩为R的泛二次型，推广了Yatsyna的定理4。
  3. 定理2.4（提升问题）：对于度数d≤43的数域，当O^∨_K是主理想且满足特定条件时，给出了判别式的显式上界。
  4. 理想正部分生成元研究：
    • 定义了κ(I)和κ(K)来刻画理想正部分所需的最小生成元数量
    • 证明了κ(K)的有限性（定理3.6）
    • 对实二次域给出了与连分数相关的显式界（命题3.9）

方法详解

任务定义

输入：全实数域K，度数d，判别式Δ_K，泛二次型Q的秩R 输出：R必须满足的下界不等式 约束：K的codifferent O^∨_K = (δ)，其中δ全正

核心技术框架

1. Siegel公式的应用

Siegel公式（定理2.2）建立了Dedekind zeta函数特殊值与算术量的联系：

ζK(−1)=2d∑ℓ=1rdbℓ(2d)sℓK(2)\zeta_K(-1) = 2^d \sum_{\ell=1}^{r_d} b_\ell(2d) s_\ell^K(2)

其中：

  • rd=⌊d/6⌋r_d = \lfloor d/6 \rfloor (当d≡1 mod 6) 或 ⌊d/6⌋+1\lfloor d/6 \rfloor + 1 (否则)
  • sℓK(2)=∑γ∈OK∨,+,Tr(γ)=ℓσ((γ)(OK∨)−1)s_\ell^K(2) = \sum_{\gamma \in O^{\vee,+}_K, \text{Tr}(\gamma)=\ell} \sigma((\gamma)(O^{\vee}_K)^{-1})
  • bℓ(2d)b_\ell(2d)是只依赖于d的有理数

2. 函数方程

利用Dedekind zeta函数的函数方程： ζK(−1)=(−1)d∣ΔK∣3/2(14π)dζK(2)\zeta_K(-1) = (-1)^d |\Delta_K|^{3/2} \left(\frac{1}{4\pi}\right)^d \zeta_K(2)

3. 短向量计数

使用Regev-Stephens-Davidowitz定理（定理2.1）：对于秩为R的正定Z-格L，范数≤i的向量数量满足： N≤i(L)≤C(R,i)=2(R+4i−14i−1)−1N_{\leq i}(L) \leq C(R,i) = 2\binom{R+4i-1}{4i-1} - 1

4. 关键引理（引理2.3）

在O^∨_K = (δ)的假设下，对于γ ∈ O^∨,+_K且Tr(γ) = ℓ，有： σ((γ)(OK∨)−1)≤g(ℓ,ΔK)\sigma((\gamma)(O^{\vee}_K)^{-1}) \leq g(\ell, \Delta_K)

其中g(ℓ,ΔK)g(\ell, \Delta_K)涉及Robin关于除数函数的上界。

证明策略（定理1.1）

  1. 构造Z-格：给定O_K的整基ω_1,...,ω_d，构造秩为Rd的二次型： q(x11,...,xRd)=Tr(δQ(x11ω1+⋯+xRdωd))q(x_{11},...,x_{Rd}) = \text{Tr}(\delta Q(x_{11}\omega_1 + \cdots + x_{Rd}\omega_d))
  2. 短向量估计：
    • 由泛性，q表示所有O^∨,+_K中迹≤r_d的元素
    • 应用定理2.1得到短向量数量上界
  3. 建立不等式链： C(Rd,rd)≥#{γ∈OK+,∨:Tr(γ)≤rd}C(Rd, r_d) \geq \#\{\gamma \in O^{+,\vee}_K : \text{Tr}(\gamma) \leq r_d\}
  4. 利用Siegel公式：通过引理2.3和Siegel公式，将右边与ζ_K(-1)联系起来
  5. 应用函数方程：最终得到涉及判别式和ζ_K(2)的显式不等式

技术创新点

  1. 推广Kala-Yatsyna技术：将9, Theorem 5.1的证明技术推广到更一般的情形
  2. 精细的短向量分析：巧妙结合格理论中的短向量计数与数域算术
  3. 理想正部分的系统研究：
    • 引入I-不可分解元（I-indecomposables）概念
    • 定义κ(I)和κ(K)量化生成元数量
    • 利用窄类群证明有限性
  4. 连分数方法：对实二次域，利用连分数展开给出κ(I)的显式界（命题3.9）

实验设置

数据集

本文是纯理论数学论文，不涉及传统意义上的实验和数据集。

计算验证

文中提供了具体例子：

  • 例3.7：Q(√2)的窄类数为1，因此κ(Q(√2)) = 1
  • 例3.10：详细计算证明κ(Q(√3)) = 2

数学工具

  • LMFDB数据库：用于查询数域的基本不变量（类数、基本单位等）
  • 连分数展开：用于实二次域的计算

实验结果

主要理论结果

定理1.1的显式不等式

对于秩为R的泛二次型： 2(Rd+4rd−14rd−1)−1>G(ΔK)B(d)2d∣ΔK∣3/2(14π)d2\binom{Rd + 4r_d - 1}{4r_d - 1} - 1 > \frac{G(\Delta_K)}{B(d)2^d} |\Delta_K|^{3/2} \left(\frac{1}{4\pi}\right)^d

其中：

  • G(ΔK)=min⁡{1/g(ℓ,ΔK):ℓ≤rd}G(\Delta_K) = \min\{1/g(\ell, \Delta_K) : \ell \leq r_d\}
  • B(d)B(d)涉及Siegel公式中的系数bℓ(2d)b_\ell(2d)

意义：右边随|Δ_K|增长，因此判别式越大，所需秩R越大。

定理1.2的有限性

对固定的d和R，满足条件的数域只有有限多个。

证明思路：

  • 由定理1.1，判别式有上界
  • 应用Hermite-Minkowski定理：给定度数和判别式上界，只有有限多个数域

定理2.4的判别式界

对于d≤43且满足特定条件的数域，若存在泛Z-型： ∣ΔK∣<∣brd(2d)(4π2)dd∣2/3|\Delta_K| < |b_{r_d}(2d)(4\pi^2)^{dd}|^{2/3}

理想正部分生成元结果

命题3.5和定理3.6

  • 任何理想I的κ(I)有限
  • κ(K) = max_I κ(I)有限（利用窄类群有限性）

命题3.9（实二次域）

对于K = Q(√D)，设ξ_D = u_0, u_1,..., u_s是连分数展开，则：

u_1 + u_2 + \cdots + u_s & \text{若s奇} \\ u_1 + u_3 + \cdots + u_{s-1} & \text{若s偶且α'>0} \\ u_2 + u_4 + \cdots + u_s & \text{若s偶且α'<0} \end{cases}$$ **观察**： - u_s ≫ √D，因此界随√D增长 - 但对窄类数为1的数域（猜测有无穷多个），κ(K) = 1 - 这表明命题3.9的界可能对许多D很差 ### 具体计算案例 #### Q(√3)的详细分析（例3.10） 1. 类群平凡，基本单位2+√3有正范数 2. 连分数√3 = [1,1,2] 3. 证明κ(Q(√3)) = 2： - 上界：由命题3.9得κ(I) ≤ 2 - 下界：构造性证明若κ(I) = 1会导致矛盾 ## 相关工作 ### 历史背景 1. **经典结果**： - Conway-Schneeberger 15-定理 - Bhargava-Hanke 290-定理 - Maaß (1941)和Siegel (1945)关于Q(√5)的工作 2. **现代发展**： - Hsia-Kitaoka-Kneser：泛二次型存在性 - Blomer-Kala [3,7]：秩的下界可任意大 ### 直接相关工作 1. **Yatsyna [21]**：使用Dedekind zeta函数研究泛二次型秩，本文定理1.2推广了其定理4 2. **Kala-Yatsyna [9]**： - 提升问题（lifting problem）的研究 - 本文定理2.4推广了[9, Theorem 5.1] - 本文方法改编自[9, Proof of Theorem 5.1] 3. **Kala-Yatsyna [10]**： - 关于Kitaoka猜想和提升问题 - 本文命题3.1改编自[10, Theorem 5] ### 技术工具 1. **Regev-Stephens-Davidowitz [18]**：短向量计数的逆Minkowski定理 2. **Robin [19]**：除数函数的上界 3. **Siegel [22], Zagier [22]**：Siegel公式和zeta函数特殊值 ### 不可分解元相关 1. **Dress-Scharlau [4]**：实二次序中的不可分解全正数 2. **Kala [8]**：不可分解元与二次型的综述 3. **Fukshansky-Wang [5]**：格和全实数域中的正半群 ## 结论与讨论 ### 主要结论 1. **理论贡献**：在codifferent主理想假设下，建立了泛二次型秩与判别式的显式关系 2. **有限性结果**：对固定秩和度数，满足条件的数域只有有限多个 3. **新研究方向**：系统研究理想正部分的生成元问题，引入κ(I)和κ(K)不变量 ### 局限性 1. **技术假设**：定理1.1要求O^∨_K由全正元素生成，这是限制性条件 - 作者意识到这一局限 - 第3节的研究正是为移除此假设做准备 2. **实二次域的界**：命题3.9给出的界随√D增长，可能不够紧 - 作者承认"确定κ(K)的正确量级似乎很困难" - 对窄类数为1的数域，界可能很差 3. **度数限制**：定理2.4仅适用于d≤43 4. **计算复杂性**： - B(d)的计算涉及Siegel公式的系数b_ℓ(2d) - G(Δ_K)的计算涉及Robin界 - 实际应用可能需要大量计算 ### 未来方向 1. **移除主理想假设**： - 作者提出直接和方法：考虑Tr(δ_1Q) + ... + Tr(δ_nQ) - 需要证明n只依赖于度数d - 这正是研究κ(K)的动机 2. **改进实二次域的界**： - 可能建立非主理想的连分数理论 - 寻找κ(K)的正确量级 3. **扩展到更高度数**：移除d≤43的限制 4. **计算方面**： - 开发计算B(d), G(Δ_K)的有效算法 - 对具体数域给出数值结果 ## 深度评价 ### 优点 1. **方法创新性**： - 巧妙结合Dedekind zeta函数、Siegel公式、格理论和短向量计数 - 改编和推广Kala-Yatsyna的技术到更一般情形 - 引入I-不可分解元和κ不变量，开辟新研究方向 2. **理论深度**： - 证明严谨，技术细节扎实 - 多个领域（代数数论、二次型、格理论）的深度融合 - 引理2.3巧妙利用Robin的除数函数界 3. **结果重要性**： - 定理1.2的有限性结果有概念价值 - 为泛二次型的秩提供可计算的显式界 - κ(K)的研究可能独立有趣 4. **写作清晰度**： - 结构清晰，动机阐述充分 - 提供具体例子（Q(√2), Q(√3)） - 坦诚讨论局限性和未来方向 ### 不足 1. **技术假设的限制性**： - codifferent主理想假设排除了许多数域 - 虽然第3节试图解决，但未完全移除假设 2. **界的紧密性**： - 定理1.1的界可能不紧 - 命题3.9对实二次域的界可能很松 - 缺乏下界的锐度分析 3. **计算可行性**： - 实际计算B(d), G(Δ_K)可能困难 - 未提供数值例子验证界的有效性 - 缺乏具体数域的计算结果 4. **覆盖范围**： - 定理2.4限于d≤43 - 第3节主要关注实二次域 - 更高度数的情况未充分探讨 5. **κ(K)的刻画**： - 虽证明有限性，但缺乏更精确的界 - 除实二次域外，其他情况研究较少 - 与泛二次型秩的精确关系未建立 ### 影响力 1. **对领域的贡献**： - 推进了全实数域上泛二次型的理论 - 为移除技术假设提供了新思路（κ(K)研究） - 可能启发其他数域不变量的研究 2. **实用价值**： - 提供可计算的判别式界 - 有限性结果有算法意义 - 连分数方法对实二次域实用 3. **可复现性**： - 证明完整，可验证 - 引用清晰，易于追溯 - 例子具体，可重现 4. **开放性**： - 提出明确的未来方向 - 留下有意义的开放问题 - 为后续研究铺路 ### 适用场景 1. **理论研究**： - 数论中泛二次型的存在性和秩的研究 - Dedekind zeta函数的应用 - 全实数域的算术性质 2. **计算数论**： - 判别式有界的数域分类 - 泛二次型的显式构造 - 理想正部分的生成元计算 3. **相关问题**： - 提升问题（lifting problem） - Kitaoka猜想 - 不可分解元理论 4. **推广方向**： - 其他类型的泛型（如Hermitian型） - 非全实数域的推广 - 其他zeta函数的应用 ## 参考文献（关键文献） [3] V. Blomer and V. Kala. Number fields without universal n-ary quadratic forms. Math. Proc. Cambridge Philos. Soc., 159:239–252, 2015. [9] V. Kala and P. Yatsyna. Lifting problem for universal quadratic forms. Adv. Math., 377:Paper No. 107497, 24, 2021. [18] O. Regev and N. Stephens-Davidowitz. A simple proof of a reverse Minkowski theorem for integral lattices, 2023. arxiv:2306.03697. [21] P. Yatsyna. A lower bound for the rank of a universal quadratic form with integer coefficients in a totally real number field. Comment. Math. Helv., 94(2):221–239, 2019. [22] D. Zagier. On the values at negative integers of the zeta-function of a real quadratic field. Enseign. Math. (2), 22(1-2):55–95, 1976. --- **总体评价**：这是一篇高质量的数论理论论文，在全实数域上泛二次型的研究中取得了实质性进展。虽然主要结果依赖技术假设，但作者通过引入κ(K)不变量为移除假设提供了新思路。证明技巧精妙，结合了多个数学分支的深刻结果。论文的局限性主要在于界的紧密性和计算可行性，但这些也为未来研究留下了空间。对于代数数论和二次型理论的研究者，这是一篇值得深入研读的重要文献。