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.
Similar content being viewed by others
References
Agler, J., McCarthy, J.E.: On the approximation of holomorphic functions in several non-commuting variables by free polynomials (in progress)
Amitsur, A.S., Levitzki, J.: Minimal identities for algebras. Proc. Am. Math. Soc. 1, 449–463 (1950)
Ax, J.: The elementary theory of finite fields. Ann. Math. 88(2), 239–271 (1968)
Bass, H., Connell, E.H., Wright, D.: The jacobian conjecture: reduction of degree and formal expansion of the inverse. Bull. Am. Math. Soc. 7, 287–330 (1982)
Grothendieck, A.: Eléments de géométrie algébrique IV. Publications Mathematiques de l’IHES (1966)
Helton, B.: Positive noncommutative polynomials are sums of squares. Ann. Math. 159, 675–694 (2002)
Helton, J.W., Klep, I., McCullough, S.: Proper analytic free maps. J. Funct. Anal. 260(5), 1476–1490 (2011)
Horn, R.A., Johnson, C.R.: Matrix Analysis. Cambridge University Press, Cambridge (1985)
Kaliuzhnyi-Verbovetskyi, D.S., Vinnikov, V.: Foundations of Noncommutative Function Theory. (2012). arXiv:1212.6345
Keller, O.-H.: Ganze cremona-transformationen. Monatshefte für Mathematik und Physik 47, 299–306 (1939)
Putinar, M.: Positive polynomials on compact sets. Indiana Math. J. 42, 969–984 (1993)
Rudin, W.: Injective polynomial maps are automorphisms. Am. Math. Mon. 102(6), 540–543 (1995)
Voiculescu, D.-V.: Free analysis questions. II: The Grassmannian completion and the series expansions at the origin. J. Reine Angew. Math. 645, 155–236 (2010)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Pascoe, J.E. The inverse function theorem and the Jacobian conjecture for free analysis. Math. Z. 278, 987–994 (2014). https://doi.org/10.1007/s00209-014-1342-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-014-1342-2