# Computing the geometric endomorphism ring of a genus-2 Jacobian

@article{Lombardo2019ComputingTG,
title={Computing the geometric endomorphism ring of a genus-2 Jacobian},
author={Davide Lombardo},
journal={Math. Comput.},
year={2019},
volume={88},
pages={889-929}
}
• D. Lombardo
• Published 2019
• Mathematics, Computer Science
• Math. Comput.
We describe an algorithm, based on the properties of the characteristic polynomials of Frobenius, to compute $\operatorname{End}_{\overline{K}}(A)$ when $A$ is the Jacobian of a nice genus-2 curve over a number field $K$. We use this algorithm to confirm that the description of the structure of the geometric endomorphism ring of $\operatorname{Jac}(C)$ given in the LMFDB ($L$-functions and modular forms database) is correct for all the genus 2 curves $C$ currently listed in it. We also discuss… Expand
9 Citations

#### Topics from this paper

Restrictions on endomorphism rings of Jacobians and their minimal fields of definition
Zarhin has extensively studied restrictions placed on the endomorphism algebras of Jacobians $J$ for which the Galois group associated to their 2-torsion is insoluble and 'large' (relative to theExpand
Explicit Kummer Theory for Elliptic Curves
• Mathematics
• 2019
Let $E$ be an elliptic curve defined over a number field $K$, let $\alpha \in E(K)$ be a point of infinite order, and let $N^{-1}\alpha$ be the set of $N$-division points of $\alpha$ in $E(\bar{K})$.Expand
Identifying central endomorphisms of an abelian variety via Frobenius endomorphisms
• Mathematics
• 2019
Assuming the Mumford-Tate conjecture, we show that the center of the endomorphism ring of an abelian variety defined over a number field can be recovered from an appropriate intersection of theExpand
Isogenous components of Jacobian surfaces
• Mathematics
• European Journal of Mathematics
• 2019
Let $\mathcal X$ be a genus 2 curve defined over a field $K$, $\mbox{char} K = p \geq 0$, and $\mbox{Jac} (\mathcal X, \iota)$ its Jacobian, where $\iota$ is the principal polarization of $\mbox{Jac}Expand From hyperelliptic to superelliptic curves • Mathematics • 2019 The theory of elliptic and hyperelliptic curves has been of crucial importance in the development of algebraic geometry. Almost all fundamental ideas were first obtained and generalized fromExpand Curves, Jacobians, and Cryptography • Mathematics • 2018 The main purpose of this paper is to give an overview over the theory of abelian varieties, with main focus on Jacobian varieties of curves reaching from well-known results till to latestExpand Recent Developments in Cryptography In this short note, we briefly describe cryptosystems that are believed to be quantum-resistant and focus on isogeny-based cryptosystems. Recent SIDH (Supersingular Isogeny Diffie-Hellman)Expand Recent Developments in Cryptography • Computer Science, Mathematics • 2020 12th International Conference on Cyber Conflict (CyCon) • 2020 This paper further investigates the case of (4,4)-reducible Jacobians and explicitly compute the locus ℒ4 and investigates cryptosystems that are believed to be quantum-resistant and focus on isogeny-based cryptosSystems. Expand Rigorous computation of the endomorphism ring of a Jacobian • Mathematics, Computer Science • Math. Comput. • 2019 Improvements to algorithms for the rigorous computation of the endomorphism ring of the Jacobian of a curve defined over a number field are described. Expand #### References SHOWING 1-10 OF 42 REFERENCES HYPERELLIPTIC JACOBIANS WITHOUT COMPLEX MULTIPLICATION has only trivial endomorphisms over an algebraic closure of the ground field K if the Galois group Gal(f) of the polynomial f ∈ K[x] is “very big”. More precisely, if f is a polynomial of degree n ≥Expand ON THE p-RANK OF AN ABELIAN VARIETY AND ITS ENDOMORPHISM ALGEBRA Let A be an abelian variety deflned over a flnite fleld. In this paper, we discuss the relationship between thep-rank ofA,r(A), and its endomorphism algebra, End 0 (A). As is well known, End 0 (A)Expand The jacobian and formal group of a curve of genus 2 over an arbitrary ground field An embedding of the Jacobian variety of a curve of genus 2 is given, together with an explicit set of defining equations. A pair of local parameters is chosen, for which the induced formal group isExpand Examples of genus two CM curves defined over the rationals A systematic numerical search for genus two curves defined over the rationals such that their Jacobians are simple and have endomorphism ring equal to the ring of integers of a quartic CM field finds 19 non-isomorphic such curves. Expand Hilbert modular surfaces for square discriminants and elliptic subfields of genus 2 function fields We compute explicit rational models for some Hilbert modular surfaces corresponding to square discriminants, by connecting them to moduli spaces of elliptic K3 surfaces. Since they parametrizeExpand Sato–Tate distributions and Galois endomorphism modules in genus 2 • Mathematics • Compositio Mathematica • 2012 Abstract For an abelian surface A over a number field k, we study the limiting distribution of the normalized Euler factors of the L-function of A. This distribution is expected to correspond toExpand Endomorphism rings of reductions of elliptic curves and abelian varieties Let$E$be an elliptic curve without CM that is defined over a number field$K$. For all but finitely many nonarchimedean places$v$of$K$there is the reduction$E(v)$of$E$at$v\$ that is anExpand
K3 surfaces and equations for Hilbert modular surfaces
• Mathematics
• 2014
We outline a method to compute rational models for the Hilbert modular surfaces Y_{-}(D), which are coarse moduli spaces for principally polarized abelian surfaces with real multiplication by theExpand
On l-independence of algebraic monodromy groups in compatible systems of representatations
• Mathematics
• 1992
Consider a profinite group G, and a collection of continuous representations ρ : G → GLn(Q), indexed by a set L of rational primes `. Suppose that G is endowed with a dense subset of “Frobenius”Expand
Counting Reducible Matrices, Polynomials, and Surface and Free Group Automorphisms
We give upper bounds on the numbers of various classes of polynomials reducible over the integers and over integers modulo a prime and on the number of matrices in SL(n), GL(n) and Sp(2n) withExpand