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.
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.
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.
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.
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.
In this paper we characterize, in two different ways, the Newton polygons which are jacobian Newton polygons of a branch. These characterizations give in particular combinatorial criteria of irreducibility for complex series in two variables and necessary conditions which a complex curve has to satisfy in order to be the discriminant of a complex plane branch.
Given a polynomial $f\in\mathbb{C}[x]$, we consider the family of superelliptic curves $y^d=f(x)$ and their Jacobians $J_d$ for varying integers $d$. We show that for any integer $g$ the number of abelian varieties up to isogeny of dimension $\le g$ which appear in any $J_d$ is finite and their multiplicities are bounded.
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 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].
It is shown that every polynomial function $P : \mathbb{C}^2\longrightarrow \mathbb{C}$ with irreducible fibres of same a genus is a coordinate. In consequence, there does not exist counterexamples F = (P,Q) to the Jacobian conjecture such that all fibres of P are irreducible curves of same a genus.
Let $K$ be a field of prime characteristic $p$, $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$. Let $l$ be an odd prime different from $p$, $Z[ζ_l]$ the ring of integers in the $l$th cyclotomic field, $C_{f,l}:y^l=f(x)$ the corresponding superelliptic curve and $J(C_{f,l})$ its jacobian. We prove that the ring of all endomorphisms of $J(C_{f,l})$ coincides with $Z[ζ_l]$ if $J(C_{f,l})$ is an ordinary abelian variety and $(l,n)\ne (5,5)$.
We show that the iterated images of a Jacobian pair stabilize; that is, the k-th iterates of a polynomial map of complex two-space to itself with a nonzero constant Jacobian determinant all have the same image for sufficiently large k. More generally, we obtain the same result for open polynomial maps of a closed algebraic subset X of complex N-space to itself that have finite coimage, and for cofinite subsets of such an X invariant under the map. We apply these results to obtain a new characterization of the two dimensional complex Jacobian conjecture related to questions of surjectivity.
Let K be a field of characteristic zero, n>4 an integer, f(x) an irreducible polynomial over K of degree n, whose Galois group is doubly transitive simple non-abelian group. Let p be an odd prime, Z[ζ_p] the ring of integers in the p-th cyclotomic field, C_{f,p}:y^p=f(x) the corresponding superelliptic curve and J(C_{f,p}) its jacobian. Assuming that either n=p+1 or p does not divide n(n-1), we prove that the ring of all endomorphisms of J(C_{f,p}) coincides with Z[ζ_p].
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(奥维迪乌斯大学数学与信息学院)
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.
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.
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.
On the Jacobian algebras of Ziegler pairs of plane arrangements
Université Côte d’Azur, CNRS, LJAD(蔚蓝海岸大学,法国国家科学研究中心,拉雅德实验室);Simion Stoilow Institute of Mathematics(西蒙·斯托伊洛瓦数学研究所);University of the National Education Commission Krakow(克拉科夫国民教育委员会大学)
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.
A non-zero constant Jacobian polynomial map $F=(P,Q):\mathbb{C}^2 \longrightarrow \mathbb{C}^2$ has a polynomial inverse if the component $P$ is a simple polynomial, i.e. if, when $P$ extended to a morphism $p:X\longrightarrow \mathbb{P}^1$ of a compactification $X$ of $\mathbb{C}^2$, the restriction of $p$ to each irreducible component $C$ of the compactification divisor $D = X-\mathbb{C}^2$ is either degree 0 or 1.
A closed Riemann surface $S$ is called a generalized Fermat curve of type $(p,n)$, where $p,n \geq 2$ are integers, if it admits a group $H \cong {\mathbb Z}_{p}^{n}$ of conformal automorphisms so that $S/H$ is an orbifold of genus zero with exactly $n+1$ cone points, each one of order $p$. It is known that $S$ is a fiber product of $(n-1)$ classical Fermat curves of degree $p$ and, for $(p-1)(n-1)>2$, that it is a non-hyperelliptic Riemann surface. In this paper, assuming $p$ to be a prime integer, we provide a decomposition, up to isogeny, of the Jacobian variety $JS$ as a product of Jacobia…
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.
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 …
It is shown that a polynomial map $(P,Q)\in \mathbb{Q}[x,y]^2$ with $P_xQ_y-P_yQ_x \equiv 1$ has an inverse map in $\mathbb{Q}[x,y]^2$ if the fiber $P=0$ contains an infinite subset of $ d^{-1}\mathbb{Z}^2$ for an integer $d$.
We prove that for any two integers $g\geq 4$ and $g'\leq 2g-1$, there exist abelian varieties over $\overline{\mathbb{Q}}$ which are not quotients of a Jacobian of dimension $g'$. Our method in fact proves that most Abelian varieties satisfy this property, when counting by height relative to a fixed finite map to projective space.
Polynomial algebra offers a standard approach to handle several problems in geometric modeling. A key tool is the discriminant of a univariate polynomial, or of a well-constrained system of polynomial equations, which expresses the existence of a multiple root. We concentrate on bivariate polynomials and establish an original formula that relates the mixed discriminant of two bivariate Laurent polynomials with fixed support, with the sparse resultant of these polynomials and their toric Jacobian. This allows us to obtain a new proof for the bidegree of the mixed discriminant as well as to esta…
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.
For any integer $d \geq 1$, we verify the Jacobian Conjecture for a $d$-linear map in two variables. We prove that almost all the coefficients of the formal inverse are in the ideal specified by the Jacobian condition. We find expressions for certain elements in terms of the generators of this ideal. To obtain these expressions, we generalize a bijective proof of the Cayley-Hamilton theorem in two ways.
For K a field of characteristic 0 and d any integer number greater than or equal to 2, we prove the invertibility of polynomial endomorphisms of the affine space of dimension d over K of the form F=Id+H, where each coordinate of H is the cube of a linear form and the cube of the Jacobian matrix of H is equal to zero. Our proof uses the inversion algorithm for polynomial maps presented in our previous paper. Our current result leads us to formulate a conjecture relating the nilpotency degree of the Jacobian matrix of H with the number of necessary steps in the inversion algorithm.
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.
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 …
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$.
Let J be the Jacobian of a smooth curve C of genus g, and let A(J) be the ring of algebraic cycles modulo algebraic equivalence on J, tensored with Q. We study in this paper the smallest Q-vector subspace R of A(J) which contains C and is stable under the natural operations of A(J) : intersection and Pontryagin products, pull back and push down under multiplication by integers. We prove that this "tautological subring" is generated (over Q) by the classes of the subvarieties W_1=C, W_2=C+C, ..., W_{g-1}. If C admits a morphism of degree d onto P^1, we prove that the last d-1 classes suffice.
Any counterexample to the two-dimensional Jacobian Conjecture gives a rational map from one projective plane to another. We use some ideas of the Minimal Model Program to study the combinatorial structure of a rational surface, that is obtained by resolving this map. Several structural results are proven, revealing a rather orderly structure of the graph of the curves at infinity. We also exhibit and discuss a graph that may lead to a counterexample to the Jacobian Conjecture.
For a reduced curve $C:f=0$ in the complex projective plane $\mathbb{P}^2$, we study the set of jumping lines for the rank two vector bundle $T\langle C \rangle $ on $\mathbb{P}^2$, whose sections are the logarithmic vector fields along $C$. We point out the relations of these jumping lines with the Lefschetz type properties of the Jacobian module of $f$ and with the Bourbaki ideal of the module of Jacobian syzygies of $f$. In particular, when the vector bundle $T\langle C \rangle $ is unstable, a line is a jumping line if and only if it meets the 0-dimensional subscheme defined by this Bourba…
We prove for a tropical rational map that if for any point the convex hull of Jacobian matrices at smooth points in a neighborhood of the point does not contain singular matrices then the map is an isomorphism. We also show that a tropical polynomial map on the plane is an isomorphism if all the Jacobians have the same sign (positive or negative). In addition, for a tropical rational map we prove that if the Jacobians have the same sign and if its preimage is a singleton at least at one regular point then the map is an isomorphism.
Let k be a field and f be a Siegel modular form of weight h \geq 0 and genus g>1 over k. Using f, we define an invariant of the k-isomorphism class of a principally polarized abelian variety (A,a)/k of dimension g. Moreover when (A,a) is the Jacobian of a smooth plane curve, we show how to associate to f a classical plane invariant. As straightforward consequences of these constructions, when g=3 and k is a subfield of the complex field, we obtain (i) a new proof of a formula of Klein linking the modular form χ_{18} to the square of the discriminant of plane quartics ; (ii) a proof that one ca…
It is shown that the $n$-dimensional Jacobian conjecture over algebraic number fields may be considered as an existence problem of integral points on affine curves. More specially, if the Jacobian conjecture over $\mathbb{C}$ is false, then for some $n\gg 1$ there exists a counterexample $F\in \mathbb{Z}[X]^n$ of the form $F_i(X)=X_i+ (a_{i1}X_1+\dots+a_{in}X_n)^{d_i}$, $a_{ij}\in \Z$, $d_i=2;3 $, $i,j=\overline{1,n},$ such that the affine curve $F_1(X)=F_2(X)=\dots=F_n(X)$ has no non-zero integer points.
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…
We make two observations regarding the invertibility of Keller maps. i.e., polynomial maps for which the determinant of their Jacobian matrix is identically equal to 1. In our first result, we show that if P is a n-dimensional Keller map, defined over any extension of Q, then P has a polynomial inverse if and only if the range of P contains the cartesian product of n universal Hilbert sets. In our second result, we show that if P is a 2-dimensional Keller map, defined over any algebraic number field, then P is invertible on a set that contains almost all rational integers of K.
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 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.
We study symmetric correspondences with completely decomposable minimal equation on smooth projective curves $C$. The Jacobian of $C$ then decomposes correspondingly. For all positive integers $g$ and $\ell$, we give series of examples of smooth curves $C$ of genus $n^\ell (g-1) +1$ with correspondences satisfying minimal equations of degree $\ell+1$ such that the Jacobian of $C$ has at least $2^\ell$ isogeny components.
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.
This paper is devoted to constructing an explicit efficient representation for the Jacobian variety of a nonsingular curve of genus greater than 1, and its group law. We describe an algorithm for executing the group law on the Jacobian elements, consisting of several steps. Finally we exhibit two examples. The first example exhibits an explicit formulation for the Jacobian of a well known non singular elliptic curve of genus 1, that is, the Weierstrass curve. The second example introduces an explicit computation of the group law for a non singular curve of genus 3, $C : ω_2^4 = ω_1 (ω_1-ω_0)(ω…
Let $(P, Q)$ be a pair of Jacobian polynomials. We can show that $ <P, Q>+l+2g(P)-2= 0= <P, [P,Q]>$, where $<f, g>$ is the intersection number of $f, g\in \CC[x, y]$ in the affine plane, $l$ is the number of branch at point at infinity and $g(P)$ is the geometric genus of affine curve defined by $P$. Hence we can show that every Jacobian polynomial defines a smooth rational curve with one point at infinity. It is sufficient to fix the Jacobian conjecture in two dimension by the Abhyankar theorem or the Abhyankar-Moh-Suzuki theorem.