Tate-Shafarevich groups of constant elliptic curves and isogeny volcanos

Brendan Creutz,Jose Felipe Voloch

DOI: https://doi.org/10.48550/arXiv.1904.00501

2019-03-31

Number Theory

Abstract:We describe the structure of Tate-Shafarevich groups of a constant elliptic curves over function fields by exploiting the volcano structure of isogeny graphs of elliptic curves over finite fields.

What problem does this paper attempt to address?

Pairing the volcano

Sorina Ionica,Antoine Joux

DOI: https://doi.org/10.1090/s0025-5718-2012-02622-6

IF: 2.118

2012-07-24

Mathematics of Computation

Abstract:Isogeny volcanoes are graphs whose vertices are elliptic curves and whose edges are ℓ\ell-isogenies. Algorithms allowing to travel on these graphs were developed by Kohel in his thesis (1996) and later on, by Fouquet and Morain (2001). However, up to now, no method was known, to predict, before taking a step on the volcano, the direction of this step. Hence, in Kohel’s and Fouquet-Morain’s algorithms, many steps are taken before choosing the right direction. In particular, ascending or horizontal isogenies are usually found using a trial-and-error approach. In this paper, we propose an alternative method that efficiently finds all points PP of order ℓ\ell such that the subgroup generated by PP is the kernel of a horizontal or an ascending isogeny. In many cases, our method is faster than previous methods. This is an extended version of a paper published in the proceedings of ANTS 2010. In addition, we treat the case of 2-isogeny volcanoes and we derive from the group structure of the curve and the pairing a new invariant of the endomorphism class of an elliptic curve. Our benchmarks show that the resulting algorithm for endomorphism ring computation is faster than Kohel’s method for computing the ℓ\ell-adic valuation of the conductor of the endomorphism ring for small ℓ\ell.

mathematics, applied
Ordinary isogeny graphs over $\mathbb{F}_p$: the inverse volcano problem

Henry Bambury,Francesco Campagna,Fabien Pazuki

DOI: https://doi.org/10.48550/arXiv.2210.01086

2022-10-03

Number Theory

Abstract:We give a detailed presentation of $\ell$-isogeny graphs associated with ordinary elliptic curves defined over $\mathbb{F}_p$. We then focus on the following inverse problem: given an abstract volcano $V$, do there always exist primes $\ell, p \in \mathbb{N}$ such that the ordinary $\ell$-isogeny graph over $\mathbb{F}_p$ contains $V$ as a connected component? We provide an affirmative answer to this question.
On ordinary isogeny graphs with level structure

Antonio Lei,Katharina Müller

2024-07-11

Abstract:Let $l$ and $p$ be two distinct prime numbers. We study $l$-isogeny graphs of ordinary elliptic curves defined over a finite field of characteristic $p$, together with a level structure. Firstly, we show that as the level varies over all $p$-powers, the graphs form an Iwasawa-theoretic abelian $p$-tower, which can be regarded as a graph-theoretical analogue of the Igusa tower of modular curves. Secondly, we study the structure of the crater of these graphs, generalizing previous results on volcano graphs. Finally, we solve an inverse problem of graphs arising from the crater of $l$-isogeny graphs with level structures, partially generalizing a recent result of Bambury, Campagna and Pazuki.

Number Theory
Shafarevich-Tate groups of abelian varieties

Igor V. Nikolaev

DOI: https://doi.org/10.1090/conm/798/15988

2024-05-15

Abstract:The Shafarevich-Tate group $W (\mathscr{A})$ measures the failure of the Hasse principle for an abelian variety $\mathscr{A}$. Using a correspondence between the abelian varieties and the higher dimensional non-commutative tori, we prove that $W (\mathscr{A})\cong Cl~(\Lambda)\oplus Cl~(\Lambda)$ or $W (\mathscr{A})\cong \left(\mathbf{Z}/2^k\mathbf{Z}\right) \oplus Cl_{~\mathbf{odd}}~(\Lambda)\oplus Cl_{~\mathbf{odd}}~(\Lambda)$, where $Cl~(\Lambda)$ is the ideal class group of a ring $\Lambda$ associated to the K-theory of the non-commutative tori and $2^k $ divides the order of $Cl~(\Lambda)$. The case of elliptic curves with complex multiplication is considered in detail.

Number Theory,Operator Algebras
On elliptic genera and foliations

Kefeng Liu,Xiaonan Ma,Weiping Zhang,KF Liu,XN Ma,WP Zhang

DOI: https://doi.org/10.4310/mrl.2001.v8.n3.a11

2001-01-01

Mathematical Research Letters

Abstract:We prove several vanishing theorems for a class of generalized elliptic genera on foliated manifolds, by using classical equivariant index theory. The main techniques are the use of the Jacobi theta-functions and the construction of a new class of elliptic operators associated to foliations.
Tate-Shafarevich groups and K3 surfaces

Patrick Corn

DOI: https://doi.org/10.48550/arXiv.0711.4436

2007-11-28

Abstract:Following (and elaborating on) a method of Logan and van Luijk, we exhibit explicit genus-2 curves whose Jacobians have nontrivial 2-torsion in their Tate-Shafarevich groups.

Number Theory,Algebraic Geometry
Unboundedness of Tate–Shafarevich groups in fixed cyclic extensions

Yi Ouyang,Jianfeng Xie

DOI: https://doi.org/10.1007/s00209-024-03527-3

2024-06-23

Mathematische Zeitschrift

Abstract:In this paper we prove two unboundedness results about the Tate–Shafarevich groups of abelian varieties in a fixed nontrivial cyclic extension L / K of global fields, firstly in the case that K is a number field and the abelian varieties are elliptic curves, secondly in the case that K is a global field, [ L : K ] is a 2-power and the abelian varieties are principally polarized.

mathematics
Behaviors of the Tate--Shafarevich group of elliptic curves under quadratic field extensions

Asuka Shiga

2024-11-19

Abstract:Let $E$ be an elliptic curve defined over $\Bbb{Q}$. We study the behavior of the Tate--Shafarevich group of $E$ under quadratic extensions $\Bbb{Q}(\sqrt{D})/\Bbb{Q}$. First, we determine the cokernel of the restriction map $H^1(\mathrm{Gal}(\overline{\Bbb{Q}}/\Bbb{Q}),E)[2] \to \bigoplus_{p}H^1(\mathrm{Gal}(\overline{\Bbb{Q}_p}/\Bbb{Q}_p),E)[2]$. Using this result, without assuming the finiteness of the Tate--Shafarevich group, we prove that the ratio $\frac{\#\Sha(E/\Bbb{Q}(\sqrt{D}))[2] \cdot \#2\Sha(E/\Bbb{Q}(\sqrt{D}))[4]}{\#\Sha(E_D/\Bbb{Q})[2]}$ can grow arbitrarily large, where $E_D$ denotes the quadratic twist of $E$ by $D$. For elliptic curves of the form $E : y^2 = x^3 + px$ with $p$ an odd prime, assuming the finiteness of the relevant Tate--Shafarevich groups, we prove two results: first, that $\Sha(E_D/\Bbb{Q})[2] = 0$ for infinitely many square-free integers $D$, and second, that $\#\Sha(E/\Bbb{Q}(\sqrt{D}))[2] \leq 4$ for infinitely many imaginary quadratic fields $\Bbb{Q}(\sqrt{D})$.

Number Theory
Bounds on Heights of $2$-isogeny Graphs in Ordinary Curves over $\mathbb{F}_p$ and $\mathbb{F}_{p^2}$ and Its Application

Yuji Hashimoto,Koji Nuida

2024-09-01

Abstract:It is known that any isogeny graph consisting of ordinary elliptic curves over $\mathbb{F}_q$ with $q = p$ or $p^2$ has a special structure, called a volcano graph. We have a bound $h < \log_2 \sqrt{4q}$ of a height $h$ of the $2$-volcano graph. In this paper, we improve the bound on a height of $2$-volcano graphs over $\mathbb{F}_q$. In case $q = p^2$, we show a tighter bound $h \leq \left\lfloor \frac{ 1 }{ 2 } \lfloor \log_2 p \rfloor \right\rfloor + 2 $. In case $q = p$, we also show that a good bound for each prime $p$ can be computed by using our proposed techniques.

Number Theory
Torsion Points and the Latte'S Family

Laura DeMarco,Xiaoguang Wang,Hexi Ye

DOI: https://doi.org/10.1353/ajm.2016.0026

IF: 1.835

2016-01-01

American Journal of Mathematics

Abstract:We give a dynamical proof of a result of Masser and Zannier [MZ2, MZ3] about torsion points on the Legendre family of elliptic curves. Our methods also treat points of small height. A key ingredient is the arithmetic equidistribution theorem on $\mathbb{P}^1$ of Baker-Rumely, Chambert-Loir, and Favre-Rivera-Letelier. Torsion points on the elliptic curve coincide with preperiodic points for the degree-4 Lattes family of rational functions. Our main new results concern properties of the bifurcation measures for this Lattes family associated to marked points.
ON SELMER GROUPS AND TATE–SHAFAREVICH GROUPS FOR ELLIPTIC CURVESy2=x3−n3

Keqin Feng,Maosheng Xiong

DOI: https://doi.org/10.1112/s0025579312000046

2012-01-01

Mathematika

Abstract:We study the distribution of the size of Selmer groups and Tate–Shafarevich groups arising from a 2-isogeny and its dual 2-isogeny for elliptic curves E n : y 2 = x 3 − n 3 . We show that the 2-ranks of these groups all follow the same distribution. The result also implies that the mean value of the 2-rank of the corresponding Tate–Shafarevich groups for square-free positive integers n ≤ X is as X → ∞ . This is quite different from quadratic twists of elliptic curves with full 2-torsion points over ℚ [M. Xiong and A. Zaharescu, Distribution of Selmer groups of quadratic twists of a family of elliptic curves. Adv. Math. 219 (2008), 523–553], where one Tate–Shafarevich group is almost always trivial while the other is much larger.
ON SELMER GROUPS AND TATE-SHAFAREVICH GROUPS FOR ELLIPTIC CURVES y = x − n

KEQIN FENG,MAOSHENG XIONG

2011-01-01

Abstract:We study the distribution of the size of Selmer groups and TateShafarevich groups arising from a 2-isogeny and its dual 2-isogeny for elliptic curves En : y = x − n. We show that the 2-ranks of these groups all follow the same distribution. The result also implies that the mean value of the 2-rank of the corresponding Tate-Shafarevich groups for square-free positive integers n ≤ X is √ 1 2 log log X as X → ∞. This is quite different from quadratic twists of elliptic curves with full 2-torsion points over Q ([29]), where one Tate-Shafarevich group is almost always trivial while the other is much larger.
Etale descent obstruction and anabelian geometry of curves over finite fields

Brendan Creutz,Jose Felipe Voloch

2024-07-09

Abstract:Let $C$ and $D$ be smooth, proper and geometrically integral curves over a finite field $F$. Any morphism from $D$ to $C$ induces a morphism of their étale fundamental groups. The anabelian philosophy proposed by Grothendieck suggests that, when $C$ has genus at least $2$, all open homomorphisms between the étale fundamental groups should arise in this way from a nonconstant morphism of curves. We relate this expectation to the arithmetic of the curve $C_K$ over the global function field $K = F(D)$. Specifically, we show that there is a bijection between the set of conjugacy classes of well-behaved morphism of fundamental groups and locally constant adelic points of $C_K$ that survive étale descent. We use this to provide further evidence for the anabelian conjecture by relating it to another recent conjecture by Sutherland and the second author.

Number Theory,Algebraic Geometry
The finiteness of the Tate-Shafarevich group over function fields for algebraic tori defined over the base field

Andrei S. Rapinchuk,Igor A. Rapinchuk

2023-10-24

Abstract:Let $K$ be a field and $V$ be a set of rank one valuations of $K$. The corresponding Tate-Shafarevich group of a $K$-torus $T$ is $Sha(T , V) = \ker\left(H^1(K , T) \to \prod_{v \in V} H^1(K_v , T)\right)$. We prove that if $K = k(X)$ is the function field of a smooth geometrically integral quasi-projective variety over a field $k$ of characteristic 0 and $V$ is the set of discrete valuations of $K$ associated with prime divisors on $X$, then for any torus $T$ defined over the base field $k$, the group $Sha(T , V)$ is finite in the following situations: (1) $k$ is finitely generated and $X(k) \neq \emptyset$; (2) $k$ is a number field.

Number Theory
On geometric Brauer groups and Tate-Shafarevich groups

Yanshuai Qin

DOI: https://doi.org/10.48550/arXiv.2012.01681

2021-12-06

Abstract:Let $X$ be a smooth projective variety over a finitely generated field $K$ of characteristic $p>0$. We proved that the finiteness of the $\ell$-primary part of $\mathrm{Br}(X_{K^s})^{G_K}$ for a single prime $\ell\neq p$ will imply the finiteness of the prime-to-$p$ part of $\mathrm{Br}(X_{K^s})^{G_K}$, generalizing a theorem of Tate and Lichtenbaum for varieties over finite fields. For an abelian variety $A$ over $K$, we proved a similar result for the Tate-Shafarevich group of $A$, generalizing a theorem of Schneider for abelian varieties over global function fields.

Algebraic Geometry,Number Theory
Convolution monodromy groups and the Shafarevich conjecture for hypersurfaces in tori

Caleb Ji

2024-08-16

Abstract:The Shafarevich conjecture for a class of varieties over a number field posits the finitude of those with good reduction outside a finite set of primes. In the case of hypersurfaces in the torus $\mathbb{G}_m^n$, a natural class to consider are those with a fixed Newton polyhedron that are nondegenerate with respect to it. Using an approach similar to that of Lawrence-Sawin for abelian varieties (<a class="link-https" data-arxiv-id="2004.09046" href="https://arxiv.org/abs/2004.09046">arXiv:2004.09046</a>), we prove the Shafarevich conjecture for certain classes of Newton polyhedra. In the course of our proof we construct a fiber functor for the Tannakian category of perverse sheaves on the torus in positive characteristic and compute the weights of the Frobenius on it, which leads to the big monodromy results which are key to this method.

Number Theory,Algebraic Geometry
Explicit $7$-torsion in the Tate-Shafarevich groups of genus $2$ Jacobians

Sam Frengley

2024-05-20

Abstract:We describe an algorithm which, on input a genus $2$ curve $C/\mathbb{Q}$ whose Jacobian $J/\mathbb{Q}$ has real multiplication by a quadratic order in which $7$ splits, outputs twists of the Klein quartic curve parametrising elliptic curves whose mod $7$ Galois representations are isomorphic to a sub-representation of the mod $7$ Galois representation attached to $J/\mathbb{Q}$. Applying this algorithm to genus $2$ curves of small conductor in families of Bending and Elkies--Kumar we exhibit a number of genus $2$ Jacobians whose Tate--Shafarevich groups (unconditionally) contain a non-trivial element of order $7$ which is visible in an abelian three-fold.

Number Theory
Spectral Theory of Isogeny Graphs

Giulio Codogni,Guido Lido

2024-07-04

Abstract:We consider finite graphs whose vertexes are supersingular elliptic curves, possibly with level structure, and edges are isogenies. They can be applied to the study of modular forms and to isogeny based cryptography. The main result of this paper is an upper bound on the modules of the eigenvalues of their adjacency matrices, which in particular implies that these graphs are Ramanujan. We also study the asymptotic distribution of the eigenvalues of the adjacency matrices, the number of connected components, the automorphisms of the graphs, and the connection between the graphs and modular forms.

Number Theory,Algebraic Geometry
The Growth of Tate–Shafarevich Groups in Cyclic Extensions

Yi Ouyang,Jianfeng Xie

DOI: https://doi.org/10.1112/s0010437x22007734

2022-01-01

Compositio Mathematica

Abstract:Let $p$ be a prime number. Kęstutis Česnavičius proved that for an abelian variety $A$ over a global field $K$, the $p$-Selmer group $\mathrm {Sel}_{p}(A/L)$ grows unboundedly when $L$ ranges over the $(\mathbb {Z}/p\mathbb {Z})$-extensions of $K$. Moreover, he raised a further problem: is $\dim _{\mathbb {F}_{p}} \text{III} (A/L) [p]$ also unbounded under the above conditions? In this paper, we give a positive answer to this problem in the case $p \neq \mathrm {char}\,K$. As an application, this result enables us to generalize the work of Clark, Sharif and Creutz on the growth of potential $\text{III}$ in cyclic extensions. We also answer a problem proposed by Lim and Murty concerning the growth of the fine Tate–Shafarevich groups.
The growth of Tate-Shafarevich groups of $p$-supersingular elliptic curves over anticyclotomic $\mathbb{Z}_p$-extensions at inert primes

Erman Isik,Antonio Lei

2024-09-04

Abstract:Let $E$ be an elliptic curve defined over $\mathbb{Q}$, and let $K$ be an imaginary quadratic field. Consider an odd prime $p$ at which $E$ has good supersingular reduction with $a_p(E)=0$ and which is inert in $K$. Under the assumption that the signed Selmer groups are cotorsion modules over the corresponding Iwasawa algebra, we prove that the Mordell-Weil ranks of $E$ are bounded over any subextensions of the anticyclotomic $\mathbb{Z}_p$-extension of $K$. Additionally, we provide an asymptotic formula for the growth of the $p$-parts of the Tate-Shafarevich groups of $E$ over these extensions.

Number Theory

Tate-Shafarevich groups of constant elliptic curves and isogeny volcanos

Pairing the volcano

Ordinary isogeny graphs over $\mathbb{F}_p$: the inverse volcano problem

On ordinary isogeny graphs with level structure

Shafarevich-Tate groups of abelian varieties

On elliptic genera and foliations

Tate-Shafarevich groups and K3 surfaces

Unboundedness of Tate–Shafarevich groups in fixed cyclic extensions

Behaviors of the Tate--Shafarevich group of elliptic curves under quadratic field extensions

Bounds on Heights of $2$-isogeny Graphs in Ordinary Curves over $\mathbb{F}_p$ and $\mathbb{F}_{p^2}$ and Its Application

Torsion Points and the Latte'S Family

ON SELMER GROUPS AND TATE–SHAFAREVICH GROUPS FOR ELLIPTIC CURVESy2=x3−n3

ON SELMER GROUPS AND TATE-SHAFAREVICH GROUPS FOR ELLIPTIC CURVES y = x − n

Etale descent obstruction and anabelian geometry of curves over finite fields

The finiteness of the Tate-Shafarevich group over function fields for algebraic tori defined over the base field

On geometric Brauer groups and Tate-Shafarevich groups

Convolution monodromy groups and the Shafarevich conjecture for hypersurfaces in tori

Explicit $7$-torsion in the Tate-Shafarevich groups of genus $2$ Jacobians

Spectral Theory of Isogeny Graphs

The Growth of Tate–Shafarevich Groups in Cyclic Extensions

The growth of Tate-Shafarevich groups of $p$-supersingular elliptic curves over anticyclotomic $\mathbb{Z}_p$-extensions at inert primes