Yuri G. Zarhin
We prove that in odd characteristic the jacobian of a hyperelliptic curve $y^2=f(x)$ has no nontrivial endomorphisms over an algebraic closure of the ground field if the Galois group of the polynomial $f$ of even degree is ``very big". The case of characteristic zero was previously treated by the author (Math. Res. Letters 7(2000), 123--132).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We prove that the jacobian of a hyperelliptic curve y^2=f(x) has no nontrivial endomorphisms over an algebraic closure of the ground field of characteristic zero if the Galois group of the polynomial f is ``very big''.
We propose a solution to the hyperelliptic Schottky problem, based on the use of Jacobian Nullwerte and symmetric models for hyperelliptic curves. Both ingredients are interesting on its own, since the first provide period matrices which can be geometrically described, and the second have remarkable arithmetic properties.
In this paper we obtain conditions on the divisors of the group order of the Jacobian of a hyperelliptic genus 2 curve, generated by the complex multiplication method described by Weng (2003) and Gaudry (2005). Examples, where these conditions imply that the Jacobian has a large cyclic subgroup, are given.
We analyze complex multiplication for Jacobians of curves of genus 3, as well as the resulting Shimura class groups and their subgroups corresponding to Galois conjugation over the reflex field. We combine our results with numerical methods to find CM fields $K$ for which there exist both hyperelliptic and non-hyperelliptic curves whose Jacobian has complex multiplication by $\mathbb{Z}_K$. More precisely, we find all sextic CM fields $K$ in the LMFDB for which (heuristically) Jacobians of both types with CM by $\mathbb{Z}_K$ exist. There turn out to be 14 such fields among the 547,156 sextic …
We prove that the jacobian of a hyperelliptic curve y^2=f(x) is absolutely simple if deg(f)=q+1 where q is a power prime congruent to 5 modulo 8, the polynomial f(x) is irreducible over the ground field of characteristic zero and its Galois group is L_2(q).
We explicitly construct the Kummer variety associated to the Jacobian of a hyperelliptic curve of genus 3 that is defined over a field of characteristic not equal to 2 and has a Weierstraß point defined over the same field. We also construct homogeneous quartic polynomials on the Kummer variety and show that they represent the duplication map.
Explicit construction of decomposable Jacobians
本文给出了特征0域上可分解超椭圆 Jacobian 簇的显式构造，并应用于构造具有无穷多二次扭转且含有有理非 Weierstrass 点的超椭圆曲线族。
Let $p$ be an odd prime number and be an integer coprime to $p$. We survey an algorithm for computing explicit rational representations of $(\ell,...,\ell)$-isogenies between Jacobians of hyperelliptic curves of arbitrary genus over an extension $K$ of the field of $p$-adic numbers $\mathbb{Q}\_p$. The algorithm has a quasi-linear complexity in $\ell$ as well as in the genus of the curves.
We prove that the jacobian of a hyperelliptic curve $y^2=(x-t)h(x)$ has no nontrivial endomorphisms over an algebraic closure of the ground field $K$ of characteristic zero if $t \in K$ and the Galois group of the polynomial $h(x)$ over $K$ is "very big" and $deg(h)$ is an even number >8. (The case of odd $deg(h)>3$ follows easily from previous results of the author.)
We prove that when all hyperelliptic curves of genus $n\geq 1$ having a rational Weierstrass point are ordered by height, the average size of the 2-Selmer group of their Jacobians is equal to 3. It follows that (the limsup of) the average rank of the Mordell-Weil group of their Jacobians is at most 3/2. The method of Chabauty can then be used to obtain an effective bound on the number of rational points on most of these hyperelliptic curves; for example, we show that a majority of hyperelliptic curves of genus $n\geq 3$ with a rational Weierstrass point have fewer than 20 rational points.
Products of hyperelliptic Jacobians with maximal Galois image
本文研究了超椭圆 Jacobian 乘积的相伴 adelic 表示，给出了确保其具有极大 Galois 像的简单准则，并提出了一种构造 Jacobian 乘积使其除法域尽可能互不相交的方法。
In [5], Manjul Bhargava and Benedict Gross considered the family of hyperelliptic curves over $\Q$ having a fixed genus and a marked rational Weierstrass point. They showed that the average size of the 2-Selmer group of the Jacobians of these curves, when ordered by height, is 3. In this paper, we consider the family of hyperelliptic curves over $\Q$ having a fixed genus and a marked rational non-Weierstrass point. We show that when these curves are ordered by height, the average size of the 2-Selmer group of their Jacobians is 6. This yields an upper bound of 5/2 on the average rank of the Mo…
Given a sextic CM field $K$, we give an explicit method for finding all genus 3 hyperelliptic curves defined over $\mathbb{C}$ whose Jacobians are simple and have complex multiplication by the maximal order of this field, via an approximation of their Rosenhain invariants. Building on the work of Weng, we give an algorithm which works in complete generality, for any CM sextic field $K$, and computes minimal polynomials of the Rosenhain invariants for any period matrix of the Jacobian. This algorithm can be used to generate genus 3 hyperelliptic curves over a finite field $\mathbb{F}_p$ with a …
In this paper we study the Coleman-Oort conjecture for superelliptic curves, i.e., curves defined by affine equations $y^n=F(x)$ with $F$ a separable polynomial. We prove that up to isomorphism there are at most finitely many superelliptic curves of fixed genus $g\geq 8$ with CM Jacobians. The proof relies on the geometric structures of Shimura subvarieties in Siegel modular varieties and the stability properties of Higgs bundles associated to fibred surfaces.
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.
Rank jumps for Jacobians of Hyperelliptic curves on K3 surfaces
研究数域上K3表面超椭圆曲线雅可比矩阵秩跃迁现象，证明有限扩展下秩跃迁无限集的存在，并描述K3表面几何条件下的非薄纤维秩跃迁。
In his previous papers the author proved that in characteristic different from 2 the jacobian J(C) of a hyperelliptic curve C: y^2=f(x) has only trivial endomorphisms over an algebraic closure K_a of the ground field K if the Galois group of the irreducible polynomial f(x) in K[x] is either the full symmetric group S_n or the alternating group A_n. Here n > 8 is the degree of f. The goal of this paper is to extend this result to the case when either n=7,8 or n=5,6 and char(K)>3.
Consider the jacobian of a hyperelliptic genus two curve defined over a finite field. Under certain restrictions on the endomorphism ring of the jacobian we give an explicit description all non-degenerate, bilinear, anti-symmetric and Galois-invariant pairings on the jacobian. From this description it follows that no such pairing can be computed more efficiently than the Weil pairing. To establish this result, we need an explicit description of the representation of the Frobenius endomorphism on the l-torsion subgroup of the jacobian. This description is given. In particular, we show that if t…
We introduce an algorithm to compute the rational torsion subgroup of the Jacobian of a hyperelliptic curve of genus 3 over the rationals. We apply a Magma implementation of our algorithm to a database of curves with low discriminant due to Sutherland as well as a list of curves with small coefficients. In the process, we find several torsion structures not previously described in the literature. The algorithm is a generalisation of an algorithm for genus 2 due to Stoll, which we extend to abelian varieties satisfying certain conditions. The idea is to compute p-adic torsion lifts of points ov…
This paper provides a probabilistic algorithm to determine generators of the m-torsion subgroup of the Jacobian of a hyperelliptic curve of genus two.
Given a principally polarized abelian variety $A$ of dimension $g$ over an algebraically closed field $k$ of characteristic $p$, the $p$ torsion $A[p]$ is a finite flat $p$-torsion group scheme of rank $p^{2g}$. There are exactly $2^g$ possible group schemes that can occur as some such $A[p]$. In this paper, we study which group schemes can occur as $J[p]$, where $J$ is the Jacobian of a hyperelliptic curve defined over $\mathbb{F}_p$. We do this by computing explicit formulae for the action of Frobenius and its dual on the de Rham cohomology of a hyperelliptic curve with respect to a given ba…
This article shows explicit relation between fractional expressions of Schottky-Klein type for hyperelliptic $σ$-functions and a product of differences of the algebraic coordinates on each stratum of natural stratification in a hyperelliptic Jacobian.
Hyperelliptic Jacobians in Isogeny Classes of Abelian Threefolds Over Finite Fields
本文针对有限域上三维阿贝尔簇同源类是否包含亏格3超椭圆曲线雅可比簇的问题，基于韦伊多项式分析提出新的阻碍判据，并猜想其中两个阻碍可在q趋于无穷时渐近分类所有同源类。
We develop an explicit theory of Kummer varieties associated to Jacobians of hyperelliptic curves of genus 3, over any field $k$ of characteristic $\neq 2$. In particular, we provide explicit equations defining the Kummer variety $\mathcal K$ as a subvariety of $\mathbb P^7$, together with explicit polynomials giving the duplication map on $\mathcal K$. A careful study of the degenerations of this map then forms the basis for the development of an explicit theory of heights on such Jacobians when $k$ is a number field. We use this input to obtain a good bound on the difference between naive an…
We give an algorithm to compute $(\ell,\ell,\ell)$-isogenies from the Jacobians of genus three hyperelliptic curves to the Jacobians of non-hyperelliptic curves. An important application is to reduce the discrete logarithm problem in the Jacobian of a hyperelliptic curve to the corresponding problem in the Jacobian of a non-hyperelliptic curve.
Let $k$ be a subfield of $\mathbb{C}$ which contains all $2$-power roots of unity, and let $K = k(α_{1}, α_{2}, ... , α_{2g + 1})$, where the $α_{i}$'s are independent and transcendental over $k$, and $g$ is a positive integer. We investigate the image of the $2$-adic Galois action associated to the Jacobian $J$ of the hyperelliptic curve over $K$ given by $y^{2} = \prod_{i = 1}^{2g + 1} (x - α_{i})$. Our main result states that the image of Galois in $\mathrm{Sp}(T_{2}(J))$ coincides with the principal congruence subgroup $Γ(2) \lhd \mathrm{Sp}(T_{2}(J))$. As an application, we find generator…
In his previous paper (Math. Res. Letters 7(2000), 123--132) the author proved that in characteristic zero the jacobian $J(C)$ of a hyperelliptic curve $C: y^2=f(x)$ has only trivial endomorphisms over an algebraic closure $K_a$ of the ground field $K$ if the Galois group $Gal(f)$ of the irreducible polynomial $f(x) \in K[x]$ is either the symmetric group $S_n$ or the alternating group $A_n$. Here $n>4$ is the degree of $f$. In math.AG/0003002 we extended this result to the case of certain ``smaller'' Galois groups. In particular, we treated the infinite series $n=2^r+1, Gal(f)=L_2(2^r)$ and $…
Motivated by results of Mestre and Voisin, in this note we mainly consider abelian varieties isogenous to hyperelliptic Jacobians In the first part we prove that a very general hyperelliptic Jacobian of genus $g\ge 4$ is not isogenous to a non-hyperelliptic Jacobian. As a consequence we obtain that the Intermediate Jacobian of a very general cubic threefold is not isogenous to a Jacobian. Another corollary tells that the Jacobian of a very general $d$-gonal curve of genus $g \ge 4$ is not isogenous to a different Jacobian. In the second part we consider a closed subvariety $\mathcal Y \subset …
In this article, we show that in each of four standard families of hyperelliptic curves, there is a density-$1$ subset of members with the property that their Jacobians have adelic Galois representation with image as large as possible. This result constitutes an explicit application of a general theorem on arbitrary rational families of abelian varieties to the case of families of Jacobians of hyperelliptic curves. Furthermore, we provide explicit examples of hyperelliptic curves of genus $2$ and $3$ over $\mathbb Q$ whose Jacobians have such maximal adelic Galois representations.
It is well-known that abelian varieties are projective, and so that there exist explicit polynomial and rational functions which define both the variety and its group law. It is however difficult to find any explicit polynomial and rational functions describing these varieties or their group laws in dimensions greater than two. One exception can be found in Mumford's classic "Lectures on Theta", where he describes how to obtain an explicit model for hyperelliptic Jacobians as the union of several affine pieces described as the vanishing locus of explicit polynomial equations. In this article, …
Let $K$ be a field of characteristic different from $2$, $\bar{K}$ its algebraic closure. Let $n \ge 3$ be an odd integer. Let $f(x)$ and $h(x)$ be degree $n$ polynomials with coefficients in $K$ and without repeated roots. Let us consider genus $(n-1)/2$ hyperelliptic curves $C_f: y^2=f(x)$ and $C_h: y^2=h(x)$, and their jacobians $J(C_f)$ and $J(C_h)$, which are $(n-1)/2$-dimensional abelian varieties defined over $K$. Suppose that one of the polynomials is irreducible and the other splits completely over $K$. We prove that if $J(C_f)$ and $J(C_h)$ are isogenous over $\bar{K}$ then there is …
Let $C$ be a hyperelliptic curve embedded in its Jacobian $J$ via an Abel-Jacobi map. We compute the scheme structure of the Hilbert scheme component of $\textrm{Hilb}_J$ containing the Abel-Jacobi curve as a point. We relate the result to the ramification (and to the fibres) of the Torelli morphism $\mathcal M_g\rightarrow \mathcal A_g$ along the hyperelliptic locus. As an application, we determine the scheme structure of the moduli space of Picard sheaves (introduced by Mukai) on a hyperelliptic Jacobian.
This article extends relations of Mumford's UVW-expressions to those in subvarieties in a hyperelliptic Jacobian using Baker's method.
In his previous papers (Math. Res. Letters 7 (2000), 123--13; Math. Res. Letters 8 (2001), 429--435; Moscow Math. J. 2 (2002), issue 2, 403-431) the author proved that in characteristic $\ne 2$ the jacobian $J(C)$ of a hyperelliptic curve $C: y^2=f(x)$ has only trivial endomorphisms over an algebraic closure $K_a$ of the ground field $K$ if the Galois group $\Gal(f)$ of the irreducible polynomial $f(x) \in K[x]$ is either the symmetric group $\Sn$ or the alternating group $\A_n$. Here $n\ge 9$ is the degree of $f$. The goal of this paper is to extend this result to the case of certain ``smalle…
We construct an infinite number of Shimura curves contained in the locus of hyperelliptic Jacobians of genus 3. In the opposite direction, we show that in genus 3 the only possible non-complete (in the moduli space of abelian threefolds) Kuga curves contained in the hyperelliptic locus have the same degeneration data as that of the examples we construct. The locus of genus 3 hyperelliptic Jacobians is a divisor within the moduli space of principally polarized abelian threefolds, and our result demonstrates the techniques we develop more generally for dealing with Shimura curves contained withi…
Let $K$ be a global field of characteristic different from 2 and $u(x)\in K[x]$ be an irreducible polynomial of even degree $2g\ge 6$, whose Galois group over $K$ is either the full symmetric group $S_{2g}$ or the alternating group $A_{2g}$. We describe explicitly how to choose (infinitely many) pairs of distinct elements $t_1, t_2$ of $K$ such that the $g$-dimensional jacobian of a hyperelliptic curve $y^2=(x-t_1)(x-t_2))u(x)$ has no nontrivial endomorphisms over an algebraic closure of $K$ and has big $\ell$-adic monodromy.
We prove that k-th singular cohomology group of the complement of the theta divisor in a hyperelliptic Jacobian is isomorphic to the k-th fundamental representation of the symplectic group Sp(2g,C). This is one of the conjectures in our previous paper.
In his previous papers (Math. Res. Letters 7 (2000), 123--13; Progress in Math. 195 (2001), 473--490; Math. Res. Letters 8 (2001), 429--435; Moscow Math. J. 2 (2002), issue 2, 403-431; Proc. Amer. Math. Soc. 131 (2003), no. 1, 95--102) the author introduced certain explicit constructions of hyperelliptic jacobians without nontrivial endomorphisms. In the present paper we discuss when these jacobians are mutually non-isogenous. In addition, a special case ($n=m=3$) of our Theorem 1.2 provides the following criterion for elliptic curves $C_f: y^2=f(x)$ and $C_h: y^2=h(x)$ to be non-isogenous. (H…
On the Existence of Hyperelliptic Curves over $\mathbb{Q}(T)$ with Certain Jacobian Ranks
该研究构造了定义在$\text{Q}(T)$上的亏格$g$的虚、实超椭圆曲线，结合广义Nagao猜想与Shioda-Tate定理，证明了满足特定秩范围的无穷多此类超椭圆曲线的存在性。
The sine-Gordon equation has hyperelliptic al function solutions over a hyperelliptic Jacobian for $y^2 = f(x)$ of arbitrary genus $g$. This article gives an extension of the sine-Gordon equation to that over subvarieties of the hyperelliptic Jacobian. We also obtain the condition that the sine-Gordon equation in a proper subvariety of the Jacobian is defined.
Rational torsion on hyperelliptic jacobian varieties
本文证明了对于特定范围内的 N，存在超椭圆雅可比变元家族具有有理 torsion 点，并给出了具体应用实例。
Let $K$ be a number field, $n>4$ an integer, $f(x)$ an irreducible polynomial over $K$ of degree $n$, whose Galois group is either the full symmetric group $S_n$ or the alternating group $A_n$. Suppose $C:y^2=f(x)$ is the corresponding hyperelliptic curve and $J$ its jacobian defined over $K$. For each prime $\ell$ we write $V_{\ell}(J)$ for the $Q_{\ell}$-Tate module of $J$ and $e_{\ell}$ for the Riemann form on $V_{\ell}(J)$ attached to the theta divisor. (Here $Q_{\ell}$ is the field of $\ell$-adic numbers.) We write $sp(V_{\ell}(J))$ for the $Q_{\ell}$-Lie algebra of the symplectic group o…
We show how for every integer n one can explicitly construct n distinct plane quartics and one hyperelliptic curve over the complex numbers all of whose Jacobians are isomorphic to one another as abelian varieties without polarization. When we say that the curves can be constructed ``explicitly'', we mean that the coefficients of the defining equations of the curves are simple rational expressions in algebraic numbers in R whose minimal polynomials over Q can be given exactly and whose decimal approximations can be given to as many places as is necessary to distinguish them from their conjugat…
Let $K$ be an algebraically closed field of characteristic different from 2, $g$ a positive integer, $f(x)$ a degree $(2g+1)$ polynomial with coefficients in $K$ and without multiple roots, $C:y^2=f(x)$ the corresponding genus $g$ hyperelliptic curve over K, and $J$ the jacobian of $C$. We identify $C$ with the image of its canonical embedding into $J$ (the infinite point of $C$ goes to the identity element of $J$). It is well known that for each $\mathfrak{b} \in J(K)$ there are exactly $2^{2g}$ elements $\mathfrak{a} \in J(K)$ such that $2\mathfrak{a}=\mathfrak{b}$. M. Stoll constructed an a…
In this paper, we are going to compute the average size of 2-Selmer groups of two families of hyperelliptic curves with marked points over function fields. The result will be obtained by a geometric method which could be considered as a generalization of the one that was used previously by Q.P. Ho, V.B. Le Hung, and B.C. Ngo to obtain the average size of 2-Selmer groups of elliptic curves.
Let $K$ be a field of characteristic $p \neq 2$, and let $f(x)$ be a sextic polynomial irreducible over $K$ with no repeated roots, whose Galois group is isomorphic to $\A_5$. If the jacobian $J(C)$ of the hyperelliptic curve $C:y^2=f(x)$ admits real multiplication over the ground field from an order of a real quadratic field $D$, then either its endomorphism algebra is isomorphic to $D$, or $p > 0$ and $J(C)$ is a supersingular abelian variety. The supersingular outcome cannot occur when $p$ splits in $D$.
We compute the Galois groups for a certain class of polynomials over the the field of rational numbers that was introduced by S. Mori and study the monodromy of corresponding hyperelliptic jacobians.
Many finite dimensional integrable systems qre expressed with the help of the Lax equation which highlights a spectral parameter and therefore a spectral curve. These spectral curves are the starting point of an algebro-geometric investigation. The algebraic aspect of this investigation will be expressed using the Jacobians of smooth spectral curves and generalized jacobians of singular spectral curves and in the other hand the geometrical aspect will be attributed to the vector fields which are defined by the Lax equation. In this article will be dedicated only to singular hyperelliptic spect…
In his previous paper (Math. Res. Letters 7(2000), 123--132) the author proved that in characteristic zero the jacobian $J(C)$ of a hyperelliptic curve $C: y^2=f(x)$ has only trivial endomorphisms over an algebraic closure $K_a$ of the ground field $K$ if the Galois group $Gal(f)$ of the irreducible polynomial $f(x) \in K[x]$ is either the symmetric group $S_n$ or the alternating group $A_n$. Here $n>4$ is the degree of $f$. In math.AG/0003002 we extended this result to the case of certain ``smaller'' Galois groups. In particular, we treated the infinite series $n=2^r+1, Gal(f)=L_2(2^r)$ and $…
Explicit Families of Hyperelliptic Curves with CM Jacobians
本研究构造了有理数域上雅可比允许复乘法的超椭圆曲线显式族，利用切比雪夫多项式与伽罗瓦覆盖的相互作用，证明雅可比的单性并确定相关CM域，为带CM的阿贝尔簇提供具体例子和构造准则。
We give a closed formula for recovering a non-hyperelliptic genus three curve from its period matrix, and derive some identities between Jacobian Nullwerte in dimension three.
We present an efficient endomorphism for the Jacobian of a curve $C$ of genus 2 (hyperelliptic) for divisors having a Non disjoint support. This extends the work of Costello and Lauter in [12] who calculated explicit formulae for divisor doubling and addition of divisors with disjoint support in $\mathbb{J}(C)$ using only base field operations. Explicit formulae is presented for this third case and a slightly different approach for divisor doubling.
We study degree 2 and 4 elliptic subcovers of hyperelliptic curves of genus 3 defined over $\mathbb C$. The family of genus 3 hyperelliptic curves which have a degree 2 cover to an elliptic curve $E$ and degree 4 covers to elliptic curves $E_1$ and $E_2$ is a 2-dimensional subvariety of the hyperelliptic moduli $\mathcal H_3$. We determine this subvariety explicitly. For any given moduli point $\mathfrak p \in \mathcal H_3$ we determine explicitly if the corresponding genus 3 curve $\mathcal X$ belongs or not to such family. When it does, we can determine elliptic subcovers $E$, $E_1$, and $E_…
Let $K$ be a field of characteristic different from $2$, $\bar{K}$ its algebraic closure. Let $n \ge 3$ be an odd prime such that $2$ is a primitive root modulo $n$. Let $f(x)$ and $h(x)$ be degree $n$ polynomials with coefficients in $K$ and without repeated roots. Let us consider genus $(n-1)/2$ hyperelliptic curves $C_f: y^2=f(x)$ and $C_h: y^2=h(x)$, and their jacobians $J(C_f)$ and $J(C_h)$, which are $(n-1)/2$-dimensional abelian varieties defined over $K$. Suppose that one of the polynomials is irreducible and the other reducible. We prove that if $J(C_f)$ and $J(C_h)$ are isogenous ove…
In his previous paper (Math. Res. Letters 7(2000), 123--132) the author proved that in characteristic zero the jacobian $J(C)$ of a hyperelliptic curve $C: y^2=f(x)$ has only trivial endomorphisms over an algebraic closure $K_a$ of the ground field $K$ if the Galois group $Gal(f)$ of the irreducible polynomial $f(x) \in K[x]$ is either the symmetric group $S_n$ or the alternating group $A_n$. Here $n>4$ is the degree of $f$. In the next paper (Progress in Math. 195(2001), 473--490) we extended this result to the case of certain``smaller'' Galois groups. In particular, we treated the infinite s…
Let X be an irreducible smooth projective curve, of genus at least two, defined over an algebraically closed field of characteristic different from two. If X admits a nontrivial automorphism σthat fixes pointwise all the order two points of Pic}^0(X), then we prove that X is hyperelliptic with σbeing the unique hyperelliptic involution. As a corollary, if a nontrivial automorphisms σ' of X fixes pointwise all the theta characteristics on X, then X is hyperelliptic with σ' being its hyperelliptic involution.
Let $m \geqslant 6$ be an even integer. In this short note we prove that the Jacobian variety of a quasiplatonic Riemann surface with associated group of automorphisms isomorphic to $C_2^2 \rtimes_2 C_m$ admits complex multiplication. We then extend this result to provide a criterion under which the Jacobian variety of a quasiplatonic Riemann surface admits complex multiplication.
We show that there exists a surjection from the set of effective divisors of degree $g$ on a tropical curve of genus $g$ to its Jacobian by using a tropical version of the Riemann-Roch theorem. We then show that the restriction of the surjection is reduced to the bijection on an appropriate subset of the set of effective divisors of degree $g$ on the curve. Thus the subset of effective divisors has the additive group structure induced from the Jacobian. We finally realize the addition in Jacobian of a tropical hyperelliptic curve of genus $g$ via the intersection with a tropical curve of degre…
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$.
Let $K$ be an algebraically closed field of characteristic different from 2, $g$ a positive integer, $f(x)$ a degree $(2g+1)$ polynomial with coefficients in $K$ and without multiple roots, $C: y^2=f(x)$ the corresponding genus $g$ hyperelliptic curve over $K$ and $J$ the jacobian of $C$. We identify $C$ with the image of its canonical embedding into $J$ (the infinite point of $C$ goes to the zero point of $J$). For each point $P=(a,b)\in C(K)$ there are $2^{2g}$ points $\frac{1}{2}P \in J(K)$. We describe explicitly the Mumford represesentations of all $\frac{1}{2}P$. The rationality question…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。