Endomorphiams of Polynomial Rings with Invertible Jacobians

Endomorphisms of polynomial rings and Jacobians

This paper has been withdrawn by the author due to a crucial argument error at p.10.

The two-dimensional Jacobian Conjecture and unique factorization

The two-dimensional Jacobian Conjecture says that a $\mathbb{C}$-algebra endomorphism $F:\mathbb{C}[x,y] \to \mathbb{C}[x,y]$ that has an invertible Jacobian is an automorphism. We show that if a $\mathbb{C}$-algebra endomorphism $F:\mathbb{C}[x,y] \to \mathbb{C}[x,y]$ has an invertible Jacobian and if $v \in \mathbb{C}[F(x),F(y),x]$ is a product of prime elements of $\mathbb{C}[F(x),F(y),x]$, then $F$ is an automorphism, where $v$ is such that $y = u/v$, where $u \in \mathbb{C}[F(x),F(y),x]$.

A slight generalization of Keller's theorem

The famous Jacobian problem asks: Is a morphism $f:\mathbb{C}[x,y]\to \mathbb{C}[x,y]$ having an invertible Jacobian, invertible? If we add the assumption that $\mathbb{C}(f(x),f(y))=\mathbb{C}(x,y)$, then $f$ is invertible; this result is due to O. H. Keller (1939). We suggest the following slight generalization of Keller's theorem: If $f:\mathbb{C}[x,y]\to \mathbb{C}[x,y]$ is a morphism having an invertible Jacobian, and if there exist $n \geq 1$, $a \in \mathbb{C}(f(x),f(y))^*$ and $b \in \mathbb{C}(f(x),f(y))$ such that $(ax +b)^n \in \mathbb{C}(f(x),f(y))$, then $f$ is invertible. A simil…

A new formulation of the Jacobian Conjecture in characteristic $p$

The Jacobian Conjecture uses the equation $det(Jac(F))\in k^*$, which is a very short way to write down many equations putting restrictions on the coefficients of a polynomial map $F$. In characteristic $p$ these equations do not suffice to (conjecturally) force a polynomial map to be invertible. In this article, we describe how to construct the conjecturally sufficient equations in characteristic $p$ forcing a polynomial map to be invertible. This provides an (alternative to Adjamagbo's formulation) definition of the Jacobian Conjecture in characteristic $p$. We strengthen this formulation by…

The Jacobian Conjecture is stably equivalent to the Dixmier Conjecture

The Jacobian conjecture in dimension $n$ asserts that any polynomial endomorphism of $n$-dimensional affine space over a field of zero characteristic, with the Jacobian equal 1, is invertible. The Dixmier conjecture in rank $n$ asserts that any endomorphism of the $n$-th Weyl algebra (the algebra of polynomial differential operators in $n$ variables) is invertible. We prove that the Jacobian conjecture in dimension $2n$ implies the Dixmier conjecture in rank $n$. Together with a well-known implication in the opposite direction, it shows that the stable Jacobian and Dixmier conjectures are equi…

Quasihomogeneity of curves and the Jacobian endomorphism ring

We give a quasihomogeneity criterion for Gorenstein curves. For complete intersections, it is related to the first step of Vasconcelos' normalization algorithm. In the process, we give a simplified proof of the Kunz-Ruppert criterion.

Pencil of irreducible rational curves and Plane Jacobian conjecture

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 special case of the two-dimensional Jacobian Conjecture

Let $f: \mathbb{C}[x,y] \to \mathbb{C}[x,y]$ be a $\mathbb{C}$-algebra endomorphism having an invertible Jacobian. We show that for such $f$, if, in addition, the group of invertible elements of $\mathbb{C}[f(x),f(y),x][1/v] \subset \mathbb{C}(x,y)$ is contained in $\mathbb{C}(f(x),f(y))-0$, then $f$ is an automorphism. Here $v \in \mathbb{C}[f(x),f(y)]-0$ is such that $y = u/v$, with $u \in \mathbb{C}[f(x),f(y),x]-0$. Keller's theorem (in dimension two) follows immediately, since Keller's condition $\mathbb{C}(f(x),f(y))=\mathbb{C}(x,y)$ implies that the group of invertible elements of $\math…

On the Jacobian ring of a complete intersection

Let f_1,...,f_r be homogeneous polynomials in K[x_1,...,x_n], K a field. Put F=y_1f_1+...+y_rf_r in K[x,y] and let I be the ideal of K[x,y] generated by the partials of F relative to the x_i and y_j. The Jacobian ring of F is the quotient J:=K[x,y]/I. We describe J by computing the cohomology of a certain complex whose top cohomology group is J.

On rational cuspidal plane curves, and the local cohomology of Jacobian rings

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.

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.

Higher derivations of Jacobian type in positive characteristic

In this paper, we study higher derivations of Jacobian type in positive characteristic. We give a necessary and sufficient condition for $(n-1)$-tuples of polynomials to be extendable in the polynomial ring in $n$ variables over an integral domain $R$ of positive characteristic. In particular, we give characterizations of variables and univariate polynomials by using the terms of higher derivations of Jacobian type in the polynomial ring in two variables over a field of positive characteristic.

Lefschetz properties for jacobian rings of cubic fourfolds and other Artinian algebras

In this paper, we exploit some geometric-differential techniques to prove the strong Lefschetz property in degree $1$ for a complete intersection standard Artinian Gorenstein algebra of codimension $6$ presented by quadrics. We prove also some strong Lefschetz properties for the same kind of Artinian algebras in higher codimensions. Moreover, we analyze some loci that come naturally into the picture of "special" Artinian algebras: for them, we give some geometric descriptions and show a connection between the non emptiness of the so-called non-Lefschetz locus in degree $1$ and the "lifting" of…

The inverse function theorem and the resolution of the Jacobian conjecture in free analysis

We establish an invertibility criterion for free polynomials and free functions evaluated on some tuples of matrices. We show that if the derivative is nonsingular on some domain closed with respect to direct sums and similarity, the function must be invertible. Thus, as a corollary, we establish the Jacobian conjecture in this context. Furthermore, our result holds for commutative polynomials evaluated on tuples of commuting matrices.

Commutative rings with invertible-radical factorization

In this paper, we study the classes of rings in which every proper (regular) ideal can be factored as an invertible ideal times a nonempty product of proper radical ideals. More precisely, we investigate the stability of these properties under homomorphic image and their transfer to various contexts of constructions such as direct product, trivial ring extension and amalgamated duplication of a ring along an ideal. Our results generate examples that enrich the current literature with new and original families of rings satisfying these properties.

The Jacobian ideal of a hyperplane arrangement

The Jacobian ideal of a hyperplane arrangement is an ideal in the polynomial ring whose generators are the partial derivatives of the arrangements defining polynomial. In this article, we prove that an arrangement can be reconstructed from its Jacobian ideal.

多重线性幂零代数与雅可比定理

Multilinear nilalgebras and the Jacobian theorem

本研究证明对称弱幂零多重线性代数必为恩格尔代数，该结果是雅可比定理的无穷维类比，改进了Gerstenhaber定理并部分解答了Dotsenko的问题。

The Jacobian ideal of a commutative ring and annihilators of cohomology

It is proved that for a ring $R$ that is either an affine algebra over a field, or an equicharacteristic complete local ring, some power of the Jacobian ideal of $R$ annihilates $\mathrm{Ext}^{d+1}_{R}(-,-)$, where $d$ is the Krull dimension of $R$. Sufficient conditions are identified under which the Jacobian ideal itself annihilates these Ext-modules, and examples are provided that show that this is not always the case. A crucial new idea is to consider a derived version of the Noether different of an algebra.

A characterization of p-bases of rings of constants

We obtain two equivalent conditions for m polynomials in n variables to form a p-basis of a ring of constants of some polynomial K-derivation, where K is a UFD of characteristic p>0. One of these conditions involves jacobians, and the second - some properties of factors. In the case of m=n this extends the known theorem of Nousiainen, and we obtain a new formulation of the jacobian conjecture in positive characteristic.

The Last Aproach to the Settlement of the Jacobian Conjecture

Let S be a polynomial ring over a field of characteristic zero in finitely may variables. Let T be an unramified, finitely generated extension of S with $T^\times = k^\times$. Then T = S.

Jacobian pairs

We study meromorphic jacobian pairs, i.e., pairs of polynomials in one variable, with coefficients meromorphic series in a second variable, whose jacobian relative to the two variables depends only on the second variable. We pose two meromorphic jacobian conjectures about such pairs, one of which is in terms of an invariant of the pair which we call the beta invariant. These conjectures are shown to imply the bivariate algebraic jacobian conjecture which predicts that two bivariate polynomials generate the polynomial ring if their jacobian is a nonzero constant. As another technique for studyi…

Polynomial Retracts and the Jacobian Conjecture

Let $ K[x, y]$ be the polynomial algebra in two variables over a field $K$ of characteristic $0$. A subalgebra $R$ of $K[x, y]$ is called a retract if there is an idempotent homomorphism (a {\it retraction}, or {\it projection}) $φ: K[x, y] \to K[x, y]$ such that $φ(K[x, y]) = R$. The presence of other, equivalent, definitions of retracts provides several different methods of studying them, and brings together ideas from combinatorial algebra, homological algebra, and algebraic geometry. In this paper, we characterize all the retracts of $ K[x, y]$ up to an automorphism, and give several appli…

Ample filters of invertible sheaves

Let $X$ be a scheme, proper over a commutative noetherian ring $A$. We introduce the concept of an ample filter of invertible sheaves on $X$ and generalize the most important equivalent criteria for ampleness of an invertible sheaf. We also prove the Theorem of the Base for $X$ and generalize Serre's Vanishing Theorem. We then generalize results for twisted homogeneous coordinate rings which were previously known only when $X$ was projective over an algebraically closed field. Specifically, we show that the concepts of left and right $σ$-ampleness are equivalent and that the associated twisted…

上同调零化子的稳定性及由 Jacobson 理想定义的闭子集

Stability of annihilators of cohomology and closed subsets defined by Jacobian ideals

本文证明了交换 Noether 环中上同调零化子幂次对 Ext 模的零化性质，并利用上同调零化子与 Jacobson 理想定义的闭子集刻画了特定环的等维性。

Factorization by elementary matrices, null-homotopy and products of exponentials for invertible matrices over rings

Let $R$ be a commutative unital ring. A well-known factorization problem is whether any matrix in $\mathrm{SL}_n(R)$ is a product of elementary matrices with entries in $R$. To solve the problem, we use two approaches based on the notion of the Bass stable rank and on construction of a null-homotopy. Special attention is given to the case, where $R$ is a ring or Banach algebra of holomorphic functions. Also, we consider a related problem on representation of a matrix in $\mathrm{GL}_n(R)$ as a product of exponentials.

分歧离散赋值环上代数的奇异轨迹

Singular loci of algebras over ramified discrete valuation rings

本文针对混合特征分歧离散赋值环上的代数，推广了经典的雅可比准则，用以刻画其奇异轨迹。

交换环上的矩阵可逆扩张。第一部分：一般理论

Matrix invertible extensions over commutative rings. Part I: general theory

本文建立交换环上幺模 2×2 矩阵扩张为可逆 3×3 矩阵的判据，并刻画 E_2、SE_2 与 Π_2 环类及其在经典环类中的关系。

Irreducible Jacobian derivations in positive characteristic

We prove that an irreducible polynomial derivation in positive characteristic is a Jacobian derivation if and only if there exists an n-1-element p-basis of its ring of constants. In the case of two variables we characterize these derivations in terms of their divergence and some nontrivial constants.

On Lattices over Valuation Rings of Arbitrary Rank

We show how several results about p-adic lattices generalize easily to lattices over valuation ring of arbitrary rank having only the Henselian property for quadratic polynomial. If 2 is invertible we obtain the uniqueness of the Jordan decomposition and the Witt Cancelation Theorem. We show that the isomorphism classes of indecomposable rank 2 lattices over such a ring in which 2 is not invertible are characterized by two invariants, provided that the lattices contain a primitive norm divisible by 2 of maximal valuation.

Invertible sums of matrices

We give an elementary proof of a Caratheodory-type result on the invertibility of a sum of matrices, due first to Facchini and Barioli. The proof yields a polynomial identity, expressing the determinant of a large sum of matrices in terms of determinants of smaller sums. Interpreting these results over an arbitrary commutative ring gives a stabilization result for a filtered family of ideals of determinants. Generalizing in another direction gives a characterization of local rings. An analogous result for semilocal rings is also given -- interestingly, the semilocal case reduces to the case of…

About quadratic residues in a class of rings

Let $R$ be a commutative ring with a collection of ideals $\{ N_1, N_2, \dots, N_{k-1}\}$ satisfying certain conditions, properties of the set of invertible quadratic residues of the ring $R$ are described in terms of properties of the set of invertible quadratic residues of the quotient ring $R/N_1$.

交换环上的矩阵可逆扩张

On matrix invertible extensions over commutative rings

本文定义交换环的 E2 与 SE2 类，刻画幺模 2×2 矩阵扩张为可逆 3×3 矩阵的条件，并给出 Hermite 环成为 EDR 的新判据及相关环类结论。

交换环上的矩阵可逆扩张。第二部分：行列式可提升性

Matrix invertible extensions over commutative rings. Part II: determinant liftability

本文研究交换环上幺模 $2\times2$ 矩阵的行列式可提升性，给出其与可逆扩张、简单扩张等价的判据，并证明 $J_{2,1}$ 整环均为初等因子整环。

交换环上的矩阵可逆扩张。第三部分：Hermite 环

Matrix invertible extensions over commutative rings. Part III: Hermite rings

本文研究交换 Hermite 环成为 EDR 的判据，改进并提出单位群满射、零行列式幺模矩阵提升及 Bézout 整环条件，并据此证明一类 (SU)₂ Bézout 环为 EDR。

Discriminants and Jacobians of virtual reflection groups

Let A be a polynomial algebra with complex coefficients. Let B be a finite extension ring of A which is also a polynomial algebra. We describe the factorisation of the Jacobian J of the extension into irreducibles. We also introduce the notion of a well-ramified extension and define its discriminant polynomial D. In the particular case where A is the ring of invariants of B under the action of a group (i.e., a Galois extension), this framework corresponds to the classical invariant theory of complex reflection groups. In the more general case of a well-ramified extension, we explain how the pa…