We extend the group law of curves of degree three by chords and tangents to the Jacobi variety of plane curves of degree n>4 by replacing points by point groups and lines by algebraic curves. The curves are nonsingular or have simple singularities. In the cases n=4,5,6 we have a close analogy to the case n=3. We describe an algorithm using Groebner bases.
We generalize the group law of curves of degree three by chords and tangents to the Jacobi variety of a hyperelliptic curve. In the case of genus 2 we accomplish the construction by a cubic parabola. We derive explicit rational formulas for the addition on a dense set in the Jacobian.
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.
Recently, Barraza-Rojas have described the action of the full automorphisms group on the Fermat curve of degree $p$, for $p$ a prime integer, and obtained the group algebra decomposition of the corresponding Jacobian variety. In this short note we observe that the factors in such a decomposition are given by the Jacobian varieties of certain $p$-gonal curves.
We prove that the geometric genus p of a curve in a very generic Jacobian of dimension g>3 satisfies either p=g or p>2g-3. This gives a positive answer to a conjecture of Naranjo and Pirola. For low values of g the second inequality can be further improved to p>2g-2.
Given an abelian variety $X$ and a point $a\in X$ we denote by $<a>$ the closure of the subgroup of $X$ generated by $a$. Let $N=2^g-1$. We denote by $κ: X\to κ(X)\subset\mathbb P^N$ the map from $X$ to its Kummer variety. We prove that an indecomposable abelian variety $X$ is the Jacobian of a curve if and only if there exists a point $a=2b\in X\setminus\{0\}$ such that $<a>$ is irreducible and $κ(b)$ is a flex of $κ(X)$.
Given a compact Riemann surface X with an action of a finite group G, the group algebra Q[G] provides an isogenous decomposition of its Jacobian variety JX, known as the group algebra decomposition of JX. We obtain a method to concretely build a decomposition of this kind. Our method allows us to study the geometry of the decomposition. For instance, we build several decompositions in order to determine which one has kernel of smallest order. We apply this method to families of trigonal curves up to genus 10.
We relate the equianalytic and the equisingular deformations of a reduced complex plane curve to the Jacobian syzygies of its defining equation. Several examples and conjectures involving rational cuspidal curves are discussed.
We show that the image of the Abel-Jacobi map admits functorially a model over the field of definition, with the property that the Abel-Jacobi map is equivariant with respect to this model. The cohomology of this abelian variety over the base field is isomorphic as a Galois representation to the deepest part of the coniveau filtration of the cohomology of the projective variety. Moreover, we show that this model over the base field is dominated by the Albanese variety of a product of components of the Hilbert scheme of the projective variety, and thus we answer a question of Mazur. We also rec…
Let $K$ be a number field and $O_K$ the ring of integers of $K$. In the spirit of Siegel's theorem on integral points on affine algebraic curves, the plane Jacobian conjecture over $K$ is equivalent to the following statement: if $P,Q\in O_K[x,y]$ and $P_xQ_y-P_yQ_x\equiv 1$, then the curve $P=0$ has more than one integral point.
A set of multi-homogeneous equations for the Jacobian of a genus two curve is given. The approach used is to write down affine equations for the Jacobian minus various tranlations of the Theta-divisor by [2]-division points, and then to write down affine glue equations for the overlaps. Taking multi-projective completions for all of these then yields a complete multi-projective two-dimensional variety whose points are in one-to-one correspondence with degree zero divisor classes on the curve (i.e. the Picard group). This multi-projective variety then becomes a complete projective two-dimension…
The object of this paper is to prove some general results about rational idempotents for a finite group $G$ and deduce from them geometric information about the components that appear in the decomposition of the Jacobian variety of a curve with $G-$action. We give an algorithm to find explicit primitive rational idempotents for any $G$, as well as for rational projectors invariant under any given subgroup. These explicit constructions allow geometric descriptions of the factors appearing in the decomposition of a Jacobian with group action: from them we deduce the decomposition of any Prym or …
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 C be an integral projective curve with planar singularities. Consider its Jacobian J and the compactified Jacobian J'. We construct a flat family P of Cohen-Macaulay sheaves on J' parametrized by J'; over J, the family P is the Poincare line bundle. We prove that the Fourier-Mukai transform given by P is an auto-equivalence of the derived category of J'.
We introduce the notion of an approximate jacobian Newton diagram which is the jacobian Newton diagram of the morphism $(f^{(k)},f)$, where $f$ is a branch and $f^{(k)}$ is a characteristic approximate root of $f$. We prove that the set of all approximate jacobian Newton diagrams is a complete topological invariant. This generalizes theorems of Merle and Ephraim about the decomposition of the polar curve of a branch.
Let K be an algebraically closed field of characteristic zero and let f(x,y) be a nonzero polynomial of K[x,y]. We prove that if the generic element of the family $(f-λ)\_λ$ is a rational polynomial, and if the Jacobian J(f,g) is a nonzero constant for some polynomial g in K[x,y], then K[f,g] =K[x,y].
We identify several classes of curves $C:f=0$, for which the Hilbert vector of the Jacobian module $N(f)$ can be completely determined, namely the 3-syzygy curves, the maximal Tjurina curves and the nodal curves, having only rational irreducible components. A result due to Hartshorne, on the cohomology of some rank 2 vector bundles on $\mathbb{P}^2$, is used to get a sharp lower bound for the initial degree of the Jacobian module $N(f)$, under a semistability condition.
Let $ϕ:\,X\rightarrow Y$ be a (possibly ramified) cover between two algebraic curves of positive genus. We develop tools that may identify the Prym variety of $ϕ$, up to isogeny, as the Jacobian of a quotient curve $C$ in the Galois closure of the composition of $ϕ$ with a well-chosen map $Y\rightarrow \mathbb{P}^1$. This method allows us to recover all previously obtained descriptions of a Prym variety in terms of a Jacobian that are known to us, besides yielding new applications. We also find algebraic equations for some of these new cases, including one where $X$ has genus $3$, $Y$ has genu…
Let $G$ be a finite group acting effectively on the complex affine plane. If the $G$-action commutes with an étale endomorphism $f$ of the affine plane and the order of $G$ is even then the endomorphism $f$ is an automorphism.
We present a treatment of the algebraic description of the Jacobian of a generic genus two plane curve which exploits an SL2(k) equivariance and clarifes the structure of E.V.Flynn's 72 defining quadratic relations. The treatment is also applied to the Kummer variety.
We describe the 0-th Fitting ideal of the Jacobian module of a plane curve in terms of determinants involving the Jacobian syzygies of this curve. This leads to new characterizations of maximal Tjurina curves, that is of non free plane curves, whose global Tjurina number equals an upper bound given by A. du Plessis and C.T.C. Wall.
A polynomial map $F=(P,Q)\in \Z [x,y]^2$ with Jacobian $JF:=P_xQ_y-P_yQ_x\equiv 1$ has a polynomial inverse of integer coefficients if the complex plane curve P=0 has infinitely many integer points.
Graded Betti numbers of the Jacobian algebra and total Tjurina numbers of plane curves
Université Côte d’Azur(蔚蓝海岸大学);CNRS(法国国家科学研究中心);Simion Stoilow Institute of Mathematics(西奥多·斯托伊洛数学研究所);Faculty of Mathematics and Informatics, Ovidius University(奥维迪乌斯大学数学与信息学院)
In this note we describe the minimal resolution of the ideal $I_f$, the saturation of the Jacobian ideal of a nearly free plane curve $C:f=0$. In particular, it follows that this ideal $I_f$ can be generated by at most 4 polynomials. Related general results by Hassanzadeh and Simis on the saturation of codimension 2 ideals are discussed in detail. Some applications to rational cuspidal plane curves and to line arrangements are also given.
The module of Valabrega-Valla of the Jacobian ideal of a reduced projective variety $V$ is the torsion of the Aluffi algebra. One considers the problem of its vanishing in the case of where $V$ is a reduced set of points in the projective plane. It is shown that the module is nonzero for several cases of a special configuration class therein -- called $(s-r)$-{fold collinear configuration}. A complete classification of types is given for $5$ and $6$ points in regard to this problem.
We are concerned with the behavior of the polynomial maps $F=(P,Q)$ of $\mathbb{C}^2$ with finite fibres and satisfying the condition that all of the curves $aP+bQ=0$, $(a:b)\in \mathbb{P}^1$, are irreducible rational curves. The obtained result shows that such polynomial maps $F$ is invertible if $(0,0)$ is a regular value of $F$ or if the Jacobian condition holds.
An abelian variety defined over an algebraically closed field k of positive characteristic is supersingular if it is isogenous to a product of supersingular elliptic curves and is superspecial if it is isomorphic to a product of supersingular elliptic curves. In this paper, the superspecial condition is generalized by defining the superspecial rank of an abelian variety, which is an invariant of its p-torsion. The main results in this paper are about the superspecial rank of supersingular abelian varieties and Jacobians of curves. For example, it turns out that the superspecial rank determines…
By the Jacquet-Langlands correspondence and Faltings' isogeny theorem, it is known that the abelian variety J_0^{Dpq}(N) (the Jacobian of a Shimura curve of discriminant Dpq with Gamma_0(N) level structure) is isogenous to the pq-new subvariety of J_0^D(pqN), whenever p and q are distinct primes not dividing D or N. However, this approach is entirely nonconstructive, and gives no information at all about any particular isogeny between the two varieties. In this paper, we determine the kernels of all possible maps from one variety to the other up to support on a small finite set of maximal idea…
This note gives the complete projective classification of rational, cuspidal plane curves of degree at least 6, and having only weighted homogeneous singularities. It also sheds new light on some previous characterizations of free and nearly free curves in terms of Tjurina numbers. Finally, we suggest a stronger form of Terao's conjecture on the freeness of a line arrangement being determined by its combinatorics.
Let $J$ be the Jacobian of a smooth projective curve. We define a natural action of the Lie algebra of polynomial Hamiltonian vector fields on the plane, vanishing at the origin, on the Chow group of $J$ with rational coefficients. Using this action we obtain some relations between tautological cycles on $J$.
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_…
We study the affine ring of the affine Jacobi variety of a hyper-elliptic curve. The matrix construction of the affine hyper-elliptic Jacobi varieties due to Mumford is used to calculate the character of the affine ring. By decomposing the character we make several conjectures on the cohomology groups of the affine hyper-elliptic Jacobi varieties. In the integrable system described by the family of these affine hyper-elliptic Jacobi varieties, the affine ring is closely related to the algebra of functions on the phase space, classical observables. We show that the affine ring is generated by t…
It is well known that the Fano scheme of lines on a cubic 4-fold is a symplectic variety. We generalize this fact by constructing a closed p-form with p=2n-4 on the Fano scheme of lines on a (2n-2)-dimensional hypersurface Y of degree n. We provide several definitions of this form - via the Abel-Jacobi map, via Hochschild homology, and via the linkage class, and compute it explicitly for n = 4. In the special case of a Pfaffian hypersurface Y we show that the Fano scheme is birational to a certain moduli space of sheaves on a p-dimensional Calabi--Yau variety X arising naturally in the context…
Given a compact Riemann surface $X$ with an action of a finite group $G$, the group algebra Q[G] provides an isogenous decomposition of its Jacobian variety $JX$, known as the group algebra decomposition of $JX$. We consider the set of equisymmetric Riemann surfaces $\mathcal{M}(2n-1, D_{2n}, θ)$ for all $n\geq 2$. We study the group algebra decomposition of the Jacobian $JX$ of every curve $X\in \mathcal{M}(2n-1, D_{2n},θ)$ for all admissible actions, and we provide affine models for them. We use the topological equivalence of actions on the curves to obtain facts regarding its Jacobians. We …
We study the Abel-Jacobi image of the Ceresa cycle W_k-W_k^-, where W_k is the image of the k-th symmetric product of a curve X on its Jacobian variety. For the Fermat curve of degree N, we express it in terms of special values of generalized hypergeometric functions and give a criterion for the non-vanishing of W_k-W_k^- modulo algebraic equivalence, which is verified numerically for some N and k.
On tropical geometry in $\rr^2$, the divisor and the Jacobian variety are defined in analogy to algebraic geometry. For study of these objects, it is important to think of the `bunch' of a tropical curve. In this paper, we will show that if the bunch is a bouquet, then the Jacobian is a higher-dimensional torus.
Let X be a very general complete intersection in complex projective space and we denote by $F_r(X)$ the variety of r-planes in X, for $r\geq 1$. We show that the Picard number of $F_r(X)$ is 1, as soon as $\dim F_r(X)\geq 2$, except when X is a quadric of dimension 2r or 2r+2, or X is a complete intersection of two quadrics of dimension 2r+2. We also apply this result to determine the cohomology class of the variety of planes of a cubic fivefold contained (by the Abel-Jacobi map) in the intermediate Jacobian.
Anderson introduced a $p$-adic version of soliton theory. He then applied it to the Jacobian variety of a cyclic quotient of a Fermat curve and showed that torsion points of certain prime order lay outside of the theta divisor. In this paper, we evolve his theory further. As an application, we get a stronger result on the intersection of the theta divisor and torsion points on the Jacobian variety for more general curves. New examples are discussed as well. A key new ingredient is a map connecting the $p$-adic loop group and the formal group.
First we give a sharp upper bound for the cardinal $m$ of a minimal set of generators for the module of Jacobian syzygies of a complex projective reduced plane curve $C$. Next we discuss the sharpness of an upper bound, given by A. du Plessis and C.T.C. Wall, for the global Tjurina number of such a curve $C$, in terms of its degree $d$ and of the minimal degree $r\leq d-1$ of a Jacobian syzygy. We give a homological characterization of the curves whose global Tjurina number equals the du Plessis-Wall upper bound, which implies in particular that for such curves the upper bound for $m$ is also …
This article shows that every non-isotropic harmonic 2-torus in complex projective space factors through a generalised Jacobi variety related to the spectral curve. Each map is composed of a homomorphism into the variety and a rational map off it. The same ideas allow one to construct (pluri)-harmonic maps of finite type from Euclidean space into Grassmannians and the projective unitary groups. Further, some of these maps will be purely algebraic. For maps into complex projective space the algebraic maps of the plane are always doubly periodic i.e. they yield 2-tori. The classification of all …
Every graph has a canonical finite abelian group attached to it. This group has appeared in the literature under a variety of names including the sandpile group, critical group, Jacobian group, and Picard group. The construction of this group closely mirrors the construction of the Jacobian variety of an algebraic curve. Motivated by this analogy, it was recently suggested by Norman Biggs that the critical group of a finite graph is a good candidate for doing discrete logarithm based cryptography. In this paper, we study a bilinear pairing on this group and show how to compute it. Then we use …
We study the Selmer variety associated to a canonical quotient of the $\Q_p$-pro-unipotent fundamental group of a smooth projective curve of genus at least two defined over $\Q$ whose Jacobian decomposes into a product of abelian varieties with complex multiplication. Elementary multi-variable Iwasawa theory is used to prove dimension bounds, which, in turn, lead to a new proof of Diophantine finiteness over $\Q$ for such curves.
A theorem by Mumford implies that every automorphic line bundle on a pure open Shimura variety, equipped with an invariant smooth metric, can be uniquely extended as a line bundle on a toroidal compactification of the variety, in such a way that the metric acquires only logarithmic singularities. This result is the key of being able to compute arithmetic intersection numbers from these line bundles. Hence it is natural to ask whether Mumford's result remains valid for line bundles on mixed Shimura varieties. In this paper we examine the simplest case, namely the sheaf of Jacobi forms on the un…
A smooth complex variety satisfies the Generalized Jacobian Conjecture if all its étale endomorphisms are proper. We study the conjecture for $\mathbb{Q}$-acyclic surfaces of negative Kodaira dimension. We show that $G$-equivariant counterexamples for infinite group $G$ exist if and only if $G=\mathbb{C}^*$ and we classify them relating them to Belyi-Shabat polynomials. Taking universal covers we get rational simply connected $\mathbb{C}^*$-surfaces of negative Kodaira dimension which admit non-proper $\mathbb{C}^*$-equivariant étale endomorphisms. We prove also that for every integers $r\geq …
J. Piontkowski described the homology of the Jacobi factor of a plane curve singularity with one Puiseux pair. We discuss the combinatorial structure of his answer, in particular, relate it to the bigraded deformation of Catalan numbers introduced by A. Garsia and M. Haiman.
By tropical Abel-Jacobi theorem, the Jacobian of a tropical curve is isomorphic to the Picard group. A tropical curve in $\mathbb{R}^2$ corresponds to an immersion from a tropical curve to $\mathbb{R}^2$. In this paper, we show that any principal divisor on a tropical curve is the restriction of a principal divisor on the ambient plane $\mathbb{R}^2$.
We consider a special class of periodic continued fractions (called alpha-fractions) and discuss the related algebraic and geometric problems. A classical description of the Jacobi variety of a hyperelliptic curve due to Jacobi naturally appears in this context.
We list all the pairs $(deg(P),deg(Q))$ with $\max\{deg(P),deg(Q)\}< 125$ for any hypothetical counterexample to the plane Jacobian Conjecture and discard them all, except the pair $(72,108)$ (and the symmetric pair $(108,72)$), thus we confirm the lower bound of 100 obtained by Moh and raise it up to 108.