Related papers: Computing modular Galois representations for small…
Given an abelian algebraic group $A$ over a global field $F$, $\alpha \in A(F)$, and a prime $\ell$, the set of all preimages of $\alpha$ under some iterate of $[\ell]$ generates an extension of $F$ that contains all $\ell$-power torsion…
We extend our method to compute division polynomials of Jacobians of curves over Q to curves over Q(t), in view of computing mod ell Galois representations occurring in the \'etale cohomology of surfaces over Q. Although the division…
For $J$ an abelian surface, the Galois representation $\varrho_{J, \ell} : {\rm Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \rightarrow {\rm Aut}(J[\ell]) \simeq {\rm GSp}_4(\mathbb{F}_\ell)$ is typically surjective, with smaller images…
This article explains how to practically compute L-invariants of p-new eigenforms using p-adic L-series and exceptional zero phenomena. As proof of the utility, we compiled a data set consisting of over 150,000 L-invariants. We analyze…
We determine the Galois group of the 2-class field tower for two particular families of imaginary quadratic number fields $k$ with $2$-class field tower of length $2$.
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…
Let $X$ be a variety (possibly non-complete or singular) over a finitely generated field $k$ of characteristic $0$. For a prime number $\ell$, let $\rho_\ell$ be the Galois representation on the first $\ell$-adic cohomology of $X$. We show…
We say that a normalized modular form is of CM type modulo $\ell$ by an imaginary quadratic field $K$ if its Fourier coefficients $a_p$ are congruent to $0$ modulo a prime $\mathcal L\mid \ell$ for every prime $p$ that is inert in $K$. In…
For all odd primes N up to 500000, we compute the action of the Hecke operator T_2 on the space S_2(Gamma_0(N), Q) and determine whether or not the reduction mod 2 (with respect to a suitable basis) has 0 and/or 1 as eigenvalues. We then…
We investigate class field towers of number fields obtained as fixed fields of modular representations of the absolute Galois group of the rational numbers. First, for each $k\in\{12,16,18,20,22,26\}$, we give explicit rational primes $\l$…
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).
We study the mod $\ell$ Weil representation of a finite unitary group and related Deligne--Lusztig inductions. In particular, we study their decomposition as representations of a symplectic group, and give a construction of a mod $\ell$…
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…
In this paper, we explain how to compute the Lie algebra of the differential Galois group of a reducible linear differential system. We achieve this by showing how to transform a block-triangular linear differential system into a…
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…
We obtain new lower bounds for the number of Fourier coefficients of a weakly holomorphic modular form of half-integral weight not divisible by some prime $\ell$. Among the applications of this we show that there are $\gg \sqrt{X}/\log \log…
Let $p\geq 5$ be a prime number. In this paper, we construct Galois representations associated with modular forms for which the dimension of the $p$-torsion in the Bloch-Kato Selmer group can be made arbitrarily large. Our result extends…
The aim of this paper is to present an algorithm the complexity of which is polynomial to compute the semi-simplified modulo $p$ of a semi-stable $\Q_p$-representation of the absolute Galois group of a $p$-adic field (\emph{i.e.} a finite…
We consider the family of irreducible crystalline representations of dimension $2$ of ${\rm Gal}(\overline{\bf Q}_p/{\bf Q}_p)$ given by the $V_{k,a_p}$ for a fixed weight integer $k\geq 2$. We study the locus of the parameter $a_p$ where…
The Galois/monodromy group of a family of geometric problems or equations is a subtle invariant that encodes the structure of the solutions. Computing monodromy permutations using numerical algebraic geometry gives information about the…