BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Jie-Tai Yu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
A short proof is given of the fact that various classes of algebras including the free associative algebra are Hopfian, i.e., every epimorphism is an automorphism. This further simplifies the Dicks-Lewin solution of the Jacobian conjecture for the free associative algebra.
This paper surveys results related to well-known works of B. Plotkin and V. Remeslennikov on the edge of algebra, logic and geometry. We start from a brief review of the paper and motivations. The first sections deal with model theory. In Section 2.1 we describe the geometric equivalence, the elementary equivalence, and the isotypicity of algebras. We look at these notions from the positions of universal algebraic geometry and make emphasis on the cases of the first order rigidity. In this setting Plotkin's problem on the structure of automorphisms of (auto)endomorphisms of free objects, and auto-equivalence of categories is pretty natural and important. Section 2.2 is dedicated to particular cases of Plotkin's problem. Section 2.3 is devoted to Plotkin's problem for automorphisms of the group of polynomial symplectomorphisms. This setting has applications to mathematical physics through the use of model theory (non-standard analysis) in the studying of homomorphisms between groups of symplectomorphisms and automorphisms of the Weyl algebra. The last two sections deal with algorithmic problems for noncommutative and commutative algebraic geometry. Section 3.1 is devoted to the Gröbner basis in non-commutative situation. Despite the existence of an algorithm for checking equalities, the zero divisors and nilpotency problems are algorithmically unsolvable. Section 3.2 is connected with the problem of embedding of algebraic varieties; a sketch of the proof of its algorithmic undecidability over a field of characteristic zero is given.
The purpose of this review paper is the collection, systematization and discussion of recent results concerning the quantization approach to the Jacobian conjecture, as well as certain related topics.
In this short note we prove that every maximal torus action on the free algebra is conjugate to a linear action. This statement is the free algebra analogue of a classical theorem of A. Białynicki-Birula.
We consider isomorphisms and automorphisms of quantum groups. Let $k$ be a field and suppose $p, q\in k^*$ are not roots of unity. We prove that the two quantum groups $U_q(\mathfrak {sl}_2)$ and $U_p(\mathfrak{sl}_2)$ over a field $k$ are isomorphic as $k$-algebras if and only if $p=q^{\pm 1}$. We also rediscover the description of the group of all $k$-automorphisms of $U_q(\mathfrak{sl}_2)$ of Alev and Chamarie, and that $\text{Aut}_k(U_q(\mathfrak {sl}_2))$ is isomorphic to $\text{Aut}_k(U_p(\mathfrak {sl}_2))$.
Let $k$ be a field and suppose $p, q\in k$. We prove that the two affine Hecke algebras $H_q$ and $H_p$ of type $A_n$ are isomorphic as $k$-algebras if and only if $p=q^{\pm 1}$.
Let $\mathbb K$ be a field and suppose $p, q\in\mathbb K^*$ are not roots of unity. We prove that the two quantum groups $U_q(\mathfrak {sl}_{n+1})$ and $U_p(\mathfrak{sl}_{n+1})$ are isomorphic as $\mathbb K$-algebras implies that $p=\pm q^{\pm 1}$ when $n$ is even. This new result answers a classical question of Jimbo.
It is proved that the Jacobian of a k-endomorphism of k[x_1,...,x_n] over a field k of characteristic zero taking every tame coordinate to a coordinate, must be a nonzero constant in k. It is also proved that the Jacobian of an R-endomorphism of A:=R[x_1,...,x_n] (where R is a polynomial ring in finite number of variables over an infinite field k), taking every R-linear coordinate of A to an R-coordinate of A, is a nonzero constant in k.
Let $K$ be a field of positive characteristic and $K<x, y>$ 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<x,y>$ is a test element if and only if $p(x,y)$ does not belong to any proper retract of $K<x,y>$; (2) Every endomorphism preserving the automorphic orbit of a nonconstant element of $K<x,y>$ is an automorphism; (3) If there exists some injective endomorphism $ϕ$ of $K<x,y>$ such that $ϕ(p(x,y))=x$ where $p(x,y)\in K<x,y>$, then $p(x,y)$ is a coordinate. And we reprove that all the automorphisms of $K<x,y>$ 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.
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.
Recently Umirbaev has proved the long-standing Anick conjecture, that is, there exist wild automorphisms of the free associative algebra K<x,y,z> 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<x,y,z>. 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<x,y,z>. We also find a large new class of wild automorphisms of K<x,y,z> 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.
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.
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.
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$.
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)$.
This is a survey of recent progress in several areas of combinatorial algebra. We consider combinatorial problems about free groups, polynomial algebras, free associative and Lie algebras. Our main idea is to study automorphisms and, more generally, homomorphisms of various algebraic systems by means of their action on ``very small" sets of elements, as opposed to a traditional approach of studying their action on subsystems (like subgroups, normal subgroups; subalgebras, ideals, etc.) We will show that there is a lot that can be said about a homomorphism, given its action on just a single element, if this element is ``good enough". Then, we consider somewhat bigger sets of elements, like, for example, automorphic orbits, and study a variety of interesting problems arising in that framework. One more point that we make here is that one can use similar combinatorial ideas in seemingly distant areas of algebra, like, for example, group theory and commutative algebra. In particular, we use the same language of ``elementary transformations" in different contexts and show that this approach appears to be quite fruitful for all the areas involved.
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 applications of this characterization, in particular, to the well-known Jacobian conjecture. Notably, we prove that if a polynomial mapping $φ$ of $K[x,y]$ has invertible Jacobian matrix {\it and } fixes a non-constant polynomial, then $φ$ is an automorphism.