🔢 mathematics

The Mathieu group $M_{23}$ is a Galois group over $\mathbb{Q}$

Este artículo resuelve el problema de Galois inverso para el último grupo simple finito al demostrar que el grupo de Mathieu $M_{23}$ ocurre como un grupo de Galois sobre $\mathbb{Q}$ , logrado mediante la construcción de un polinomio explícito de grado 23 utilizando algoritmos de mapas de Belyi numéricos.

Autores originales: Xiaoyu Huang, Blake Jackson, Kyu-Hwan Lee, Bjorn Poonen, Rachel Pries, Shaowu Zhang

Publicado 2026-08-11

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Xiaoyu Huang, Blake Jackson, Kyu-Hwan Lee, Bjorn Poonen, Rachel Pries, Shaowu Zhang

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

Imagina que eres un maestro constructor intentando construir un castillo específico, increíblemente complejo. En el mundo de las matemáticas, este "castillo" es un grupo de Galois, que es esencialmente un conjunto de reglas que describe cómo se pueden barajar las piezas de un rompecabezas matemático (específicamente, las soluciones de una ecuación) sin romper la estructura. Durante décadas, los matemáticos han intentado construir estos castillos usando solo los materiales más básicos: los números racionales (fracciones como 1/2 o 3/4). Este desafío es conocido como el Problema de Galois Inverso. Es como preguntar: "¿Podemos construir todos los tipos posibles de castillos usando solo estos ladrillos específicos?".

La mayoría de los castillos ya han sido construidos. Existen 26 tipos especiales y raros de estas estructuras matemáticas llamadas grupos esporádicos que no encajan en ninguna familia estándar. Para finales de la década de 1980, los constructores habían logrado construir 25 de ellos. Pero un castillo obstinado y elusivo permanecía sin terminar: el grupo de Mathieu M23. Era la última pieza faltante del rompecabezas. La pregunta no era solo si se podía construir este tipo de castillo; era demostrar que podía existir utilizando los materiales estándar de los números racionales. Si no podía construirse de esta manera, toda la teoría de cómo estas estructuras se relacionan con los números tendría un vacío gigante en ella.

La última pieza del rompecabezas

En este artículo, un equipo de matemáticos finalmente entrega los planos del último castillo faltante. Demuestran que el grupo de Mathieu M23 puede, de hecho, ser construido como un grupo de Galois sobre los números racionales. Para lograrlo, no se limitaron a adivinar; construyeron un modelo funcional y explícito. Produjeron un polinomio específico (una ecuación matemática gigante) de grado 23 con coeficientes racionales. Cuando se resuelve esta ecuación, la colección de todas sus soluciones forma un "campo de división" (splitting field), y la forma en que estas soluciones pueden ser barajadas coincide perfectamente con las reglas del grupo M23.

El viaje: De "casi" a "exactamente"

El camino hacia este descubrimiento fue un poco como intentar encontrar una aguja en un pajar, pero el pajar estaba hecho de simetrías matemáticas. El equipo utilizó una herramienta poderosa llamada método de rigidez. Imagina que estás intentando diseñar una escultura única. Si tienes un conjunto de restricciones (como "debe tener tres protuberancias específicas"), usualmente hay infinitas formas de hacerla. Pero a veces, las restricciones son tan estrictas que solo existe una forma posible. En matemáticas, esto se llama "rigidez".

Para el grupo M23, el equipo intentó encontrar un conjunto de restricciones que forzaran una forma única. Buscaron tres tipos específicos de simetrías (clases de conjugación) dentro del grupo. Esperaban encontrar un "triple rígido" que creara una cobertura matemática (un mapa de una forma a otra) única y singular. Sin embargo, cuando procesaron los números, descubrieron que esta combinación específica no era lo suficientemente rígida como para forzar una solución única. En su lugar, abrió la puerta a siete formas diferentes posibles.

Normalmente, esto sería un callejón sin salida. Si hay siete posibilidades, ¿cómo sabes cuál es la "real" definida sobre los números racionales? Aquí es donde la historia da un giro milagroso. El equipo esperaba que las simetrías de los números racionales barajaran estas siete formas de manera aleatoria. Pero, para su gran sorpresa, descubrieron que una de estas siete formas era un "punto fijo". Se mantenía inmóvil mientras las otras se movían. Esta forma específica estaba definida sobre un campo numérico especial que involucraba la raíz cuadrada de -23, pero tenía una propiedad oculta: podía "descender" o ser arrastrada de vuelta a los números racionales.

La construcción: De los números a los polinomios

Para convertir esta forma abstracta en un polinomio concreto, el equipo utilizó una herramienta digital de alta tecnología llamada mapa de Belyi. Piensa en esto como un sofisticado escáner 3D que toma una superficie curva y compleja y la aplana en un mapa, revelando su estructura oculta. Utilizaron algoritmos numéricos para calcular las coordenadas de esta forma con una precisión increíble.

Una vez que tuvieron los números, no confiaron ciegamente en los decimales de punto flotante de la computadora. Utilizaron un truco ingenioso llamado algoritmo PSLQ para reconocer los números como expresiones algebraicas exactas. Milagrosamente, los coeficientes de su curva resultaron vivir en el campo $\mathbb{Q}(\sqrt{-23})$ . Luego realizaron una serie de maniobras algebraicas para construir una segunda función, $v$ , que actuó como la llave para desbloquear el polinomio final.

El resultado fue un polinomio de grado 23, $F(t, V)$ , que define una extensión regular de los números racionales. Al introducir números racionales específicos para la variable $t$ , generaron polinomios específicos con coeficientes enteros. Uno de los polinomios, listado en el artículo, parece un caos de números enormes:
$x^{23} - 184x^{21} - 1150x^{20} + \dots$
Pero al resolverlo, la simetría de las soluciones es exactamente el grupo M23.

El veredicto

Los autores no solo sugieren que esto podría funcionar; lo han demostrado. Utilizaron sistemas de álgebra computacional (Magma y PARI/GP) para verificar rigurosamente cada paso. Comprobaron que el campo de división del polinomio tiene el grupo de Galois correcto y que es no ramificado (suave) fuera de un conjunto específico de números primos {2, 3, 23}. También confirmaron que esta construcción funciona no solo para un caso específico, sino que implica que existen infinitos tales polinomios.

En resumen, el grupo de Mathieu M23, el último de los 26 grupos esporádicos, finalmente ha sido realizado sobre los números racionales. El castillo ha sido construido, el plano está completo y la comunidad matemática ahora tiene el conjunto completo de las 26 estructuras raras, todas construidas a partir de los mismos ladrillos fundamentales.

Resumen Técnico: El Grupo de Mathieu $M_{23}$ como Grupo de Galois sobre $\mathbb{Q}$

Planteamiento del Problema
El Problema de Galois Inverso pregunta si cada grupo finito ocurre como el grupo de Galois de una extensión de Galois finita de los números racionales $\mathbb{Q}$ . Mientras que 25 de los 26 grupos simples finitos esporádicos fueron realizados como grupos de Galois sobre $\mathbb{Q}$ entre 1984 y 1989, el grupo de Mathieu $M_{23}$ permaneció como la única excepción. Los intentos previos de realizar $M_{23}$ sobre $\mathbb{Q}$ fallaron, obteniendo realizaciones solo sobre otros cuerpos (como $\mathbb{Q}(\sqrt{-23})$ , $\mathbb{Q}(\sqrt{-7})$ , o campos numéricos específicos) o fallando en producir una extensión regular de $\mathbb{Q}(t)$ . Este artículo resuelve el problema probando que $M_{23}$ es, de hecho, un grupo de Galois sobre $\mathbb{Q}$ .

Metodología
Los autores emplean una combinación del método de rigidez, algoritmos numéricos de mapas de Belyi y verificación algebraica.

Fallo de la Rigidez Estándar: El método de rigidez estándar se basa en encontrar una terna de clases de conjugación $(C_1, C_2, C_3)$ en $M_{23}$ tal que el tamaño de la clase de Nielsen asociada sea 1 (una terna "rígida"). Los autores demuestran que para $M_{23}$ , no existe tal terna rígida. El tamaño más pequeño de la clase de Nielsen para cualquier multiconjunto estable bajo $G_\mathbb{Q}$ es 7, correspondiente a las clases $\{2, 23A, 23B\}$ .
Terna No Rígida y Espacio de Hurwitz: En lugar de una terna rígida, los autores utilizan la terna $\{2, 23A, 23B\}$ . El teorema de existencia de Riemann implica la existencia de exactamente siete recubrimientos de $M_{23}$ de $\mathbb{P}^1_\mathbb{C}$ ramificados sobre el conjunto $S = \{0, \sqrt{-23}, -\sqrt{-23}\}$ con monodromía local en estas clases. El cociente de tal recubrimiento por un estabilizador de punto produce una curva de género 4 $X_C$ .
Computación Numérica de Mapas de Belyi: Utilizando el paquete BelyiDB (que implementa algoritmos de Klug, Musty, Schiavone, Sijsling y Voight, inspirados en Hejhal y Stark), los autores computan numéricamente las siete curvas $X_C$ asociadas a la clase de Nielsen. Esto implica computar expansiones de series de potencias de formas diferenciales con alta precisión.
Reconocimiento Algebraico: Los coeficientes de las curvas computadas son reconocidos como números algebraicos utilizando el algoritmo PSLQ. Sorprendentemente, los autores encuentran que el campo de módulos de una de estas siete curvas es $\mathbb{Q}$ , a pesar de la expectativa de que el grupo de Galois $G_\mathbb{Q}$ actuaría transitivamente sobre el conjunto de siete. Este punto fijo permite que la curva descienda a un modelo $X$ definido sobre $\mathbb{Q}$ .
Construcción de la Extensión:
- Los autores construyen un modelo canónico de la curva de género 4 $X_K$ (donde $K=\mathbb{Q}(\sqrt{-23})$ ) como una intersección completa de una cuádrica y una cúbica en $\mathbb{P}^3$ .
- Computan funciones racionales $u$ y $v$ en $X$ para definir un mapa de grado 23 $t: X \to \mathbb{P}^1$ .
- Mediante el análisis del cuerpo de funciones $K(X)$ y la aplicación de álgebra lineal módulo primos pequeños, reconstruyen un polinomio $F(T, V) \in \mathbb{Q}[T, V]$ de grado 23 en $V$ .
Verificación del Grupo de Galois:
- Monodromía Geométrica: La monodromía local en los puntos de ramificación (un ciclo de longitud 23 en $\pm\sqrt{-23}$ y un tipo de ciclo específico en 0) implica que el grupo de monodromía geométrica $G_{geom}$ contiene a $M_{23}$ .
- Monodromía Aritmética: Al especializar el polinomio módulo 31 y utilizando Magma para certificar que el grupo de monodromía aritmética es $M_{23}$ , prueban que $G_{arith} = M_{23}$ . Dado que $M_{23}$ no es normal en ningún subgrupo mayor de $S_{23}$ , $G_{geom} = G_{arith} = M_{23}$ .

Contribuciones Clave y Resultados

Teorema 1.1: Existe una extensión de Galois de $\mathbb{Q}$ con grupo de Galois $M_{23}$ .
Teorema 1.3: Existe una extensión de Galois regular $L/\mathbb{Q}(t)$ con grupo de Galois $M_{23}$ . Este es un resultado más fuerte, lo que implica la existencia de infinitas tales extensiones sobre $\mathbb{Q}$ vía el Teorema de Irreducibilidad de Hilbert.
Polinomios Explícitos: Los autores proporcionan polinomios explícitos de grado 23 con coeficientes racionales.
- Ejemplo 1.2: Un polinomio $f(x)$ cuyo cuerpo de división es una extensión de $M_{23}$ de $\mathbb{Q}$ no ramificada fuera de $\{2, 3, 23\}$ .
- Ejemplo 3.7: Una especialización de menor altura $f(x)$ no ramificada fuera de $\{2, 7, 23\}$ .
Corolario 1.4: Los resultados se extienden a cualquier cuerpo numérico $k$ , probando la existencia de extensiones de $k(t)$ regulares $G$ y extensiones de $k$ mutuamente independientes para cualquier grupo simple finito esporádico $G$ .

Significado
El artículo completa el programa de realizar todos los 26 grupos simples esporádicos como grupos de Galois sobre $\mathbb{Q}$ . La realización de $M_{23}$ era el último caso pendiente. El trabajo es significativo no solo por el resultado en sí, sino por su metodología: logra navegar el fallo del método de rigidez estándar aprovechando una terna no rígida donde la acción de Galois sobre el espacio de Hurwitz posee un punto fijo. Esto permite el descenso de un recubrimiento definido sobre un cuerpo numérico a uno definido sobre $\mathbb{Q}$ , un fenómeno que los autores señalan que carecen de una explicación conceptual, describiéndolo como "milagroso".

Los autores certifican sus afirmaciones utilizando el sistema de álgebra computacional Magma y proporcionan su código públicamente. Declaran explícitamente que, aunque se utilizaron herramientas de IA para la búsqueda de literatura, la generación de código y la revisión de textos, los resultados matemáticos finales y las verificaciones se realizaron sin asistencia de IA.

La última pieza del rompecabezas

El viaje: De "casi" a "exactamente"

La construcción: De los números a los polinomios

El veredicto

Resumen Técnico: El Grupo de Mathieu M23M_{23}M23​ como Grupo de Galois sobre Q\mathbb{Q}Q

Más como este

Resumen Técnico: El Grupo de Mathieu $M_{23}$ como Grupo de Galois sobre $\mathbb{Q}$