Related papers: Certification of modular Galois representations
In this paper we present a description of the Galois representation attached to an elliptic curve defined over a $2$-adic field $K$, in the case where the image of inertia is non-abelian. There are two possibilities for the image of…
We give a direct approach to recover some of the results of Wiles and Tayor on modularity of certain 2-dimensional p-adic representations of the absolute Galois group of Q.
In this note we produce examples of converging sequences of Galois representations, and study some of their properties. Some of the results here are used in the preprint math.NT/0210296.
Let E be an elliptic curve without complex multiplication (CM) over a number field K, and let G_E(ell) be the image of the Galois representation induced by the action of the absolute Galois group of K on the ell-torsion subgroup of E. We…
We determine semisimple reductions of irreducible, 2-dimensional crystalline representations of the absolute Galois group $\text{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_{p^f})$. To this end, we provide explicit representatives for the…
We give an effective version of a result reported by Serre asserting that the images of the Galois representations attached to an abelian surface with $\End(A)= \mathbb{Z}$ are as large as possible for almost every prime. Our algorithm…
We consider mod $p$ Hilbert modular forms for a totally real field $F$, viewed as sections of automorphic line bundles on Hilbert modular varieties in prime characteristic $p$. For a Hecke eigenform of arbitrary weight, we prove the…
In this paper we show how to explicitly write down equations of hyperelliptic curves over Q such that for all odd primes l the image of the mod l Galois representation is the general symplectic group. The proof relies on understanding the…
We sketch a method to compute mod $\ell$ Galois representations contained in the H2 \'etale of surfaces. We apply this method to the case of a representation with values in GL(3,9) attached to an eigenform over a congruence subgroup of…
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…
Different theorem provers tend to produce proof objects in different formats and this is especially the case for modal logics, where several deductive formalisms (and provers based on them) have been presented. This work falls within the…
This article gives an introduction for mathematicians interested in numerical computations in algebraic geometry and number theory to some recent progress in algorithmic number theory, emphasising the key role of approximate computations…
We describe a generalization of the large sieve to situations where the underlying groups are nonabelian, and give several applications to the arithmetic of abelian varieties. In our applications, we sieve the set of primes via the system…
An affine variety induces the structure of an algebraic matroid on the set of coordinates of the ambient space. The matroid has two natural decorations: a circuit polynomial attached to each circuit, and the degree of the projection map to…
We study $N$-congruences between quadratic twists of elliptic curves. If $N$ has exactly two distinct prime factors we show that these are parametrised by double covers of certain modular curves. In many, but not all cases, the modular…
In this article we perform an extensive study of the spaces of automorphic forms for GL(2) of weight two and level N, for N an ideal in the ring of integers of the quartic CM field generated by the twelfth roots of unity. This study is…
We present an algorithm to determine if the $L$-series associated to an automorphic representation and the one associated to an elliptic curve over an imaginary quadratic field agree. By the work of Harris-Soudry-Taylor, Taylor and…
A new symbolic algorithm to compute sums of squares multipliers (certificates) to witness the membership of non-negative univariate polynomials in a saturated univariate quadratic module is presented. Certificates are first computed in…
In this paper we will give the calculus, the criterion, and the existence of the arithmetic Galois covers of higher relative dimensions.
In this paper, we study the Galois representations attached to products of Drinfeld modules. As an analogue of Serre's classical result on the images of Galois representations associated with products of elliptic curves, we prove that for…