Searcharxiv⌕ Search

arXiv subjects

Jie-Tai Yu

Publications and source records attributed to Jie-Tai Yu.

At least 37 records · Page 2Linked to original sources
arXiv2010

Applications of degree estimate for subalgebras

Let $K$ be a field of positive characteristic and $K $ be the free algebra of rank two over $K$. Based on the degree estimate done by Y.-C. Li and J.-T. Yu, we extend the results of S.J. Gong and J.T. Yu's results: (1) An element $p(x,y)\in K $ is a test element if and only if $p(x,y)$ does not belong to any proper retract of $K $; (2) Every endomorphism preserving the automorphic orbit of a nonconstant element of $K $ is an automorphism; (3) If there exists some injective endomorphism $ϕ$ of $K $ such that $ϕ(p(x,y))=x$ where $p(x,y)\in K $, then $p(x,y)$ is a coordinate. And we reprove that all the automorphisms of $K $ are tame. Moreover, we also give counterexamples for two conjectures established by Leonid Makar-Limanov, V. Drensky and J.-T. Yu in the positive characteristic case.

math.RA↗
arXiv2010

Degree estimate for subalgebras

Based on Bergman's Lemma on centralizers, we obtain a sharp lower degree bound for nonconstant elements in a subalgebra generated by two elements of a free associative algebra over an arbitrary field.

math.RA↗
arXiv2008

Dimension of automorphisms with fixed degree for polynomial algebras

Let $K[x,y]$ be the polynomial algebra in two variables over an algebraically closed field $K$. We generalize to the case of any characteristic the result of Furter that over a field of characteristic zero the set of automorphisms $(f,g)$ of $K[x,y]$ such that $\max\{\text{deg}(f),\text{deg}(g)\}=n\geq 2$ is constructible with dimension $n+6$. The same result holds for the automorphisms of the free associative algebra $K< x,y>$. We have also obtained analogues for free algebras with two generators in Nielsen -- Schreier varieties of algebras.

math.AG↗
arXiv2008

Test elements, retracts and automorphic orbits

Let $A_2$ be a free associative or polynomial algebra of rank two over a field $K$ of characteristic zero. Based on the degree estimate of Makar-Limanov and J.-T.Yu, we prove: 1) An element $p \in A_2$ is a test element if $p$ does not belong to any proper retract of $A_2$; 2) Every endomorphism preserving the automorphic orbit of a nonconstant element of $A_2$ is an automorphism.

math.RA↗
arXiv2008

Automorphisms of polynomial algebras and Dirichlet series

Let GF(q)[x,y] be the polynomial algebra in two variables over the finite field GF(q) with q elements. We give an exact formula and the asymptotics for the number p(n) of automorphisms (f,g) of GF(q)[x,y] such that max{deg(f),deg(g)}=n. We describe also the Dirichlet series generating function p(1)/1^s+p(2)/2^s+p(3)/3^s+.... The same results hold for the automorphisms of the free associative algebra GF(q) . We have also obtained analogues for free algebras with two generators in Nielsen - Schreier varieties of algebras.

math.AC↗
arXiv2008

Degree estimate for commutators

Let K be a free associative algebra over a field K of characteristic 0 and let each of the noncommuting polynomials f,g generate its centralizer in K . Assume that the leading homogeneous components of f and g are algebraically dependent with degrees which do not divide each other. We give a counterexample to the recent conjecture of Jie-Tai Yu that deg([f,g])=deg(fg-gf) > min{deg(f),deg(g)}. Our example satisfies deg(g)/2 < deg([f,g]) < deg(g) < deg(f) and deg([f,g]) can be made as close to deg(g)/2 as we want. We obtain also a counterexample to another related conjecture of Makar-Limanov and Jie-Tai Yu stated in terms of Malcev - Neumann formal power series. These counterexamples are found using the description of the free algebra K considered as a bimodule of K[u] where u is a monomial which is not a power of another monomial and then solving the equation [u^m,s]=[u^n,r] with unknowns r,s in K .

math.RA↗
arXiv2006

Cancellation conjecture for free associative algebras

We develop a new method to deal with the Cancellation Conjecture of Zariski in different environments. We prove the conjecture for free associative algebras of rank two. We also produce a new proof of the conjecture for polynomial algebras of rank two over fields of zero characteristic.

math.RA↗
arXiv2006

Automorphic equivalence problem for free associative algebras of rank two

Let K be the free associative algebra of rank 2 over an algebraically closed constructive field of any characteristic. We present an algorithm which decides whether or not two elements in K are equivalent under an automorphism of K . A modification of our algorithm solves the problem whether or not an element in K is a semiinvariant of a nontrivial automorphism. In particular, it determines whether or not the element has a nontrivial stabilizer in Aut K . An algorithm for equivalence of polynomials under automorphisms of C[x,y] was presented by Wightwick. Another, much simpler algorithm for automorphic equivalence of two polynomials in K[x,y] for any algebraically closed constructive field K was given by Makar-Limanov, Shpilrain, and Yu. In our approach we combine an idea of the latter three authors with an idea from the unpubished thesis of Lane used to describe automorphisms which stabilize elements of K . This also allows us to give a simple proof of the corresponding result for K[x,y] obtained by Makar-Limanov, Shpilrain, and Yu.

math.RA↗
arXiv2006

Coordinates and Automorphisms of Polynomial and Free Associative Algebras of Rank Three

We study z-automorphisms of the polynomial algebra K[x,y,z] and the free associative algebra K over a field K, i.e., automorphisms which fix the variable z. We survey some recent results on such automorphisms and on the corresponding coordinates. For K we include also results about the structure of the z-tame automorphisms and algorithms which recognize z-tame automorphisms and z-tame coordinates.

math.RA↗
arXiv2005

The strong Anick conjecture is true

Recently Umirbaev has proved the long-standing Anick conjecture, that is, there exist wild automorphisms of the free associative algebra K over a field K of characteristic 0. In particular, the well-known Anick automorphism is wild. In this article we obtain a stronger result (the Strong Anick Conjecture that implies the Anick Conjecture). Namely, we prove that there exist wild coordinates of K . In particular, the two nontrivial coordinates in the Anick automorphism are both wild. We establish a similar result for several large classes of automorphisms of K . We also find a large new class of wild automorphisms of K which is not covered by the results of Umirbaev. Finally, we study the lifting problem for automorphisms and coordinates of polynomial algebras, free metabelian algebras and free associative algebras and obtain some interesting new results.

math.RA↗
arXiv2004

Automorphisms fixing a variable of K

We study automorphisms of the free associative algebra K over a field K which fix z and such that the images of x, y are linear with respect to x, y. We prove that some of these automorphisms are wild in the class of all automorphisms fixing z, including the well known automorphism discovered by Anick, and show how to recognize the wild ones. This class of automorphisms induces tame automorphisms of the polynomial algebra K[x,y,z]. For n>2 the automorphisms of K which fix z and are linear in the x's are tame.

math.RA↗
arXiv2004

Test polynomials, retracts, and the Jacobian conjecture

Let K[x,y] be the algebra of two-variable polynomials over a field K. A polynomial p=p(x, y) is called a test polynomial (for automorphisms) if, whenever ϕ(p)=p for a mapping ϕof K[x,y], this ϕmust be an automorphism. Here we show that p \in C[x,y] is a test polynomial if and only if p does not belong to any proper retract of C[x,y]. This has the following corollary that may have application to the Jacobian conjecture: if a mapping ϕof C[x,y] with invertible Jacobian matrix is ``invertible on one particular polynomial", then it is an automorphism. More formally: if there is a non-constant polynomial p and an injective mapping ψof C[x,y] such that ψ(ϕ(p)) =p, then ϕis an automorphism.

math.AG↗
arXiv2003

The Stable Equivalence and Cancellation Problems

Let $K$ be an arbitrary field of characteristic 0, and $\Aff^n$ the $n$-dimensional affine space over $K$. A well-known cancellation problem asks, given two algebraic varieties $V_1, V_2 \subseteq \Aff^n$ with isomorphic cylinders $V_1 \times \Aff^1$ and $V_2 \times \Aff^1$, whether $V_1$ and $V_2$ themselves are isomorphic. In this paper, we focus on a related problem: given two varieties with equivalent (under an automorphism of $\Aff^{n+1}$) cylinders $V_1 \times \Aff^1$ and $V_2 \times \Aff^1$, are $V_1$ and $V_2$ equivalent under an automorphism of $\Aff^n$? We call this stable equivalence problem. We show that the answer is positive for any two curves $V_1, V_2 \subseteq \Aff^2$. For an arbitrary $n \ge 2$, we consider a special, arguably the most important, case of both problems, where one of the varieties is a hyperplane. We show that a positive solution of the stable equivalence problem in this case implies a positive solution of the cancellation problem.

math.AG↗
arXiv2003

Birational morphisms of the plane

Let A^2 be the affine plane over a field K of characteristic 0. Birational morphisms of A^2 are mappings A^2 \to A^2 given by polynomial mappings ϕof the polynomial algebra K[x,y] such that for the quotient fields, one has K(ϕ(x), ϕ(y)) = K(x,y). Polynomial automorphisms are obvious examples of such mappings. Another obvious example is the mapping τ_x given by x \to x, y \to xy. For a while, it was an open question whether every birational morphism is a product of polynomial automorphisms and copies of τ_x. This question was answered in the negative by P. Russell (in an informal communication). In this paper, we give a simple combinatorial solution of the same problem. More importantly, our method yields an algorithm for deciding whether a given birational morphism can be factored that way.

math.AG↗
arXiv2001

Affine varieties with equivalent cylinders

A well-known cancellation problem asks when, for two algebraic varieties $V_1, V_2 \subseteq {\bf C}^n$, the isomorphism of the cylinders $V_1 \times {\bf C}$ and $V_2 \times {\bf C}$ implies the isomorphism of $V_1$ and $V_2$. In this paper, we address a related problem: when the equivalence (under an automorphism of ${\bf C}^{n+1}$) of two cylinders $V_1 \times {\bf C}$ and $V_2 \times {\bf C}$ implies the equivalence of their bases $V_1$ and $V_2$ under an automorphism of ${\bf C}^n$? We concentrate here on hypersurfaces and show that this problem establishes a strong connection between the Cancellation conjecture of Zariski and the Embedding conjecture of Abhyankar and Sathaye. We settle the problem for a large class of polynomials. On the other hand, we give examples of equivalent cylinders with inequivalent bases (those cylinders, however, are not hypersurfaces). Another result of interest is that, for an arbitrary field $K$, the equivalence of two polynomials in $m$ variables under an automorphism of $K[x_1,..., x_n], n \ge m,$ implies their equivalence under a tame automorphism of $K[x_1,..., x_{2n}]$.

math.AG↗
arXiv2001

Non-extendable isomorphisms between affine varieties

In this paper, we report several large classes of affine varieties (over an arbitrary field $K$ of characteristic 0) with the following property: each variety in these classes has an isomorphic copy such that the corresponding isomorphism cannot be extended to an automorphism of the ambient affine space $K^n$. This implies, in particular, that each of these varieties has at least two inequivalent embeddings in $K^n$. The following application of our results seems interesting: we show that lines in $K^2$ are distinguished among irreducible algebraic retracts by the property of having a unique embedding in $K^2$.

math.AG↗
arXiv2000

Embeddings of hypersurfaces in affine spaces

In this paper, we address the following two general problems: given two algebraic varieties in ${\bf C}^n$, find out whether or not they are (1) isomorphic; (2) equivalent under an automorphism of ${\bf C}^n$. Although a complete solution of either of these problems is out of the question at this time, we give here some handy and useful invariants of isomorphic as well as of equivalent varieties. Furthermore, and more importantly, we give a universal procedure for obtaining all possible algebraic varieties isomorphic to a given one, and use it to construct numerous examples of isomorphic, but inequivalent algebraic varieties in ${\bf C}^n$. Among other things, we establish the following interesting fact: for isomorphic hypersurfaces $\{p(x_1,...,x_n)=0\}$ and $\{q(x_1,...,x_n)=0\}$, the number of zeros of $grad(p)$ might be different from that of $grad(q)$.

math.AG↗