Local theory of free noncommutative functions: germs, meromorphic functions and Hermite interpolation

Abstract

Free analysis is a quantization of the usual function theory much like operator space theory is a quantization of classical functional analysis. Basic objects of free analysis are noncommutative functions. These are maps on tuples of matrices of all sizes that preserve direct sums and similarities. This paper investigates the local theory of noncommutative functions. The first main result shows that for a scalar point $Y$, the ring $O_Y$ of uniformly analytic noncommutative germs about $Y$ is an integral domain and admits a universal skew field of fractions, whose elements are called meromorphic germs. A corollary is a local-global rank principle that connects ranks of matrix evaluations of a matrix $A$ over $O_Y$ with the factorization of $A$ over $O_Y$. Different phenomena occur for a semisimple tuple of non-scalar matrices $Y$. Here it is shown that $O_Y$ contains copies of the matrix algebra generated by $Y$. In particular, there exist nonzero nilpotent uniformly analytic functions defined in a neighborhood of $Y$, and $O_Y$ does not embed into a skew field. Nevertheless, the ring $O_Y$ is described as the completion of a free algebra with respect to the vanishing ideal at $Y$. This is a consequence of the second main result, a free Hermite interpolation theorem: if $f$ is a noncommutative function, then for any finite set of semisimple points and a natural number $L$ there exists a noncommutative polynomial that agrees with $f$ at the chosen points up to differentials of order $L$. All the obtained results also have analogs for (non-uniformly) analytic germs and formal germs.

References in corpus (12)

• Proper Analytic Free Maps
• Algebras of bounded noncommutative analytic functions on subvarieties of the noncommutative unit ball
• The inverse function theorem and the resolution of the Jacobian conjecture in free analysis
• An improved bound for the length of matrix algebras
• Free function theory through matrix invariants
• Progress in noncommutative function theory
• Free loci of matrix pencils and domains of noncommutative rational functions
• Free holomorphic functions on the unit ball of B(H)^n
• Free Analysis Questions II: The Grassmannian Completion and The Series Expansions at the Origin
• The free Grothendieck theorem
• Boundaries, Bundles and Trace Algebras
• Multipartite rational functions

Cited by in corpus (2)

• Noncommutative free universal monodromy, pluriharmonic conjugates, and plurisubharmonicity
• Free noncommutative principal divisors and commutativity of the tracial fundamental group