Let L be a Galois extension of a countable Hilbertian field K. Although L need not be Hilbertian, we prove that an abundance of large Galois subextensions of L/K are.
We introduce and study a class of field extensions that we call pre-Galois; viz. extensions that become Galois after some linearly disjoint Galois base change. Among them are geometrically Galois extensions of k(T), with k a field: extensions that become Galois and remain of the same degree after passing to the algebraic closure of k. We develop a pre-Galois theory that includes a Galois correspondence, and investigate the corresponding variants of the inverse Galois problem. We provide answers in situations where the classical analogs are not known. In particular, for every finite simple grou…
Given a Hilbertian field $k$ and a finite set $\mathcal{S}$ of Krull valuations of $k$, we show that every finite split embedding problem $G \rightarrow {\rm{Gal}}(L/k)$ over $k$ with abelian kernel has a solu\-tion ${\rm{Gal}}(F/k) \rightarrow G$ such that every $v \in \mathcal{S}$ is totally split in $F/L$. Two applications are then given. Firstly, we solve a non-constant variant of the Beckmann--Black problem for solvable groups: given a field $k$ and a non-trivial finite solvable group $G$, every Galois field extension $F/k$ of group $G$ is shown to occur as the specialization at some $t_0…
Recently, much work has been done to investigate Galois module structure of local field extensions, particularly through the use of Galois scaffolds. Given a totally ramified $p$-extension of local fields $L/K$, a Galois Scaffold gives us a $K$-basis for $K[G]$ whose effect on the valuation of elements of $L$ is easy to determine. In 2013, N.P. Byott and G.G. Elder gave sufficient conditions for the existence of Galois scaffolds for cyclic extensions of degree $p^2$ in characteristic $p$. We take their work and adapt it to cyclic extensions of degree $p^2$ in characteristic $0$.
Let $L/k$ an Galois extension of number fields with Galois group isomorphic to a dihedral group of order $2n$. In this note, we give a general description of the Hasse norm principle for $L/k$ and the weak approximation for the norm one torus $R^1_{L/k}(\mathbb{G}_m)$ associated to $L/k$.
We investigate the rank gain of elliptic curves, and more generally, Jacobian varieties, over non-Galois extensions whose Galois closure has Galois group permutation-isomorphic to a prescribed group $G$ (in short, "$G$-extensions"). In particular, for alternating groups and (an infinite family of) projective linear groups $G$, we show that most elliptic curves over (e.g.) $\mathbb{Q}$ gain rank over infinitely many $G$-extensions, conditional only on the parity conjecture. More generally, we provide a theoretical criterion which allows to deduce that "many" elliptic curves gain rank over infin…
Commutative Hopf-Galois module structure of tame extensions
本文证明了交换Hopf代数$ H $的$ p $ -adic域或数域的有限弱分歧扩张(即$ H $ -Galois)中分式理想的Hopf-Galois模结构的三个定理.首先,证明了如果$ L/K $是$ p $ -adic域的Tame Galois扩张,则$ L $的每一个分式理想在$ H $中的相关阶上是自由的.我们还表明,这一结论仍然有效,如果$ L/K $仅仅是几乎经典伽罗瓦。最后,证明了如果$ L/K $是数域的阿贝尔扩张,则$ L $的每一个模糊分式理想在$ H $中的相关阶上是局部自由的.
Given a quartic Galois extension $L/\mathbb{Q}$ of number fields and a Hopf-Galois structure $H$ on $L/\mathbb{Q}$, we study the freeness of the ring of integers $\mathcal{O}_L$ as module over the associated order $\mathfrak{A}_H$ in $H$. For the classical Galois structure $H_c$, we know by Leopoldt's theorem that $\mathcal{O}_L$ is $\mathfrak{A}_{H_c}$-free. If $L/\mathbb{Q}$ is cyclic, it admits a unique non-classical Hopf-Galois structure, whereas if it is biquadratic, it admits three such Hopf-Galois structures. In both cases, we obtain that freeness depends on the solvability in $\mathbb{…
Ramification groups of Galois extensions over local fields of positive characteristic with Galois group isomorphic to the group of unitriangular matrices
We study the inverse Galois problem with local conditions. In particular, we ask whether every finite group occurs as the Galois group of a Galois extension of $\mathbb{Q}$ all of whose decomposition groups are cyclic (resp., abelian). This property is known for all solvable groups due to Shafarevich's solution of the inverse Galois problem for those groups. It is however completely open for nonsolvable groups. In this paper, we provide general criteria to attack such questions via specialization of function field extensions, and in particular give the first infinite families of Galois realiza…
Let $L/K$ be a finite Galois extension of fields with Galois group $G$. It is known that $L/K$ admits exactly two Hopf-Galois structures when $G$ is non-abelian simple. In this paper, we extend this result to the case when $G$ is quasisimple.
Hopf Galois theory for finite separable field extensions was introduced by Greither and Pareigis. They showed that all Hopf Galois extensions of degree up to 5 are either Galois or almost classically Galois and they determined the Hopf Galois character of a separable extension according to the Galois group (or the degree) of its Galois closure. In this paper we study degree 6 separable extensions as well as intermediate extensions for degrees 4,5 and 6. We present an example of a non almost classically Galois Hopf Galois extension of the field of rational numbers of the smallest possible degre…
The conjecture due to Bertrand and Rodriguez Villegas asserts that the 1-norm of the nonzero element in an exterior power of the units of a number field has a certain lower bound. We prove this conjecture for the exterior square case when the number field is a real multi-quadratic Galois extension of any degree of the rationals.
Let $K$ be a local field of characteristic $p$ and let $L/K$ be a totally ramified Galois extension such that Gal$(L/K)\cong C_{p^n}$. In this paper we find sufficient conditions for $L/K$ to admit a Galois scaffold. This leads to sufficient conditions for the ring of integers $O_L$ to be free of rank 1 over its associated order $A_0$, and to stricter conditions which imply that $A_0$ is a Hopf order in the group ring $K[C_{p^n}]$.