2025-11-19T19:34:14.311509

Hopf--Galois structures of cyclic type on parallel extensions of prime power degree

Darlington, Tsang
Let $L/K$ be any finite separable extension with normal closure $\widetilde{L}/K$. An extension $L'/K$ is said to be $\textit{parallel to $L/K$}$ if $L'$ is an intermediate field of $\widetilde{L}/K$ with $[L':K]=[L:K]$. We study the following question -- Given that $L/K$ admits a Hopf--Galois structure of type $N$, does it imply that every extension parallel to $L/K$ also admits a Hopf--Galois structure of type $N$? We completely solve this problem when the degree $[L:K]$ is a prime power and the type $N$ is cyclic. Our approach is group-theoretic and uses the work of Greither--Pareigis and Byott.
academic

Structures de Hopf-Galois de type cyclique sur les extensions parallèles de degré puissance première

Informations fondamentales

  • ID de l'article: 2510.14473
  • Titre: Hopf--Galois structures of cyclic type on parallel extensions of prime power degree
  • Auteurs: Andrew Darlington, Cindy (Sin Yi) Tsang
  • Classification: math.GR (théorie des groupes), math.NT (théorie des nombres), math.RA (anneaux et algèbres)
  • Date de publication: 16 octobre 2025 (prépublication arXiv)
  • Lien de l'article: https://arxiv.org/abs/2510.14473

Résumé

Soit L/KL/K une extension finie séparable quelconque, dont la clôture normale est L~/K\widetilde{L}/K. Si L′L' est un corps intermédiaire de L~/K\widetilde{L}/K avec [L′:K]=[L:K][L':K]=[L:K], alors l'extension L′/KL'/K est dite parallèle à L/KL/K. Cet article étudie la question suivante : si L/KL/K admet une structure de Hopf-Galois de type NN, cela implique-t-il que chaque extension parallèle à L/KL/K admet également une structure de Hopf-Galois de type NN ? Les auteurs résolvent complètement cette question lorsque le degré [L:K][L:K] est une puissance première et le type NN est un groupe cyclique. L'approche est théorique des groupes, utilisant les travaux de Greither-Pareigis et Byott.

Contexte et motivation de la recherche

Contexte du problème

  1. Théorie de Hopf-Galois: Initialement décrite par Chase et Sweedler pour étudier les extensions purement inséparables, elle s'est avérée applicable aux extensions séparables et a reçu une classification théorique des groupes grâce aux travaux de Greither-Pareigis.
  2. Concept d'extensions parallèles: Pour une extension finie séparable L/KL/K, une extension parallèle L′/KL'/K est un corps intermédiaire de la clôture normale L~/K\widetilde{L}/K ayant le même degré que LL. Ce concept n'est pas symétrique, car LL n'est pas nécessairement contenu dans la clôture normale de L′L'.
  3. Problème central: Étudier la transitivité des structures de Hopf-Galois entre extensions parallèles, c'est-à-dire si une extension admet une structure de Hopf-Galois d'un certain type, ses extensions parallèles admettent-elles également une structure du même type.

Motivation de la recherche

  1. Complétude théorique: Bien qu'il existe des contre-exemples, les calculs Magma suggèrent que la réponse est généralement affirmative, particulièrement lorsque le degré est sans facteur carré.
  2. Problèmes de classification: En fixant le type NN, le problème devient plus traitable, particulièrement pour les degrés puissance première et les types cycliques.
  3. Approche théorique des groupes: En utilisant le groupe holomorphe de Byott Hol(N)=N⋊Aut(N)\text{Hol}(N) = N \rtimes \text{Aut}(N), le problème se transforme en l'étude des propriétés des sous-groupes transitifs.

Contributions principales

  1. Résolution complète du cas puissance première impaire: Preuve que pour les degrés puissance première impaire, une extension parallèle admet une structure de Hopf-Galois de type cyclique si et seulement si elle est conjuguée à l'extension originale.
  2. Caractérisation du cas puissance première paire: Classification complète du cas puissance première paire, distinguant différents sous-cas et fournissant des conditions de discrimination précises.
  3. Caractérisation théorique des groupes: Analyse complète des sous-groupes transitifs du groupe holomorphe d'un groupe cyclique NN, particulièrement les sous-groupes d'indice ∣N∣|N|.
  4. Innovation technique: Développement de nouvelles techniques pour traiter les sous-groupes de Hall dans le groupe holomorphe, généralisant les résultats antérieurs applicables uniquement aux ordres sans facteur carré.

Explication détaillée de la méthode

Définition de la tâche

Étant donné un groupe cyclique NN et un sous-groupe transitif GG de son groupe holomorphe Hol(N)\text{Hol}(N), pour tout sous-groupe HH d'indice ∣N∣|N| de GG, déterminer si le groupe quotient G/CoreG(H)G/\text{Core}_G(H) est isomorphe à un sous-groupe transitif de Hol(N)\text{Hol}(N), et si sous cet isomorphisme H/CoreG(H)H/\text{Core}_G(H) se mappe au sous-groupe stabilisateur.

Cadre technique fondamental

1. Correspondance de Byott

Utilisant les résultats de Byott, l'existence d'une structure de Hopf-Galois équivaut à:

  • Le groupe GG est isomorphe à un sous-groupe transitif de Hol(N)\text{Hol}(N)
  • Sous cet isomorphisme, G′G' se mappe au stabilisateur StabT(1N)\text{Stab}_T(1_N)

2. Analyse de la structure du groupe holomorphe

Pour un groupe cyclique N=⟨σ⟩N = \langle \sigma \rangle d'ordre puissance première pep^e:

  • Lorsque pp est impair: Aut(N)≅Cpe−1(p−1)\text{Aut}(N) \cong C_{p^{e-1}(p-1)}
  • Lorsque p=2p = 2: Aut(N)≅C2×C2e−2\text{Aut}(N) \cong C_2 \times C_{2^{e-2}}

3. Formule de l'ordre des éléments

Pour [σu,φa]∈Hol(N)[\sigma^u, \varphi_a] \in \text{Hol}(N), où a≡1(modp)a \equiv 1 \pmod{p}:

Cas de nombre premier impair: ∣[σu,φa]∣=max⁡{pe−vp(u),∣φa∣}|[\sigma^u, \varphi_a]| = \max\{p^{e-v_p(u)}, |\varphi_a|\}

Cas de nombre premier pair:

undefined