2025-11-23T19:49:17.364652

Action of the automorphism group on the Jacobian of Klein's quartic curve II: Invariant theta functions

Markushevich, Moreau

Bernstein-Schwarzman conjectured that the quotient of a complex affine space by an irreducible complex crystallographic group generated by reflections is a weighted projective space. The conjecture was proved by Schwarzman and Tokunaga-Yoshida in dimension 2 for almost all such groups, and for all crystallographic reflection groups of Coxeter type by Looijenga, Bernstein-Schwarzman and Kac-Peterson in any dimension. We prove that the conjecture is true for the crystallographic reflection group in dimension 3 for which the associated collineation group is Klein's simple group of order 168. In this case the quotient is the 3-dimensional weighted projective space with weights 1, 2, 4, 7. The main ingredient in the proof is the computation of the algebra of invariant theta functions. Unlike the Coxeter case, the invariant algebra is not free polynomial, and this was the major stumbling block.

academic

Action of the automorphism group on the Jacobian of Klein's quartic curve II: Invariant theta functions

基本信息

论文ID: 2208.08737
标题: Action of the automorphism group on the Jacobian of Klein's quartic curve II: Invariant theta functions
作者: Dimitri Markushevich (Univ. Lille), Anne Moreau (Université Paris-Saclay)
分类: math.AG (代数几何)
发表期刊: Épijournal de Géométrie Algébrique, Volume 8 (2024), Article No. 9
论文链接: https://arxiv.org/abs/2208.08737

摘要

Bernstein-Schwarzman猜想断言，复仿射空间被不可约复晶体学反射群的商是加权射影空间。该猜想已在维数2的情况下被Schwarzman和Tokunaga-Yoshida证明（几乎对所有这样的群），并在任意维数下被Looijenga、Bernstein-Schwarzman和Kac-Peterson证明（对所有Coxeter型晶体学反射群）。本文证明了该猜想对于维数3的晶体学反射群成立，其中相关的配线群是Klein的168阶单群。在这种情况下，商是权重为1,2,4,7的3维加权射影空间。证明的主要成分是不变theta函数代数的计算。与Coxeter情况不同，不变代数不是自由多项式代数，这是主要的技术障碍。

研究背景与动机

核心问题：本研究致力于证明Bernstein-Schwarzman猜想的一个特殊情况，即证明Klein四次曲线Jacobian的商空间J/G同构于加权射影空间P(1,2,4,7)。
问题重要性：
- Bernstein-Schwarzman猜想是代数几何中的重要开放问题，涉及复晶体学反射群的商空间结构
- Klein四次曲线是具有最大自同构群的亏格3曲线，在代数几何和数论中具有特殊地位
- 该曲线与模曲线X(7)和Shimura曲线相关，蕴含丰富的数论内容
现有方法局限性：
- 对于Coxeter型群，已有方法依赖于不变代数是自由多项式代数这一性质
- 对于真正的复晶体学反射群（非Coxeter型），不变代数不再是自由的，传统方法失效
- 在本文发表前，对于秩≥3的非Coxeter型复晶体学反射群，该猜想完全开放
研究动机：
- 群K24是唯一一个其线性部分的射影化是单群（Klein群H）的秩3复晶体学反射群
- 商空间C³/Γ与Klein四次曲线Jacobian的商同构，连接了群论、代数几何和数论

核心贡献

主要定理证明：证明了Klein四次曲线Jacobian J的商空间J/G同构于加权射影空间P(1,2,4,7)，其中G是336阶的完全自同构群
不变theta函数代数计算：
- 确定了代数S(L²)^G的Hilbert函数
- 证明该函数与P(1,2,4,7)的第二Veronese代数的Hilbert函数一致
技术突破：
- 克服了不变代数非自由的技术障碍
- 建立了theta函数的变换公式和群作用的酉表示理论
几何刻画：
- 证明商空间可嵌入为P(1,1,2,4,7)中的8次超曲面
- 通过奇点分析完成了同构的证明
理论拓展：提出了关于可通约复晶体学群商空间的一般性猜想

定义复根系统Φ，包含42个向量，由(2,0,0)、(0,α,α)和(1,1,α)通过符号变换和坐标置换得到，其中α = (1+i√7)/2
构造基本反射r₁, r₂, r₃和相应的格Λ = Q(Φ)
建立半直积Γ = Λ ⋊ G，其中G是336阶群

2. Theta函数理论

定义theta函数：

θₘ,ₖ(z) = θₖ[m/0](ω₂⁻¹z, Z)

其中Z ∈ H₃是Siegel上半空间中的周期矩阵。

3. 模变换公式

建立关键的变换公式（定理3.4）：对于偶数k和γ ∈ Sp(2r,Z)，有

θₖ[m/0]^γ = χ ∑ₘ' ũₘ,ₘ' θₖ[m'/0]

其中ũₘ,ₘ' = e^(πikb̃m) ∑ₘ̂ e^(2πik(m-dm'+½c̃m̂)ᵀm̂)

4. 酉表示构造

通过适当的归一化常数，构造G到酉群U(k³)的表示：

U₁ = (1/k³)Ũᵣ₁, U₂ = (1/k³)Ũᵣ₂, U₃ = (1/ik³)Ũᵣ₃
验证这些矩阵满足与基本反射相同的关系式

技术创新点

非自由不变代数处理：
- 不同于Coxeter情况，S(L²)^G不是多项式代数
- 通过计算Hilbert函数并与P(1,2,4,7)的第二Veronese代数比较
特征计算：
- 利用Gauss和理论计算群表示的特征值
- 处理涉及Legendre符号的复杂求和
代数独立性验证：
- 通过Jacobian行列式的数值计算验证生成元的代数独立性
- 使用快速收敛的Fourier级数近似

实验设置

计算工具

使用Macaulay2计算机代数系统进行符号计算
精确计算群元素的矩阵表示和Reynolds算子

数值验证

在特定点(t₀,v₀) = (1,(1/8,1/16,1/4))处计算Jacobian行列式
通过截断Fourier级数获得高精度近似：J(t₀,v₀) ≈ 0.000064967853 + 0.000075028580i

关键计算

Hilbert函数计算：

hₛ(L²)G(k/2) = 1/336[k³ + 21k² + 140k + 294 + (-1)^(k/2) × 42 + 48(k/7)]

生成元选择：选择四个代数无关的G-不变theta函数ϕ₀,ϕ₁,ϕ₂,ϕ₃，度数分别为2,2,4,8

实验结果

主要结果

Hilbert函数一致性：证明了S(L²)^G的Hilbert函数与P(1,2,4,7)的第二Veronese代数完全一致
嵌入实现：商空间J/G可嵌入P(1,1,2,4,7)作为度数8的超曲面，由单一关系式定义
奇点分析：
- 确认J/G的奇点与P(1,2,4,7)的奇点类型完全匹配
- 包括一个1/7(1,2,4)型孤立点和一条具有1/2(1,0,1)型奇点的直线