The inverse function theorem and the Jacobian conjecture for free analysis

DOI10.1007/S00209-014-1342-2zbMATH Open1320.46049arXiv1303.6011OpenAlexW3098014224WikidataQ123024734 ScholiaQ123024734MaRDI QIDQ484359FDOQ484359

Authors: James Eldred Pascoe 

Publication date: 7 January 2015

Published in: Mathematische Zeitschrift (Search for Journal in Brave)

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.

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

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

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)

Cites Work

• Matrix Analysis
• Title not available (Why is that?)
• É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é
• The elementary theory of finite fields
• ``Positive noncommutative polynomials are sums of squares.
• Noncommutative rational functions, their difference-differential calculus and realizations
• Global Holomorphic Functions in Several Noncommuting Variables
• Minimal Identities for Algebras
• Proper analytic free maps
• The Jacobian conjecture: Reduction of degree and formal expansion of the inverse
• Free analysis questions. II: The Grassmannian completion and the series expansions at the origin
• Ganze Cremona-Transformationen
• Injective Polynomial Maps are Automorphisms

Cited In (14)

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

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)