Let E --> C be an elliptic surface defined over a number field K. For each finite covering C' --> C defined over K, let E' --> C' be the pullback. We give a strong upper bound for the rank of E'(C'/K) in the case that C' --> C is an unramified abelian covering and under the assumption that the Tate conjecture is true for the surface E'/K. In the case that C is an elliptic curve and the map C'=C --> C is the multiplication-by-n map, the rank of E'(C'/K) is O(n^e) for every e > 0, which may be compared with the elementary bound of O(n^2).
Let $C$ be a smooth projective curve defined over a number field $k$, $X/k(C)$ a smooth projective curve of positive genus, $J_X$ the Jacobian variety of $X$ and $(τ,B)$ the $k(C)/k$-trace of $J_X$. We estimate how the rank of $J_X(k(C))/τB(k)$ varies when we take an unramified abelian cover $π:C'\to C$ defined over $k$.
Let F be a number field and p be a prime. In the Successive Approximation Theorem, we prove that, for each positive integer n, finitely many candidates for the Galois group G(p,n,F) of the n-th stage F(p,n) of the p-class tower F(p,infinity) over F are determined by abelian type invariants of p-class groups Cl(p,E) of unramified extensions E/F with degree [E:F]=$p^{n-1}$. Illustrated by the most extensive numerical results available currently, the transfer kernels ker(T(F,E)) of the p-class extensions T(F,E):Cl(p,F)-->Cl(p,E) from F to unramified cyclic degree-p extensions E/F are shown to be …
This version improves the old version entitled "On the modularity of elliptic curves with a residually irreducible representation". Let $E$ be an elliptic curve over an abelian totally real field $K$ unramified at 3,5, and 7. We prove that $E$ is modular.
Let p be a prime and K be a number field with non-trivial p-class group Cl(p,K). A crucial step in identifying the Galois group G=G(p,K) of the maximal unramified pro-p extension of K is to determine its two-stage approximation M=G(p,2,K), that is the second derived quotient M=G/G". The family tau(1,K) of abelian type invariants of the p-class groups Cl(p,L) of all unramified cyclic extensions L/K of degree p is called the index-p abelianization data (IPAD) of K. It is able to specify a finite batch of contestants for the second p-class group M of K. In this paper we introduce two different ki…
We consider the Galois group $G_2(K)$ of the maximal unramified $2$-extension of $K$ where $K/\mathbb{Q}$ is cyclic of degree $3$. We also consider the group $G^+_2(K)$ where ramification is allowed at infinity. In the spirit of the Cohen-Lenstra heuristics, we identify certain types of pro-$2$ group as the natural spaces where $G_2(K)$ and $G^+_2(K)$ live when the $2$-class group of $K$ is $2$-generated. While we do not have a theoretical scheme for assigning probabilities, we present data and make some observations and conjectures about the distribution of such groups.
Let $k$ denote an algebraically closed field. We revisit a construction of the author of families of elliptic curves over the rational function field $k(t)$. Combining a combinatorial analysis with a rank formula of Ulmer we prove that, for all but finitely many families of these curves, the Mordell-Weil groups over $k(t^{1/d})$ have rank zero, as $d$ ranges over positive integers prime to the characteristic of $k$.
Let $F$ be the function field of an elliptic curve $X$ over $\F_q$. In this paper, we calculate explicit formulas for unramified Hecke operators acting on automorphic forms over $F$. We determine these formulas in the language of the graph of an Hecke operator, for which we use its interpretation in terms of $¶^1$-bundles on $X$. This allows a purely geometric approach, which involves, amongst others, a classification of the $¶^1$-bundles on $X$. We apply the computed formulas to calculate the dimension of the space of unramified cusp forms and the support of a cusp form. We show that a cuspid…
Let $E$ be an elliptic curve over $Q$, and $τ$ an Artin representation over $Q$ that factors through the non-abelian extension $Q(\sqrt[p^n]{m},μ_{p^n})/Q$, where $p$ is an odd prime and $n,m$ are positive integers. We show that $L(E,τ,1)$, the special value at $s=1$ of the $L$-function of the twist of $E$ by $τ$, divided by the classical transcendental period $Ω_{+}^{d^+}|Ω_{-}^{d^-}|ε(τ)$ is algebraic and Galois-equivariant, as predicted by Deligne's conjecture.
The isomorphism type of the Galois group of the 2-class field tower of quadratic number fields having a 2-class group with abelian type invariants (4,4) is determined by means of information on the transfer of 2-classes to unramified abelian 2-extensions, collected in the Artin pattern. In recent investigations by Benjamin and Snyder, the length of the tower of such fields has turned out to be dependent on the rank of the 2-class group of the first Hilbert 2-class field. Significant progress is achieved by extending the pool of possible metabelian 2-groups of the second Hilbert 2-class field f…
We fix a monic polynomial $\bar f(x) \in \mathbb{F}_q[x]$ over a finite field of characteristic $p$, and consider the $\mathbb{Z}_{p^{\ell}}$-Artin-Schreier-Witt tower defined by $\bar f(x)$; this is a tower of curves $\cdots \to C_m \to C_{m-1} \to \cdots \to C_0 =\mathbb{A}^1$, whose Galois group is canonically isomorphic to $\mathbb{Z}_{p^\ell}$, the degree $\ell$ unramified extension of $\mathbb{Z}_p$, which is abstractly isomorphic to $(\mathbb{Z}_p)^\ell$ as a topological group. We study the Newton slopes of zeta functions of this tower of curves. This reduces to the study of the Newton …
We study the growth of the Tate-Shafarevich and p-infinity Selmer groups for isogenous abelian varieties in towers of number fields, with an emphasis on elliptic curves. The growth types are usually exponential, as in the setting of `positive mu-invariant' in Iwasawa theory of elliptic curves. The towers we consider are p-adic and l-adic Lie extensions for l<>p, in particular cyclotomic and other Z_l-extensions.
Let $E$ be an elliptic curve defined over a number field $F$ with good ordinary reduction at all primes above $p$, and let $F_\infty$ be a finitely ramified uniform pro-$p$ extension of $F$ containing the cyclotomic $\mathbb{Z}_p$-extension $F_{cyc}$. Set $F^{(n)}$ be the $n$-th layer of the tower, and $F^{(n)}_{cyc}$ the cyclotomic $\mathbb{Z}_p$-extension of $F^{(n)}$. We study the growth of the rank of $E(F^{(n)})$ by analyzing the growth of the $λ$-invariant of the Selmer group over $F^{(n)}_{cyc}$ as $n\rightarrow \infty$. This method has its origins in work of A.Cuoco, who studied $\math…
Let $p$ be a prime and let $K$ be a finite extension of $\mathbb{Q}_p$. Let $E/K$ be an elliptic curve with additive reduction. In this paper, we study the topological group structure of the set of points of good reduction of $E(K)$. In particular, if $K/\mathbb{Q}_p$ is unramified, we show how one can read off the topological group structure from the Weierstrass coefficients defining $E$.
We formulate and for the most part prove a conjecture in the style of Mazur-Greenberg for the nonvanishing of central values of Rankin-Selberg $L$-functions attached to elliptic curves in abelian extensions of imaginary quadratic fields. This in particular generalizes the theorem of Rohrlich on $L$-functions of elliptic curves in cyclotomic towers to the setting of abelian extensions of imaginary quadratic fields, corresponding to families of degree-four $L$-functions given by $\operatorname{GL}(2)\times\operatorname{GL}(2)$ Rankin-Selberg $L$-functions. It also generalizes the theorems of Roh…
Let X=(x,y). Previously we have found all rational solutions of the 2-dimensional projective translation equation, or PrTE, (1-z)f(X)=f(f(Xz)(1-z)/z); here f(X)=(u(x,y),v(x,y)) is a pair of two (real or complex) functions. Solutions of this functional equation are called projective flows. A vector field of a rational flow is a pair of 2-homogenic rational functions. On the other hand, only special pairs of 2-homogenic rational functions give rise to rational flows. In this paper we are interested in all non-singular (satisfying the boundary condition) and unramified (without branching points, …
Let $p$ be an odd prime. For a number field $K$, we let $K_\infty$ be the maximal unramified pro-$p$ extension of $K$; we call the group $\mathrm{Gal}(K_\infty/K)$ the $p$-class tower group of $K$. In a previous work, as a non-abelian generalization of the work of Cohen and Lenstra on ideal class groups, we studied how likely it is that a given finite $p$-group occurs as the $p$-class tower group of an imaginary quadratic field. Here we do the same for an arbitrary real quadratic field $K$ as base. As before, the action of $\mathrm{Gal}(K/\mathbb{Q})$ on the $p$-class tower group of $K$ plays …
Let zeta5 be a primitive fifth root of unity and d<>1 be a quadratic fundamental discriminant not divisible by 5. For the 5-dual cyclic quartic field M=Q((zeta5-zeta5^-1)*d^1/2) of the quadratic fields k1=Q(d^1/2) and k2=Q((5*d)^1/2) in the sense of the quintic reflection theorem, the possibilities for the isomophism type of the Galois group G(5,2)M=Gal(M(5,2)/M) of the second Hilbert 5-class field M(5,2) of M are investigated, when the 5-class group Cl5(M) is elementary bicyclic of rank two. Usually, the maximal unramified pro-5-extension M(5,infinity) of M coincides with M(5,2) already. The …
Following the prequel work \cite{VO3}, we prove a generalization of "Mazur's conjecture" for $L$-functions of elliptic curves in abelian extensions of imaginary quadratic fields, including the assertion that the Mordell-Weil rank of an elliptic curve in the ${\bf{Z}}_p^2$-extension is finitely generated modulo Heegner points. The novelty of the approach here is to use the existence of a suitable $p$-adic $L$-function to reduce the problem to a minimal nonvanishing criterion, which should be applicable to a broader class of problems than considered here.
The level $N$ elliptic KZB connection is a flat connection over the universal elliptic curve in level $N$ with its $N$-torsion sections removed. Its fiber over the point $(E,x)$ is the unipotent completion of $π_1(E - E[N],x)$. It was constructed by Calaque and Gonzalez. In this paper, we show that the connection underlies an admissible variation of mixed Hodge structure and that it degenerates to the cyclotomic KZ connection over the singular fibers of the compactified universal elliptic curve. These are the first steps in a larger project to compute the action of the Galois group of mixed Ta…
Let $p$ be a prime. We define the deficiency of a finitely-generated pro-$p$ group $G$ to be $r(G)-d(G)$ where $d(G)$ is the minimal number of generators of $G$ and $r(G)$ is its minimal number of relations. For a number field $K$, let $K_\emptyset$ be the maximal unramified $p$-extension of $K$, with Galois group $G_\emptyset = Gal(K_\emptyset/K)$. In the 1960s, Shafarevich (and independently Koch) showed that the deficiency of $G_\emptyset$ satisfies $$0\leq \mathrm{Def}({\rm G}_\emptyset) \leq dim (O_K^\times/(O_K^{\times })^p),$$ relating the deficiency of $G_\emptyset$ to the $p$-rank of …
As we explain, when a positive integer $n$ is not squarefree, even over $\mathbb{C}$ the moduli stack that parametrizes generalized elliptic curves equipped with an ample cyclic subgroup of order $n$ does not agree at the cusps with the $Γ_0(n)$-level modular stack $\mathscr{X}_0(n)$ defined by Deligne and Rapoport via normalization. Following a suggestion of Deligne, we present a refined moduli stack of ample cyclic subgroups of order $n$ that does recover $\mathscr{X}_0(n)$ over $\mathbb{Z}$ for all $n$. The resulting modular description enables us to extend the regularity theorem of Katz an…
We reinterpret Kim's non-abelian reciprocity maps for algebraic varieties as obstruction towers of mapping spaces of etale homotopy types, removing technical hypotheses such as global basepoints and cohomological constraints. We then extend the theory by considering alternative natural series of extensions, one of which gives an obstruction tower whose first stage is the Brauer--Manin obstruction, allowing us to determine when Kim's maps recover the Brauer-Manin locus. A tower based on relative completions yields non-trivial reciprocity maps even for Shimura varieties; for the stacky modular c…
Let A be a CM abelian variety defined over a number field K. We compute congruence relations on units in fields generated by adjoining torsion points of A to K. For elliptic curves, congruence relations of the type we compute were used in the proof of the Coates-Wiles theorem. In general, we compute congruence relations on exterior products of units in division fields. This result seems to fit more naturally into the framework of the Stark/Rubin conjectures.
An elliptic curve $E$ defined over a $p$-adic field $K$ with a $p$-isogeny $ϕ:E\rightarrow E^\prime$ comes equipped with an invariant $α_{ϕ/K}$ that measures the valuation of the leading term of the formal group homomorphism $Φ:\hat E \rightarrow \hat E^\prime$. We prove that if $K/\mathbb{Q}_p$ is unramified and $E$ has additive, potentially supersingular reduction, then $α_{ϕ/K}$ is determined by the number of distinct geometric components on the special fibers of the minimal proper regular models of $E$ and $E^\prime$.
The class number divisibility problem for number fields is one of the classical problems in algebraic number theory, which originated from Gauss' class number conjectures. The relation between the points on an elliptic curve and class number divisibility of a number field has been explored through the works of various mathematicians. Here, we explicitly construct an unramified abelian extension of a bi-quadratic field generated from points of a certain type of elliptic curve. Moreover, showing the $2$-Selmer rank of the said elliptic curve as $1$, we also construct an infinite family of bi-qua…
Let p be a prime number, and let k be an imaginary quadratic field in which p decomposes into two primes \mathfrak{p} and \bar{\mathfrak{p}}. Let k_\infty be the unique Z_p-extension of k which is unramified outside of \mathfrak{p}, and let K_\infty be a finite extension of k_\infty, abelian over k. Let U_\infty/C_\infty be the projective limit of principal semi-local units modulo elliptic units. We prove that the various modules of invariants and coinvariants of U_\infty/C_\infty are finite.
Stark-Heegner points, also known as Darmon points, were introduced by H. Darmon as certain local points on rational elliptic curves, conjecturally defined over abelian extensions of real quadratic fields. The rationality conjecture for these points is only known in the unramified case, namely, when these points are specializations of global points defined over the strict Hilbert class field $H^+_F$ of the real quadratic field $F$ and twisted by (unramified) quadratic characters of $Gal(H_c^+/F)$. We extend these results to the situation of ramified quadratic characters; more precisely, we show…
Let $Γ\subset \mathbf{PU}(2,1)$ be a lattice which is not co-compact, of finite Bergman-covolume and acting freely on the open unit ball $\mathbf{B} \subset \mathbb{C}^2$. Then the compactification $X = \bar{Γ\setminus \mathbf{B}}$ is a smooth projective surface with an elliptic compactification divisor $D = X \setminus (Γ\setminus \mathbf{B})$. In this short note we discover a new class of unramified ball-quotients $X$. We consider ball-quotients $X$ with $kod(X) = h^1(X, \mathcal{O}_X) = 1$. We prove that all minimal surfaces with finite Mordell-Weil group in the class described become after…
Rank-2 Drinfeld modules are a function-field analogue of elliptic curves, and the purpose of this paper is to investigate similarities and differences between rank-2 Drinfeld modules and elliptic curves in terms of supersingularity. Specifically, we provide an explicit formula of a supersingular polynomial for rank-2 Drinfeld modules and prove several basic properties. As an application, we give a numerical example of an asymptotically optimal tower of Drinfeld modular curves.
Given a genus $2$ curve $C$ with a rational Weierstrass point defined over a number field, we construct a family of genus $5$ curves that realize descent by maximal unramified abelian two-covers of $C$, and describe explicit models of the isogeny classes of their Jacobians as restrictions of scalars of elliptic curves. All the constructions of this paper are accompanied by explicit formulas and implemented in Magma and/or SageMath. We apply these algorithms in combination with elliptic Chabauty to a dataset of 7692 genus $2$ quintic curves over $\mathbb{Q}$ of Mordell-Weil rank $2$ or $3$ whos…
Let E be a modular elliptic curve defined over a rational function field k of odd characteristic. We construct a sequence of Heegner points on E, defined over a $Z_p^{\infty}$-tower of finite extensions of k, and show that these Heegner points generate a group of infinite rank. This is a function field analogue of a result of C.Cornut and V.Vatsal
Fix a number field $k$ and a rational prime $\ell$. We consider abelian varieties whose $\ell$-power torsion generates a pro-$\ell$ extension of $k(μ_{\ell^\infty})$ which is unramified away from $\ell$. It is a necessary, but not generally sufficient, condition that such varieties have good reduction away from $\ell$. In the special case of $\ell = 2$, we demonstrate that for abelian surfaces $A/\mathbb{Q}$, good reduction away from $\ell$ does suffice. The result is extended to elliptic curves and abelian surfaces over certain number fields unramified away from $\{2,\infty\}$. An explicit ex…
Let p\in\{2,3\}, and let k be an imaginary quadratic field in which p decomposes into two distinct primes \mathfrak{p} and \bar{\mathfrak{p}}. Let k_\infty be the unique Z_p-extension of k which is unramified outside of \mathfrak{p}, and let K_\infty be a finite extension of k_\infty, abelian over k. We prove that in K_\infty, the projective limit of the p-class group and the projective limit of units modulo elliptic units share the same μ-invariant and the same λ-invariant. Then we prove that up to a constant, the characteristic ideal of the projective limit of the p-class group coincides wit…
Let A be an abelian variety defined over a number field F. For a prime number $\ell$, we consider the field extension of F generated by the $\ell$-powered torsion points of A. According to a conjecture made by Rasmussen and Tamagawa, if we require these fields to be both a pro-$\ell$ extension of $F(μ_{\ell^{\infty}})$ and unramified away from $\ell$, examples are quite rare. Indeed, it is expected that for a fixed dimension and field of definition, there exists such an abelian variety for only a finite number of primes. We prove a uniform version of the conjecture in the case where the abelia…
Let $E$ be an elliptic curve defined over a number field $K$ where $p$ splits completely. Suppose that $E$ has good reduction at all primes above $p$. Generalizing previous works of Kobayashi and Sprung, we define multiply signed Selmer groups over the cyclotomic $\mathbb{Z}_p$-extension of a finite extension $F$ of $K$ where $p$ is unramified. Under the hypothesis that the Pontryagin duals of these Selmer groups are torsion over the corresponding Iwasawa algebra, we show that the Mordell-Weil ranks of $E$ over a subextension of the cyclotomic $\mathbb{Z}_p$-extension are bounded. Furthermore,…
Let E/Q be an elliptic curve with good supersingular reduction at p with a_p(E)=0. We give a conjecture on the existence of analytic plus and minus p-adic L-functions of E over the Zp-cyclotomic extension of a finite Galois extension of Q where p is unramified. Under some technical conditions, we adopt the method of Bouganis and Venjakob for p-ordinary CM elliptic curves to construct such functions for a particular non-abelian extension.
Let $k$ be a field of characteristic $0$, and let $α_{1}$, $α_{2}$, and $α_{3}$ be algebraically independent and transcendental over $k$. Let $K$ be the transcendental extension of $k$ obtained by adjoining the elementary symmetric functions of the $α_{i}$'s. Let $E$ be the elliptic curve defined over $K$ which is given by the equation $y^{2} = (x - α_{1})(x - α_{2})(x - α_{3})$. We define a tower of field extensions $K = K_{0}' \subset K_{1}' \subset K_{2}' \subset ...$ by giving recursive formulas for the generators of each $K_{n}'$ over $K_{n - 1}'$. We show that $K_{\infty}'$ is a certain …
We give a classification of all possible $2$-adic images of Galois representations associated to elliptic curves over $\mathbb{Q}$. To this end, we compute the 'arithmetically maximal' tower of 2-power level modular curves, develop techniques to compute their equations, and classify the rational points on these curves.
Let $p$ be an odd prime. Associated to a pair $(E, \mathcal{F}_\infty)$ consisting of a rational elliptic curve $E$ and a $p$-adic Lie extension $\mathcal{F}_\infty$ of $\mathbb{Q}$, is the $p$-primary Selmer group $Sel_{p^\infty}(E/\mathcal{F}_\infty)$ of $E$ over $\mathcal{F}_\infty$. In this paper, we study the arithmetic statistics for the algebraic structure of this Selmer group. The results provide insights into the asymptotics for the growth of Mordell--Weil ranks of elliptic curves in noncommutative towers.
We obtain lower bounds for Selmer ranks of elliptic curves over dihedral extensions of number fields. Suppose $K/k$ is a quadratic extension of number fields, $E$ is an elliptic curve defined over $k$, and $p$ is an odd prime. Let $F$ denote the maximal abelian $p$-extension of $K$ that is unramified at all primes where $E$ has bad reduction and that is Galois over $k$ with dihedral Galois group (i.e., the generator $c$ of $Gal(K/k)$ acts on $Gal(F/K)$ by -1). We prove (under mild hypotheses on $p$) that if the rank of the pro-$p$ Selmer group $S_p(E/K)$ is odd, then the rank of $S_p(E/L)$ is …
Distributions of Iwasawa $λ$-invariants of $\mathbf{Z}_p$-towers over supersingular isogeny graphs
Joint Graduate School of Mathematics for Innovation, Kyushu University（九州大学数学创新联合研究生院）；Graduate School of Mathematics, Nagoya University（名古屋大学大学院理学研究科）；Graduate School of Natural Science & Technology, Kanazawa University（金泽大学自然科学与技术大学院）
