Related papers: Note on 2-rational fields
For any positive integer $n$, we show that there exists a real number field $k$ (resp. $k'$) of degree $2^n$ whose $2$-class group is isomorphic $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$ such that the Galois group of the maximal…
In this paper, we will calculate the number of Galois extensions of local fields with Galois group A_n and S_n.
This is the second in a pair of papers about residually reducible Galois deformation rings with non-optimal level. In the first paper, we proved a Galois-theoretic criterion for the deformation ring to be as small as possible. This paper…
The absolute Galois group Gal$(\overline{\mathbb{Q}}/\mathbb{Q})$ of the field $\mathbb{Q}$ of rational numbers can be presented as a highly computable object, under the notion of type-2 Turing computation. We formalize such a presentation…
The $p$-group generation algorithm from computational group theory is used to obtain information about large quotients of the pro-2 group $G = \text{Gal} (k^{nr,2}/k)$ for $k = \mathbb{Q}(\sqrt{d})$ with $d = -445, -1015, -1595, -2379$. In…
We consider the Galois group $G_2(K)$ of the maximal unramified $2$-extension of $K$ where $K/\mathbb{Q}$ is cyclic of degree $3$. We also consider the group $G^+_2(K)$ where ramification is allowed at infinity. In the spirit of the…
A Galois field extension $E/F$ whose Galois group is a pro-2-group of an exponent of at most 8, with a nilpotency class of at most 4, is determined, such that it contains essential information about the Witt rings of all quadratic…
We specialize various three-point covers to find number fields with Galois group $M_{12}$, $M_{12}.2$, $2.M_{12}$, or $2.M_{12}.2$ and light ramification in various senses. One of our $2.M_{12}.2$ fields has the unusual property that it is…
We provide an infinite family of quadratic number fields with everywhere unramified Galois extensions of Galois group $SL_2(7)$. To my knowledge, this is the first instance of infinitely many such realizations for a perfect group which is…
We remove the assumption "let p be odd or k totally imaginary" from several well-known theorems in Galois cohomology of number fields. For example, we show that the Galois group of the maximal extension of a number field k which is…
We extend Kovacic's algorithm to compute the differential Galois group of some second order parameterized linear differential equation. In the case where no Liouvillian solutions could be found, we give a necessary and sufficient condition…
Given a $2$-adic field $K$, we give formulae for the number of totally ramified quartic field extensions $L/K$ with a given discriminant valuation and Galois closure group. We use these formulae to prove a refinement of Serre's mass…
We compute new polynomials with Galois group $M_{11}$ over $\mathbb{Q}(t)$. These polynomials stem from various families of covers of $\mathbb{P}^1\mathbb{C}$ ramified over at least 4 points. Each of these families has features that make a…
For each finite subgroup $G$ of $PGL_2(\mathbb{Q})$, and for each integer $n$ coprime to $6$, we construct explicitly infinitely many Galois extensions of $\mathbb{Q}$ with group $G$ and whose ideal class group has $n$-rank at least…
We give a list of $PGL_2(\mathbb{F}_\ell)$ number fields for $\ell \geq 11$ which have rational companion forms. Our list has fifty-three fields and seems likely to be complete. Some of the fields on our list are very lightly ramified for…
We give a classification of all possible $2$-adic images of Galois representations associated to elliptic curves over $\mathbb{Q}$. To this end, we compute the 'arithmetically maximal' tower of 2-power level modular curves, develop…
In previous works, we described algorithms to compute the number field cut out by the mod ell representation attached to a modular form of level N=1. In this article, we explain how these algorithms can be generalised to forms of higher…
We examine the ramification groups of finite Galois extensions over complete discrete valuation fields of equal characteristic $p>0$. Brylinski (1983) calculated the ramification groups in the case where the Galois groups are abelian. We…
- Let K be a totally imaginary number field. Denote by G ur K (2) the Galois group of the maximal unramified pro-2 extension of K. By comparing cup-products in {\'e}tale cohomology of SpecO K and cohomology of uniform pro-2 groups, we…
One of the fundamental questions in current field theory, related to Grothendieck's conjecture of birational anabelian geometry, is the investigation of the precise relationship between the Galois theory of fields and the structure of the…