Degree estimate for commutators.

DOI10.1016/J.JALGEBRA.2009.07.018MaRDI QIDQ1048945zbMATH OpenOpenAlexFDO

Authors Vesselin Drensky, Jie-Tai Yu

Publication date 8 January 2010

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0806.0439

zbMATH Keywords

commutatorsJacobianscoordinatesJacobian conjecturedegree estimatesfree associative algebraswild automorphismstame automorphismspolynomial algebras

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Ordinary and skew polynomial rings and semigroup rings (16S36) Affine spaces (automorphisms, embeddings, exotic structures, cancellation problem) (14R10) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) Automorphisms and endomorphisms (16W20) Actions of groups and semigroups; invariant theory (associative rings and algebras) (16W22)

Abstract: Let K<X> 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<X>. 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<X> 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<X>.

Recommendations

• Degree estimate for subalgebras.
• Degree estimate for subalgebras generated by two elements.
• Golod-Shafarevich algebras, free subalgebras and Noetherian images.
• Makar-Limanov's conjecture on free subalgebras.
• Free Structures in Division Rings

Cites work

• scientific article; zbMATH DE number 4077461 (Why is no real title available?)
• scientific article; zbMATH DE number 3479037 (Why is no real title available?)
• scientific article; zbMATH DE number 3518934 (Why is no real title available?)
• scientific article; zbMATH DE number 3613236 (Why is no real title available?)
• scientific article; zbMATH DE number 3636194 (Why is no real title available?)
• scientific article; zbMATH DE number 2164047 (Why is no real title available?)
• scientific article; zbMATH DE number 3346523 (Why is no real title available?)
• scientific article; zbMATH DE number 3045421 (Why is no real title available?)
• scientific article; zbMATH DE number 3052836 (Why is no real title available?)
• scientific article; zbMATH DE number 3079627 (Why is no real title available?)
• A Commutator Test for Two Elements to Generate the Free Algebra of Rank Two
• A Note on Finite Dimensional Subrings of Polynomial Rings
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Algebraic geometry over groups. II: Logical foundations
• Automorphic orbit problem for polynomial algebras
• Automorphisms of a Free Associative Algebra of Rank 2. II
• Centralizers in Free Associative Algebras
• Combinatorial methods. Free groups, polynomials, and free algebras
• Dedekind subrings of \(k[x_1,\dots,x_n]\) are rings of polynomials
• Defining relations of the tame automorphism group of polynomial algebras in three variables
• Degree estimate for subalgebras generated by two elements.
• On Ordered Division Rings
• On Ordered Groups
• Poisson brackets and two-generated subalgebras of rings of polynomials
• Propriétés topologiques des polynômes de deux variables complexes et automorphismes algébriques de l'espace C^2
• SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
• Systems of linear equations over associative algebras and the occurrence problem for lie algebras
• THE EQUATION [x,u] + [y,v] = 0 IN FREE LIE ALGEBRAS
• Test elements, retracts and automorphic orbits.
• The Anick automorphism of free associative algebras
• The preimage of a coordinate.
• The stable equivalence and cancellation problems
• The strong Anick conjecture is true.
• The strong Nagata conjecture
• The tame and the wild automorphisms of polynomial rings in three variables

Cited in

(5)

• Degree estimate for subalgebras.
• On a lower bound of commutativity degree.
• A generalization of the Shestakov-Umirbaev inequality
• Degree estimate for subalgebras generated by two elements.
• Dependence between homogeneous components of polynomials with small degree of Poisson bracket

This page was built for publication: Degree estimate for commutators.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1048945)