Related papers: Certification of modular Galois representations

Let G be a finite group and V a finite-dimensional rational G-representation. We ask whether there exists a finite Galois extension L/K of number fields with Galois group G, an elliptic curve E/K, and a G-submodule of E(L) tensor Q…

Galois field (GF) arithmetic is used to implement critical arithmetic components in communication and security-related hardware, and verification of such components is of prime importance. Current techniques for formally verifying such…

It is known that any Galois representation $\rho : G_{\mathbb{Q}} \rightarrow \mathrm{GL}(2,\mathbb{F}_p)$ with determinant equal to the mod-$p$ cyclotomic character, arises from the $p$-torsion of an elliptic curve over $\mathbb{Q}$, if…

We outline a general algorithm for computing an explicit model over a number field of any curve of genus 2 whose (unpolarized) Jacobian is isomorphic to the product of two elliptic curves with CM by the same order in an imaginary quadratic…

Given an odd representation of the absolute Galois group of Q onto PGL(2,3) and a positive integer N, there exists a twisted modular curve defined over Q whose rational points classify the quadratic Q-curves of degree N realizing the…

In the present paper, we shall show that for any prime number p, every finite p-group occurs as the Galois Group of the maximal unramified p-extension over a certain number field of finite degree. We shall also show that for any given…

We present an algorithm to determine the Galois group of an irreducible monic polynomial $f(x) \in \mathbb{Z}[x]$ of degree at most five. Following work of Conrad, Dummit, and Stauduhar this comes down to answering two questions: Is a given…

We present an algorithm that determines the Galois group of linear difference equations with rational function coefficients.

We show that the image of the adelic Galois representation attached to a non-CM modular form is open in the adelic points of a suitable algebraic group. We also show a similar result for the adelic Galois representation attached to a finite…

We study the Galois symbol map associated to the multiplicative group and an abelian variety which has good ordinary reduction over a $p$-adic field. As a byproduct, one can calculate the "class group" in the view of the class field theory…

The purpose of this paper is to explore the question "to what extent could we produce formal, machine-verifiable, proofs in real algebraic geometry?" The question has been asked before but as yet the leading algorithms for answering such…

We give a parametrization of the possible Serre invariants $(N,k,\nu)$ of modular mod $\ell$ Galois representations of the exceptional types $A_4$, $S_4$, $A_5$, in terms of local data attached to the fields cut out by the associated…

In this paper, a strong multiplicity one theorem for Katz modular forms is studied. We show that a cuspidal Katz eigenform which admits an irreducible Galois representation is in the level and weight old space of a uniquely associated Katz…

In the process of computing the Galois group of a prime degree polynomial $f(x)$ over $\mathbb Q$ we suggest a preliminary checking for the existence of non-real roots. If $f(x)$ has non-real roots, then combining a 1871 result of Jordan…

This paper is concerned with the complexity and stability of arithmetic operations in the jacobian variety of curves over the field of complex numbers, as the genus grows to infinity. We focus on modular curves. Efficient and stable…

In this article, I discuss material which is related to the recent proof of Fermat's Last Theorem: elliptic curves, modular forms, Galois representations and their deformations, Frey's construction, and the conjectures of Serre and of…

This note provides an insight to the diophantine properties of abelian surfaces with quaternionic multiplication over number fields. We study the fields of definition of the endomorphisms on these abelian varieties and the images of the…

We study Galois representations attached to nonsimple abelian varieties over finitely generated fields of arbitrary characteristic. We give sufficient conditions for such representations to decompose as a product, and apply them to prove…

Computer Algebra systems are widely spread because of some of their remarkable features such as their ease of use and performance. Nonetheless, this focus on performance sometimes leads to unwanted consequences: algorithms and computations…

This is a continuation of our previous work on the locally analytic vectors of the completed cohomology of modular curves. We construct differential operators on modular curves with infinite level at p in both "holomorphic" and…