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

Resumen Técnico: Los determinantes de grupo de enteros divisibles por 5 para el grupo elemental abeliano de orden 25

Planteamiento del problema
Este artículo aborda el problema del determinante de grupo de enteros de Taussky–Todd para el grupo elemental abeliano de orden 25, denotado como $G_5 = C_5 \times C_5$. El problema busca caracterizar el conjunto $S(G)$, definido como el conjunto de todos los valores enteros tomados por el determinante de grupo $\Theta_G((x_g)_{g \in G})$ cuando las variables $x_g$ están restringidas a los enteros.

Mientras que los valores de $S(G)$ coprimos con el primo $p=5$ fueron determinados previamente por DeSilva y Pinner, la estructura del subconjunto de valores divisibles por 5 permanecía incompleta. Específicamente, Mossinghoff y Pinner establecieron una condición necesaria de que cualquier valor divisible por 5 debe ser divisible por $5^8$. Sin embargo, se desconocía si cada múltiplo de $5^8$ es en realidad alcanzable como un valor de determinante de grupo. Este artículo resuelve esa brecha demostrando la inclusión inversa.

Metodología
La demostración se basa en una combinación de factorización algebraica, una "identidad de desplazamiento" general y la construcción explícita de "semillas" polinómicas específicas.

1. Factorización y configuración:
   Para $G_p = C_p \times C_p$, el determinante de grupo $\Theta_{G_p}$ se expresa mediante la factorización de Dedekind como un producto sobre caracteres. Esto se reformula utilizando un polinomio bivariante $F(x, y) \in \mathbb{Z}[x, y]$ tal que el valor del determinante es:
   $$M_p(F) = \prod_{i,j=0}^{p-1} F(\zeta_p^i, \zeta_p^j)$$
   donde $\zeta_p = e^{2\pi i/p}$.

2. La identidad de desplazamiento:
   La herramienta técnica central es una identidad de desplazamiento (Lema 2.1) que involucra al polinomio $H_p(x, y) = \Phi_p(x)\Phi_p(y)$, donde $\Phi_p$ es el polinomio ciclotómico $p$-ésimo. La identidad establece que para cualquier $F \in \mathbb{Z}[x, y]$ y entero $c$:
   $$M_p(F + cH_p) = \frac{F(1, 1) + p^2 c}{F(1, 1)} M_p(F)$$
   (asumiendo que $F(1,1) \neq 0$). Esta identidad permite la generación de nuevos valores de determinante a partir de determinantes existentes mediante el desplazamiento del polinomio, efectivamente escalando el valor original $M_p(F)$ por el factor $\frac{F(1, 1) + p^2 c}{F(1, 1)}$ mientras se preserva la estructura del producto sobre los caracteres no triviales.

3. El criterio de semilla:
   Basándose en la identidad de desplazamiento, el artículo propone un "Criterio de Semilla" (Proposición 2.2). Para demostrar que $p^{p+3}\mathbb{Z} \subseteq S(G_p)$, basta con encontrar un conjunto de polinomios $\{F_a\}$ indexados por un conjunto $A \subset \mathbb{Z} \setminus \{0\}$ que mapee de forma sobreyectiva sobre $\mathbb{Z}/p\mathbb{Z}$, de tal manera que para cada $a \in A$:

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

Si tales semillas existen, la identidad de desplazamiento puede generar todos los múltiplos enteros de $p^{p+3}$.

Contribuciones clave y resultados
La principal contribución es la construcción explícita de las semillas requeridas para el caso $p=5$. El autor define tres polinomios específicos en $\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$

Mediante la reducción directa usando las propiedades del cuerpo ciclotómico $\mathbb{Q}(\zeta_5)$ y cálculos de norma, el artículo demuestra (Proposición 3.1) que estos polinomios satisfacen las condiciones de semilla para $a = 1, 2, 5$:

• $M_5(F_1) = 5^8$
• $M_5(F_2) = 2 \cdot 5^8$
• $M_5(F_5) = 5^9$ (lo cual corresponde a $a=5$ en el contexto del criterio de semilla, ya que $5 \cdot 5^8 = 5^9$)

Utilizando la propiedad de simetría $M_p(-F) = -M_p(F)$, también se obtienen semillas para $a = -1$ y $a = -2$. Dado que $\{1, -1, 2, -2, 5\}$ cubre todas las clases de residuo módulo 5, el Criterio de Semilla se satisface.

Teorema principal y corolario
El artículo establece los siguientes resultados:

• Teorema 1.1: Para $G_5 = C_5 \times C_5$, el conjunto de determinantes de grupo divisibles por 5 es exactamente el conjunto de los múltiplos de $5^8$:
  $$S(G_5) \cap 5\mathbb{Z} = 5^8\mathbb{Z}$$
• Corolario 1.2: Combinando esto con la clasificación conocida de los valores coprimos con 5, el conjunto completo de determinantes de grupo enteros para $G_5$ es:
  $$S(G_5) = \{m \in \mathbb{Z} : m \equiv \pm 1 \text{ o } \pm 7 \pmod{25}\} \cup 5^8\mathbb{Z}$$

Significado y alcance
El artículo afirma que este resultado, junto con lo determinado previamente para $S(C_{25})$ por Mossinghoff y Pinner, completa el problema del determinante de grupo de enteros de Taussky–Todd para todos los grupos de orden 25.

El autor señala que, si bien la identidad de desplazamiento y el criterio de semilla son válidos para cualquier primo impar $p$, la existencia de las semillas específicas que satisfagan las condiciones requeridas es un problema separado y difícil. El argumento presentado es específico para $p=5$. El artículo no afirma que la inclusión $p^{p+3}\mathbb{Z} \subseteq S(C_p \times C_p)$ se mantenga para primos $p \geq 7$, sugiriendo que las fórmulas limpias encontradas para $p=3$ y $p=5$ pueden reflejar un comportamiento excepcional en lugar de una regla general.