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.
Metrics
7 Record Views
Details
Title
The inverse function theorem and the resolution of the Jacobian conjecture in free analysis