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

DOI10.1090/TRAN/8076zbMATH Open1444.32003arXiv1905.13303OpenAlexW2946875347MaRDI QIDQ3298974FDOQ3298974

Authors: Igor Klep, Jurij Volčič, Victor Vinnikov 

Publication date: 17 July 2020

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

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.

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

Recommendations

• Foundations of Free Noncommutative Function Theory
• Non-commutative holomorphic functions on operator domains
• Free Function Theory Through Matrix Invariants
• Free holomorphic functions on the unit ball of \(B(\mathbb H)^n\)
• Proper analytic free maps

zbMATH Keywords

Hermite interpolationfree analysisanalytic germnoncommutative functionuniversal skew field of fractionsnoncommutative meromorphic function

Mathematics Subject Classification ID

Other kinds of identities (generalized polynomial, rational, involution) (16R50) Power series, series of functions of several complex variables (32A05) Infinite-dimensional and general division rings (16K40) Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60) Functions whose values are linear operators (operator- and matrix-valued functions, etc., including analytic and meromorphic ones) (47A56) Meromorphic functions of several complex variables (32A20)

Cites Work

• Lie groups. An approach through invariants and representations
• Title not available (Why is that?)
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Title not available (Why is that?)
• A Commutator Test for Two Elements to Generate the Free Algebra of Rank Two
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The invariant theory of \(n\times n\) matrices
• Noncommutative rational functions, their difference-differential calculus and realizations
• The implicit function theorem and free algebraic sets
• Aspects of non-commutative function theory
• Free analysis, convexity and LMI domains
• Foundations of Free Noncommutative Function Theory
• Structured Noncommutative Multidimensional Linear Systems
• Title not available (Why is that?)
• Progress in noncommutative function theory
• Title not available (Why is that?)
• The inverse function theorem and the Jacobian conjecture for free analysis
• Global holomorphic functions in several noncommuting variables
• Functions of several noncommuting variables
• Proper analytic free maps
• A general framwork for a multi-operator functional calculus
• Free holomorphic functions on the unit ball of \(B(\mathbb H)^n\)
• Free holomorphic functions and interpolation
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the solutions of analytic equations
• Free analysis questions. II: The Grassmannian completion and the series expansions at the origin
• Interpolation and transfer-function realization for the noncommutative Schur-Agler class
• Title not available (Why is that?)
• Noncommutative convexity arises from linear matrix inequalities
• Boundaries, bundles, and trace algebras
• On locally linearly dependent operators and derivations
• On Automorphisms of Matrix Invariants
• Implicit/inverse function theorems for free noncommutative functions
• Central intertwining lifting, suboptimization, and interpolation in several variables
• Free loci of matrix pencils and domains of noncommutative rational functions
• Title not available (Why is that?)
• Applications of realizations (aka linearizations) to free probability
• Matrix coefficient realization theory of noncommutative rational functions
• Rational identities and applications to algebra and geometry
• Free Function Theory Through Matrix Invariants
• Title not available (Why is that?)
• A duality in the representation theory of \(C^ *\)-algebras
• A Normal Form in Free Fields
• Algebras of bounded noncommutative analytic functions on subvarieties of the noncommutative unit ball
• An improved bound for the lengths of matrix algebras
• Multipartite rational functions
• The free Grothendieck theorem

Cited In (7)

• Operator theory on noncommutative polydomains. I
• Realizations of non-commutative rational functions around a matrix centre. II: The lost-abbey conditions
• Blaschke-singular-outer factorization of free non-commutative functions
• Operator theory on noncommutative polydomains. I
• Function theory from tensor algebras
• Function theory from tensor algebras
• Multipartite rational functions

This page was built for publication: Local theory of free noncommutative functions: germs, meromorphic functions, and Hermite interpolation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3298974)