Let $E$ be an elliptic curve of conductor $N$, and let $K$ be an imaginary quadratic field such that the root number of $E/K$ is $-1$. Let $O$ be an order in $K$ and assume that there exists an odd prime $p$, such that $p^2 \mid\mid N$, and $p$ is inert in $O$. Although there are no Heegner points on $X_0(N)$ attached to $O$, in this article we construct such points on Cartan non-split curves. In order to do that we give a method to compute Fourier expansions for forms in Cartan non-split curves, and prove that the constructed points form a Heegner system as in the classical case.
For certain elliptic curves $E$ over $\mathbb{Q}$ with multiplicative reduction at a prime $p\geq 5$, we prove the $p$-indivisibility of the derived Heegner classes defined with respect to an imaginary quadratic field $K$, as conjectured by Kolyvagin. The conditions on $E$ include that $E[p]$ be irreducible and not finite at $p$ and that $p$ split in the imaginary quadratic field $K$, along with certain $p$-indivisibility conditions on various Tamagawa factors. The proof extends the arguments of the second author for the case where $E$ has good ordinary reduction at~$p$.
Generalised Heegner cycles are associated to a pair of an elliptic Hecke eigenform and a Hecke character over an imaginary quadratic extension $K/\Q$. Let $p$ be an odd prime split in $K/\Q$ and $l\neq p$ an odd unramified prime. We prove the non-triviality of the $p$-adic Abel-Jacobi image of generalised Heegner cycles modulo $p$ over the $\Z_l$-anticylotomic extension of $K$. The result is an evidence for the refined Bloch-Beilinson and the Bloch-Kato conjecture. In the case of two, it provides a refinement of the results of Cornut and Vatsal on the non-triviality of Heegner points over the …
Generalised Heegner cycles are associated to a pair of an elliptic newform and a Hecke character over an imaginary quadratic extension $K/\Q$. The cycles live in a middle dimensional Chow group of a Kuga-Sato variety arising from an indefinite Shimura curve over the rationals and a self product of a CM abelian surface. Let $p$ be an odd prime split in $K/\Q$. We prove the non-triviality of the $p$-adic Abel-Jacobi image of generalised Heegner cycles modulo $p$ over the $\Z_p$-anticylotomic extension of $K$. The result implies the non-triviality of the generalised Heegner cycles in the top grad…
Let $E/\mathbf{Q}$ be an elliptic curve of conductor $N$, let $p>3$ be a prime where $E$ has good ordinary reduction, and let $K$ be an imaginary quadratic field satisfying the Heegner hypothesis. In 1987, Perrin-Riou formulated an Iwasawa main conjecture for the Tate-Shafarevich group of $E$ over the anticyclotomic $\mathbf{Z}_p$-extension of $K$ in terms of Heegner points. In this paper, we give a proof of Perrin-Riou's conjecture under mild hypotheses. Our proof builds on Howard's theory of bipartite Euler systems and Wei Zhang's work on Kolyvagin's conjecture. In the case when $p$ splits i…
Let $f$ be a primitive Hilbert modular form of parallel weight $2$ and level $N$ for the totally real field $F$, and let $p$ be a rational prime coprime to $2N$. If $f$ is ordinary at $p$ and $E$ is a CM extension of $F$ of relative discriminant $Δ$ prime to $Np$, we give an explicit construction of the $p$-adic Rankin-Selberg $L$-function $L_{p}(f_E,\cdot)$. When the sign of its functional equation is $-1$, we show, under the assumption that all primes $\wp\vert p$ are principal ideals of ${\mathcal O}_{F}$ which split in ${\mathcal O}_{E}$, that its central derivative is given by the $p$-adi…
Let q be a prime and -D < -4 be an odd fundamental discriminant such that q splits in Q(\sqrt{-D}). For f a weight zero Hecke-Maass newform of level q and h the weight one theta series of level D corresponding to an ideal class group character of Q(\sqrt{-D}), we establish a hybrid subconvexity bound for L(f \times h,s) at the central point when q = D^η for 0 < η< 1. With this circle of ideas, we show that the Heegner points of level q and discriminant D become equidistributed, in a natural sense, as q, D become large with q < D^{1/20-\varepsilon}. Our approach to these problems is connected t…
Let $E$ be an elliptic curve over $\mathbb Q$ and let $p\geq5$ be a prime of good supersingular reduction for $E$. Let $K$ be an imaginary quadratic field satisfying a modified "Heegner hypothesis" in which $p$ splits, write $K_\infty$ for the anticyclotomic $\mathbb Z_p$-extension of $K$ and let $Λ$ denote the Iwasawa algebra of $K_\infty/K$. By extending to the supersingular case the $Λ$-adic Kolyvagin method originally developed by Bertolini in the ordinary setting, we prove that Kobayashi's plus/minus $p$-primary Selmer groups of $E$ over $K_\infty$ have corank $1$ over $Λ$. As an applicat…
In this paper we describe a method for computing a basis for the space of weight $2$ cusp forms invariant under a non-split Cartan subgroup of prime level $p$. As an application we compute, for certain small values of $p$, explicit equations over $\bf Q$ for the canonical embeddings of the associated modular curves.
We derive equations for the modular curve $X_{ns}(11)$ associated to a non-split Cartan subgroup of $\,\mathrm{GL}_2(\mathbf{F}_{11})$. This allows us to compute the automorphism group of the curve and show that it is isomorphic to Klein's four group.
Let $ \mathfrak{C}^+_{ns}(p) $ be the Cuspidal Divisor Class Group of the modular curves $X^+_{ns}(p) $ associated to the normalizer of a non-split Cartan subgroup of level $ p$. I study the $ p-$primary part of $ \mathfrak{C}^+_{ns}(p) $ and estimate the order of growth of $ |\mathfrak{C}^+_{ns}(p)| $.
The genus $4$ modular curve $X_{ns}(11)$ attached to a non-split Cartan group of level $11$ admits a model defined over $\mathbb{Q}$. We compute generators for its function field in terms of Siegel modular functions. We also show that its Jacobian is isomorphic over $\mathbb{Q}$ to the new part of the Jacobian of the classical modular curve $X_0(121)$.
We study the automorphisms of the non-split Cartan modular curves $X_{ns}(p)$ of prime level $p$. We prove that if $p\geq 37$ all the automorphisms preserve the cusps. Furthermore, if $p\equiv 1\text{ mod }12$ and $p\neq 13$, the automorphism group is generated by the modular involution given by the normalizer of a non-split Cartan subgroup of $\text{GL}_2(\mathbb F_p)$. We also prove that for every $p\geq 37$ such that $X_{ns}(p)$ has a CM rational point, the existence of an exceptional rational automorphism would give rise to an exceptional rational point on the modular curve $X_{ns}^+(p)$ a…
Let $p$ be a prime number and let $E/\mathbb{Q}$ be an elliptic curve of conductor $p^2$ and odd analytic rank. We prove that the positions of its special points arising from non-split Cartan curves and imaginary quadratic fields where $p$ is inert are encoded in the Fourier coefficients of a Jacobi form of weight $6$ and lattice index of rank $9$, obtaining a result analogous to that of Gross, Kohnen and Zagier.
We shall introduce and study certain truncated sums of Hecke eigenvalues of $GL_2$-automorphic forms along quadratic polynomials. A power saving estimate is established and new applications to moments of critical $L$-values associated to quadratic fields are derived. An application to the asymptotic behavior of the height of Heegner points and singular moduli is discussed in details.
I find an explicit description of modular units in terms of Siegel functions for the modular curves $X^+_{ns}(p^k)$ associated to the normalizer of a non-split Cartan subgroup of level $p^k$ where $p\not=2,3$ is a prime. The Cuspidal Divisor Class Group $\mathfrak{C}^+_{ns}(p^k)$ on $X^+_{ns}(p^k)$ is explicitly described as a module over the group ring $R = \mathbb{Z}[(\mathbb{Z}/p^k\mathbb{Z})^*/\{\pm 1\}]$. In this paper I give a formula involving generalized Bernoulli numbers $B_{2,χ}$ for $|\mathfrak{C}^+_{ns}(p^k)|$.
We present a strategy to obtain explicit equations for the modular double covers associated respectively to both a split and a non-split Cartan subgroup of $\text{GL}_2(\mathbb F_{p})$ with $p$ prime. Then we apply it successfully to the level $13$ case.
In this paper we study quadratic points on the non-split Cartan modular curves $X_{ns}(p)$, for $p = 7, 11,$ and $13$. Recently, Siksek proved that all quadratic points on $X_{ns}(7)$ arise as pullbacks of rational points on $X_{ns}^+(7)$. Using similar techniques for $p=11$, and employing a version of Chabauty for symmetric powers of curves for $p=13$, we show that the same holds for $X_{ns}(11)$ and $X_{ns}(13)$. As a consequence, we prove that certain classes of elliptic curves over quadratic fields are modular.
It is known that if $p>37$ is a prime number and $E/\mathbb{Q}$ is an elliptic curve without complex multiplication, then the image of the mod $p$ Galois representation $$ \barρ_{E,p}:\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\rightarrow \operatorname{GL}(E[p]) $$ of $E$ is either the whole of $\operatorname{GL}(E[p])$, or is \emph{contained} in the normaliser of a non-split Cartan subgroup of $\operatorname{GL}(E[p])$. In this paper, we show that when $p>1.4\times 10^7$, the image of $\barρ_{E,p}$ is either $\operatorname{GL}(E[p])$, or the \emph{full} normaliser of a non-split Cart…
Modular curves like X_0(N) and X_1(N) appear very frequently in arithmetic geometry. While their complex points are obtained as a quotient of the upper half plane by some subgroups of SL_2(Z), they allow for a more arithmetic description as a solution to a moduli problem. This description turns out to be very useful in many applications. We wish to give such a moduli description for two modular curves: those associated to non-split Cartan subgroups and their normaliser in GL_2(F_p). These modular curves appear for instance in Serre's problem of classifying all possible Galois structures of p-t…
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.
We extend the explicit quadratic Chabauty methods developed in previous work by the first two authors to the case of non-hyperelliptic curves. This results in an algorithm to compute the rational points on a curve of genus $g \ge 2$ over the rationals whose Jacobian has Mordell-Weil rank $g$ and Picard number greater than one, and which satisfies some additional conditions. This algorithm is then applied to the modular curve $X_{s}(13)$, completing the classification of non-CM elliptic curves over $\mathbf{Q}$ with split Cartan level structure due to Bilu-Parent and Bilu-Parent-Rebolledo.
Let $A/\mathbb{Q}$ be an elliptic curve with split multiplicative reduction at a prime $p$. We prove (an analogue of) a conjecture of Perrin-Riou, relating $p$-adic Beilinson$-$Kato elements to Heegner points in $A(\mathbb{Q})$, and a large part of the rank-one case of the Mazur$-$Tate$-$Teitelbaum exceptional zero conjecture for the cyclotomic $p$-adic $L$-function of $A$. More generally, let $f$ be the weight-two newform associated with $A$, let $f_{\infty}$ be the Hida family of $f$, and let $L_{p}(f_{\infty},k,s)$ be the Mazur$-$Kitagawa two-variable $p$-adic $L$-function attached to $f_{\…
Let $K$ be a number field and let $E/K$ be an elliptic curve whose mod $\ell$ Galois representation locally has image contained in a group $G$, up to conjugacy. We classify the possible images for the global Galois representation in the case where $G$ is a Cartan subgroup or the normalizer of a Cartan subgroup. When $K = \mathbf{Q}$, we deduce a counterexample to the local-global principle in the case where $G$ is the normalizer of a split Cartan and $\ell = 13$. In particular, there are at least three elliptic curves (up to twist) over $\mathbf{Q}$ whose mod $13$ image of Galois is locally co…
Equationless quadratic Chabauty for non-split Cartan modular curves
University of Colorado, Boulder（科罗拉多大学博尔德分校）；Università di Roma Tor Vergata（罗马托尔维加塔大学）；Università di Pisa（比萨大学）；Trinity College Dublin（都柏林三一学院）；Université de Bordeaux（波尔多大学）
In this paper, we recall an alternative proof of Merel's conjecture which asserts that a certain explicit correspondence gives the isogeny relation between the Jacobians associated to the normalizer of split and non-split Cartan subgroups. This alternative proof does not require extensive representation theory and can be formulated in terms of certain finite geometries modulo $\ell$. Secondly, we generalize these arguments to exhibit an explicit correspondence which gives the isogeny relation between the Jacobians associated to split and non-split Cartan subgroups. An interesting feature is th…
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éron model of the Jacobian.
We study the automorphisms of modular curves associated to Cartan subgroups of $\mathrm{GL}_2(\mathbb Z/n\mathbb Z)$ and certain subgroups of their normalizers. We prove that if $n$ is large enough, all the automorphisms are induced by the ramified covering of the complex upper half-plane. We get new results for non-split curves of prime level $p\ge 13$: the curve $X_{\text{ns}}^+(p)$ has no non-trivial automorphisms, whereas the curve $X_{\text{ns}}(p)$ has exactly one non-trivial automorphism. Moreover, as an immediate consequence of our results we compute the automorphism group of $X_0^*(n)…
Let $E$ be a semistable elliptic curve over $\mathbb{Q}$. We prove that if $E$ has non-split multiplicative reduction at at least one odd prime or split multiplicative reduction at at least two odd primes and if the rank of $E(\mathbb{Q})$ is one and the Tate-Shafarevich group of $E$ has finite order, then $\mathrm{ord}_{s=1}L(E,s)=1$. We also prove the corresponding result for the abelian variety associated with a weight two newform $f$ of trivial character. These, and other related results, are consequences of our main theorem, which establishes criteria for $f$ and $H^1_f(\mathbb{Q},V)$, wh…
Let $E/\mathbb{Q}$ be an elliptic curve, and $p$ a prime where $E$ has good reduction, and assume that $E$ admits a rational $p$-isogeny. In this paper, we study the anticyclotomic Iwasawa theory of $E$ over an imaginary quadratic field in which $p$ splits, which we relate to the anticyclotomic Iwasawa theory of characters following the method of Greenberg--Vatsal. As a result of our study, we obtain a proof, under mild hypotheses, of Perrin-Riou's Heegner point main conjecture, as well as a $p$-converse to the theorem of Gross--Zagier and Kolyvagin and the $p$-part of the Birch--Swinnerton-Dy…
Let $E/\mathbb{Q}$ be an elliptic curve of conductor $N=p^2M$ where $p$ is an odd prime not dividing $M$. Let $\mathcal{O}_f$ be the order of conductor $f$ (relatively prime to $N$) in an imaginary quadratic field $K$ in which $p$ is inert and such that the sign of the functional equation of $E/K$ is $-1$. Associated to these data there is a Shimura curve of non-split Cartan level at $p$ and a CM point of conductor $f$ on it. We can also consider a CM point of conductor $pf$ on another Shimura curve, using a split Cartan level at $p$. These curves admit parametrizations to $E$ and taking the i…
In this note we give an explicit parametrization of the modular curve associated to the normalizer of a non-split Cartan subgroup of level 9. We determine all integral points of this modular curve. As an application, we give an alternative solution to the class number one problem.
Using lower bounds for linear forms in elliptic logarithms we determine the integral points of the modular curve associated to the normalizer of a non-split Cartan group of level 11. As an application we obtain a new solution of the class number one problem for complex quadratic fields.
We describe an algorithm for computing integral points on the modular curve of prime level p associated to the normalizer of a non-split Cartan subgroup of GL_2(F_p). Using our method, we show that for 7<p<101 the only integral points on this curve are the CM-points.
We describe how the quadratic Chabauty method may be applied to explicitly determine the set of rational points on modular curves of genus $g>1$ whose Jacobians have Mordell--Weil rank $g$. This extends our previous work on the split Cartan curve of level 13 and allows us to consider modular curves that may have few known rational points or nontrivial local height contributions at primes of bad reduction. We illustrate our algorithms with a number of examples where we determine the set of rational points on several modular curves of genus 2 and 3: this includes Atkin--Lehner quotients $X_0^+(N…
