SearcharxivSearch

arXiv subjects

Pierre Parent

Publications and source records attributed to Pierre Parent.

11 recordsLinked to original sources

Equationless quadratic Chabauty for non-split Cartan modular curves

The aim of this article is to describe an equationless method for determining the rational points on the non-split Cartan curve $X_{\rm{ns}}^+(N)$ of prime level $N \geqslant 13$. Instead of using a projective model for the modular curve, our method uses the moduli interpretation of the curve, namely we work directly with elliptic curves and Cartan level structures. To accomplish this, we use the geometric version of the quadratic Chabauty method. We show that this can be combined with algorithms for divisor arithmetic developed by Makdisi and Mascot so as to apply to modular curves. As an illustration, we rederive the set of rational points on the curve $X_{\rm{ns}}^+(13)$.

math.NT

Semistable reduction of modular curves associated with maximal subgroups in prime level

We complete the description of semistable models for modular curves associated with maximal subgroups of $\mathrm{GL}_2 ({\mathbb F}_p )$ (for $p$ any prime, $p>5$). That is, in the new cases of non-split Cartan modular curves and exceptional subgroups, we identify the irreducible components and singularities of the reduction mod $p$, and the complete local rings at the singularities. We review the case of split Cartan modular curves. This description suffices for computing the group of connected components of the fibre at $p$ of the N\'eron model of the Jacobian.

math.NT

Heights on square of modular curves

We develop a strategy for bounding from above the height of rational points of modular curves with values in number fields, by functions which are polynomial in the curve's level. Our main technical tools come from effective Arakelov descriptions of modular curves and jacobians. We then fulfill this program in the following particular case: If $p$ is a not-too-small prime number, let $X_0 (p )$ be the classical modular curve of level $p$ over $\bf Q$. Assume Brumer's conjecture on the dimension of winding quotients of $J_0 (p)$. We prove that there is a function $b(p)=O(p^{5} \log p )$ (depending only on $p$) such that, for any quadratic number field $K$, the $j$-height of points in $X_0 (p ) (K)$ which are not lifts of elements of $X_0^+ (p) ({\bf Q} )$, is less or equal to $b(p)$.

math.NT

On uniform large Galois images for modular abelian varieties

We formulate a question regarding uniform versions of "large Galois image properties" for modular abelian varieties of higher dimension, generalizing the well-known case of elliptic curves. We then answer our question affirmatively in the exceptional image case, and provide lower estimates for uniform bounds in the remaining cases.

math.NT

Runge's Method and Modular Curves

We bound the j-invariant of S-integral points on arbitrary modular curves over arbitrary fields, in terms of the congruence group defining the curve, assuming a certain Runge condition is satisfied by our objects. We then apply our bounds to prove that for sufficiently large prime p, the points of $X_0^+ (p^r)(Q)$ with r>1 are either cusps or CM points. This can be interpreted as the non-existence of quadratic elliptic Q-curves with higher prime-power degree.

math.NT

Serre's uniformity problem in the split Cartan case

We prove that there exists an integer p_0 such that X_split(p)(Q) is made of cusps and CM-points for any prime p>p_0. Equivalently, for any non-CM elliptic curve E over Q and any prime p>p_0 the image of the Galois representation induced by the Galois action on the p-division points of E is not contained in the normalizer of a split Cartan subgroup. This gives a partial answer to an old question of Serre.

math.NT

Bounds for Integral j -Invariants and Cartan Structures on Elliptic Curves

We bound the j -invariant of integral points on a modular curve in terms of the congruence group defining the curve. We apply this to prove that the modular curve Xsplit (p3) has no non-trivial rational point if p is a sufficiently large prime number. Assuming the GRH, one can replace p3 by p2 .

math.CA

Proving the triviality of rational points on Atkin-Lehner quotients of Shimura curves

In this paper we give a method for studying global rational points on certain quotients of Shimura curves by Atkin-Lehner involutions. We obtain explicit conditions on such quotients for rational points to be ``trivial'' (coming from CM points only) and exhibit an explicit infinite family of such quotients satisfying these conditions.

math.NT