The inverse function theorem and the Jacobian conjecture for free analysis

DOI10.1007/S00209-014-1342-2MaRDI QIDQ484359zbMATHOpenAlexWikidataFDO

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

invertibilityfree functionfree polynomial

Mathematics Subject Classification ID

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) Elementary questions in algebraic geometry (14A25)

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
• Publication:3340965
• The free Grothendieck theorem
• Formal inverse expansion and the Jacobian conjecture

Cites work

• scientific article; zbMATH DE number 527343 (Why is no real title available?)
• Free analysis questions. II: The Grassmannian completion and the series expansions at the origin
• Ganze Cremona-Transformationen
• Global holomorphic functions in several noncommuting variables
• 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 Jacobian conjecture: Reduction of degree and formal expansion of the inverse
• The elementary theory of finite fields
• ``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é

Cited in

(15)

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

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)