🔢 mathematics

An Exact Counterexample to Carlson's Associated-Prime Depth Conjecture from a Group of Order 128

Este artículo refuta la conjetura de Carlson de 1995 de que la profundidad del anillo de cohomología de un grupo finito siempre es realizada por un primo asociado, mediante la construcción de un contraejemplo explícito utilizando un grupo específico de orden 128 donde la profundidad es 2 pero no existe un primo asociado de dimensión 2.

Autores originales: Xinan Dai, Wenhao Deng, Yingdong Shi, Tailin Wu, Yuchen Yang

Publicado 2026-07-28

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Xinan Dai, Wenhao Deng, Yingdong Shi, Tailin Wu, Yuchen Yang

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

El trabajo detectivesco de las formas matemáticas

Imagina que eres un detective intentando resolver un misterio dentro de una ciudad gigante e invisible hecha enteramente de números y formas. Esta ciudad se llama "Cohomología de Grupos", y es un lugar donde los matemáticos estudian los patrones ocultos de simetría en grupos finitos —piensa en un grupo como un conjunto de reglas para cómo se pueden barajar o rotar objetos sin romperlos—. En esta ciudad, hay dos pistas muy importantes que ayudan a los detectives a entender el diseño: la "profundidad" y los "primos asociados".

Piensa en la profundidad como la altura de una escalera resistente que puedes construir dentro de la ciudad. Para construir un peldaño de tu escalera, necesitas encontrar un número especial que no cause que toda la estructura colapse (un "divisor de no cero"). Cuanto más profunda sea la escalera, más estable y compleja será la ciudad. Por otro lado, piensa en los primos asociados como las direcciones específicas de los puntos más débiles o "callejones sin salida" de la ciudad. Estos son los lugares donde ciertos números se quedan atrapados y no pueden avanzar.

Durante mucho tiempo, los matemáticos tuvieron una corazonada, una regla empírica llamada la Conjetura de Carlson. Creían que la altura de tu escalera (la profundidad) siempre coincidiría con el tamaño del callejón sin salida más pequeño (la dimensión de un primo asociado). Parecía lógico: si puedes construir una escalera de altura 2, debería haber un callejón sin salida de exactamente 2 unidades de ancho. Pero en el mundo de las matemáticas, las corazonadas son solo suposiciones hasta que alguien las demuestra ciertas o encuentra una sola excepción que rompa la regla.

El gran contraejemplo

Este artículo es la historia de un equipo de matemáticos que decidió poner a prueba esa corazonada construyendo una ciudad muy específica y complicada, y viendo si la regla se mantenía en pie. Eligieron un grupo llamado SmallGroup(128, 859), que es una colección de 128 elementos, y lo observaron a través de la lente de un campo llamado F2 (un sistema numérico con solo dos valores, 0 y 1).

Primero, hicieron el trabajo duro de medir la "altura de la escalera" de este grupo. Utilizando herramientas algebraicas precisas, demostraron que la profundidad del anillo de cohomología de este grupo es exactamente 2. Esto significa que puedes construir una escalera con dos peldaños, pero no más.

Después, tenían que comprobar los "callejones sin salida". Según la vieja regla (la Conjetura de Carlson), debería haber un callejón sin salida que fuera exactamente de 2 unidades de ancho. Para encontrar esto, utilizaron un ingenioso puente matemático descubierto por un investigador llamado Okuyama. Este puente decía: "Si hay un callejón sin salida de ancho 2, debe haber un tipo específico de grupo más pequeño dentro de nuestra ciudad —un 'subgrupo elíptico abeliano de rango dos'— cuya propia estructura interna tenga una profundidad de exactamente 2".

Así que el equipo se fue de caza. Listaron cada uno de estos subgrupos especiales dentro de nuestra ciudad. Encontraron exactamente 75 de ellos. Luego, comprobaron la "profundidad" del centralizador (el vecindario) para cada uno de estos 75 subgrupos.

Aquí es donde ocurrió la sorpresa.

Para la mayoría de estos subgrupos, un teorema conocido (el teorema de Duflot) mostró que sus vecindarios eran muy profundos: de al menos 3 unidades de profundidad.
Para los otros dos tipos complicados, el equipo realizó un cálculo masivo y exacto usando álgebra asistida por computadora. Encontraron que incluso estos vecindarios tenían una profundidad de al menos 3.

El resultado fue una contradicción perfecta. La ciudad principal tenía una profundidad de 2, pero cada uno de los posibles "callejones sin salida" que pudieron encontrar estaba asociado con un vecindario que tenía una profundidad de al menos 3. No se pudo encontrar ningún callejón sin salida de ancho 2 por ninguna parte.

El veredicto

Debido a que encontraron una ciudad donde la altura de la escalera (2) es estrictamente menor que el callejón sin salida más pequeño (3), el equipo ha demostrado que la Conjetura de Carlson es falsa. No solo lo supusieron; proporcionaron un "certificado exacto", una prueba algebraica paso a paso que puede ser verificada por cualquiera. Demostraron que para el grupo SmallGroup(128, 859), la profundidad es 2, pero el primo asociado más pequeño tiene una dimensión de al menos 3.

En términos sencos, encontraron un lugar en el universo matemático donde las reglas de la simetría son más complejas y "profundas" de lo que sugería la simple regla empírica. La escalera es más corta que el espacio más pequeño, demostrando que el mapa antiguo carecía de un detalle crucial. Esto no es solo una pequeña corrección; es una reescritura completa de una creencia sostenida durante mucho tiempo sobre cómo se construyen estas ciudades matemáticas.

Resumen Técnico: Un Contraejemplo Exacto a la Conjetura de Carlson sobre la Profundidad y los Primos Asociados

1. Planteamiento del Problema

El artículo aborda la Pregunta 3.1 planteada por J. F. Carlson en su trabajo de 1995 sobre profundidad y mapas de transferencia. La pregunta indaga si, para un grupo finito $G$ y un cuerpo $k$ de característica $p$ , la profundidad del anillo de cohomología $H^*(G; k)$ es siempre realizada por la dimensión de uno de sus primos asociados.

Formalmente, sea $A = H^*(G; k)$ . La profundidad de $A$ , denotada como $\text{depth } A$ , es la longitud máxima de una secuencia regular en el ideal de elementos de grado positivo. Los primos asociados de $A$ son los ideales primos $\mathfrak{p} = \text{ann}_A(a)$ para algún $a \in A$ . La conjetura postula la igualdad:
$\text{depth } H^*(G; k) = \min_{\mathfrak{p} \in \text{Ass } H^*(G; k)} \dim H^*(G; k)/\mathfrak{p}$
Aunque la desigualdad $\text{depth } A \le \dim A/\mathfrak{p}$ es estándar, la conjetura afirma que el límite inferior proporcionado por la profundidad es siempre alcanzado por algún primo asociado. Trabajos previos de Green, Schafer y Garaialde Ocaña et al. confirmaron esta igualdad para clases específicas de $p$ -grupos, pero el caso general permanecía abierto hasta finales de 2025.

2. Metodología

Los autores emplean una estrategia de tres capas que combina la enumeración de grupos, el álgebra conmutativa y la verificación exacta asistida por computadora para construir un contraejemplo.

A. Reducción Teórica (El Puente de Okuyama)
La prueba se basa en el Teorema de Okuyama (Teorema 3.1), que establece una correspondencia entre los primos asociados y los subgrupos abelianos elementales. Específicamente, si un primo asociado $\mathfrak{p}$ tiene una dimensión de cociente $s$ , existe un subgrupo abeliano elemental $E \le G$ de rango $s$ tal que:
$\text{depth } H^*(C_G(E); k) = s$
Consecuentemente, para refutar la conjetura para un grupo con $\text{depth } H^*(G; k) = 2$ , basta con demostrar que para cada subgrupo abeliano elemental de rango dos $E \le G$ , la profundidad de su centralizador $C_G(E)$ es estrictamente mayor que 2 (es decir, $\ge 3$ ).

B. Enumeración de Grupos
Los autores seleccionan el grupo finito $G = \text{SmallGroup}(128, 859)$ sobre el cuerpo $k = \mathbb{F}_2$ . Este grupo fue identificado del catálogo de Green y King, el cual registra su dimensión de Krull como 4 y su profundidad como 2.

Los autores realizan una enumeración exhaustiva de todos los subgrupos abelianos elementales de rango dos (isomorfos a $C_2 \times C_2$ ) en $G$ .
El procedimiento enumera todas las involuciones no identidad, pares que conmutan y elimina duplicados de subgrupos.
Esto produce exactamente 75 tales subgrupos, los cuales caen en 6 tipos de isomorfismo distintos de centralizadores.

C. Certificados Algebraicos Exactos
Para cada uno de los 6 tipos de centralizadores, los autores determinan la profundidad del anillo de cohomología $H^*(C_G(E); \mathbb{F}_2)$ :

Cuatro Tipos (Centros de Rango $\ge 3$ ): Para los centralizadores isomorfos a $\text{SmallGroup}(16, 10)$ , $(16, 14)$ , $(32, 22)$ y $(32, 46)$ , los autores aplican el Teorema de Duflot. Dado que el rango del centro de estos grupos es al menos 3, el teorema de Duflot implica inmediatamente que $\text{depth } H^*(C_G(E); \mathbb{F}_2) \ge 3$ .
Dos Tipos Excepcionales (Centros de Rango 2): Para los centralizadores isomorfos a $\text{SmallGroup}(64, 90)$ $SmallGroup (64, 90)$ y $(64, 216)$ $(64, 216)$ , el teorema de Duflot solo garantiza una profundidad $\ge 2$ $\geq 2$ . Para descartar la profundidad 2, los autores construyen secuencias regulares exactas de longitud 3 utilizando presentaciones polinomiales explícitas de los anillos de cohomología.
- Utilizan computaciones de ideales de colon: $(I : f) = I$ certifica que $f$ es un no-divisor módulo $I$ .
- Verifican tres igualdades de colon sucesivas para elementos homogéneos específicos en la presentación de cada anillo, probando la existencia de una secuencia regular de longitud 3.
- Estas computaciones se realizan sobre $\mathbb{F}_2$ utilizando técnicas de bases de Gröbner. Por el Lema 5.3 (invarianza de cambio de base), estos resultados se mantienen para cualquier cuerpo algebraicamente cerrado de característica 2.

3. Resultados Clave

El artículo establece el siguiente teorema:

Teorema 2.1: Sea $G = \text{SmallGroup}(128, 859)$ y $k = \mathbb{F}_2$ . Entonces:

$\text{depth } H^*(G; k) = 2$ .
$\omega_a(H^*(G; k)) \ge 3$ , donde $\omega_a$ es la dimensión mínima del cociente de un primo asociado.
Consecuentemente, $\text{depth } H^*(G; k) < \min_{\mathfrak{p} \in \text{Ass } H^*(G; k)} \dim H^*(G; k)/\mathfrak{p}$ .

La prueba de $\text{depth } H^*(G; k) = 2$ también se proporciona mediante certificados exactos:

Se construye una secuencia regular de longitud 2 ( $f_1, f_2$ ).
Se exhibe un elemento socle no nulo $w$ en el cociente $A/(f_1, f_2)$ , demostrando que no existen más elementos regulares, fijando así la profundidad exactamente en 2.

4. Significancia y Reivindicaciones

El artículo afirma proporcionar el primer contraejemplo exacto a la conjetura de Carlson respecto a la igualdad de la profundidad y la dimensión de los primos asociados.

Resolución de un Problema Abierto: El trabajo responde definitivamente a la Pregunta 3.1 en sentido negativo, demostrando que el límite inferior suministrado por la profundidad de un anillo de cohomología no siempre es alcanzado por un primo asociado.
Rigor Metodológico: Los autores enfatizan que el resultado no se basa en aproximaciones heurísticas o estimaciones numéricas. En su lugar, se apoya en certificados algebraicos exactos (igualdades de ideales de colon y formas normales de bases de Gröbner) y una enumeración exhaustiva de grupos.
Reproducibilidad: El artículo incluye la presentación del grupo finito, las presentaciones de los anillos de cohomología, el resumen de la enumeración y los certificados algebraicos específicos requeridos para la verificación independiente.
Alcance: El contraejemplo es específico para el grupo $\text{SmallGroup}(128, 859)$ en característica 2. El artículo no pretende caracterizar todos los grupos para los cuales la conjetura falla, ni propone una nueva fórmula general para la brecha entre la profundidad y las dimensiones de los primos asociados.

Los autores señalan que la construcción depende de resultados preexistentes (el catálogo de Green y King y el teorema de Okuyama), pero que el contenido nuevo "de carga estructural" es la enumeración completa de los subgrupos de rango dos y los cálculos de profundidad exactos subsiguientes para sus centralizadores.