On the distribution of shapes of pure quartic number fields

技术摘要：纯四次数域形状的分布

问题陈述
本文研究了纯四次数域 $K_m = \mathbb{Q}(\sqrt[4]{m})$（其中 $m$ 为非零且无四次方因子，且 $m \neq -4$）中“形状”（shape）的分布。数域的形状定义为其整数格点（投影到与向量 $j(1)$ 正交的超平面上）在旋转、反射和正标量扩张下的等价类。虽然对于“典型”数域（即伽罗瓦群为 $S_n$ 的数域，度数为 $n=3, 4, 5$）的形状分布已知在形状空间 $S_{n-1}$ 上关于自然测度是等分布的（这是由 Bhargava 和 H. 扩展自 Terr 的工作所得出的结果），但对于非典型伽罗瓦群族的形状行为仍知之甚少。具体而言，作者解决了 Bhargava 和 H. 提出的一个关于非典型伽罗瓦群族中形状分布的问题，此处聚焦于纯四次域。

方法论
作者结合了代数数论、格几何和解析数论的方法：

1. 整基分类： 利用 Funakura 计算出的纯四次域显式整基，作者根据 $m$ 模 32 的剩余类（以及 $m$ 的符号）将这些域分为五种不同的类型（I 至 V）。
2. 格拉斯曼矩阵（Gram Matrix）计算： 对于每种类型，作者计算了相对于 Minkowski 嵌入的整基的格拉斯曼矩阵。通过应用基变换矩阵，他们将数域的形状表示为涉及类型相关矩阵 $C_*$ 与对角形状参数矩阵的特定矩阵乘积的投影。
3. 形状参数： 分析表明，$K_m$ 的形状由一对参数 $\lambda(m) = (\lambda_1, \lambda_2) = (\sqrt{c/|a|}, 1/b)$ 决定，其中 $m = ab^2c^3$，且 $a, b, c$ 为互素且无平方因子。与以往研究中参数连续变化的纯三次域不同，参数 $\lambda_2 = 1/b$ 取值为离散集。
4. 分布分析： 为了确定分布，作者将问题转化为计数满足特定约束（无平方因子条件、模 32 同余条件以及判别式界限）的整数格点 $(a, b, c)$。他们利用 Lipschitz 原理来估计位于特定形状参数区域内的格点数量。
5. 筛法： 为了处理无平方因子条件和同余约束，作者采用了筛法。他们定义了“无平方因子”（carefree）三元组，并利用素数模数的包含排除原理来导出具有特定形状区域的域数量的渐近公式。

主要贡献与结果

• 轨道分类： 本文证明了纯四次域的形状位于 $S_3$ 空间中 10 个显式描述的环面轨道（torus orbits）之一。这些轨道由 $m$ 的符号及其模 32 的剩余类（类型 I 至 V）决定。
• 参数化： 研究表明，给定环面轨道上的形状完全由两个参数决定：一个连续参数 ($\sqrt{c/|a|}$) 和一个离散参数 ($1/b$)。因此，分布受一个连续测度与一个离散测度的乘积支配。
• 形状不变性的完备性： 作者证明了形状对于纯四次域是一个完备的不变量（在特定歧义下）：如果 $sh(K_{m_1}) = sh(K_{m_2})$，则以下情况中必有且仅有一项成立：要么 $m_1 = m_2$，要么 $m_1 = -m_2$ 且 $m_1 \equiv m_2 \equiv 2 \pmod 4$。
• 主分布定理（定理 1.4）： 作者建立了一个渐近公式，用于计算判别式界限为 $X$ 且形状参数在特定区域 $R$ 内的给定类型的纯四次域的数量。极限分布由下式给出：
  $$\lim_{X \to \infty} \frac{\# \{ K_m \dots \}}{X^{1/3}} = C \cdot (\log R_1 - \log R'_1) \cdot (\psi^*(R_2) - \psi^*(R'_2))$$
  其中常数 $C$ 涉及素数的欧拉乘积，而 $\psi^*$ 是一个由支持在无平方整数上的离散测度构成的求和。
• 非等分布性： 一个关键发现是，该族中的极限分布并非源自 $GL_3(\mathbb{R})$ 在 $S_3$ 上诱导的 Haar 测度下的自然测度的限制；相反，它是一个支撑在环面轨道并集上的奇异测度，这反映了其非典型伽罗瓦群的性质。

意义
本文为特定非典型数域族的形状分布提供了一个严谨的回答。它表明，对于纯四次域，其形状分布不是均匀分布或在标准意义下等分布的，而是集中在低维子流形（环面轨道）上，并具有特定的乘积测度结构。这与度数为 3, 4, 5 的典型域的等分布结果形成了对比。这项工作扩展了对数域中算术统计性的理解，将其应用到了伽罗瓦群不是全对称群的情况，为算术约束（如形式 $K = \mathbb{Q}(\sqrt[4]{m})$）如何决定数域格点形状的几何分布提供了一个具体的实例。