Related papers: Certification of modular Galois representations

In this expository article, we present a brief introduction to the theory of Hilbert modular forms and Galois representations, and describe what it means to attach a compatible system of Galois representations to a Hilbert modular form.

Let $\rho$ be a mod $\ell$ Galois representation attached to a newform $f$. Explicit methods are sometimes able to determine the image of $\rho$, or even the number field cut out by $\rho$, provided that $\ell$ and the level $N$ of $f$ are…

In this paper we show that two dimensional (mod p) Galois representations satisfying mild hypotheses can be lifted to p-adic Galois representations ramified at infinitely many primes such that the characteristic polynomials of Frobenius at…

In this note we prove that for every integer $d \geq 1$, there exists an explicit constant $B_d$ such that the following holds. Let $K$ be a number field of degree $d$, let $q > \max\{d-1,5\}$ be any rational prime that is totally inert in…

Let $r>2$ and $\ell$ be primes. In this paper we study the mod $\ell$ Galois representations attached to curves of the form $y^r = f(x)$ where $f$ is monic and has coefficients belonging to the $r$-th cyclotomic field. We provide conditions…

Let $p$ be a prime number and $F$ a totally real number field. For each prime $\mathfrak{p}$ of $F$ above $p$ we construct a Hecke operator $T_\mathfrak{p}$ acting on $(\mathrm{mod}\, p^m)$ Katz Hilbert modular classes which agrees with the…

Let $E$ be an elliptic curve defined over $\mathbf{Q}$ without complex multiplication. For each prime $\ell$, there is a representation $\rho_{E,\ell}\colon \text{Gal}(\overline{\mathbf{Q}}/\mathbf{Q}) \to \text{GL}_2(\mathbf{F}_{\ell})$…

Let $p$ be prime, and $n,m \in \mathbb{N}$. When $K/F$ is a cyclic extension of degree $p^n$, we determine the $\mathbb{Z}/p^m\mathbb{Z}[\text{Gal}(K/F)]$-module structure of $K^\times/K^{\times p^m}$. With at most one exception, each…

Let G be a linear algebraic group, not necessarily connected or reductive, over the field of real numbers R. We describe a method, implemented on computer, to find the first Galois cohomology set H^1(R,G). The output is a list of 1-cocycles…

We exhibit algorithms to compute systems of Hecke eigenvalues for spaces of Hilbert modular forms over a totally real field. We provide many explicit examples as well as applications to modularity and Galois representations.

A strategy to address the inverse Galois problem over Q consists of exploiting the knowledge of Galois representations attached to certain automorphic forms. More precisely, if such forms are carefully chosen, they provide compatible…

In this paper, we consider Galois representations of the absolute Galois group $\text{Gal}(\overline {\mathbb Q}/\mathbb Q)$ attached to modular forms for noncongruence subgroups of $\text{SL}_2(\mathbb Z)$. When the underlying modular…

By applying interpretable machine learning methods such as decision trees, we study how simple models can classify the Galois groups of Galois extensions over $\mathbb{Q}$ of degrees 4, 6, 8, 9, and 10, using Dedekind zeta coefficients. Our…

In this article, we show that for any non-isotrivial family of abelian varieties over a rational base with big monodromy, those members that have adelic Galois representation with image as large as possible form a density-$1$ subset. Our…

We show how to speed up the computation of isomorphisms of hyperelliptic curves by using covariants. We also obtain new theoretical and practical results concerning models of these curves over their field of moduli.

It is shown that, under some mild technical conditions, representations of prime numbers by binary quadratic forms can be computed in polynomial complexity by exploiting Schoof's algorithm, which counts the number of $\mathbb F_q$-points of…

We compute the image of any choice of complex conjugation on the Galois representations associated to regular algebraic cuspidal automorphic representations and to torsion classes in the cohomology of locally symmetric spaces for $GL_n$…

It is known that if $p>37$ is a prime number and $E/\mathbb{Q}$ is an elliptic curve without complex multiplication, then the image of the mod $p$ Galois representation $$…

We show that the mod p Galois representations attached to a Q-curve E of degree d over an imaginary quadratic number field K are surjective for all p larger than some constant M_{K,d}, if E has potentially multiplicative reduction at any…

To a hyperbolic smooth curve defined over a number-field one naturally associates an "anabelian" representation of the absolute Galois group of the base field landing in outer automorphism group of the algebraic fundamental group. In this…