Source author record

Peter Bruin

Peter Bruin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

10works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2022arXiv

Counting elliptic curves with prescribed level structures over number fields

Harron and Snowden counted the number of elliptic curves over $\mathbb{Q}$ up to height $X$ with torsion group $G$ for each possible torsion group $G$ over $\mathbb{Q}$. In this paper we generalize their result to all number fields and all level structures $G$ such that the corresponding modular curve $X_G$ is a weighted projective line $\mathbb{P}(w_0,w_1)$ and the morphism $X_G\to X(1)$ satisfies a certain condition. In particular, this includes all modular curves $X_1(m,n)$ with coarse moduli space of genus $0$. We prove our results by defining a size function on $\mathbb{P}(w_0,w_1)$ following unpublished work of Deng, and working out how to count the number of points on $\mathbb{P}(w_0,w_1)$ up to size $X$.

preprint2022arXiv

Hyperelliptic modular curves $X_0(n)$ and isogenies of elliptic curves over quadratic fields

Let $n$ be an integer such that the modular curve $X_0(n)$ is hyperelliptic of genus $\ge2$ and such that the Jacobian of $X_0(n)$ has rank $0$ over $\mathbb Q$. We determine all points of $X_0(n)$ defined over quadratic fields, and we give a moduli interpretation of these points. As a consequence, we show that up to $\overline{\mathbb Q}$-isomorphism, all but finitely many elliptic curves with $n$-isogenies over quadratic fields are in fact $\mathbb Q$-curves, and we list all exceptions. We also show that, again with finitely many exceptions up to $\overline{\mathbb Q}$-isomorphism, every $\mathbb Q$-curve $E$ over a quadratic field $K$ admitting an $n$-isogeny is $d$-isogenous, for some $d\mid n$, to the twist of its Galois conjugate by some quadratic extension $L$ of $K$; we determine $d$ and $L$ explicitly.

preprint2015arXiv

A criterion to rule out torsion groups for elliptic curves over number fields

We present a criterion for proving that certain groups of the form $\mathbb Z/m\mathbb Z\oplus\mathbb Z/n\mathbb Z$ do not occur as the torsion subgroup of any elliptic curve over suitable (families of) number fields. We apply this criterion to eliminate certain groups as torsion groups of elliptic curves over cubic and quartic fields. We also use this criterion to give the list of all torsion groups of elliptic curves occurring over a specific cubic field and over a specific quartic field.

preprint2014arXiv

Polynomial bounds for Arakelov invariants of Belyi curves

We explicitly bound the Faltings height of a curve over Q polynomially in its Belyi degree. Similar bounds are proven for three other Arakelov invariants: the discriminant, Faltings' delta invariant and the self-intersection of the dualizing sheaf. Our results allow us to explicitly bound Arakelov invariants of modular curves, Hurwitz curves and Fermat curves in terms of their genus. Moreover, as an application, we show that the Couveignes-Edixhoven-Bruin algorithm to compute coefficients of modular forms for congruence subgroups of SL2(Z) runs in polynomial time under the Riemann hypothesis for zeta-functions of number fields. This was known before only for certain congruence subgroups. Finally, we use our results to prove a conjecture of Edixhoven, de Jong and Schepers on the Faltings height of a cover of the projective line with fixed branch locus. Our proof uses Merkl's method for bounding Arakelov-Green's functions to deal with archimedean contributions. In the appendix, Peter Bruin proves an explicit version of Merkl's results.

preprint2012arXiv

An approximate spectral representation and explicit bounds on Green functions of Fuchsian groups

We study the Green function gr_Γ for the Laplace operator on the quotient of the hyperbolic plane by a cofinite Fuchsian group Γ. We use a limiting procedure, starting from the resolvent kernel, and lattice point estimates for the action of Γ on the hyperbolic plane to prove an "approximate spectral representation" for gr_Γ. Combining this with bounds on Maaß forms and Eisenstein series for Γ, we prove explicit bounds on gr_Γ.

preprint2012arXiv

Bornes optimales pour la différence entre la hauteur de Weil et la hauteur de Néron-Tate sur les courbes elliptiques sur \Qbar

We give an algorithm that, given an elliptic curve $E$ over $\Qbar$ in Weierstraß form, computes the infimum and supremum of the difference between the na\"ıve and canonical height functions on $E(\Qbar)$. ----- Nous donnons un algorithme qui, étant donnée une courbe elliptique $E$ sur $\Qbar$ sous la forme de Weierstraß, calcule l'infimum et le supremum de la différence entre la hauteur na\"ıve et la hauteur canonique sur $E(\Qbar)$.

preprint2012arXiv

The growth of the rank of Abelian varieties upon extensions

We study the growth of the rank of elliptic curves and, more generally, Abelian varieties upon extensions of number fields. First, we show that if $L/K$ is a finite Galois extension of number fields such that $\Gal(L/K)$ does not have an index 2 subgroup and $A/K$ is an Abelian variety, then $\rk A(L)-\rk A(K)$ can never be 1. We obtain more precise results when $\Gal(L/K)$ is of odd order, alternating, $\SL_2(\F_p)$ or $\PSL_2(\F_p)$. This implies a restriction on $\rk E(K(E[p]))-\rk E(K(ζ_p))$ when $E/K$ is an elliptic curve whose mod $p$ Galois representation is surjective. Similar results are obtained for the growth of the rank in certain non-Galois extensions. Second, we show that for every $n\ge2$ there exists an elliptic curve $E$ over a number field $K$ such that $\Q\otimes_\Q\Res_{K/\Q} E$ contains a number field of degree $2^n$. We ask whether every elliptic curve $E/K$ has infinite rank over $K\Q(2)$, where $\Q(2)$ is the compositum of all quadratic extensions of $\Q$. We show that if the answer is yes, then for any $n\ge2$, there exists an elliptic curve $E/K$ admitting infinitely many quadratic twists whose rank is a positive multiple of $2^n$.

preprint2011arXiv

Ranks of elliptic curves with prescribed torsion over number fields

We study the structure of the Mordell--Weil group of elliptic curves over number fields of degree 2, 3, and 4. We show that if $T$ is a group, then either the class of all elliptic curves over quadratic fields with torsion subgroup $T$ is empty, or it contains curves of rank~0 as well as curves of positive rank. We prove a similar but slightly weaker result for cubic and quartic fields. On the other hand, we find a group $T$ and a quartic field $K$ such that among the elliptic curves over $K$ with torsion subgroup $T$, there are curves of positive rank, but none of rank~0. We find examples of elliptic curves with positive rank and given torsion in many previously unknown cases. We also prove that all elliptic curves over quadratic fields with a point of order 13 or 18 and all elliptic curves over quartic fields with a point of order 22 are isogenous to one of their Galois conjugates and, by a phenomenon that we call \emph{false complex multiplication}, have even rank. Finally, we discuss connections with elliptic curves over finite fields and applications to integer factorization.

preprint2010arXiv

Computing in Jacobians of projective curves over finite fields

We give algorithms for computing with divisors on projective curves over finite fields, and with their Jacobians, using the algorithmic representation of projective curves developed by Khuri-Makdisi. We show that many desirable operations can be done efficiently in this setting: decomposing divisors into prime divisors; computing pull-backs and push-forwards of divisors under finite morphisms, and hence Picard and Albanese maps on Jacobians; generating uniformly random divisors and points on Jacobians; computing Frobenius maps and Kummer maps; and finding a basis for the $l$-torsion of the Picard group, where $l$ is a prime number different from the characteristic of the base field.