Related papers: Computing finite Galois groups arising from automo…
Let $\ell\geq 5$ be a prime number and $\mathbb{F}_\ell$ denote the finite field with $\ell$ elements. We show that the number of Galois extensions of the rationals with Galois group isomorphic to $GL_2(\mathbb{F}_\ell)$ and absolute…
We prove automorphy lifting theorems for 2-dimensional Galois representations of absolute Galois groups of totally real fields when the residual representation is of "exceptional" type. This exceptional case is when we are in characteristic…
We prove that over totally real fields, the $p$-adic Galois representations attached to non-self-dual regular algebraic cuspidal automorphic representations of $\mathrm{GL}(4)$ are irreducible. We then develop the theory of extra-twists in…
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…
Let $G$ be a finite classical group of Lie type of rank $\ell$, defined over a field of characteristic $p>2$. In this work, we classify the irreducible representations of $G$ whose dimensions are bounded by a constant proportional to…
We determine all the $p$-adic analytic groups that are realizable as Galois groups of the maximal pro-$p$ extensions of number fields with prescribed ramification and splitting under an assumption which allows us to move away from the Tame…
Let $F$ be an algebraically closed field of characteristic $p$. We fashion an infinite dimensional basic algebra $\underleftarrow{\mathcal{C}}_p(F)$, with a transparent combinatorial structure, which we expect to control the rational…
We examine which representations of the absolute Galois group of a field of finite characteristic with image over a finite field of the same characteristic may be constructed by the Galois group's action on the division points of an…
We consider lifting of mod p representations to mod p^2 representations in the setting of representations of (i) finite groups; (ii) absolute Galois groups of abstract fields; and (iii) absolute Galois groups of local and global fields.
We construct moduli stacks of two-dimensional mod p representations of the absolute Galois group of a p-adic local field, and relate their geometry to the weight part of Serre's conjecture for GL(2).
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…
In recent work, the authors proved a general result on lifting $G$-irreducible odd Galois representations $\mathrm{Gal}(\overline{F}/F) \to G(\overline{\mathbb{F}}_{\ell})$, with $F$ a totally real number field and $G$ a reductive group, to…
We study the groups in the unit filtration of a finite abelian extension K of the field of p-adic numbers. We determine explicit generators of these groups as modules over the pro-p group ring of the Galois group of K over the p-adic…
We compute extension groups in the category of duals of $p$-adic Banach space representations of $\mathrm{GL}_2(\mathbb{Q}_p)$. Focusing on representations arising from the $p$-adic local Langlands correspondence for generic Galois…
We study the ramification groups of finite Galois extensions $L/K$ of a complete discrete valuation field $K$ of equal characteristic $p>0$ with perfect residue field and Galois group isomorphic to the group of unitriangular matrices…
For a rational prime $p\neq 2$, we compute the sequence of ramification groups of a Galois, radical and finite extension $L/F$ where $F/\mathbb{Q}_p$ is an unramified finite extension. First, we compute it in the case where the exponent of…
For a prime p, we study the Galois groups of maximal pro-$p$ extensions of imaginary quadratic fields unramified outside a finite set $S$, where $S$ consists of one or two finite places not lying above $p$. When $p$ is odd, we give explicit…
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…
In this paper, we associate Galois representations to globally generic cuspidal automorphic representations on GSp(4), over a totally real field F, which are Steinberg at some finite place. This association is compatible with the local…
Using Galois representations attached to elliptic curves, we construct Galois extensions of $\mathbb{Q}$ with group $GL_2(p)$ in which all decomposition groups are cyclic. This is the first such realization for all primes $p$.