Estructuras de Hopf-Galois de tipo cíclico en extensiones paralelas de grado potencia prima

Información Básica

• ID del artículo: 2510.14473
• Título: Hopf--Galois structures of cyclic type on parallel extensions of prime power degree
• Autores: Andrew Darlington, Cindy (Sin Yi) Tsang
• Clasificación: math.GR (Teoría de Grupos), math.NT (Teoría de Números), math.RA (Anillos y Álgebra)
• Fecha de publicación: 16 de octubre de 2025 (preimpresión en arXiv)
• Enlace del artículo: https://arxiv.org/abs/2510.14473

Resumen

Sea $L/K$ una extensión finita separable arbitraria, cuya clausura normal sea $\widetilde{L}/K$. Si $L'$ es un campo intermedio de $\widetilde{L}/K$ tal que $[L':K]=[L:K]$, entonces la extensión $L'/K$ se denomina paralela a $L/K$. Este artículo investiga la siguiente cuestión: si $L/K$ admite una estructura de Hopf-Galois de tipo $N$, ¿implica esto que toda extensión paralela a $L/K$ también admite una estructura de Hopf-Galois de tipo $N$? Los autores resuelven completamente este problema cuando el grado $[L:K]$ es una potencia prima y el tipo $N$ es un grupo cíclico. El método es de naturaleza teórica de grupos, utilizando los trabajos de Greither-Pareigis y Byott.

Antecedentes y Motivación de la Investigación

Contexto del Problema

1. Teoría de Hopf-Galois: Inicialmente descrita por Chase y Sweedler para estudiar extensiones puramente inseparables, posteriormente se descubrió su aplicabilidad a extensiones separables, obteniéndose una clasificación teórica de grupos a través del trabajo de Greither-Pareigis.
2. Concepto de extensiones paralelas: Para una extensión finita separable $L/K$, una extensión paralela $L'/K$ es un campo intermedio en la clausura normal $\widetilde{L}/K$ que tiene el mismo grado que $L$. Este concepto no es simétrico, ya que $L$ no necesariamente está contenido en la clausura normal de $L'$.
3. Problema central: Investigar la transitividad de estructuras de Hopf-Galois entre extensiones paralelas, es decir, si una extensión admite una estructura de Hopf-Galois de cierto tipo, ¿también la admiten sus extensiones paralelas?

Motivación de la Investigación

1. Completitud teórica: Aunque existen contraejemplos, los cálculos con Magma sugieren que la respuesta es generalmente afirmativa, particularmente cuando el grado es libre de cuadrados.
2. Problema de clasificación: Al fijar el tipo $N$, el problema se vuelve más manejable, especialmente para grados que son potencias primas y tipos cíclicos.
3. Método teórico de grupos: Utilizando el grupo holomorfo de Byott $\text{Hol}(N) = N \rtimes \text{Aut}(N)$, el problema se transforma en el estudio de propiedades de subgrupos transitivos.

Contribuciones Principales

1. Resolución completa del caso de potencia prima impar: Se demuestra que para grados que son potencias de primos impares, una extensión paralela admite una estructura de Hopf-Galois de tipo cíclico si y solo si es conjugada a la extensión original.
2. Caracterización del caso de potencia prima par: Se proporciona una clasificación completa para el caso de grados que son potencias de 2, distinguiendo diferentes subcasos y proporcionando condiciones de discriminación precisas.
3. Caracterización teórica de grupos: Se proporciona un análisis completo de los subgrupos transitivos del grupo holomorfo de un grupo cíclico $N$, particularmente de aquellos subgrupos de índice $|N|$.
4. Innovación técnica: Se desarrollan nuevas técnicas para manejar subgrupos de Hall en grupos holomorfos, generalizando resultados anteriores que solo se aplicaban a órdenes libres de cuadrados.

Explicación Detallada del Método

Definición de la Tarea

Dado un grupo cíclico $N$ y un subgrupo transitivo $G$ de su grupo holomorfo $\text{Hol}(N)$, para cualquier subgrupo $H$ de $G$ con índice $|N|$, determinar si el grupo cociente $G/\text{Core}_G(H)$ es isomorfo a algún subgrupo transitivo de $\text{Hol}(N)$, y si bajo este isomorfismo $H/\text{Core}_G(H)$ se mapea al subgrupo estabilizador.

Marco Técnico Central

1. Correspondencia de Byott

Utilizando los resultados de Byott, la existencia de una estructura de Hopf-Galois es equivalente a:

• El grupo $G$ es isomorfo a un subgrupo transitivo de $\text{Hol}(N)$
• Bajo este isomorfismo, $G'$ se mapea al estabilizador $\text{Stab}_T(1_N)$

2. Análisis de la Estructura del Grupo Holomorfo

Para un grupo cíclico $N = \langle \sigma \rangle$ de orden potencia prima $p^e$:

• Cuando $p$ es impar: $\text{Aut}(N) \cong C_{p^{e-1}(p-1)}$
• Cuando $p = 2$: $\text{Aut}(N) \cong C_2 \times C_{2^{e-2}}$

3. Fórmula del Orden de Elementos

Para $[\sigma^u, \varphi_a] \in \text{Hol}(N)$, donde $a \equiv 1 \pmod{p}$:

Caso de primo impar: $|[\sigma^u, \varphi_a]| = \max\{p^{e-v_p(u)}, |\varphi_a|\}$

Caso de primo par: