Showing 1–15 of 15 results for author: Love, J

Hypersurfaces passing through the Galois orbit of a point

Authors: Shamil Asgarli, Jonathan Love, Chi Hoi Yip

Abstract: Asgarli, Ghioca, and Reichstein recently proved that if $K$ is a field with $|K|>2$, then for any positive integers $d$ and $n$, and separable field extension $L/K$ with degree $m=\binom{n+d}{d}$, there exists a point $P\in \mathbb{P}^n(L)$ which does not lie on any degree $d$ hypersurface defined over $K$. They asked whether the result holds when $|K| = 2$. We answer their question in the affirma… ▽ More Asgarli, Ghioca, and Reichstein recently proved that if $K$ is a field with $|K|>2$, then for any positive integers $d$ and $n$, and separable field extension $L/K$ with degree $m=\binom{n+d}{d}$, there exists a point $P\in \mathbb{P}^n(L)$ which does not lie on any degree $d$ hypersurface defined over $K$. They asked whether the result holds when $|K| = 2$. We answer their question in the affirmative by combining various ideas from arithmetic geometry. More generally, we show that for each positive integer $r$ and separable field extension $L/K$ with degree $r$, there exists a point $P \in \mathbb{P}^n(L)$ such that the vector space of degree $d$ forms over $K$ that vanish at $P$ has the expected dimension. We also discuss applications to linear systems of hypersurfaces with special properties. △ Less

Submitted 3 January, 2025; originally announced January 2025.

Comments: 27 pages

MSC Class: Primary: 14G15; 14J70; Secondary: 14N05; 11G25

On $\ell$-torsion in degree $\ell$ superelliptic Jacobians over $\mathbf{F}_q$

Authors: Wanlin Li, Jonathan Love, Eric Stubley

Abstract: We study the $\ell$-torsion subgroup in Jacobians of curves of the form $y^{\ell} = f(x)$ for irreducible $f(x)$ over a finite field $\mathbf{F}_{q}$ of characteristic $p \neq \ell$. This is a function field analogue of the study of $\ell$-torsion subgroups of ideal class groups of number fields $\mathbf{Q}(\sqrt[\ell]{N})$. We establish an upper bound, lower bound, and parity constraint on the ra… ▽ More We study the $\ell$-torsion subgroup in Jacobians of curves of the form $y^{\ell} = f(x)$ for irreducible $f(x)$ over a finite field $\mathbf{F}_{q}$ of characteristic $p \neq \ell$. This is a function field analogue of the study of $\ell$-torsion subgroups of ideal class groups of number fields $\mathbf{Q}(\sqrt[\ell]{N})$. We establish an upper bound, lower bound, and parity constraint on the rank of the $\ell$-torsion which depend only on the parameters $\ell$, $q$, and $\text{deg}\, f$. Using tools from class field theory, we show that additional criteria depending on congruence conditions involving the polynomial $f(x)$ can be used to refine the upper and lower bounds. For certain values of the parameters $\ell,q,\text{deg}\, f$, we determine the $\ell$-torsion of the Jacobian for all curves with the given parameters. △ Less

Submitted 30 December, 2024; originally announced December 2024.

Comments: 35 pages, 2 figures, 2 tables

MSC Class: 11R29; 11R58 (Primary); 11R34; 11R37; 11G20; 11G45 (Secondary)

Supersingular elliptic curves, quaternion algebras and applications to cryptography

Authors: Eyal Z. Goren, Jonathan R. Love

Abstract: This paper contains a survey of supersingular isogeny graphs associated to supersingular elliptic curves and their various applications to cryptography. Within limitation of space, we attempt to address a broad audience and make this part widely accessible. For those graphs we also present three recent results and sketch their proofs. We then discuss a generalization to superspecial isogeny graphs… ▽ More This paper contains a survey of supersingular isogeny graphs associated to supersingular elliptic curves and their various applications to cryptography. Within limitation of space, we attempt to address a broad audience and make this part widely accessible. For those graphs we also present three recent results and sketch their proofs. We then discuss a generalization to superspecial isogeny graphs associated to superspecial abelian varieties with real multiplication. These graphs were introduced by Charles, Goren and Lauter and so our discussion is brief. Motivated by their cryptographic applications, we prove a general theorem concerning generation of lattices over totally real fields by elements of specified norm. Throughout the paper we have attempted to clarify certain considerations that are either vaguely stated in the literature, or are folklore. We hope this paper will be useful both to a novice wishing to familiarize themselves with this very active area, and to the expert who may enjoy some vignettes and an overview of some new results. △ Less

Submitted 3 June, 2025; v1 submitted 8 October, 2024; originally announced October 2024.

Comments: 63 pages, 5 figures. Minor revisions, including an added reference. To be published in the proceedings of the Advanced Research Workshop: Isogeny based post-quantum cryptography (July 2024)

MSC Class: 14G50; 11H55; 11R52

Local and local-to-global Principles for zero-cycles on geometrically Kummer $K3$ surfaces

Authors: Evangelia Gazaki, Jonathan Love

Abstract: Let $X$ be a $K3$ surface over a $p$-adic field $k$ such that for some abelian surface $A$ isogenous to a product of two elliptic curves, there is an isomorphism over the algebraic closure of $k$ between $X$ and the Kummer surface associated to $A$. Under some assumptions on the reduction types of the elliptic curve factors of $A$, we prove that the Chow group $A_0(X)$ of zero-cycles of degree… ▽ More Let $X$ be a $K3$ surface over a $p$-adic field $k$ such that for some abelian surface $A$ isogenous to a product of two elliptic curves, there is an isomorphism over the algebraic closure of $k$ between $X$ and the Kummer surface associated to $A$. Under some assumptions on the reduction types of the elliptic curve factors of $A$, we prove that the Chow group $A_0(X)$ of zero-cycles of degree $0$ on $X$ is the direct sum of a divisible group and a finite group. This proves a conjecture of Raskind and Spiess and of Colliot-Thélène and it is the first instance for $K3$ surfaces when this conjecture is proved in full. This class of $K3$'s includes, among others, the diagonal quartic surfaces. In the case of good ordinary reduction we describe many cases when the finite summand of $A_0(X)$ can be completely determined. Using these results, we explore a local-to-global conjecture of Colliot-Thélene, Sansuc, Kato and Saito which, roughly speaking, predicts that the Brauer-Manin obstruction is the only obstruction to Weak Approximation for zero-cycles. We give examples of Kummer surfaces over a number field $F$ where the ramified places of good ordinary reduction contribute nontrivially to the Brauer set for zero-cycles of degree $0$ and we describe cases when an unconditional local-to-global principle can be proved, giving the first unconditional evidence for this conjecture in the case of $K3$ surfaces. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Comments: 27 pages

Rational configuration problems and a family of curves

Authors: Jonathan R. Love

Abstract: Given $η=\begin{pmatrix} a&b\\c&d \end{pmatrix}\in \text{GL}_2(\mathbb{Q})$, we consider the number of rational points on the genus one curve \[H_η:y^2=(a(1-x^2)+b(2x))^2+(c(1-x^2)+d(2x))^2.\] We prove that the set of $η$ for which $H_η(\mathbb{Q})\neq\emptyset$ has density zero, and that if a rational point $(x_0,y_0)\in H_η(\mathbb{Q})$ exists, then $H_η(\mathbb{Q})$ is infinite unless a… ▽ More Given $η=\begin{pmatrix} a&b\\c&d \end{pmatrix}\in \text{GL}_2(\mathbb{Q})$, we consider the number of rational points on the genus one curve \[H_η:y^2=(a(1-x^2)+b(2x))^2+(c(1-x^2)+d(2x))^2.\] We prove that the set of $η$ for which $H_η(\mathbb{Q})\neq\emptyset$ has density zero, and that if a rational point $(x_0,y_0)\in H_η(\mathbb{Q})$ exists, then $H_η(\mathbb{Q})$ is infinite unless a certain explicit polynomial in $a,b,c,d,x_0,y_0$ vanishes. Curves of the form $H_η$ naturally occur in the study of configurations of points in $\mathbb{R}^n$ with rational distances between them. As one example demonstrating this framework, we prove that if a line through the origin in $\mathbb{R}^2$ passes through a rational point on the unit circle, then it contains a dense set of points $P$ such that the distances from $P$ to each of the three points $(0,0)$, $(0,1)$, and $(1,1)$ are all rational. We also prove some results regarding whether a rational number can be expressed as a sum or product of slopes of rational right triangles. △ Less

Submitted 8 December, 2023; v1 submitted 3 October, 2023; originally announced October 2023.

Comments: Theorem 1.1 strengthened and proof simplified compared to previous version, thanks to a suggestion from Sun-Kai Leung. 25 pages, 1 table

Hyperelliptic curves mapping to abelian varieties and applications to Beilinson's conjecture for zero-cycles

Authors: Evangelia Gazaki, Jonathan R. Love

Abstract: Let $A$ be an abelian surface over an algebraically closed field $\overline{k}$ with an embedding $\overline{k}\hookrightarrow\mathbb{C}$. When $A$ is isogenous to a product of elliptic curves, we describe a large collection of pairwise non-isomorphic hyperelliptic curves mapping birationally into $A$. For infinitely many integers $g\geq 2$, this collection has infinitely many curves of genus $g$,… ▽ More Let $A$ be an abelian surface over an algebraically closed field $\overline{k}$ with an embedding $\overline{k}\hookrightarrow\mathbb{C}$. When $A$ is isogenous to a product of elliptic curves, we describe a large collection of pairwise non-isomorphic hyperelliptic curves mapping birationally into $A$. For infinitely many integers $g\geq 2$, this collection has infinitely many curves of genus $g$, and no two curves in the collection have the same image under any isogeny from $A$. Using these hyperelliptic curves, we find many rational equivalences in the Chow group of zero-cycles $\text{CH}_0(A)$. We use these results to give some progress towards Beilinson's conjecture for zero-cycles, which predicts that for a smooth projective variety $X$ over $\overline{Q}$ the kernel of the Albanese map of $X$ is zero. △ Less

Submitted 3 November, 2023; v1 submitted 12 September, 2023; originally announced September 2023.

Comments: 27 pages. The statement of Theorem 1.3 (formerly Theorem 1.4) has been strengthened, and its proof in Section 3 has been changed significantly. Intersection theory computations have been moved to an appendix, and the introduction has been reorganized

On elements of prescribed norm in maximal orders of a quaternion algebra

Authors: Eyal Z. Goren, Jonathan R. Love

Abstract: Let $\mathcal{O}$ be a maximal order in the quaternion algebra over $\mathbb{Q}$ ramified at $p$ and $\infty$. We prove two theorems that allow us to recover the structure of $\mathcal{O}$ from limited information. The first says that for any infinite set $S$ of integers coprime to $p$, $\mathcal{O}$ is spanned as a $\mathbb{Z}$-module by elements with norm in $S$. The second says that… ▽ More Let $\mathcal{O}$ be a maximal order in the quaternion algebra over $\mathbb{Q}$ ramified at $p$ and $\infty$. We prove two theorems that allow us to recover the structure of $\mathcal{O}$ from limited information. The first says that for any infinite set $S$ of integers coprime to $p$, $\mathcal{O}$ is spanned as a $\mathbb{Z}$-module by elements with norm in $S$. The second says that $\mathcal{O}$ is determined up to isomorphism by its theta function. △ Less

Submitted 31 July, 2023; originally announced July 2023.

Comments: 29 pages, 3 figures

MSC Class: 11R52; 11H55

Torsion phenomena for zero-cycles on a product of curves over a number field

Authors: Evangelia Gazaki, Jonathan Love

Abstract: For a smooth projective variety $X$ over a number field $k$ a conjecture of Bloch and Beilinson predicts that the kernel of the Albanese map of $X$ is a torsion group. In this article we consider a product $X=C_1\times\cdots\times C_d$ of smooth projective curves and show that if the conjecture is true for any subproduct of two curves, then it is true for $X$. Additionally, we produce many new exa… ▽ More For a smooth projective variety $X$ over a number field $k$ a conjecture of Bloch and Beilinson predicts that the kernel of the Albanese map of $X$ is a torsion group. In this article we consider a product $X=C_1\times\cdots\times C_d$ of smooth projective curves and show that if the conjecture is true for any subproduct of two curves, then it is true for $X$. Additionally, we produce many new examples of non-isogenous elliptic curves $E_1, E_2$ with positive rank over $\mathbb{Q}$ for which the image of the natural map $E_1(\mathbb{Q})\otimes E_2(\mathbb{Q})\xrightarrow{\varepsilon} \text{CH}_0(E_1\times E_2)$ is finite, including the first known examples of rank greater than $1$. Combining the two results, we obtain infinitely many nontrivial products $X=C_1\times\cdots\times C_d$ for which the analogous map $\varepsilon$ has finite image. △ Less

Submitted 2 August, 2023; v1 submitted 12 April, 2022; originally announced April 2022.

Comments: 19 pages

Root numbers of a family of elliptic curves and two applications

Authors: Jonathan Love

Abstract: For each $t\in\mathbb{Q}\setminus\{-1,0,1\}$, define an elliptic curve over $\mathbb{Q}$ by \begin{align*} E_t:y^2=x(x+1)(x+t^2). \end{align*} Using a formula for the root number $W(E_t)$ as a function of $t$ and assuming some standard conjectures about ranks of elliptic curves, we determine (up to a set of density zero) the set of isomorphism classes of elliptic curves $E/\mathbb{Q}$ whose Mord… ▽ More For each $t\in\mathbb{Q}\setminus\{-1,0,1\}$, define an elliptic curve over $\mathbb{Q}$ by \begin{align*} E_t:y^2=x(x+1)(x+t^2). \end{align*} Using a formula for the root number $W(E_t)$ as a function of $t$ and assuming some standard conjectures about ranks of elliptic curves, we determine (up to a set of density zero) the set of isomorphism classes of elliptic curves $E/\mathbb{Q}$ whose Mordell-Weil group contains $\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/4\mathbb{Z}$, and the set of rational numbers that can be written as a product of the slopes of two rational right triangles. △ Less

Submitted 3 October, 2023; v1 submitted 12 January, 2022; originally announced January 2022.

Comments: 15 pages, 1 figure. Updated to reference prior work that proved the root number formula (Lemma 5.1)

An arithmetic variant of Raynaud's theorem

Authors: Jonathan Love, Libby Taylor

Abstract: It is well known that for a regular semistable curve $\mathfrak X$ over a DVR with algebraically closed residue field, the spanning trees of the dual graph of the special fiber of $\mathfrak X$ are in bijection with components of the special fiber of the Néron model of the Jacobian of $\mathfrak X$. We prove a generalization of this fact that does not require the residue field to be algebraically… ▽ More It is well known that for a regular semistable curve $\mathfrak X$ over a DVR with algebraically closed residue field, the spanning trees of the dual graph of the special fiber of $\mathfrak X$ are in bijection with components of the special fiber of the Néron model of the Jacobian of $\mathfrak X$. We prove a generalization of this fact that does not require the residue field to be algebraically closed, using a combinatorially enriched version of the dual graph to encode arithmetic information about divisors on $\mathfrak X$. △ Less

Submitted 1 February, 2021; v1 submitted 21 September, 2020; originally announced September 2020.

Comments: References updated and exposition improved; main results unchanged

MSC Class: 05E14

The Stable Limit of Moduli Spaces of Polygons

Authors: Jack Love

Abstract: Polygon spaces have been studied extensively, and yet missing from the literature is a simple property that every polygon has: dimension. This is distinct (possibly) from the dimension of the ambient space in which the polygon lives. A square, in the usual sense of the word, is $2$-dimensional no matter the dimension of the ambient space in which it is embedded. If the ambient space has dimension… ▽ More Polygon spaces have been studied extensively, and yet missing from the literature is a simple property that every polygon has: dimension. This is distinct (possibly) from the dimension of the ambient space in which the polygon lives. A square, in the usual sense of the word, is $2$-dimensional no matter the dimension of the ambient space in which it is embedded. If the ambient space has dimension greater than or equal to $3$ we may bend the square along a diagonal to produce a $3$-dimensional polygon with the same edge-lengths. And yet even if the dimension of the ambient space is large, no amount of bending of the square will produce a polygon of dimension larger than $3$. We generalize this idea to show that there are only finitely many moduli spaces of polygons with given edge-lengths, even as the ambient dimension increases without bound. △ Less

Submitted 15 September, 2020; v1 submitted 11 September, 2020; originally announced September 2020.

Comments: 14 pages, 4 figures

MSC Class: primary: 58D29; secondary: 58A35; 52C25

Rational Equivalences on Products of Elliptic Curves in a Family

Authors: Jonathan Love

Abstract: Given a pair of elliptic curves $E_1,E_2$ over a field $k$, we have a natural map $\text{CH}^1(E_1)_0\otimes\text{CH}^1(E_2)_0\to\text{CH}^2(E_1\times E_2)$, and a conjecture due to Beilinson predicts that the image of this map is finite when $k$ is a number field. We construct a $2$-parameter family of elliptic curves that can be used to produce examples of pairs $E_1,E_2$ where this image is fin… ▽ More Given a pair of elliptic curves $E_1,E_2$ over a field $k$, we have a natural map $\text{CH}^1(E_1)_0\otimes\text{CH}^1(E_2)_0\to\text{CH}^2(E_1\times E_2)$, and a conjecture due to Beilinson predicts that the image of this map is finite when $k$ is a number field. We construct a $2$-parameter family of elliptic curves that can be used to produce examples of pairs $E_1,E_2$ where this image is finite. The family is constructed to guarantee the existence of a rational curve passing through a specified point in the Kummer surface of $E_1\times E_2$. △ Less

Submitted 4 February, 2021; v1 submitted 5 March, 2020; originally announced March 2020.

Comments: 12 pages, 1 figure, 2 tables. Organizational changes, expanded some comments into lemmas. Content is identical to the published version, aside from the organization of information in the Appendix

Journal ref: Journal de Théorie des Nombres de Bordeaux, Tome 32 (2020) no. 3, pp. 923-938

Supersingular Curves With Small Non-integer Endomorphisms

Authors: Jonathan Love, Dan Boneh

Abstract: We introduce a special class of supersingular curves over $\mathbb{F}_{p^2}$, characterized by the existence of non-integer endomorphisms of small degree. A number of properties of this set is proved. Most notably, we show that when this set partitions into subsets in such a way that curves within each subset have small-degree isogenies between them, but curves in distinct subsets have no small-de… ▽ More We introduce a special class of supersingular curves over $\mathbb{F}_{p^2}$, characterized by the existence of non-integer endomorphisms of small degree. A number of properties of this set is proved. Most notably, we show that when this set partitions into subsets in such a way that curves within each subset have small-degree isogenies between them, but curves in distinct subsets have no small-degree isogenies between them. Despite this, we show that isogenies between these curves can be computed efficiently, giving a technique for computing isogenies between certain prescribed curves that cannot be reasonably connected by searching on $\ell$-isogeny graphs. △ Less

Submitted 23 June, 2020; v1 submitted 7 October, 2019; originally announced October 2019.

Comments: 25 pages, 2 figures; improved bound for Theorem 1.3 (from an improvement to the proof of Proposition 4.5); new Appendix C on l-isogenies that can't be replaced by short coprime-to-l-isogenies; moved discussion of algorithms to an appendix; new, more direct (local) proofs of Lemmas 4.2 and 5.4; many minor revisions

Vertex maps between simplices, cubes, and crosspolytopes

Authors: Joseph Gubeladze, Jack Love

Abstract: We study the vertices of the polytopes of all affine maps (a.k.a. hom-polytopes) between higher dimensional simplices, cubes, and crosspolytopes. Systematic study of general hom-polytopes was initiated in [3]. The study of such vertices is the classical aspect of a conjectural homological theory of convex polytopes. One quickly runs into open problems even for simple source and target polytopes. T… ▽ More We study the vertices of the polytopes of all affine maps (a.k.a. hom-polytopes) between higher dimensional simplices, cubes, and crosspolytopes. Systematic study of general hom-polytopes was initiated in [3]. The study of such vertices is the classical aspect of a conjectural homological theory of convex polytopes. One quickly runs into open problems even for simple source and target polytopes. The vertices of Hom(simplex_m,-) and Hom(-,cube_n) are easily understood. In this work we describe the vertex sets of Hom(box_m,simplex_n), Hom(diamond_m,simplex_n), and Hom(diamond_m,diamond_n). The emergent pattern in our arguments is reminiscent of diagram chasing in homological algebra. △ Less

Submitted 1 March, 2014; v1 submitted 13 April, 2013; originally announced April 2013.

Comments: final version - to appear in Geometriae Dedicata

MSC Class: Primary 52B05; 52B11; 52B12; Secondary 5E99; 18B99; 55U99

When is a Quantum Cellular Automaton (QCA) a Quantum Lattice Gas Automaton (QLGA)?

Authors: Asif Shakeel, Peter J. Love

Abstract: Quantum cellular automata (QCA) are models of quantum computation of particular interest from the point of view of quantum simulation. Quantum lattice gas automata (QLGA - equivalently partitioned quantum cellular automata) represent an interesting subclass of QCA. QLGA have been more deeply analyzed than QCA, whereas general QCA are likely to capture a wider range of quantum behavior. Discriminat… ▽ More Quantum cellular automata (QCA) are models of quantum computation of particular interest from the point of view of quantum simulation. Quantum lattice gas automata (QLGA - equivalently partitioned quantum cellular automata) represent an interesting subclass of QCA. QLGA have been more deeply analyzed than QCA, whereas general QCA are likely to capture a wider range of quantum behavior. Discriminating between QLGA and QCA is therefore an important question. In spite of much prior work, classifying which QCA are QLGA has remained an open problem. In the present paper we establish necessary and sufficient conditions for unbounded, finite Quantum Cellular Automata (QCA) (finitely many active cells in a quiescent background) to be Quantum Lattice Gas Automata (QLGA). We define a local condition that classifies those QCA that are QLGA, and we show that there are QCA that are not QLGA. We use a number of tools from functional analysis of separable Hilbert spaces and representation theory of associative algebras that enable us to treat QCA on finite but unbounded configurations in full detail. △ Less

Submitted 15 January, 2014; v1 submitted 24 September, 2012; originally announced September 2012.

Comments: 37 pages, 7 figures, with changes to explanatory text and updated figures, J. Math. Phys. version

Journal ref: J. Math. Phys. 54(9), 092203-1 (2013)