Peter R. Bending
In this paper, we give a universal family of curves of genus 2 whose jacobians have $\sqrt2$ multiplication fixed by the Rosati involution, and several results based on it, including isogenies between jacobians of curves, and jacobians of curves with quaternionic multiplication.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We present a method for computing the Mordell-Weil rank of the jacobian of a curve of genus 2 with multiplication by a square root of 2, based on descent via isogenies of degree 2, and apply it to a family of curves.
We present an accelerated Schoof-type point-counting algorithm for curves of genus 2 equipped with an efficiently computable real multiplication endomorphism. Our new algorithm reduces the complexity of genus 2 point counting over a finite field (\F_{q}) of large characteristic from (\widetilde{O}(\log^8 q)) to (\widetilde{O}(\log^5 q)). Using our algorithm we compute a 256-bit prime-order Jacobian, suitable for cryptographic applications, and also the order of a 1024-bit Jacobian.
The vertical Sato--Tate conjectures gives expected trace distributions for for families of curves. We develop exact expression for the distribution associated to degree-$4$ representations of $\mathrm{USp}(4)$, $\mathrm{SU}(2)\times\mathrm{SU}(2)$ and $\mathrm{SU}(2)$ in the neighborhood of the extremities of the Weil bound. As a consequence we derive qualitative distinctions between the extremal traces arising from generic genus-$2$ curves and genus-$2$ curves with real or quaternionic multiplication. In particular we show, in a specific sense, to what extent curves with real multiplication d…
Genus 2 curves are useful in cryptography for both discrete-log based and pairing-based systems, but a method is required to compute genus 2 curves such that the Jacobian has a given number of points. Currently, all known methods involve constructing genus 2 curves with complex multiplication via computing their three Igusa class polynomials. These polynomials have rational coefficients and require extensive computation and precision to compute. Both the computation and the complexity analysis of these algorithms can be improved by a more precise understanding of the denominators of the coeffi…
Let $C$ be a smooth, absolutely irreducible genus-$3$ curve over a number field $M$. Suppose that the Jacobian of $C$ has complex multiplication by a sextic CM-field $K$. Suppose further that $K$ contains no imaginary quadratic subfield. We give a bound on the primes $\mathfrak{p}$ of $M$ such that the stable reduction of $C$ at $\mathfrak{p}$ contains three irreducible components of genus $1$.
We describe a method to determine all the isomorphism classes of principal polarizations of the modular abelian surfaces $A_f$ with quaternionic multiplication attached to a normalized newform $f$ without complex multiplication. We include an example of $A_f$ with quaternionic multiplication for which we find numerically a curve $C$ whose Jacobian is $A_f$ up to numerical approximation, and we prove that it has quaternionic multiplication and is isogenous to $A_f$.
Schoof's classic algorithm allows point-counting for elliptic curves over finite fields in polynomial time. This algorithm was subsequently improved by Atkin, using factorizations of modular polynomials, and by Elkies, using a theory of explicit isogenies. Moving to Jacobians of genus-2 curves, the current state of the art for point counting is a generalization of Schoof's algorithm. While we are currently missing the tools we need to generalize Elkies' methods to genus 2, recently Martindale and Milio have computed analogues of modular polynomials for genus-2 curves whose Jacobians have real …
We give a general framework for uniform, constant-time one-and two-dimensional scalar multiplication algorithms for elliptic curves and Jacobians of genus 2 curves that operate by projecting to the x-line or Kummer surface, where we can exploit faster and more uniform pseudomultiplication, before recovering the proper "signed" output back on the curve or Jacobian. This extends the work of L{ó}pez and Dahab, Okeya and Sakurai, and Brier and Joye to genus 2, and also to two-dimensional scalar multiplication. Our results show that many existing fast pseudomultiplication implementations (hitherto …
Generic models for genus 2 curves with real multiplication
本文针对 Q 上带实乘法的亏格2曲线，借助 P² 上二次曲线束极小化算法，新增12种通用模型并覆盖 D<40，同时简化 D<100 的相关 Mestre 二次曲线方程。
The first step in elliptic curve scalar multiplication algorithms based on scalar decompositions using efficient endomorphisms-including Gallant-Lambert-Vanstone (GLV) and Galbraith-Lin-Scott (GLS) multiplication, as well as higher-dimensional and higher-genus constructions-is to produce a short basis of a certain integer lattice involving the eigenvalues of the endomorphisms. The shorter the basis vectors, the shorter the decomposed scalar coefficients, and the faster the resulting scalar multiplication. Typically, knowledge of the eigenvalues allows us to write down a long basis, which we th…
Moduli for rational genus 2 curves with real multiplication for discriminant 5
本文针对判别式5的实乘法情形，给出了有理亏格2曲线对应的希尔伯特模曲面有理点的简单通用刻画，并提供了Weierstrass模型及二次型化简技术。
An isogeny graph is a graph whose vertices are principally polarized abelian varieties and whose edges are isogenies between these varieties. In his thesis, Kohel described the structure of isogeny graphs for elliptic curves and showed that one may compute the endomorphism ring of an elliptic curve defined over a finite field by using a depth first search algorithm in the graph. In dimension 2, the structure of isogeny graphs is less understood and existing algorithms for computing endomorphism rings are very expensive. Our setting considers genus 2 jacobians with complex multiplication, with …
We propose a Las Vegas probabilistic algorithm to compute the zeta function of a genus-3 hyperelliptic curve defined over a finite field $\mathbb F_q$, with explicit real multiplication by an order $\mathbb Z[η]$ in a totally real cubic field. Our main result states that this algorithm requires an expected number of $\widetilde O((\log q)^6)$ bit-operations, where the constant in the $\widetilde O()$ depends on the ring $\mathbb Z[η]$ and on the degrees of polynomials representing the endomorphism $η$. As a proof-of-concept, we compute the zeta function of a curve defined over a 64-bit prime f…
Reduction types of CM curves
该研究聚焦雅可比簇具复乘法的低亏格曲线约化性质，分类了椭圆曲线的Kodaira约化类型，探究了亏格2曲线的Namikawa Ueno类型，并给出局部域上复乘阿贝尔簇挠子群的界。
Bad Reduction of Genus Two Curves with complex multiplication
本文研究具有双二次CM域复乘的亏格二曲线，通过正交Shimura簇上的CM环显式描述其雅可比簇，推导稳定坏约化素数的上界并证明其存在性。
Counting points on some genus zero Shimura curves
本文利用零维 Shimura 曲线上有界高度点的计数，研究数域 $K$ 上具潜在四元数乘法的阿贝尔曲面数量。
In "Proving that a genus 2 curve has complex multiplication", van Wamelen lists 19 curves of genus two over $\mathbf{Q}$ with complex multiplication (CM). For each of the 19 curves, the CM-field turns out to be cyclic Galois over $\mathbf{Q}$. The generic case of non-Galois quartic CM-fields did not feature in this list, as the field of definition in that case always contains a real quadratic field, known as the real quadratic subfield of the reflex field. We extend van Wamelen's list to include curves of genus two defined over this real quadratic field. Our list therefore contains the smalles…
This paper contains some results regarding the Iwasawa module structure of Selmer groups of elliptic curves with complex multiplication.
Let C/Q be the genus 3 Picard curve given by the affine model y^3=x^4-x. In this paper we compute its Sato-Tate group, show the generalized Sato-Tate conjecture for C, and compute the statistical moments for the limiting distribution of the normalized local factors of C.
This thesis examines the relationship between elliptic curves with complex multiplication and Lambda structures. Our main result is to show that the moduli stack of elliptic curves with complex multiplication, and the universal elliptic curve with complex multiplication over it, both admit Lambda structures and that the structure morphism is a Lambda morphism. This implies that elliptic curves with complex multiplication can be canonically lifted to the Witt vectors of the base (these are big and global Witt vectors). We also show that elliptic curves with complex multiplication of Shimura typ…
For every normalized newform f in S_2(Gamma_1(N)) with complex multiplication, we study the modular parametrizations of elliptic curves C from the abelian variety A_f. We apply the results obtained when C is Gross's elliptic curve A(p).
We consider the problem of checking whether an elliptic curve defined over a given number field has complex multiplication. We study two polynomial time algorithms for this problem, one randomized and the other deterministic. The randomized algorithm can be adapted to yield the discriminant of the endomorphism ring of the curve.
We present a probabilistic Las Vegas algorithm for computing the local zeta function of a genus-$g$ hyperelliptic curve defined over $\mathbb F_q$ with explicit real multiplication (RM) by an order $\Z[η]$ in a degree-$g$ totally real number field. It is based on the approaches by Schoof and Pila in a more favorable case where we can split the $\ell$-torsion into $g$ kernels of endomorphisms, as introduced by Gaudry, Kohel, and Smith in genus 2. To deal with these kernels in any genus, we adapt a technique that the author, Gaudry, and Spaenlehauer introduced to model the $\ell$-torsion by stru…
We revisit and generalize some geometric techniques behind deterministic primality testing for some integer sequences using curves of genus 1 over finite rings. Subsequently we develop a similar primality test using the Jacobian of a genus 2 curve.
In this article, we enumerate all Shimura curves X^D_0(N) of genus at most two.
We give the complete list of possible torsion subgroups of elliptic curves with complex multiplication over number fields of degree 1-13. Additionally we describe the algorithm used to compute these torsion subgroups and its implementation.
Using class field theory one associates to each curve C over a finite field, and each subgroup G of its divisor class group, unramified abelian covers of C whose genus is determined by the index of G. By listing class groups of curves of small genus one may get examples of curves with many points; we do this for all curves of genus 2 over the fields of cardinality 5,7,9,11,13 and 16, giving new entries for the tables of curves with many points (www.manYPoints.org).
We give a generalization of the method of "Elliptic Curve Chabauty" to higher genus curves and their Jacobians. This method can sometimes be used in conjunction with covering techniques and a modified version of the Mordell-Weil sieve to provide a complete solution to the problem of determining the set of rational points of an algebraic curve $Y$.
Distortion maps are a useful tool for pairing based cryptography. Compared with elliptic curves, the case of hyperelliptic curves of genus g > 1 is more complicated since the full torsion subgroup has rank 2g. In this paper we prove that distortion maps always exist for supersingular curves of genus g>1 and we construct distortion maps in genus 2 (for embedding degrees 4,5,6 and 12).
In this article, we study the Mahler measures of more than 500 families of reciprocal polynomials defining genus 2 and genus 3 curves. We numerically find relations between the Mahler measures of these polynomials with special values of $L$-functions. We also numerically discover more than 100 identities between Mahler measures involving different families of polynomials defining genus 2 and genus 3 curves. Furthermore, we study the Mahler measures of several families of nonreciprocal polynomials defining genus 2 curves and numerically find relations between the Mahler measures of these famili…
We give a new characterisation of elliptic curves of Shimura type in terms commuting families of Frobenius lifts and also strengthen an old principal ideal theorem for ray class fields. These two results combined yield the existence of global minimal models for elliptic curves of Shimura type, generalising a result of Gross. Along the way we also prove a handful of small but new results regarding elliptic curves with complex multiplication.
Infinitely many hyperelliptic curves of small genus and small fixed rank, and of any genus and rank two
本文证明了对于任何数域K和固定亏格g≥2，存在无穷多个非同构的亏格为g的双曲曲线，其雅可比曲线的秩为0、1或2。
A projective, smooth, absolutely irreducible algebraic curve X of genus g defined over a finite field F_q is called optimal if for every other such genus g curve Y over F_q one has $\#Y(F_q)\le \#X(F_q)$. In this paper we show that for $g\le 5$ there is a unique optimal genus g curve over F_2. For g=6 there are precisely two and for g=7 there are at least two.
In this paper we show that the maximum number of rational points possible for a smooth, projective, absolutely irreducible genus 4 curve over a finite field F_7 is 24. It is known that a genus 4 curve over F_7 can have at most 25 points. In this paper we prove that such a curve can have at most 24. On the other hand we provide an explicit example of a genus 4 curve over F_7 having 24 points.
The period of a curve is the smallest positive degree of Galois-invariant divisor classes. The index is the smallest positive degree of rational divisors. We construct examples of genus one curves with prescribed period and index over certain number fields.
Legendre polynomials and complex multiplication, II: class numbers of quadratic fields and genus 2 supersingular polynomials
该文研究亏格2的两类超奇异多项式在有限域上的因式分解，用二次变换结合勒让德多项式、类方程性质及已有结果，证明其一次因式个数由虚二次域类数刻画，部分核心结论由人工智能首次发现。
The CM class number one problem for elliptic curves asked to find all elliptic curves defined over the rationals with non-trivial endomorphism ring. For genus-2 curves it is the problem of determining all CM curves of genus $2$ defined over the reflex field. We solve the problem by showing that the list given in Bouyer and Streng [LMS J. Comput. Math., 18(1):507{538, 2015] is complete.
Using an explicit family of plane quartic curves, we prove the existence of a genus 3 curve over any finite field of characteristic 3 whose number of rational points stays within a fixed distance from the Hasse-Weil-Serre upper bound. We also provide an intrinsic characterization of so-called Legendre elliptic curves.
Triangular modular curves are a generalization of modular curves that arise from quotients of the upper half-plane by congruence subgroups of hyperbolic triangle groups. These curves also arise naturally as a source of Belyi maps with monodromy $\text{PGL}_2(\mathbb{F}_q)$ or $\text{PSL}_2(\mathbb{F}_q)$. We present a computational approach to enumerate Borel-type triangular modular curves of low genus, and we carry out this enumeration for prime level and small genus.
We prove that the average size of the 3-Selmer group of a genus-2 curve with a marked Weierstrass point is 4.
We provide a framework for using elliptic curves with complex multiplication to determine the primality or compositeness of integers that lie in special sequences, in deterministic quasi-quadratic time. We use this to find large primes, including the largest prime currently known whose primality cannot feasibly be proved using classical methods.
Fix m >= 1 and let E be an elliptic curve over Q with complex multiplication. We formulate conjectures on the density of primes p (congruent to one modulo m) for which the pth Fourier coefficient of E is an mth power modulo p; often these densities differ from the naive expectation of 1/m. We also prove our conjectures for m dividing the number of roots of unity lying in the CM field of E; the most involved case is m=4 and complex multiplication by Q(i).
In this paper we give a passage formula between different invariants of genus 3 hyperelliptic curves: in particular between Tsuyumine and Shioda invariants. This is needed to get modular expressions for Shioda invariants, that is, for example, useful for proving the correctness of numerically computed equations of CM genus 3 hyperelliptic curves. On the other hand, we also get Shioda invariants described in terms of differences of roots of the equation defining the hyperelliptic curve, that has applications for studying the reduction type of the curve. Under certain conditions on its jacobian,…
We show that the number of copies of ${\Bbb Q}_p/{\Bbb Z}_p$ in the Tate-Shafarevich group of an elliptic curve $E$ over ${\Bbb Q}$ with complex multipication, is at most $2p - g$, where $g$ is the rank of $E({\Bbb Q})$, and for all sufficiently large good ordinary primes $p$.
Given an elliptic curve E over Q with complex multiplication having good reduction at 2, we investigate the 2-adic valuation of the algebraic part of the L-value at 1 for a family of quadratic twists. In particular, we prove a lower bound for this valuation in terms of the Tamagawa number in a form predicted by the conjecture of Birch and Swinnerton-Dyer.
Rational and isolated quadratic points on hyperelliptic curves of rank 0 and small genus
本文提出一种利用Kummer簇上Mordell-Weil群像来计算秩0超椭圆曲线有理点和孤立二次点的方法，并用Magma实现，在大量曲线上验证。
In this paper we explicitly compute equations for the twists of all the smooth plane quartic curves defined over a number field k. Since the plane quartic curves are non-hyperelliptic curves of genus 3 we can apply the method developed by the author in a previous article. The starting point is a classification due to Henn of the plane quartic curves with non-trivial automorphism group up to C-isomorphism.
For any number field not containing $\QQ(i),$ we give an explicit construction to prove that there exists an elliptic curve defined over this field such that its Shafarevich-Tate group is nontrivial.
Based on computational evidence, we formulate a number of conjectures on the distribution of rational points on curves of genus 2 over the rational numbers, in terms of the size of the coefficients of an equation of the form y^2 = f(x) >.
Inspired by a result of Manin, we study the relationship between certain period integrals and the trace of Frobenius of genus 3 generalized Legendre curves. We show that both of these properties can be computed in terms of "matching" classical and finite field hypergeometric functions, a phenomenon that has also been observed in elliptic curves and many higher dimensional varieties.
Consider the Jacobian of a genus two curve defined over a finite field and with complex multiplication. In this paper we show that if the l-Sylow subgroup of the Jacobian is not cyclic, then the embedding degree of the Jacobian with respect to l is one.
Consider the Jacobian of a hyperelliptic genus two curve defined over a prime field of characteristic p and with complex multiplication. In this paper we show that the p-Sylow subgroup of the Jacobian is either trivial or of order p.
On the Prym variety of genus 3 covers of genus 1 curves
本文针对亏格1曲线的非超椭圆亏格3覆盖，构造显式亏格2曲线，使雅可比簇同源于原曲线与覆盖曲线的雅可比簇乘积，推广了Nils Bruin的结果。
We present explicit models for non-elliptic genus one Shimura curves X_0(D, N) with Gamma_0(N)-level structure arising from an indefinite quaternion algebra of reduced discriminant D, and Atkin-Lehner quotients of them. In addition, we discuss and extend Jordan's work in his Ph. D Thesis on points with complex multiplication on Shimura curves.
We find explicit equations for two-coverings of Jacobians of genus two curves over an arbitrary ground field of characteristic different from two.
We show how non-vanishing of p-adic L functions controls the dimensions of Selmer varieties associated to the complement of the origin in an elliptic curve with CM. As a corollary, one obtains a π_1-proof of the theorem of Siegel for such curves.
In this survey, we discuss the problem of the maximum number of points of curves of genus 1,2 and 3 over finite fields
For any number field, we prove that there exists a stacky curve of genus one half defined over the ring of its integers violating the local-global principle for integral points.
We report on the construction of a database of nonhyperelliptic genus 3 curves over Q of small discriminant.
We explain how we computed equations for all genus 4 curves defined of the field with 2 elements, up-to-isomorphism, and some of the data we obtained. We give descriptions also of nice models for genus 4 curves over characteristic 2 fields, in both the hyperelliptic case and the trigonal case.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。