The inverse function theorem and the Jacobian conjecture for free analysis

DOI10.1007/S00209-014-1342-2MaRDI QIDQ484359zbMATH OpenOpenAlexWikidataFDO

Authors James Eldred Pascoe

Publication date 7 January 2015

Published in Mathematische Zeitschrift (Search for Journal in Brave)

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

zbMATH Keywords

free functionfree polynomialinvertibility

Mathematics Subject Classification ID

Elementary questions in algebraic geometry (14A25) Noncommutative function spaces (46L52) Free probability and free operator algebras (46L54) Functions whose values are linear operators (operator- and matrix-valued functions, etc., including analytic and meromorphic ones) (47A56)

Abstract: 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.

Recommendations

• A differential criterion and formula for the inversion of a polynomial map in several variables
• Inverse degrees and the Jacobian conjecture
• scientific article; zbMATH DE number 3873466
• The free Grothendieck theorem
• Formal inverse expansion and the Jacobian conjecture

Cites work

• ``Positive noncommutative polynomials are sums of squares.
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Troisième partie). Rédigé avec la colloboration de J. Dieudonné
• Free analysis questions. II: The Grassmannian completion and the series expansions at the origin
• Ganze Cremona-Transformationen
• Global holomorphic functions in several noncommuting variables
• scientific article; zbMATH DE number 527343 (Why is no real title available?)
• Injective Polynomial Maps are Automorphisms
• Matrix Analysis
• Minimal Identities for Algebras
• Noncommutative rational functions, their difference-differential calculus and realizations
• Proper analytic free maps
• The elementary theory of finite fields
• The Jacobian conjecture: Reduction of degree and formal expansion of the inverse

Cited in

(17)

• Bianalytic maps between free spectrahedra
• Null- and positivstellensätze for rationally resolvable ideals
• The implicit function theorem and free algebraic sets
• Aspects of non-commutative function theory
• Wandering Montel theorems for Hilbert space valued holomorphic functions
• Local theory of free noncommutative functions: germs, meromorphic functions, and Hermite interpolation
• Generalized analytic functions
• Implicit/inverse function theorems for free noncommutative functions
• The free Grothendieck theorem
• On necessary and sufficient conditions for the real Jacobian conjecture
• Invariant structure preserving functions and an Oka-Weil Kaplansky density type theorem
• A brief introduction to noncommutative function theory
• A non-commutative Julia inequality
• Images of polynomial maps and the Ax-Grothendieck theorem over algebraically closed division rings
• Operator realizations of non-commutative analytic functions
• Compact sets in the free topology
• Non-commutative holomorphic functions on operator domains

This page was built for publication: The inverse function theorem and the Jacobian conjecture for free analysis

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