Current browse context:
math.RA
Change to browse by:
References & Citations
Mathematics > Rings and Algebras
Title: The free Grothendieck theorem
(Submitted on 11 Dec 2017 (v1), last revised 9 Sep 2018 (this version, v3))
Abstract: The main result of this article establishes the free analog of Grothendieck's Theorem on bijective polynomial mappings of $\mathbb{C}^g$. Namely, we show if $p$ is a polynomial mapping in $g$ freely non-commuting variables sending $g$-tuples of matrices (of the same size) to $g$-tuple of matrices (of the same size) that is injective, then it has a free polynomial inverse.
Other results include an algorithm that tests if a free polynomial mapping $p$ has a polynomial inverse (equivalently is injective; equivalently is bijective). Further, a class of free algebraic functions, called hyporational, lying strictly between the free rational functions and the free algebraic functions are identified. They play a significant role in the proof of the main result.
Submission history
From: Meric Augat [view email][v1] Mon, 11 Dec 2017 18:18:10 GMT (49kb,D)
[v2] Thu, 15 Feb 2018 05:28:21 GMT (54kb,D)
[v3] Sun, 9 Sep 2018 00:23:45 GMT (55kb,D)
Link back to: arXiv, form interface, contact.