The $5$-divisible integer group determinants for the elementary abelian group of order 25

技术摘要：阶数为 25 的初等交换群的 5 可除整数群行列式

问题陈述
本文研究了关于阶数为 25 的初等交换群 $G_5 = C_5 \times C_5$ 的 Taussky–Todd 整数群行列式问题。该问题旨在刻画集合 $S(G)$，其中 $S(G)$ 定义为当变量 $x_g$ 限制为整数时，群行列式 $\Theta_G((x_g)_{g \in G})$ 所取的所有整数值。

虽然 DeSilva 和 Pinner 之前已经确定了 $S(G)$ 中与素数 $p=5$ 互素的值，但对于能被 5 整除的子集的结构仍不完整。具体而言，Mossinghoff 和 Pinner 确定了一个必要条件，即任何 5 可除的值必须能被 $5^8$ 整除。然而，是否每一个 $5^8$ 的倍数都能作为群行列式值被实现，此前尚不明确。本文通过证明逆包含关系解决了这一空白。

方法论
证明依赖于代数分解、一个通用的“平移恒等式（shift identity）”以及特定多项式“种子（seed）”的显式构造。

1. 分解与设定：
   对于 $G_p = C_p \times C_p$，群行列式 $\Theta_{G_p}$ 通过 Dedekind 分解表示为所有特征值的乘积。这可以通过一个二元多项式 $F(x, y) \in \mathbb{Z}[x, y]$ 进行重新表述，使得行列式值为：
   $$M_p(F) = \prod_{i,j=0}^{p-1} F(\zeta_p^i, \zeta_p^j)$$
   其中 $\zeta_p = e^{2\pi i/p}$。

2. 平移恒等式：
   核心技术工具是一个涉及多项式 $H_p(x, y) = \Phi_p(x)\Phi_p(y)$ 的平移恒等式（引理 2.1），其中 $\Phi_p$ 是第 $p$ 个分圆多项式。该恒等式指出，对于任何 $F \in \mathbb{Z}[x, y]$ 及整数 $c$：
   $$M_p(F + cH_p) = \frac{F(1, 1) + p^2 c}{F(1, 1)} M_p(F)$$
   （假设 $F(1,1) \neq 0$）。该恒等式允许通过对多项式进行平移，从现有的行列式值生成新的行列式值，从而在保持非平凡特征值乘积结构的同时，将原有的 $M_p(F)$ 缩放因子为 $\frac{F(1, 1) + p^2 c}{F(1, 1)}$。

3. 种子准则：
   基于平移恒等式，本文提出了一个“种子准则”（命题 2.2）。为了证明 $p^{p+3}\mathbb{Z} \subseteq S(G_p)$，只需找到一组由索引集 $A \subset \mathbb{Z} \setminus \{0\}$ 中的多项式 $\{F_a\}$，使得该集合映射到 $\mathbb{Z}/p\mathbb{Z}$ 为满射，且对于每个 $a \in A$：

   • $F_a(1, 1) = p^a$
   • $M_p(F_a) = a \cdot p^{p+3}$

   如果存在这样的种子，平移恒等式就可以生成所有 $p^{p+3}$ 的整数倍。

主要贡献与结果
本文的主要贡献是针对 $p=5$ 的情况显式构造了所需的种子。作者定义了三个特定的 $\mathbb{Z}[x, y]$ 中的多项式：

• $F_1(x, y) = 1 + y + y^2 + x + x^4y$
• $F_2(x, y) = 1 + y + y^2 + y^3 + x + xy + xy^2 + x^4 + x^4y + x^4y^4$
• $F_5(x, y) = H_5(x, y) - 1 - y + x + x^4$

通过利用分圆域 $\mathbb{Q}(\zeta_5)$ 的性质进行直接约化和范数计算，本文证明（命题 3.1）这些多项式满足 $a = 1, 2, 5$ 时的种子条件：

• $M_5(F_1) = 5^8$
• $M_5(F_2) = 2 \cdot 5^8$
• $M_5(F_5) = 5^9$ （在种子准则语境下对应 $a=5$，因为 $5 \cdot 5^8 = 5^9$）

利用对称性质 $M_p(-F) = -M_p(F)$，同时也得到了 $a = -1$ 和 $a = -2$ 的种子。由于 $\{1, -1, 2, -2, 5\}$ 覆盖了模 5 的所有剩余类，因此满足了种子准则。

主要定理与推论
本文确立了以下结果：

• 定理 1.1： 对于 $G_5 = C_5 \times C_5$，5 可除的群行列式集合恰好是 $5^8$ 的倍数集合：
  $$S(G_5) \cap 5\mathbb{Z} = 5^8\mathbb{Z}$$
• 推论 1.2： 结合已知的与 5 不互素值的分类，对于 $G_5$ 的完整整数群行列式集合为：
  $$S(G_5) = \{m \in \mathbb{Z} : m \equiv \pm 1 \text{ 或 } \pm 7 \pmod{25}\} \cup 5^8\mathbb{Z}$$

意义与范围
本文声称，这一结果连同 Mossinghoff 和 Pinner 之前确定的 $S(C_{25})$，完成了对所有阶数为 25 的群的 Taussky–Todd 整数群行列式问题的研究。

作者指出，虽然平移恒等式和种子准则对任何奇素数 $p$ 都是有效的，但满足所需条件的特定种子的存在本身是一个独立且困难的问题。本文所呈现的论证是针对 $p=5$ 的特例。文中并未断言 $p^{p+3}\mathbb{Z} \subseteq S(C_p \times C_p)$ 对 $p \geq 7$ 的素数也成立，这表明对于 $p=3$ 和 $p=5$ 所发现的简洁公式可能反映了某种特殊行为，而非普遍规律。