Plane Jacobian problem for rational polynomials

On the Rational Real Jacobian Conjecture

Jacobian conjectures (that nonsingular implies a global inverse) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The birational case is proved and the Galois case clarified. Two known special cases of the Strong Real Jacobian Conjecture (SRJC) are generalized to the rational map context. For an invertible map, the associated extension of rational function fields must be of odd degree and must have no nontrivial automorphisms. That disqualifies the Pinchuk counter examples to the SRJC a…

Jacobians with group actions and rational idempotents

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 …

Stable maps to rational curves and the relative Jacobian

We consider two cycles on the moduli space of compact type curves and prove that they coincide. The first is defined by pushing forward the virtual fundamental classes of spaces of relative stable maps to an unparameterized rational curve, while the second is obtained as the intersection of the Abel section of the universal Jacobian with the zero section. Our comparison extends results of Cavalieri-Marcus-Wise where the same identity was proved over on the locus of rational tails curves.

On the tautological ring of a Jacobian modulo rational equivalence

We consider the Chow ring with rational coefficients of the Jacobian of a curve. Assume D is a divisor in a base point free g^r_d of the curve such that the canonical divisor K is a multiple of the divisor D. We find relations between tautological cycles. We give applications for curves having a degree d covering of P^1 whose ramification points are all of order d, and then for hyperelliptic curves.

The plane Jacobian conjecture for rational curves

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].

The 0-th Fitting ideal of the Jacobian module of a plane curve

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.

Rational torsion on the generalized Jacobian of a modular curve with cuspidal modulus

We consider the generalized Jacobian $\widetilde{J}_0(N)$ of a modular curve $X_0(N)$ with respect to a reduced divisor given by the sum of all cusps on it. When $N$ is a power of a prime $\geq 5$, we exhibit that the group of rational torsion points $\widetilde{J}_0(N)(\mathbb{Q})_{\mathrm{Tor}}$ tends to be much smaller than the classical Jacobian.

Siegel's theorem on integral points and the Jacobian conjecture over the rational field

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$.

A Proof of the Plane Jacobian Conjecture

This paper has been withdrawn by the authors due to an error in Section 7.

The average size of the 2-Selmer group of Jacobians of hyperelliptic curves having a rational Weierstrass point

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.

Euler number of the compactified Jacobian and multiplicity of rational curves

We show that the Euler number of the compactified Jacobian of a rational curve $C$ with locally planar singularities is equal to the multiplicity of the $δ$-constant stratum in the base of a semi-universal deformation of $C$. In particular, the multiplicity assigned by Yau, Zaslow and Beauville to a rational curve on a K3 surface $S$ coincides with the multiplicity of the normalisation map in the moduli space of stable maps to $S$.

A note on the plane Jacobian conjecture

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.

任意域上的中间雅可比簇与有理性

Intermediate Jacobians and rationality over arbitrary fields

该研究建立任意域上几何有理三维簇的中间雅可比簇理论，证明域上两二次曲面的三维光滑完全交为k-有理等价于含k-定义直线，并得到首批在纯不可分扩张上有理但自身非k-有理的带k-点光滑射影簇例子。

Derived categories and rationality of conic bundles

We show that a standard conic bundle over a minimal rational surface is rational and its Jacobian splits as the direct sum of Jacobians of curves if and only if its derived category admits a semiorthogonal decomposition by exceptional objects and the derived categories of those curves. Moreover, such a decomposition gives the splitting of the intermediate Jacobian also when the surface is not minimal.

Jacobian代数的分层Betti数与平面曲线的总Tjurina数

Graded Betti numbers of the Jacobian algebra and total Tjurina numbers of plane curves

本文通过Jacobian代数的分层Betti数计算平面曲线的总Tjurina数，并提出新的上界视角及必要条件。

Pinchuk maps, function fields, and real Jacobian conjectures

Jacobian conjectures (that nonsingular implies invertible) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The associated extension of rational function fields must be of odd degree and must have no nontrivial automorphisms. The extensions for the Pinchuk counterexamples to the strong real Jacobian conjecture have no nontrivial automorphisms, but are of degree six. The birational case is proved, the Galois case is clarified but the general case of odd degree remains open. However, cert…

Genus-2 Jacobians with torsion points of large order

We produce new explicit examples of genus-2 curves over the rational numbers whose Jacobian varieties have rational torsion points of large order. In particular, we produce a family of genus-2 curves over Q whose Jacobians have a rational point of order 48, parametrized by a rank-2 elliptic curve over Q, and we exhibit a single genus-2 curve over Q whose Jacobian has a rational point of order 70, the largest order known. We also give new examples of genus-2 Jacobians with rational points of order 27, 28, and 39. Most of our examples are produced by `gluing' two elliptic curves together along t…

Jacobian of incidence schemes

We show a direct calculation of Jacobian matrices in the old problems of rational curves on generic hypersurfaces.

The module of Valabrega-Valla of the Jacobian ideal of points in projective plane

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.

Jacobian discrepancies and rational singularities

Inspired by several works on jet schemes and motivic integration, we consider an extension to singular varieties of the classical definition of discrepancy for morphisms of smooth varieties. The resulting invariant, which we call Jacobian discrepancy, is closely related to the jet schemes and the Nash blow-up of the variety. This notion leads to a framework in which adjunction and inversion of adjunction hold in full generality, and several consequences are drawn from these properties. The main result of the paper is a formula measuring the gap between the dualizing sheaf and the Grauert-Rieme…

Plane Jacobian conjecture for simple polynomials

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.

On the Number of Rational Points of Jacobians over Finite Fields

In this article we prove lower and upper bounds for class numbers of algebraic curves defined over finite fields. These bounds turn out to be better than most of the previously known bounds obtained using combinatorics. The methods used in the proof are essentially those from the explicit asymptotic theory of global fields. We thus provide a concrete application of effective results from the asymptotic theory of global fields and their zeta-functions.

A geometric approach to the two-dimensional Jacobian Conjecture

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.

On a tropical version of the Jacobian conjecture

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.

Comment on a Paper by Kuo, Parusinski and Paunescu On Jacobian Conjecture

The said paper entitled "A Proof Of The Plane Jacobian Conjecture" is not true.

Explicit Rational Group Law on Hyperelliptic Jacobians of any Genus

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, …

具有线性雅可比辛基的自由平面曲线

Free plane curves with a linear Jacobian syzygy

本文研究了具有线性雅可比辛基的自由平面曲线，通过几何方法对希尔伯特-巴尔奇矩阵进行分类，揭示了其结构特性。

Lower bounds on the number of rational points of Jacobians over finite fields and application to algebraic function fields in towers

We give effective bounds for the class number of any algebraic function field of genus $g$ defined over a finite field. These bounds depend on the possibly partial information on the number of places on each degree $\leq g$. Such bounds are especially useful for estimating the class number of function fields in towers of function fields over finite fields. We give examples in the case of asymptotically good towers. In particular we estimate the class number of function fields which are steps of towers having one or several positive Tsfasman-Vladut invariants. Note that the study is not done as…

Jacobian Conjecture in two dimension

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.

有理曲线与 Jacobian Kummer 簇上的 Hilbert 性质

Rational curves and the Hilbert Property on Jacobian Kummer varieties

本文在特征零的有限生成域上，证明了与亏格2曲线的Jacobian相关联的所有Kummer曲面具有Hilbert性质，并推广证明与奇数次亏格≥2超椭圆曲线相关联的所有Jacobian Kummer簇也具有该性质。

Jacobian syzygies and plane curves with maximal global Tjurina numbers

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 …

Deformations of plane curves and Jacobian syzygies

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.

Uniform Bounds for the Number of Rational Points on Symmetric Squares of Curves with Low Mordell-Weil Rank

A central problem in Diophantine geometry is to uniformly bound the number of $K$-rational points on a smooth curve $X/K$ in terms of $K$ and its genus $g$. A recent paper by Stoll proved uniform bounds for the number of $K$-rational points on a hyperelliptic curve $X$ provided that the rank of the Jacobian of $X$ is at most $g - 3$. Katz, Rabinoff and Zureick-Brown generalized his result to arbitrary curves satisfying the same rank condition. In this paper, we prove conditional uniform bounds on the number of rational points on the symmetric square of $X$ outside its algebraic special set, pr…

The compactified jacobian can be nonreduced

We prove by explicit example that the compactified jacobian can be nonreduced. The example is a rational space curve of arithmetic genus 4. This answers a question posed by Cyril D'Souza in 1979.

Integral points on plane curves and Plane Jacobian Conjecture over number fields

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.

一次曲线纤维与五次等和问题中线性切片的雅可比

Genus-One Fibrations and the Jacobian of Linear Slices in the Quintic Equal-Sum Problem

本文研究五次等和方程在特定约束下的解结构，证明了雅可比纤维的秩界及非奇异特性的条件。

Enriques Surfaces and jacobian elliptic K3 surfaces

This paper proposes a new geometric construction of Enriques surfaces. Its starting point are K3 surfaces with jacobian elliptic fibration which arise from rational elliptic surfaces by a quadratic base change. The Enriques surfaces obtained in this way are characterised by elliptic fibrations with a rational curve as bisection which splits into two sections on the covering K3 surface. The construction has applications to the study of Enriques surfaces with specific automorphisms. It also allows us to answer a question of Beauville about Enriques surfaces whose Brauer groups show an exceptiona…

The skeleton of the Jacobian, the Jacobian of the skeleton, and lifting meromorphic functions from tropical to algebraic curves

Let K be an algebraically closed field which is complete with respect to a nontrivial, non-Archimedean valuation and let Λbe its value group. Given a smooth, proper, connected K-curve X and a skeleton Γof the Berkovich analytification X^\an, there are two natural real tori which one can consider: the tropical Jacobian Jac(Γ) and the skeleton of the Berkovich analytification Jac(X)^\an. We show that the skeleton of the Jacobian is canonically isomorphic to the Jacobian of the skeleton as principally polarized tropical abelian varieties. In addition, we show that the tropicalization of a classic…

Plane quartics with Jacobians isomorphic to a hyperelliptic Jacobian

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…

Some Remarks on the Jacobian Conjecture and Connections with Hilbert's Irreducibility Theorem

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.

Autoduality of compactified Jacobians for curves with plane singularities

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'.

On the approximate jacobian Newton diagrams of an irreducible plane curve

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.

Non-Cyclic Subgroups of Jacobians of Genus Two Curves

Let E be an elliptic curve defined over a finite field. Balasubramanian and Koblitz have proved that if the l-th roots of unity m_l is not contained in the ground field, then a field extension of the ground field contains m_l if and only if the l-torsion points of E are rational over the same field extension. We generalize this result to Jacobians of genus two curves. In particular, we show that the Weil- and the Tate-pairing are non-degenerate over the same field extension of the ground field. From this generalization we get a complete description of the l-torsion subgroups of Jacobians of su…

Characterization of jacobian Newton polygons of plane branches and new criteria of irreducibility

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.

Computing torsion subgroups of Jacobians of hyperelliptic curves of genus 3

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…

超椭圆雅可比变元上的有理 torsion

Rational torsion on hyperelliptic jacobian varieties

本文证明了对于特定范围内的 N，存在超椭圆雅可比变元家族具有有理 torsion 点，并给出了具体应用实例。

雅可比簇上的二次挠阶

Quadratic torsion orders on Jacobian varieties

研究有理数域上亏格\(g\geq2\)超椭圆曲线，通过引入特定多项式族方法，证明其雅可比簇存在特定阶有理挠点，确定了不同\(N\)值下超椭圆曲线与有理挠点的关系。

The Jacobian Conjecture fails for pseudo-planes

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 …

Average size of the 2-Selmer group of Jacobians of monic even hyperelliptic curves

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…

Integer points on a curve and the plane Jacobian problem

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.

On the Hilbert vector of the Jacobian module of a plane curve

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.

关于平面曲线的Jacobian格式

On the Jacobian Scheme of a plane curve

本文研究平面曲线普通奇点的Jacobian格式，用初等Gröbner基方法计算Tjurina数至最小值，并给出基于Mather-Yau定理的二重点解析类型判定算法。

Algebraic cycles on the Jacobian of a curve with a $g^r_d$

We present relations between cycles with rational coefficients modulo algebraic equivalence on the Jacobian of a curve. These relations depend on the linear systems the curve admits. They are obtained in the tautological ring, the smallest subspace containing (an embedding of) the curve and closed under the basic operations of intersection, Pontryagin product and the pullback and pushdown induced by homotheties.

简单二维亏格雅可比簇上的有理挠点

Rational torsion on simple genus two Jacobians

该研究针对有理数域上的二维亏格曲线，构造出阶数96等的新有理挠点子群，还记录了该类雅可比簇的所有已知有理挠点子群。