Free analysis, convexity and LMI domains

Abstract

This paper concerns the geometry of noncommutative domains and analytic freemaps. These maps are free analogs of classical analytic functions in several complex variables, and are de ned in terms of noncommuting variables amongst which there are no relations - they are free variables. Analytic free maps include vector-valued polynomials in free (noncommuting)variables and form a canonical class of mappings from one noncommutative domainD in say g variables to another noncommutative domain ~D in ~g variables.This article contains rigidity results paralleling those in the commutative world of several complex variables { particularly, in the case that the domains are circular and bounded. For instance, we show that proper free maps are one-to-one. Furthermore, between two freely biholomorphic bounded oncommutative domains there exists a linear biholomorphism. Because of its role in systems engineering, convexity is a major topic. Hence of particular interest is the case of domains de ned by a linear matrix inequality, or LMI domains. Our main theorem yields the following nonconvexi cation result: If a bounded circular noncommutative domain D is freely biholomorphic to a bounded circular LMI domain, then D is itself an LMI domain.