Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

On the classification of function algebras on subvarieties of noncommutative operator balls

Jeet Sampat, Orr Shalit

Abstract

We study algebras of bounded noncommutative (nc) functions on unit balls of operator spaces (nc operator balls) and on their subvarieties. Considering the example of the nc unit polydisk we show that these algebras, while having a natural operator algebra structure, might not be the multiplier algebra of any reasonable nc reproducing kernel Hilbert space (RKHS). After examining additional subtleties of the nc RKHS approach, we turn to study the structure and representation theory of these algebras using function theoretic and operator algebraic tools. We show that the underlying nc variety is a complete invariant for the algebra of uniformly continuous nc functions on a homogeneous subvariety, in the sense that two such algebras are completely isometrically isomorphic if and only if the subvarieties are nc biholomorphic. We obtain extension and rigidity results for nc maps between subvarieties of nc operator balls corresponding to injective spaces that imply that a biholomorphism between homogeneous varieties extends to a biholomorphism between the ambient balls, which can be modified to a linear isomorphism. Thus, the algebra of uniformly continuous nc functions on nc operator balls, and even its restriction to certain subvarieties, completely determine the operator space up to completely isometric isomorphism.

On the classification of function algebras on subvarieties of noncommutative operator balls

Abstract

We study algebras of bounded noncommutative (nc) functions on unit balls of operator spaces (nc operator balls) and on their subvarieties. Considering the example of the nc unit polydisk we show that these algebras, while having a natural operator algebra structure, might not be the multiplier algebra of any reasonable nc reproducing kernel Hilbert space (RKHS). After examining additional subtleties of the nc RKHS approach, we turn to study the structure and representation theory of these algebras using function theoretic and operator algebraic tools. We show that the underlying nc variety is a complete invariant for the algebra of uniformly continuous nc functions on a homogeneous subvariety, in the sense that two such algebras are completely isometrically isomorphic if and only if the subvarieties are nc biholomorphic. We obtain extension and rigidity results for nc maps between subvarieties of nc operator balls corresponding to injective spaces that imply that a biholomorphism between homogeneous varieties extends to a biholomorphism between the ambient balls, which can be modified to a linear isomorphism. Thus, the algebra of uniformly continuous nc functions on nc operator balls, and even its restriction to certain subvarieties, completely determine the operator space up to completely isometric isomorphism.
Paper Structure (41 sections, 38 theorems, 210 equations)

This paper contains 41 sections, 38 theorems, 210 equations.

Table of Contents

  1. Introduction
  2. Overview
  3. Definitions and notation
  4. NC sets
  5. NC functions
  6. NC operator balls
  7. NC function algebras
  8. NC varieties and their algebras
  9. Main results
  10. Section \ref{['section_nc_function_theory_in_polydisk']}
  11. Section \ref{['section_nc_operator_balls']}
  12. Section \ref{['section_cAV_as_quotients']}
  13. Section \ref{['section_representations']}
  14. Section \ref{['section_classification_of_A(V)']}
  15. Section \ref{['section_concluding']}
  16. ...and 26 more sections

Key Result

Proposition 2.3

Let $\mathcal{H}$ be a nc RKHS on a nc set $\Omega$, and suppose that either $(i)$ the constant function $1$ lies in $\mathcal{H}$; or that $(ii)$ for all $n$, $X \in \Omega(n)$ and $y \in \mathbb{C}^n$, there exists $v \in \mathbb{C}^n$ such that $K_{X,v,y} \neq 0$. Then, for all $f \in \operatorna

Theorems & Definitions (91)

  • Example 1.1
  • Remark 1.2
  • Example 2.1
  • Remark 2.2
  • Proposition 2.3
  • proof
  • Theorem 2.4
  • proof
  • Proposition 2.5
  • proof
  • ...and 81 more