Search arXivSearch

arXiv · 2501.01315

L-functions and rational points for Galois twists of modular curves

Abstract

Let $p$ be an odd prime and $E/\mathbb{Q}$ be a rational elliptic curve. There is a smooth affine curve $Y_E(p)$ whose rational points parametrize elliptic curves $F/\mathbb{Q}$ such that $F[p]$ and $E[p]$ are isomorphic Galois modules. This thesis manuscript is an attempt at applying Mazur's strategy to determine the rational points of $Y_E(p)$. One of the results that we prove, as a consequence of the approach, is the following: if $E,F/\mathbb{Q}$ are elliptic curves with isomorphic $23$-torsion Galois modules and $E$ has Weierstrass equation $y^2=x^3-23$, then $E$ and $F$ are isogenous. In Chapter 1, we prove the existence of the curve $Y_E(p)$ and its compactification $X_E(p)$ over more general bases as moduli schemes in the sense of Katz-Mazur, describe their Hecke correspondences, and construct $X_E(p)$ as a Galois twist of $X(p)$. In Chapters 2 and 3, we determine the Tate module of the Jacobians $J_E^α(p)$ of the connected components of $X_E(p)$, thereby refining a result by Virdol. In Chapter 4, we study the factors of the $L$-function of $J_E^α(p)$ previously determined. In general, little can be said, because proving the automorphy of the Galois representations involved seems currently out of reach. However, under suitable automorphy assumptions, we determine the signs of the functional equations satisfied by these $L$-functions. In Chapter 5, we discuss the special case where the image of the Galois action on $E[p]$ is contained in the normalizer of a nonsplit Cartan subgroup. The factors of $L(J_E^α(p),s)$ then satisfy functional equations whose signs we determine. Using the Beilinson-Flach Euler system and results about large Galois image (from Chapter 6), we show that most factors of $J_E^α(p)$ satisfy the Bloch-Kato in rank zero, and prove a formal immersion theorem for certain factors at all but an easily computable set of primes.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Elie Studnia. 2025-01-02. L-functions and rational points for Galois twists of modular curves. https://arxiv.org/abs/2501.01315

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Asymptotic density of k-almost primes

Landau's well known asymptotic formula $$N_k(x):=\ \mid\{n\leq x : Ω(n)=k\}\mid \ \sim \left( \frac{x}{\log x} \right) \frac{(\log\log x)^{k-1}}{(k - 1)!}\ \ (x \rightarrow \infty),$$ which also holds for $$π_k(x):=\ \mid\{n\leq x : ω(n)=k\}\mid,$$ is known to be fairly poor for $k > 1$, and when $k$ is allowed to tend to infinity with $x$, the study of $N_k(x)$ and $π_k(x)$ becomes very technical [1, Chapter II.6, $§$ 6.1, p.200]. I hope to show that the method described below provides not only a more accurate approach, but rather increases in its asymptotic accuracy as $k$ tends to infinity.

math.NT

Transcendence Meets Normality: Construction of Transcendentally Normal Numbers

In this work, we study real numbers $x$ for which $p(x)$ is (absolutely) normal for every non-constant integer-valued polynomial $p$. We call such numbers transcendentally normal. We prove that almost every real number is transcendentally normal and provide an explicit construction of such a number, based on Sierpinski's covering method and novel ideas involving the so-called stretch function. In the next step, we transform this construction into an algorithm that computes the digits of a t-normal number recursively in all integer bases. Moreover, we extend our covering approach to construct and compute LIL-normal numbers whose discrepancies are of the order predicted by the law of the iterated logarithm. We also take the opportunity to discuss several interesting open problems.

math.NT