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）の整数群行列式の問題に取り組むものである。この問題は、変数 $x_g$ が整数に制限されるときの群行列式 $\Theta_G((x_g)_{g \in G})$ が取る整数の集合 $S(G)$ の特性を明らかにすることを目的としている。

$S(G)$ のうち素数 $p=5$ と互いに素な値については、DeSilvaとPinnerによって既に決定されているが、5で割り切れる部分集合の構造は未完成であった。具体的には、MossinghoffとPinnerは、5で割り切れる値は必ず $5^8$ で割り切れなければならないという必要条件を確立したが、すべての $5^8$ の倍数が実際に群行列式の値として到達可能であるかどうかは不明であった。本論文は、この逆の包含関係を証明することにより、この空白を埋めるものである。

手法
証明は、代数的因数分解、一般的な「シフト恒等式」、および特定の多項式「シード（種）」の明示的な構成の組み合わせに基づいている。

1. 因数分解とセットアップ:
   $G_p = C_p \times C_p$ に対して、群行列式 $\Theta_{G_p}$ はデデキントの因数分解を通じて、指標（character）にわたる積として表現される。これは、以下の形式の2変数多項式 $F(x, y) \in \mathbb{Z}[x, y]$ を用いて再定式化できる：
   $$\Theta_{G_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)$（ここで $\Phi_p$ は $p$ 次の円分多項式）に関するシフト恒等式（補題 2.1）である。この恒等式は、任意の $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\}$ を見つけることが十分である。ただし、各 $a \in A$ について以下を満たすものとする：

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

このようなシードが存在すれば、シフト恒等式を用いることで、すべての $p^{p+3}$ の整数倍を生成することができる。

主要な貢献と結果
主な貢献は、$p=5$ の場合における要求されるシードの明示的な構成である。著者は $\mathbb{mathbb{Z}}[x, y]$ における3つの特定の多項式を定義している：

• $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)$ の性質を用いた直接的な簡約とノルム計算を通じて、本論文はこれらの多項式が $a = 1, 2, 5$ に対してシード条件を満たすことを証明している（命題 3.1）：

• $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のすべての群に関するタウスキー・トッドの整数群行列式の問題を完結させるものであると主張している。

著者は、シフト恒等式とシード基準は任意の奇素数 $p$ に対して有効であるが、要求される条件を満たす特定のシードが存在するかどうかは別の困難な問題であると述べている。提示された議論は $p=5$ に特化したものである。本論文は、$p=3$ と $p=5$ で見出された綺麗な公式が、一般的な規則というよりも例外的な挙動を反映している可能性を示唆しており、$p \geq 7$ に対して $p^{p+3}\mathbb{Z} \subseteq S(C_p \times C_p)$ が成立すると断言してはいない。