Showing 1–11 of 11 results for author: Mascot, N

Explicit computation of Galois representations occurring in families of curves

Authors: Nicolas Mascot

Abstract: 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 étale cohomology of surfaces over Q. Although the division polynomials which we obtain are unfortunately too complicated to achieve this last goal, we still obtain explicit families of Galois representations over P^1_Q, and we… ▽ More 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 étale cohomology of surfaces over Q. Although the division polynomials which we obtain are unfortunately too complicated to achieve this last goal, we still obtain explicit families of Galois representations over P^1_Q, and we study their degeneration at places of bad reduction of the corresponding curve. △ Less

Submitted 10 April, 2023; originally announced April 2023.

Comments: Comments welcome

MSC Class: 11Y40; 11F80; 14D06; 14H40; 14F20; 14Q10

A method to prove that a modular Galois representation has large image

Authors: Nicolas Mascot

Abstract: Let $ρ$ be a mod $\ell$ Galois representation attached to a newform $f$. Explicit methods are sometimes able to determine the image of $ρ$, or even the number field cut out by $ρ$, provided that $\ell$ and the level $N$ of $f$ are small enough; however these methods are not amenable to the case where $\ell$ or $N$ are large. The purpose of this short note is to establish a sufficient condition for… ▽ More Let $ρ$ be a mod $\ell$ Galois representation attached to a newform $f$. Explicit methods are sometimes able to determine the image of $ρ$, or even the number field cut out by $ρ$, provided that $\ell$ and the level $N$ of $f$ are small enough; however these methods are not amenable to the case where $\ell$ or $N$ are large. The purpose of this short note is to establish a sufficient condition for the image of $ρ$ to be large and which remains easy to test for moderately large $\ell$ and $N$. △ Less

Submitted 27 May, 2022; originally announced May 2022.

MSC Class: 11F80; 11F11

Computing the trace of an algebraic point on an elliptic curve

Authors: Nicolas Mascot, Denis Simon

Abstract: We present a simple and efficient algorithm to compute the sum of the algebraic conjugates of a point on an elliptic curve. We present a simple and efficient algorithm to compute the sum of the algebraic conjugates of a point on an elliptic curve. △ Less

Submitted 21 March, 2022; originally announced March 2022.

MSC Class: 11Y40; 11G05 (Primary) 12F10; 12F15 (Secondary)

Moduli-friendly Eisenstein series over the p-adics and the computation of modular Galois representations

Authors: Nicolas Mascot

Abstract: We show how our p-adic method to compute Galois representations occurring in the torsion of Jacobians of algebraic curves can be adapted to modular curves. The main ingredient is the use of "moduli-friendly" Eisenstein series introduced by Makdisi, which allow us to evaluate modular forms at p-adic of modular curves points and dispenses us of the need for equations of modular curves and for q-expa… ▽ More We show how our p-adic method to compute Galois representations occurring in the torsion of Jacobians of algebraic curves can be adapted to modular curves. The main ingredient is the use of "moduli-friendly" Eisenstein series introduced by Makdisi, which allow us to evaluate modular forms at p-adic of modular curves points and dispenses us of the need for equations of modular curves and for q-expansion computations. The resulting algorithm compares very favourably to the complex-analytic method. △ Less

Submitted 18 May, 2021; v1 submitted 30 April, 2020; originally announced April 2020.

Comments: Version 2: Variant based on Hecke action, and minor corrections and improvements. 46 pages, comments welcome

MSC Class: 11F80; 11Y40; 14H40; 14G20; 14G35; 11G18; 11F11

A Prym variety with everywhere good reduction over $\mathbb{Q}(\sqrt{61})$

Authors: Nicolas Mascot, Jeroen Sijsling, John Voight

Abstract: We compute an equation for a modular abelian surface $A$ that has everywhere good reduction over the quadratic field $K = \mathbb{Q}(\sqrt{61})$ and that does not admit a principal polarization over $K$. We compute an equation for a modular abelian surface $A$ that has everywhere good reduction over the quadratic field $K = \mathbb{Q}(\sqrt{61})$ and that does not admit a principal polarization over $K$. △ Less

Submitted 4 October, 2020; v1 submitted 1 August, 2019; originally announced August 2019.

Comments: 20 pages, minor revisions

Explicit computation of a Galois representation attached to an eigenform over SL3 from the H2 étale of a surface

Authors: Nicolas Mascot

Abstract: We sketch a method to compute mod $\ell$ Galois representations contained in the H2 étale 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 SL(3). We obtain in particular a polynomial with Galois group isomorphic to the simple group PSU(3,9) and ramified at 2 and 3 only. We sketch a method to compute mod $\ell$ Galois representations contained in the H2 étale 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 SL(3). We obtain in particular a polynomial with Galois group isomorphic to the simple group PSU(3,9) and ramified at 2 and 3 only. △ Less

Submitted 31 January, 2019; v1 submitted 13 October, 2018; originally announced October 2018.

Comments: Correction of typos, and clarification and strengthening of theorem 2.3

MSC Class: 11F80 (Primary) 11Y40 11F55 11Y70 14F20 14Q10 14Q05 (Secondary)

Hensel-lifting torsion points on Jacobians and Galois representations

Authors: Nicolas Mascot

Abstract: Let $ρ$ be a mod $\ell$ Galois representation. We show how to compute $ρ$, given the characteristic polynomial of the image of the Frobenius at one prime $p$ and a curve $C$ whose Jacobian contains $ρ$ in its $\ell$-torsion. The main ingredient is a method to $p$-adically lift torsion points on a Jacobian in the framework of Makdisi's algorithms. Let $ρ$ be a mod $\ell$ Galois representation. We show how to compute $ρ$, given the characteristic polynomial of the image of the Frobenius at one prime $p$ and a curve $C$ whose Jacobian contains $ρ$ in its $\ell$-torsion. The main ingredient is a method to $p$-adically lift torsion points on a Jacobian in the framework of Makdisi's algorithms. △ Less

Submitted 29 March, 2019; v1 submitted 12 August, 2018; originally announced August 2018.

Comments: Third version, 41 pages. Clarification of the arguments, and correction of a complexity estimate. Comments are welcome!

MSC Class: 11F80 (Primary); 11Y40; 14H40; 14G20 (Secondary)

Rigorous computation of the endomorphism ring of a Jacobian

Authors: Edgar Costa, Nicolas Mascot, Jeroen Sijsling, John Voight

Abstract: We describe several improvements to algorithms for the rigorous computation of the endomorphism ring of the Jacobian of a curve defined over a number field. We describe several improvements to algorithms for the rigorous computation of the endomorphism ring of the Jacobian of a curve defined over a number field. △ Less

Submitted 9 January, 2020; v1 submitted 25 May, 2017; originally announced May 2017.

Comments: 37 pages, 1 figure; v5 missing reference added

MSC Class: 11g10; 11Y99; 14K15; 14H40; 14Q05

Companion forms and explicit computation of PGL2 number fields with very little ramification

Authors: Nicolas Mascot

Abstract: In previous works, we described algorithms to compute the number field cut out by the mod ell representation attached to a modular form of level N=1. In this article, we explain how these algorithms can be generalised to forms of higher level N. As an application, we compute the Galois representations attached to a few forms which are supersingular or admit a companion mod ell with ell=13 (and s… ▽ More In previous works, we described algorithms to compute the number field cut out by the mod ell representation attached to a modular form of level N=1. In this article, we explain how these algorithms can be generalised to forms of higher level N. As an application, we compute the Galois representations attached to a few forms which are supersingular or admit a companion mod ell with ell=13 (and soon ell=41), and we obtain previously unknown number fields of degree ell+1 whose Galois closure has Galois group PGL(2,ell) and a root discriminant that is so small that it beats records for such number fields. Finally, we give a formula to predict the discriminant of the fields obtained by this method, and we use it to find other interesting examples, which are unfortunately out of our computational reach. △ Less

Submitted 14 November, 2016; v1 submitted 4 November, 2016; originally announced November 2016.

Comments: Version 2 update, 31 pages. Removed tables, added a section on the computation of discriminants

MSC Class: 11F80; 11R21; 11Y40 (Primary); 11F11; 11F30 (Secondary)

Certification of modular Galois representations

Authors: Nicolas Mascot

Abstract: We show how the output of the algorithm to compute modular Galois representations described in our previous article can be certified. We have used this process to compute certified tables of such Galois representations obtained thanks to an improved version of this algorithm, including representations modulo primes up to 31 and representations attached to a newform with non-rational (but of course… ▽ More We show how the output of the algorithm to compute modular Galois representations described in our previous article can be certified. We have used this process to compute certified tables of such Galois representations obtained thanks to an improved version of this algorithm, including representations modulo primes up to 31 and representations attached to a newform with non-rational (but of course algebraic) coefficients, which had never been done before. These computations take place in the Jacobian of modular curves of genus up to 26. The resulting data are available on the author's webpage, http://www2.warwick.ac.uk/fac/sci/maths/people/staff/mascot/galreps. △ Less

Submitted 29 March, 2016; v1 submitted 22 December, 2013; originally announced December 2013.

Comments: Revision as suggested by anonymous referee. The modifications include a more detailed analysis of the method to certify that a polynomial has Galois group PGL(2,l), a simpler but less efficient method to certify that a polynomial has Galois group GL(2,l)/Sr, and the removal of the tables, which are now available on the author's webpage. Comments welcome

MSC Class: 11Y70; 11F11; 11F80; 11S20; 11Y40; 20B40; 20J06

Computing modular Galois representations

Authors: Nicolas Mascot

Abstract: We compute modular Galois representations associated with a newform $f$, and study the related problem of computing the coefficients of $f$ modulo a small prime $\ell$. To this end, we design a practical variant of the complex approximations method presented in the book edited by B. Edixhoven and J.-M. Couveignes. Its efficiency stems from several new ingredients. For instance, we use fast exponen… ▽ More We compute modular Galois representations associated with a newform $f$, and study the related problem of computing the coefficients of $f$ modulo a small prime $\ell$. To this end, we design a practical variant of the complex approximations method presented in the book edited by B. Edixhoven and J.-M. Couveignes. Its efficiency stems from several new ingredients. For instance, we use fast exponentiation in the modular jacobian instead of analytic continuation, which greatly reduces the need to compute abelian integrals, since most of the computation handles divisors. Also, we introduce an efficient way to compute arithmetically well-behaved functions on jacobians, a method to expand cuspforms in quasi-linear time, and a trick making the computation of the image of a Frobenius element by a modular Galois representation more effective. We illustrate our method on the newforms $Δ$ and $E_4 Δ$, and manage to compute for the first time the associated faithful representations modulo $\ell$ and the values modulo $\ell$ of Ramanujan's $τ$ function at huge primes for $\ell \in {11,13,17,19,29}$. In particular, we get rid of the sign ambiguity stemming from the use of a non-faithful representation as in J. Bosman's work. As a consequence, we can compute the values of $τ(p) \bmod 2^11.3^6.5^3.7.11.13.17.19.23.29.691 \approx 2.8.10^19$ for huge primes $p$. These representations lie in the jacobian of modular curves of genus up to 22. △ Less

Submitted 12 June, 2013; v1 submitted 7 November, 2012; originally announced November 2012.

Comments: Fifth version changes : Rewritten the technical part of the introduction, and corrected a few mistakes

MSC Class: 11F80; 20C20; 14Q05; 11F11; 11F25; 11F30; 11G18