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

기술 요약: 가환군 $C_5 \times C_5$에 대한 5-배수 정수 군 결정식

문제 정의
본 논문은 $G_5 = C_5 \times C_5$인 차수가 25인 기본 아벨 군(elementary abelian group)에 대한 타우스키-토드(Taussky–Todd) 정수 군 결정식 문제를 다룬다. 이 문제는 변수 $x_g$가 정수로 제한될 때 군 결정식 $\Theta_G((x_g)_{g \in G})$가 취하는 모든 정수 값의 집합인 $S(G)$를 규명하는 것을 목표로 한다.

$G$의 결정식 값 중 소수 $p=5$와 서로소인 $S(G)$의 값들은 이미 데실바(DeSilva)와 피너(Pinner)에 의해 결정되었으나, 5로 나누어지는 부분집합의 구조는 불완전한 상태로 남아 있었다. 구체적으로, 모싱오프(Mossinghoff)와 피너는 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]$를 사용하여 재구성된다:
   $$\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. 이동 항등식 (The Shift Identity):
   핵심적인 기술적 도구는 $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. 시드 기준 (The Seed Criterion):
   이동 항등식을 바탕으로, 본 논문은 "시드 기준"(명제 2.2)을 제안한다. $p^{p+3}\mathbb{Z} \subseteq S(G_p)$임을 증명하기 위해서는, $A \subset \mathbb{Z} \setminus \{0\}$에 의해 인덱스가 매겨진 다항식 집합 $\{F_a\}$가 $\mathbb{Z}/p\mathbb{Z}$ 위로 전사(surjective)되도록 구성되어야 하며, 각 $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)$의 성질과 노름(norm) 계산을 이용한 직접적인 축소를 통해, 본 논문은 이 다항식들이 $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에 대한 모든 잔여 클래스(residue classes)를 커버하므로, 시드 기준이 충족된다.

주요 정리 및 따름정리
본 논문은 다음 결과를 확립한다:

• 정리 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}$$

의의 및 범위
본 논문은 이 결과가 모싱오프와 피너가 결정한 $S(C_{25})$와 함께, 차수가 25인 모든 군에 대한 타우스키-토드 정수 군 결정식 문제를 완결한다고 주장한다.

저자는 이동 항등식과 시드 기준이 임의의 홀수 소수 $p$에 대해 유효하지만, 요구되는 조건을 만족하는 특정 시드의 존재 여부는 별개의 어려운 문제임을 언급한다. 제시된 논증은 $p=5$인 경우에 특화되어 있다. 본 논문은 $p \geq 7$인 소수에 대해서도 $p^{p+3}\mathbb{Z} \subseteq S(C_p \times C_p)$가 성립한다고 주장하지 않으며, 이는 $p=3$과 $p=5$에서 발견된 깔끔한 공식들이 일반적인 규칙이라기보다 예외적인 행동을 반영할 수 있음을 시사한다.