Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-24T00:46:57.216Z Has data issue: false hasContentIssue false

Tensor algebras of subproduct systems and noncommutative function theory

Published online by Cambridge University Press:  02 October 2023

Michael Hartz
Affiliation:
Fachrichtung Mathematik, Universität des Saarlandes, 66123 Saarbrücken, Germany e-mail: [email protected]
Orr Moshe Shalit*
Affiliation:
Faculty of Mathematics, Technion – Israel Institute of Technology, Haifa 3200003, Israel
Rights & Permissions [Opens in a new window]

Abstract

We revisit tensor algebras of subproduct systems with Hilbert space fibers, resolving some open questions in the case of infinite-dimensional fibers. We characterize when a tensor algebra can be identified as the algebra of uniformly continuous noncommutative functions on a noncommutative homogeneous variety or, equivalently, when it is residually finite-dimensional: this happens precisely when the closed homogeneous ideal associated with the subproduct system satisfies a Nullstellensatz with respect to the algebra of uniformly continuous noncommutative functions on the noncommutative closed unit ball. We show that – in contrast to the finite-dimensional case – in the case of infinite-dimensional fibers, this Nullstellensatz may fail. Finally, we also resolve the isomorphism problem for tensor algebras of subproduct systems: two such tensor algebras are (isometrically) isomorphic if and only if their subproduct systems are isomorphic in an appropriate sense.

Type
Article
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright
© The Author(s), 2023. Published by Cambridge University Press on behalf of The Canadian Mathematical Society

1 Introduction and background

1.1 Subproduct systems and their tensor algebras

A subproduct system over a monoid $\mathbb {S}$ is a family $X = \left (X_s \right )_{s \in \mathbb {S}}$ where all the $X_s$ are Hilbert C*-correspondences over the same C*-algebra A, that behave nicely with respect to tensor products. The notion was first formally isolated and defined in [Reference Bhat and Mukherjee6, Reference Shalit and Solel36] for the purpose of studying semigroups of completely positive maps, after decades in which subproduct system-like structures appeared implicitly in noncommutative dynamics (see [Reference Shalit and Skeide35] for the general definition and for some context). Besides their important role in dilation theory of CP-semigroups [Reference Shalit and Skeide35, Reference Shalit and Solel36, Reference Vernik38], it was clear right from the outset and has been continuously recognized that subproduct systems provide a unified and flexible framework for treating a very wide variety of previously studied operator-theoretic and operator-algebraic structures (see, e.g., [Reference Arici and Kaad4, Reference Chen, Dor-On, Hui, Linden and Zhang8, Reference Davidson, Ramsey and Shalit13Reference Habbestad and Neshveyev18, Reference Kakariadis and Shalit22, Reference Salomon, Shalit and Shamovich31Reference Sarkar, Trivedi and Veerabathiran33, Reference Shamovich37, Reference Viselter40, Reference Viselter41]).

In this paper, we will concentrate on the simplest kind of subproduct system, where the monoid $\mathbb {S}$ is $\mathbb {N} = \{0,1,2,\ldots \}$ and the C*-algebra A is just the scalar field $\mathbb {C}$ .

Definition 1.1 A subproduct system is a family $X = \left (X_n\right )_{n=0}^\infty $ of Hilbert spaces such that $X_0 = \mathbb {C}$ and

(1.1) $$ \begin{align} X_{m+n} \subseteq X_m \otimes X_n. \end{align} $$

Even this seemingly restricted setting provides the basis for the formation of a plethora of operator algebras, ranging from the continuous functions on the unit sphere [Reference Arveson5], to algebras of analytic functions on homogeneous subvarieties of the unit ball [Reference Davidson, Ramsey and Shalit13], to the Cuntz or Cuntz–Krieger C*-algebras [Reference Kakariadis and Shalit22], and so on. Our interest is the simplest kind of operator algebra that one can attach to a subproduct system – the tensor algebra.

If X is a subproduct system, we find from the defining relation (1.1) of subproduct systems that $X_n \subseteq X_1^{\otimes n}$ for all n. We let $p_n \colon X_1^{\otimes n} \to X_n$ denote the corresponding orthogonal projection. If we need to specify the subproduct system X, then we shall use $p_n^X$ to denote this projection.

Definition 1.2 Given a subproduct system X, the X-Fock space is defined to be the Hilbert space direct sum

$$\begin{align*}\mathcal{F}_X = \bigoplus_{n=0}^\infty X_n. \end{align*}$$

Every $x \in X_1$ defines a (left) shift operator $S(x)$ that is determined from its action on the summands:

$$\begin{align*}S(x) \colon y \in X_n \mapsto p_{n+1} (x \otimes y) \in X_{n+1}. \end{align*}$$

Finally, the tensor algebra of X is defined to be the unital operator algebra generated by the shifts

(1.2) $$ \begin{align} \mathcal{A}_X = \overline{\operatorname{alg} \{ S(x) \big| x \in X_1\}} \subseteq B(\mathcal{F}_X). \end{align} $$

We can extend the definition of S to every $x \in X_m$ by

$$\begin{align*}S(x) \colon y \in X_n \mapsto p_{m+n} (x \otimes y) \in X_{m+n}. \end{align*}$$

The X-Fock space has a natural grading and this induces a grading on $\mathcal {A}_X$ : an element $T \in \mathcal {A}_X$ is said to be n-homogeneous if $T (X_m) \subseteq X_{m+n}$ for all $m \in \mathbb {N}$ . We let $\mathcal {A}_X^{(n)}$ denote the n-homogeneous elements of $\mathcal {A}_X$ . The graded structure of $\mathcal {A}_X$ plays a key role in the analysis of tensor algebras. We shall require the following result.

Proposition 1.3 ([Reference Shalit and Solel36, Proposition 9.3], [Reference Dor-On and Markiewicz14, Proposition 6.2])

For every $n \in \mathbb {N}$ , there is a completely contractive surjective idempotent $\Phi _n : \mathcal {A}_X \to \mathcal {A}_X^{(n)}$ . Every $T \in \mathcal {A}_X$ can be written uniquely as a Cesàro norm-convergent sum $T = \sum _{n=0}^\infty T_n$ , where $T_n = \Phi _n(T) \in \mathcal {A}_X^{(n)}$ is n-homogeneous. Moreover, for all n, the map $S \colon X_n \to \mathcal {A}_X$ given by $x \mapsto S(x)$ is an isometric surjection of $X_n$ onto $\mathcal {A}_X^{(n)}$ .

By Proposition 1.3, S is an isometric map from $X_m$ into $\mathcal {A}_X$ , and it follows that we can describe the tensor algebra also as

$$\begin{align*}\mathcal{A}_X = \overline{\operatorname{alg} \{ S(x) \big| n \in \mathbb{N}, x \in X_n\}}. \end{align*}$$

Example 1.4 Let H be a Hilbert space, and consider the case in which $X_n = H^{\otimes n}$ for all n. In this case, the X-Fock space $\mathcal {F}_X$ is simply the free Fock space $\mathcal {F}(H) = \oplus _n H^{\otimes n}$ and the tensor algebra $\mathcal {A}_X$ is the norm-closed algebra generated by the row isometry $L=(L_i:=S(e_i))_{i \in \Lambda }$ for some orthonormal basis $\{e_i\}_{i\in \lambda }$ , which is Popescu’s noncommutative disk algebra ${\mathfrak {A}}_d$ , for $d = |\Lambda | = \dim H$ [Reference Popescu28]. In particular, when $H = \mathbb {C}$ , then $X_n =\mathbb {C}$ for all n. In this case, $\mathcal {F}_X$ is easily identifiable with $\ell ^2(\mathbb {N})$ , and for $x = 1_{\mathbb {C}}$ , the shift $S(x)$ is then just the unilateral shift. The tensor algebra $\mathcal {A}_X$ in this case is simply the disk algebra $A(\mathbb {D})$ .

Example 1.5 Let H be a Hilbert space, and consider the case in which $X_n =$ the symmetric product of H with itself n-times. In this case, the X-Fock space $\mathcal {F}_X$ is the symmetric Fock space over H, which is also known as the Drury–Arveson space $H^2$ and has a natural interpretation as a reproducing kernel Hilbert space [Reference Arveson5]. The tensor algebra $\mathcal {A}_X$ is the norm-closed algebra generated by the polynomials inside the multiplier algebra of $H^2$ .

1.2 The goals of this paper, briefly

The purpose of this paper is to collect what is known about the representations and the classification of tensor algebras of subproduct systems of Hilbert spaces over $\mathbb {N}$ and to complete the missing pieces. In particular, we sought to understand (a) when are two tensor algebras (isometrically) isomorphic, and (b) can all tensor algebras be faithfully represented as an algebra of continuous noncommutative (nc) functions on a homogeneous nc variety. It is worth noting that although all the aspects that we treat have already been fully solved in the case of finite-dimensional fibers (i.e., when $\dim X_1 < \infty $ ), in the case of infinite-dimensional fibers, some aspects have been left open, due to nontrivial technical complications. Indeed, results in several complex variables or affine algebraic geometry, which played a role in the solution of the problems in the finite-dimensional case, are not readily applicable in the infinite-dimensional case. But not only do the proofs require modification as we pass to infinite dimensions, some of the results are different, too.

We shall show that the subproduct systems constitute a complete invariant for the tensor algebras, both in the category of tensor algebras with isometric isomorphism, and in the category of tensor algebras with completely bounded isomorphisms. With every subproduct system X, we associate a closed homogeneous ideal $I_X$ in ${\mathfrak {A}}_d$ for which $\mathcal {A}_X \cong {\mathfrak {A}}_d / I_X$ . We examine a Nullstellensatz (in free variables) for such ideals, and we show that the ideal $I_X$ satisfies this Nullstellensatz precisely when $\mathcal {A}_X$ can be identified with the algebra of uniformly continuous nc functions on the nc variety consisting of all matrix row contractions that are annihilated by $I_X$ . We provide an example showing that unlike in the case of finitely many variables, in the case of infinitely many variables, this Nullstellensatz may fail; thus, the tensor algebras are not in one-to-one correspondence with algebras of uniformly continuous nc analytic functions on nc homogeneous varieties, they need not be residually finite-dimensional (RFD), and form a richer class of operator algebras than we may have thought.

1.3 The isomorphism problem for tensor algebras

A natural question that arises is: to what extent does a subproduct system determine its tensor algebra? To make this question precise, we will need a few more definitions, but a few words are in order before the definitions. First, [Reference Gurevich17, Example 5.1] exhibits two non-isomorphic subproduct systems of finite-dimensional Hilbert spaces over $\mathbb {N} \times \mathbb {N}$ that give rise to the same tensor algebra. Thus, it makes sense to work over $\mathbb {N}$ rather than more general semigroups, since over $\mathbb {N}$ there is still hope that subproduct systems are a complete invariant. On the other hand, if we were to work with subproduct systems over $\mathbb {N}$ whose fibers are general Hilbert C*-correspondences rather than Hilbert spaces, then the question of whether a tensor algebra is uniquely determined by its subproduct system is a long-standing open problem since [Reference Muhly and Solel26] even in the case of a product system, that is, the case where we have equality in (1.1). In this case, the tensor algebra is Muhly and Solel’s tensor algebra of a C*-correspondence [Reference Muhly and Solel25] – classification of these tensor algebras contains the long-standing isomorphism problem for semicrossed products of C*-dynamical systems as a special case; a solution for the isometric isomorphism problem in this context has appeared only quite recently [Reference Katsoulis and Ramsey23] (see also [Reference Davidson and Kakariadis10]). Finally, as we shall recall below, the problem is completely solved in the case of finite-dimensional Hilbert space fibers; thus, the case of general Hilbert spaces seems like the most urgent open case in the broad isomorphism problem of tensor algebras.

Definition 1.6 Let $X = \left (X_n\right )_{n=0}^\infty $ and $Y = \left (Y_n\right )_{n=0}^\infty $ be two subproduct systems. We say that X and Y are similar if there exists a sequence $V = (V_n)_{n=0}^\infty $ of invertible linear maps $V_n \colon X_n \to Y_n$ such that $\sup _n \left \|V_n \right \| < \infty $ , $\sup _n \left \|V_n^{-1}\right \| < \infty $ and

(1.3) $$ \begin{align} \quad V_{m+n} (p^X_{m+n}(x \otimes y)) = p^Y_{m+n}(V_m x \otimes V_n y) \end{align} $$

for all $m,n$ and all $x \in X_m, y \in X_n$ . $V = (V_n)_{n=0}^\infty $ is then said to be a similarity. In case that $V_n$ is a unitary for all n, then V is said to be an isomorphism. Two subproduct systems are said to be isomorphic if there is an isomorphism between them.

If we have a similarity $V \colon X \to Y$ between two subproduct systems, then one may construct a bounded invertible map

$$\begin{align*}W := \bigoplus_{n=0}^\infty V_n \colon \mathcal{F}_X = \bigoplus_{n=0}^\infty X_n \to \mathcal{F}_Y = \bigoplus_{n=0}^\infty Y_n , \end{align*}$$

and it is then not hard to check that this gives rise to a completely bounded isomorphism $\varphi : \mathcal {A}_X \to \mathcal {A}_Y$ given by

$$\begin{align*}\varphi(T) = W T W^{-1}. \end{align*}$$

Of course, if V is an isomorphism and not merely a similarity, then W is a unitary and hence $\varphi $ is a completely isometric isomorphism. One of the main open problems that we shall address is whether the converse holds:

Problem 1.7 Suppose that X and Y are subproduct systems and that their tensor algebras $\mathcal {A}_X$ and $\mathcal {A}_Y$ are isomorphic in a certain sense: algebraically isomorphic (completely), boundedly isomorphic, or (completely) isometrically isomorphic. Does it follow that X and Y are similar/isomorphic?

We note that with a tensor algebra one can also associate its maximal ideal space, or its space of finite-dimensional representations, which form a variety or a noncommutative (nc) variety, respectively, which can serve as an invariant. This was the approach taken in [Reference Davidson, Ramsey and Shalit13, Reference Kakariadis and Shalit22, Reference Salomon, Shalit and Shamovich31, Reference Salomon, Shalit and Shamovich32]. However, here, we return to the most basic classification problem, Problem 1.7, as considered in [Reference Dor-On and Markiewicz14, Reference Shalit and Solel36], in order to classify tensor algebras in terms of their subproduct systems. In fact, we shall show that the nc varieties in general do not classify tensor algebras.

1.4 The main results

Our main result on classification of tensor algebras is the following.

Theorem 1.8 Let X and Y be subproduct systems. The following are equivalent:

  1. (1) There exists a bounded isomorphism $\varphi \colon \mathcal {A}_X \to \mathcal {A}_Y$ .

  2. (2) There exists a completely bounded isomorphism $\varphi \colon \mathcal {A}_X \to \mathcal {A}_Y$ .

  3. (3) There exists a similarity $W \colon X \to Y$ .

Also, the following are equivalent:

  1. (1) There exists an isometric isomorphism $\varphi \colon \mathcal {A}_X \to \mathcal {A}_Y$ .

  2. (2) There exists a completely isometric isomorphism $\varphi \colon \mathcal {A}_X \to \mathcal {A}_Y$ .

  3. (3) There exists an isomorphism $W \colon X \to Y$ .

After several earlier partial versions, this theorem was obtained in [Reference Kakariadis and Shalit22, Theorem 3.4] in the case where $\dim X_1 < \infty $ . It turns out that the key issue is to show that the existence of a bounded isomorphism implies the existence of a vacuum preserving isomorphism; this reduction was used in several works and received definite form in [Reference Dor-On and Markiewicz14]. We shall explain this reduction in Section 4.1, and settle the isomorphism problem in the remainder of Section 4.

In Section 3, we determine all bounded finite-dimensional representations of tensor algebras and, in particular, we describe their maximal ideal spaces. Section 3 also contains the second main result obtained in this work: a characterization of when a tensor algebra $\mathcal {A}_X$ can be identified as an algebra of uniformly continuous nc holomorphic functions on a homogeneous nc holomorphic variety, via an analysis of the finite-dimensional representations of $\mathcal {A}_X$ . With every subproduct system X, we identify a norm-closed ideal $J = J_X \triangleleft \,{\mathfrak {A}}_d$ (where $d = \dim X_1$ ). With this ideal, we identify an nc variety $V(J)$ , which consists of all contractive d-tuples of $n \times n$ matrices ( $n \in \mathbb {N}$ ) that are annihilated by elements of J. This nc variety can be identified with the space of completely contractive, finite-dimensional representations of $\mathcal {A}_X$ , and every element of $\mathcal {A}_X$ determines an nc function on $V(J)$ . We then show that $\mathcal {A}_X$ is RFD (i.e., it is completely normed by its finite-dimensional representations), if and only if the restriction map from $\mathcal {A}_X$ to $V(J)$ is injective, and that this happens if and only if the following Nullstellensatz holds:

$$\begin{align*}J = I(V(J)), \end{align*}$$

where for an nc set $\Omega $ we let $I(\Omega )$ denote the ideal of all elements in ${\mathfrak {A}}_d$ that vanish on $\Omega $ . In the case $\dim X_1 < \infty $ , it was shown that this Nullstellensatz holds for every closed and homogeneous ideal, and that tensor algebras can always be considered as nc functions on an nc variety (see Sections 9 and 10 in [Reference Salomon, Shalit and Shamovich31]). However, we show that when $\dim X_1 = \aleph _0$ , the Nullstellensatz holds for certain ideals and fails for others. To state these results precisely, we require some preliminaries on nc functions which are discussed in the following section.

2 Noncommutative functions and subproduct systems

2.1 Noncommutative functions and the noncommutative unit ball

We now recall the rudiments of the theory of noncommutative (nc) functions that are relevant to our main problem. The basic general theory is developed in [Reference Kaliuzhnyi-Verbovetskyi and Vinnikov39] and a very rapid introduction to the subject can be found in [Reference Agler and McCarthy2] (see also [Reference Salomon, Shalit and Shamovich31] for an introduction that is geared toward the kind of non-self-adjoint operator algebras that we are studying). Let H be a Hilbert space of dimension d. We fix throughout an index set $\Lambda $ with $|\Lambda | = d$ and an orthonormal basis $\{e_i\}_{i \in \Lambda }$ for H. For us, the most interesting case is $d = \aleph _0$ . We note that in the literature the case $d> \aleph _0$ is hardly considered, but at least some of the basics can be developed in this generality as well (in essence, each individual function in $d>\aleph _0$ variables will only involve at most $\aleph _0$ variables).

Remark 2.1 Before going into the definitions, let us give a word of motivation addressed at the reader who is wary of studying analytic functions in infinitely many variables. Besides the intrinsic interest, one good reason to study algebras in infinitely many variables is the hope that they may give a concrete representation of a large class of operator algebras; this is one of our concerns in this paper. Another good reason to study analytic functions in infinitely many variables, is that even Hilbert function spaces in a single complex variable may have useful representations as spaces of functions in infinitely many variables. Agler and McCarthy [Reference Agler and McCarthy1] proved that every complete Pick reproducing kernel Hilbert space can be identified with the restriction of the Drury–Arveson space in d variables to a subvariety of the unit ball $\mathbb {B}_d$ . In general, their theorem requires $d = \infty $ . Indeed, $d = \infty $ occurs naturally in uncountably many typical examples of function spaces on the unit disk [Reference Davidson, Hartz and Shalit9], and $d = \infty $ is in fact necessary for many classical spaces on the unit disk, including the Dirichlet space (see [Reference Rochberg30] and [Reference Hartz20, Corollary 11.9]). In the case of the Dirichlet space, this phenomenon persists even if we weaken the notion of identification [Reference Hartz21].

For every n, we let $M_n(\mathbb {C})^d := M_n(\mathbb {C})^\Lambda $ denote the space of all d-tuples $T = (T_i)_{i\in \Lambda }$ that define a bounded operator from the direct sum $\bigoplus _{i\in \Lambda } \mathbb {C}^n$ to $\mathbb {C}^n$ . We let $\|T\| = \|\sum _i T_iT_i^*\|$ denote the norm of this operator, referred to also as the row norm of the tuple T. The set $\mathbb {M}_d = \sqcup _n M_n(\mathbb {C})^d$ is our noncommutative universe, by which we mean the big set that contains all the “things” that we will plug as arguments into nc functions. Elements of $\mathbb {M}_d$ can be considered either as d-tuples $T = (T_i)_{i \in \Lambda }$ or as (convergent) sums $\sum _i T_i \otimes e_i$ in the $n \times n$ matrices over the row operator space $H_r$ . On $\mathbb {M}_d$ , there are natural operations of direct sum $T\oplus U = (T_i \oplus U_i)_{i \in \Lambda }$ and left/right multiplication by matrices: $S \cdot (T_i)_{i \in \Lambda } = (ST_i)_{i \in \Lambda }$ and $T \cdot S = (T_i S)_{i \in \Lambda }$ .

Definition 2.2 Let $\Omega = \sqcup _n \Omega _n$ be an nc set, that is, a graded subset of $\mathbb {M}_d$ , where $\Omega _n \subseteq M_n(\mathbb {C})^d$ for all n, that is closed under direct sums. An nc holomorphic function is a map $f : \Omega \to \mathbb {M}_1$ that satisfies:

  1. (1) f is graded: $f(\Omega _n) \subseteq M_n(\mathbb {C})$ ,

  2. (2) f respects direct sums: $f(X \oplus Y) = f(X) \oplus f(Y)$ for all $X,Y \in \Omega $ ,

  3. (3) f respects similarity: $f(S^{-1}\cdot X \cdot S) = S^{-1} \cdot f(X) \cdot S$ whenever $X \in \Omega $ and $S^{-1} \cdot X \cdot S \in \Omega $ .

For us, the most interesting nc set will be the noncommutative (nc) open unit ball ${\mathfrak {B}}_d$ defined by

$$\begin{align*}{\mathfrak{B}}_d = \bigsqcup_{n=1}^\infty \left\{(T_i)_{i \in \Lambda} \in M_n(\mathbb{C})^d : \left \|\sum_{i \in \Lambda} T_i T_i^* \right\| < 1\right\}. \end{align*}$$

In other words, ${\mathfrak {B}}_d$ is the set of all strict row contractions consisting of matrices.

On ${\mathfrak {B}}_d$ , we have the natural tuple of coordinate functions $z = (z_i)_{i\in \Lambda }$ defined by $z_j(T) = T_j$ . The functions $z_i, i\in \Lambda $ , together with the unit $1$ , generate the algebra $\mathbb {F}_d$ of free polynomials in d noncommuting variables. When treating finite d, ideals in the algebra $\mathbb {F}_d$ were enough to determine all subproduct systems X with $\dim X_1 = d$ . However, when $d = \infty $ , the ideal structure of $\mathbb {F}_d$ is not rich enough, and we will need to work with function algebras. The issue is, for example, that a function of the form $f(z) = \sum _{k=1}^\infty a_k z_k$ for a given sequence $(a_k) \in \ell ^2$ is not a polynomial according to the above definition, but it is a homogeneous nc function of degree one that is contained in either one of the Banach algebras of nc functions that we consider below (some authors do indeed consider bounded linear functionals and their products as polynomials).

The nc Drury–Arveson space $\mathcal {H}_d^2$ is defined to be the space of all nc functions f on ${\mathfrak {B}}_d$ that have a Taylor series $\sum _\alpha a_\alpha z^\alpha $ for which $\|f\|^2_{\mathcal {H}^2_d} = \sum |a_\alpha |^2 < \infty $ .

The algebra of all bounded nc holomorphic functions on ${\mathfrak {B}}_d$ is denoted $H^\infty ({\mathfrak {B}}_d)$ ; this algebra is a Banach algebra with respect to the supremum norm $\|f\|_\infty := \sup \{\|f(X)\| : X \in {\mathfrak {B}}_d\}$ . It can be shown that $H^\infty ({\mathfrak {B}}_d)$ is in fact equal to the algebra of left multipliers of $\mathcal {H}^2_d$ (see [Reference Salomon, Shalit and Shamovich31] for details).

Definition 2.3 If $\Omega \subseteq {\mathfrak {B}}_d$ is an nc set, we say that an nc function $f : \Omega \to \mathbb {M}_1$ is uniformly continuous if for all $\epsilon> 0$ , there is a $\delta> 0$ , such that for all n and all $X,Y \in \Omega _n$ , we have that $\|X - Y\|<\delta $ implies $\|f(X) - f(Y)\|<\epsilon $ . We let $A(\Omega )$ denote the algebra of all uniformly continuous nc functions on $\Omega $ . In particular, $A({\mathfrak {B}}_d)$ denotes the algebra of all uniformly continuous nc functions on ${\mathfrak {B}}_d$ . We shall denote $A_d = A({\mathfrak {B}}_d)$ .

Every element in $A_d$ extends uniquely to a uniformly continuous nc function on $\overline {{\mathfrak {B}}}_d$ (defined as the levelwise closure of ${\mathfrak {B}}_d$ , which is equal to the set of all row contractions acting on finite-dimensional spaces).

In [Reference Salomon, Shalit and Shamovich31, Section 9], it was shown that $A_d$ is equal to the norm closure of the polynomials with respect to the sup norm in $H^\infty ({\mathfrak {B}}_d)$ (although there it was implicitly assumed that $d\leq \aleph _0$ , the argument works for any d). This norm closure of polynomials can be identified with the tensor algebra ${\mathfrak {A}}_d$ corresponding to the full product system (see Example 1.4), by the natural map that sends the coordinate function $z_i$ to the operator $S(e_i)$ (see [Reference Salomon, Shalit and Shamovich31, Section 3]). We shall henceforth identify ${\mathfrak {A}}_d$ with $A_d$ and identify elements in ${\mathfrak {A}}_d$ as nc functions in $A_d$ and vice versa, as convenient. By Proposition 1.3, we can also identify $A_d$ as a linear and dense subspace of the full Fock space $\mathcal {F}(H)$ for a d-dimensional Hilbert space H, via

$$\begin{align*}H^{\otimes n} \ni x \mapsto S(x) \in {\mathfrak{A}}_d \cong A_d \end{align*}$$

and

(2.1) $$ \begin{align} {\mathfrak{A}}_d \cong A_d \ni f \mapsto f((S(e_i))_{i\in \Lambda}) 1 \cong f\cdot 1 \in \mathcal{F}(H). \end{align} $$

2.2 Homogeneous ideals and varieties

Every $f \in \mathcal {H}^2_d$ can be written as a norm convergent sum $f = \sum f_n$ where $f_n$ is the norm limit of n-homogeneous polynomials. The function $f_n$ is said to be an n-homogeneous function. We shall let $\mathcal {H}^2_d(n)$ denote the space of all n-homogeneous functions in $\mathcal {H}^2_d$ . Every function $f \in A_d$ has a Cesàro convergent decomposition

$$\begin{align*}f = \sum f_n \end{align*}$$

into homogeneous components (see [Reference Salomon, Shalit and Shamovich31, Lemma 7.9]). The n-homogeneous component $f_n$ can be obtained from f by the completely contractive projection

$$\begin{align*}f_n(X) = \phi_n(f)(X) = \frac{1}{2\pi} \int_0^{2\pi} f(e^{i\theta} X)e^{-in\theta} d\theta \,\, , \,\, X \in {\mathfrak{B}}_d. \end{align*}$$

Note that under the identification $A_d \cong {\mathfrak {A}}_d$ , the projection $\phi _n$ corresponds to $\Phi _n$ from Proposition 1.3.

Definition 2.4 An ideal $J \subseteq A_d$ is said to be homogeneous, if whenever $f \in J$ , then for all n, the homogeneous component $f_n$ is also in J. A subset ${\mathfrak {V}} \subseteq {\mathfrak {B}}_d$ is said to be a homogeneous variety if it is the joint zero locus (in ${\mathfrak {B}}_d$ ) of all functions in a homogeneous ideal J:

$$\begin{align*}{\mathfrak{V}} = V(J) := \{X \in {\mathfrak{B}}_d : f(X) = 0 \,\, \textrm{ for all } \,\, f \in J\}. \end{align*}$$

For any subset $\Omega \subseteq {\mathfrak {B}}_d$ , we denote

$$\begin{align*}I(\Omega) := \{f \in A_d : f(X) = 0 \,\, \textrm{ for all } \,\, X \in \Omega \}. \end{align*}$$

One can show that if ${\mathfrak {V}} \subseteq {\mathfrak {B}}_d$ is a homogeneous variety, then it is a homogeneous set in the sense that $\mathbb {C} X \cap {\mathfrak {B}}_d \subseteq {\mathfrak {V}}$ for all $X \in {\mathfrak {V}}$ , and from this, it follows that $I({\mathfrak {V}})$ is a homogeneous ideal.

By [Reference Salomon, Shalit and Shamovich31, Section 9], for every homogeneous nc variety ${\mathfrak {V}} \subseteq {\mathfrak {B}}_d$ , the algebra $A({\mathfrak {V}})$ is the closure in the supremum norm of the polynomials, i.e., the closure of the algebra generated by the restriction of coordinate functions to ${\mathfrak {V}}$ . Note that every nc function in $A({\mathfrak {V}})$ extends to an nc function on $\overline {{\mathfrak {V}}}$ and we may identify $A({\mathfrak {V}})$ with $A(\overline {{\mathfrak {V}}})$ .

The operators $I(\cdot )$ and $V(\cdot )$ are inclusion-reversing maps between closed ideals and nc varieties and vice versa, but they are not mutual inverses. We have the following tautological fact that is well known in many analogous circumstances.

Lemma 2.5 For every $\Omega \subseteq {\mathfrak {B}}_d$ and every $E \subseteq A_d$ , we have

$$\begin{align*}I(\Omega) = I(V(I(\Omega)) \end{align*}$$

and

$$\begin{align*}V(I(V(E))) = V(E). \end{align*}$$

Proof This is a general fact true for any pair of such order-reversing operators, so we explain just one equality. Clearly, $I(\Omega ) \subseteq I(V(I(\Omega )))$ . But for the same reason $\Omega \subseteq V(I(\Omega ))$ , and so applying the inclusion-reversing $I(\cdot )$ , we obtain $I(\Omega ) \supseteq I(V(I(\Omega )))$ .

Definition 2.6 Let J be a closed ideal in ${\mathfrak {A}}_d$ . We say that J satisfies the Nullstellensatz if

$$\begin{align*}J = I(V(J)) = \{f \in {\mathfrak{A}}_d : f(X) = 0 \text{ for all } X \in V(J)\}. \end{align*}$$

By Lemma 2.5, every ideal that is the annihilating ideal of a prescribed zero set satisfies the Nullstellensatz. In particular, for every homogeneous $J \triangleleft A_d$ , the ideal $I(V(J))$ is a closed homogeneous ideal in $A_d$ that satisfies the Nullstellensatz. On the other hand, we shall see in Section 3.3 that there are closed homogeneous ideals that do not satisfy the Nullstellensatz.

2.3 Subproduct systems and closed homogeneous ideals

Given $d < \infty $ and an orthonormal basis $\{e_1, e_2, \ldots , e_d\}$ for a d-dimensional Hilbert space H, there is a $1$ $1$ correspondence between homogeneous ideals $I \triangleleft \mathbb {F}_d$ and subproduct systems $X = (X_n)_{n=0}^\infty $ with $X_1 \subseteq H$ given by

$$\begin{align*}I \longleftrightarrow X^I \end{align*}$$

where the nth fiber of $X^I$ is given by

$$\begin{align*}X^I_n = X_1^{\otimes n} \ominus \{ p(e) : p \in I \textrm{ is \(n\)-homogeneous}\} \end{align*}$$

and $p(e) = \sum _{|\alpha |=n} a_\alpha e_{\alpha _1} \otimes \cdots \otimes e_{\alpha _n}$ where $p(z) = \sum _{|\alpha |=n} a_\alpha z_{\alpha _1} \cdots z_{\alpha _d}$ (see [Reference Shalit and Solel36, Proposition 7.2]). When $d = \infty $ , this correspondence ceases to be surjective. However, if we replace homogeneous ideals in $\mathbb {F}_d$ with closed homogeneous ideals in $A_d$ , we recover a bijective correspondence, as we will show below.

Letting now H be a Hilbert space of dimension d, and given a homogeneous closed ideal $J \subseteq A_d$ , the identification of $A_d$ as a subspace of the full Fock $\mathcal {F}(H)$ space given in (2.1) allows us to define $X^J = (X^J_n)_{n=0}^\infty $ by

$$\begin{align*}X^J_n = H^{\otimes n} \ominus \{f_n \in J : f_n \textrm{ is } n\textrm{-homogeneous} \}. \end{align*}$$

Conversely, given a subproduct system $X = (X_n)_{n=0}^\infty $ with $X_1 = H$ , we can define $J_X \subseteq A_d$ with the help of the orthogonal complement

$$\begin{align*}J_X = \overline{\sum_{n=0}^\infty H^{\otimes n} \ominus X_n}^{\|\cdot\|_\infty}. \end{align*}$$

Proposition 2.7 The correspondence $J \longmapsto X^J$ is a bijective correspondence between norm-closed homogeneous ideals in $A_d$ and subproduct systems $X = (X_n)_{n=0}^\infty $ with $X_1 \subseteq H$ . The inverse of $J \longmapsto X^J$ is given by $X \longmapsto J_X$ .

Proof Indeed, if J is a homogeneous ideal, then for all homogeneous functions $f \in J$ and $g \in A_d$ , we have $f g \in J$ and $g f \in J$ . Using closedness of J, this translates to

$$\begin{align*}(X^J_m)^\perp \otimes H^{\otimes n} \cup H^{\otimes m} \otimes (X^J_n)^\perp \subseteq (X^J_{m+n})^\perp = J_{m+n}, \end{align*}$$

which implies

$$\begin{align*}X^J_{m+n} \subseteq X^J_m \otimes X^J_n. \end{align*}$$

Conversely, if X is a subproduct system, then every n-homogeneous element $f \in J_X$ satisfies, for every m-homogeneous polynomial $g \in \mathbb {F}_d$ ,

$$\begin{align*}gf \cong g \otimes f \in H^{\otimes m} \otimes X_n^\perp \subseteq X_{m+n}^\perp \subseteq J_X\end{align*}$$

(and likewise from the right) and an approximation argument gives that $J_X$ is an ideal.

Using Proposition 1.3, these two operations are seen to be mutual inverses of each other.

Example 2.8 Let $X = \left (X_n\right )_{n=0}^\infty $ be the symmetric product system that was described in Example 1.5, that is, $X_n =$ the symmetric product of H with itself n-times where H is some fixed Hilbert space. Then the corresponding ideal $J_X$ is the commutator ideal in $A_d$ , which is equal to the closed ideal generated by the noncommutative polynomials $z_i z_j - z_j z_i$ for all $i,j=1, \ldots , d$ (details can be extracted from [Reference Davidson and Pitts12, Proposition 2.4]). Every subproduct subsystem of X then corresponds to a homogeneous ideal in $A_d$ that contains the commutator ideal. When $d<\infty $ , every such subproduct subsystem corresponds to a homogeneous ideal in the algebra $\mathbb {C}[x_1, \ldots , x_d]$ of polynomials in d commuting variables (see [Reference Davidson, Ramsey and Shalit13, Section 2.3]).

Example 2.9 In dynamical systems, subshifts are a class of symbolic dynamical systems that have been thoroughly investigated [Reference Brin and Stuck7]. Given a subshift, one can construct a subproduct system X that encodes the subshift (see [Reference Shalit and Solel36, Section 12]). The associated ideal $J_X$ is then the monomial ideal generated by the monomials (in noncommuting variables) corresponding to all forbidden words for the subshift. In this case, the shift operators on the X-Fock space are the basic ingredients in the construction of Matsumoto’s subshift C*-algebras [Reference Matsumoto24]; these subproduct systems and their algebras were studied extensively in [Reference Kakariadis and Shalit22].

3 Representations of tensor algebras

In this section, we use the following notation: X will be a subproduct system, $d = \dim X_1$ , we will assume that there is some fixed orthonormal basis $(e_i)_{i \in \Lambda }$ for $H := X_1$ , and we will write $S = (S_i)_{i \in \Lambda }$ for the X-shift restricted to the orthonormal basis, that is, $S_i = S(e_i)$ .

3.1 Universality of tensor algebras

The noncommutative disk algebra ${\mathfrak {A}}_d$ [Reference Popescu28] is the tensor algebra of the full subproduct system that is the full product system over a Hilbert space H with $\dim H = d$ (see Example 1.4). For this algebra, we have a noncommutative functional calculus [Reference Popescu27]: for every row contraction $T = (T_i)_{i \in \Lambda }$ with $|\Lambda |=d$ , there exists a unital completely contractive homomorphism $f \mapsto f(T)$ from ${\mathfrak {A}}_d$ into the unital closed operator algebra $\overline {\operatorname {alg}}(T)$ generated by T, that maps $L_i = S(e_i)$ to $T_i$ . When thinking of ${\mathfrak {A}}_d$ as $A_d = A({\mathfrak {B}}_d)$ , the noncommutative functional calculus when applied to $T \in \overline {{\mathfrak {B}}}_d$ corresponds to evaluating f at the point T, and it allows us to think of ${\mathfrak {A}}_d$ (or $A_d$ ) as an algebra of functions defined on row contractions in all dimensions. This functional calculus gives the full shift L the role of a universal row contraction.

The functional calculus allows us to say that a row contraction T annihilates an ideal $J \triangleleft {\mathfrak {A}}_d$ if $f(T) = 0$ for all $f \in J$ . The X-shift of a subproduct system X is a universal row contraction that annihilates $J_X$ . The following is known, and can be dug out of the literature (e.g., [Reference Popescu29] or [Reference Shalit and Solel36]), but unfortunately it does not appear precisely in the form we need.

Proposition 3.1 Let X be a subproduct system, let $J = J_X$ be the corresponding closed homogeneous ideal in ${\mathfrak {A}}_d$ , where $d = \dim X_1$ , and let $(e_i)_{i \in \Lambda }$ be an orthonormal basis for $X_1$ . For every unital completely contractive representation $\pi : \mathcal {A}_X \to B(K)$ , the d-tuple $T = (T_i)_{i \in \Lambda } \in B(K)^\Lambda $ given by $T_i = \pi (S(e_i))$ is a row contraction that annihilates J. Conversely, every row contraction $T = (T_i)_{i \in \Lambda } \in B(K)^\Lambda $ that annihilates J determines a unique unital completely contractive representation $\pi : \mathcal {A}_X \to B(K)$ given by $\pi (S_i) = T_i$ .

Proof This is known, but we take a moment to track down the references. In the case $d<\infty $ , this follows from Popescu’s constrained dilation theory and von Neumann inequality [Reference Popescu29, Section 2] (see also the variant in [Reference Shalit and Solel36, Section 8]). To treat arbitrary d, one can note that the methods of the noncommutative Poisson transform extend to infinite dimensions, but we can alternatively appeal to the (also known) fact that the unital completely contractive representations of a tensor algebra are in one-to-one correspondence with so-called representations of the subproduct system X (see [Reference Viselter40, Corollary 2.16]), where this is proved in the greatest generality. The representations of a subproduct system X are precisely the row contractions annihilating $J_X$ – this is the content of [Reference Shalit and Solel36, Theorem 7.5]. Note carefully that while that theorem is stated for arbitrary d, it is stated only for a polynomial ideal; however, the proof of that theorem does work for general closed ideals in ${\mathfrak {A}}_d$ with essentially no change.

Theorem 3.2 Let X be a subproduct system, and let $J = J_X$ be the corresponding closed homogeneous ideal in ${\mathfrak {A}}_d$ . Then the compression map $f \mapsto P_{\mathcal {F}_X} f \big |_{\mathcal {F}_X}$ has kernel J and induces a completely isometric isomorphism of ${\mathfrak {A}}_d /J$ onto $\mathcal {A}_X = P_{\mathcal {F}_X} {\mathfrak {A}}_d \big |_{\mathcal {F}_X}$ .

Proof The compression of $L = (L_i)_{i \in \Lambda }$ is $S = (S_i)_{i\in \Lambda }$ , and so we obtain a completely contractive homomorphism $\pi : {\mathfrak {A}}_d \to \mathcal {A}_X$ that sends a polynomial $p(L)$ in L to a polynomial $p(S)$ in S. The functional calculus maps $f \in {\mathfrak {A}}_d$ to $f(S) \in \mathcal {A}_X$ , and $f(S) = 0$ if and only if $f \in J$ . Thus, $\ker \pi = J$ , and $\pi $ induces a completely contractive homomorphism $\overline {\pi } : {\mathfrak {A}}_d / J \to \mathcal {A}_X$ . But now letting $\dot {L} = (\dot {L}_i)_{i \in \Lambda }$ be the image of L in the quotient, we have that $\dot {L}$ is a row contraction that annihilates J. By Proposition 3.1, there is a completely contractive unital homomorphism $\mathcal {A}_X \to {\mathfrak {A}}_d/J$ such that $S_i \mapsto \dot {L}_i$ . It follows that $\overline {\pi }$ must be a completely isometric isomorphism. Finally, since the range of $\overline {\pi }$ is equal, on the one hand, to $\mathcal {A}_X$ , while on the other hand it is equal to the range of the compression map $\pi $ , we have $\mathcal {A}_X = P_{\mathcal {F}_X} {\mathfrak {A}}_d \big |_{\mathcal {F}_X}$ .

Alternatively, the above theorem could also be proved by using a commutant lifting approach or the distance formula $d(T,J) = \|P_{\mathcal {F}_X} T \big |_{\mathcal {F}_X}\|$ and its matrix-valued variant (see [Reference Arias and Popescu3, Reference Davidson and Pitts11]; cf. [Reference Salomon, Shalit and Shamovich31, Proposition 9.7]), and then one could deduce Proposition 3.1 from the theorem.

3.2 Finite-dimensional representability of tensor algebras

For an operator algebra, we let $\operatorname {Rep}_{\mathrm {fin}}(\mathcal {B})$ denote the space of all unital completely contractive finite-dimensional representations of $\mathcal {B}$ . Proposition 3.1 implies that $\operatorname {Rep}_{\mathrm {fin}}(\mathcal {A}_X)$ can be identified with the homogeneous nc variety

$$\begin{align*}\overline{V}(J_X) := \{X \in \overline{{\mathfrak{B}}}_d : f(X) = 0 \text{ for all } f \in J_X\}, \end{align*}$$

where the identification is given by

$$\begin{align*}\operatorname{Rep}_{\mathrm{fin}}(\mathcal{A}_X) \ni \rho \longleftrightarrow (\rho(S_i))_{i \in \Lambda} \in \overline{V}(J_X) \end{align*}$$

and

$$\begin{align*}\overline{V}(J_X) \ni X \longleftrightarrow \rho_X \in \operatorname{Rep}_{\mathrm{fin}}(\mathcal{A}_X), \end{align*}$$

where $\rho _X$ is the representation mapping $S_i$ to $X_i$ . Every element $a \in \mathcal {A}_X$ can be considered as a function on $\operatorname {Rep}_{\mathrm {fin}}(\mathcal {A}_X)$ in the usual way $\hat {a}(\rho ) = \rho (a)$ , and the above identification gives a as a function, which is also denoted by $\hat {a}$ , on $\overline {V}(J_X)$ . Let us call the map $a \mapsto \hat {a}$ the restriction map. Note that $\hat {a} \in A(\overline {V}(J_X))$ , that is, $\hat {a}$ is a uniformly continuous nc function on $\overline {V}(J_X)$ . Our goal in this section is to understand the extent to which the restriction map

$$ \begin{align*} \mathcal{A}_X \to A(\overline{V}(J_X)), \quad a \mapsto \hat{a}, \end{align*} $$

is faithful.

Definition 3.3 An operator algebra $\mathcal {B}$ is said to be residually finite dimensional (RFD) if for every $b \in M_n(\mathcal {B})$

$$\begin{align*}\|b\| = \sup\left\{\left\|\pi^{(n)}(b)\right\| : \pi \in \operatorname{Rep}_{\mathrm{fin}}(\mathcal{B})\right\}. \end{align*}$$

Theorem 3.4 Let $J \triangleleft {\mathfrak {A}}_d$ be a homogeneous ideal, and let $X = X^J$ be the corresponding subproduct system. The restriction map $\mathcal {A}_X \to A(\overline {V}(J))$ is a complete quotient map. Moreover, the following are equivalent:

  1. (1) The ideal J satisfies the Nullstellensatz.

  2. (2) The restriction map $\mathcal {A}_X \to A(\overline {V}(J))$ is injective.

  3. (3) The restriction map $\mathcal {A}_X \to A(\overline {V}(J))$ is a completely isometric isomorphism.

  4. (4) $\mathcal {A}_X$ is RFD.

Proof By Theorem 3.2, the compression map induces a completely isometric isomorphism $\mathfrak {A}_d / J \cong \mathcal {A}_X$ . On the other hand, [Reference Salomon, Shalit and Shamovich31, Proposition 9.7] shows that restriction to $\overline {V}(J)$ induces a completely isometric isomorphism $\mathfrak {A}_d / I(\overline {V}(J)) \cong A(\overline {V}(J))$ . Moreover, we have a commuting diagram

where the top row is the restriction map and the bottom row is the natural quotient map. In particular, we see that the restriction map $\mathcal {A}_X \to A(\overline {V}(J))$ is always a complete quotient map.

As for the equivalent conditions, we first observe that $I(V(J)) = I(\overline {V}(J))$ . Thus, J satisfies the Nullstellensatz if and only if $J = I(\overline {V}(J))$ . By the previous paragraph, this happens if and only if the restriction map is injective. Furthermore, since the restriction map is always a complete quotient map, injectivity is equivalent to being completely isometric. Hence, (1) $\Longleftrightarrow $ (2) $\Longleftrightarrow $ (3). Finally, the equivalence $(3) \Longleftrightarrow (4)$ follows immediately from the identification $\operatorname {Rep}_{\mathrm {fin}}(\mathcal {A}_X) \cong \overline {V}(J_X)$ .

Remark 3.5 The algebra $A(\overline {V}(J))$ is a quotient of $\mathcal {A}_X$ and is always RFD. Moreover, every finite-dimensional representation of $\mathcal {A}_X$ factors through $A(\overline {V}(J))$ because of the identification $\operatorname {Rep}_{\mathrm {fin}}(\mathcal {A}_X) \cong \overline {V}(J)$ . Thus, whenever $\pi : \mathcal {A}_X \to \mathcal {B}$ is a complete quotient map onto another RFD algebra $\mathcal {B}$ , then $\pi $ factors through a complete quotient map $A(\overline {V}(J)) \to \mathcal {B}$ . In this sense, $A(\overline {V}(J))$ is the largest RFD quotient of $\mathcal {A}_X$ .

In [Reference Salomon, Shalit and Shamovich31, Theorem 9.5], it was shown that under the assumption that $d< \infty $ , every homogeneous closed ideal satisfies the Nullstellensatz. In the next theorem, we record the fact that if an ideal J is generated by homogeneous polynomials involving only finitely many variables, then J satisfies the Nullstellensatz. The next theorem also gives another sufficient condition that works in the case $d = \infty $ , namely that the ideal is generated by monomials. Monomial ideals are a special class of ideals, but it is worth recalling that subproduct systems associated with monomial ideals give rise to many operator algebras including Cuntz–Krieger and subshift C*-algebras [Reference Kakariadis and Shalit22].

Theorem 3.6 If a closed homogeneous ideal in $J \triangleleft A_d$ is generated by monomials or if there exists a finite subset $\Lambda ' \subseteq \Lambda $ such that J is generated by homogeneous polynomials in the variables $(z_i)_{i \in \Lambda '}$ , then

$$\begin{align*}J = I(V(J)). \end{align*}$$

Proof Clearly, $J \subseteq I(V(J))$ . On the other hand, if $f \in A_d \setminus J$ , then at least one of the homogeneous components $f_n \notin J$ . It suffices to show that $f_n \notin I(V(J))$ , and we now relabel $f_n$ as f and remember that it is homogeneous of degree n. Now, we consider the subproduct system $X = X_J$ and we form the space $\mathcal {E} = X_0 \oplus X_1 \oplus \cdots \oplus X_n$ . Let $1$ denote the copy of $1$ in $X_0 = \mathbb {C}$ . For any $r<1$ , the compression Y of $(r S(e_i))_{i \in \Lambda }$ to $\mathcal {E}$ is a strict row contraction such that $f(Y) 1 \neq 0$ , while $g(Y) = 0$ for all $g \in J$ . Now, if $\mathcal {E}$ happened to be finite-dimensional, then we have $Y \in V(J)$ , while $f(Y) \neq 0$ , and thus $f \notin I(V(J))$ and the proof would be complete (this is precisely how the proof for the case $d < \infty $ works). In general, we cannot yet conclude that $Y \in V(J)$ , because the space $\mathcal {E}$ that Y is acting on might be infinite-dimensional.

We overcome this difficulty as follows. The function $f \notin J$ that we are considering might not be a polynomial, but it is the limit in the norm of homogeneous polynomials of degree n. Now, let $\epsilon> 0$ be such that $\epsilon < \frac {\|f(Y)1\|}{3}$ and find a homogeneous polynomial p such that $\|p-f\|_\infty <\epsilon $ .

Assume first that J is generated by monomials. Let $(z_i)_{i \in \Lambda '}$ be the coordinate functions that appear in p, and let $\mathcal {F} \subseteq \mathcal {E}$ be the subspace spanned by $q(Y)1$ for all noncommutative polynomials q in the variables $\{z_i\}_{i \in \Lambda '}$ of degree less than or equal to n. Let $Z = (Z_i)_{i \in \Lambda } $ be the tuple defined such that $Z_i$ is equal to the compression of $Y_i$ to $\mathcal {F}$ for $i \in \Lambda '$ and $Z_i = 0_{\mathcal {F}}$ for $i \in \Lambda \setminus \Lambda '$ .

We claim that $Z \in V(J)$ . First, Z is a strict row contraction and it is acting on the finite-dimensional space $\mathcal {F}$ . Next, for every monomial $g \in J$ , either g involves only the variables $(z_i)_{i \in \Lambda '}$ , in which case $g(Z) = g(Y)\big |_{\mathcal {F}} = 0$ , or else g involves one of the variables $z_i$ for $i \in \Lambda \setminus \Lambda '$ , in which case $g(Z) = 0$ .

Finally, we show that $f(Z) \neq 0$ , establishing that $f \notin I(V(J))$ . For this, note that

$$ \begin{align*} \|f(Z)1\| &\geq \|p(Z)1\| - \|p(Z)1 - f(Z)1\| \\ &> \|p(Y)1\| - \epsilon \\ &\geq \|f(Y)1\| - \|f(Y)1-p(Y)1\| - \epsilon \\ &> \frac{\|f(Y)1\|}{3} > 0, \end{align*} $$

as required.

If J is generated by homogeneous polynomials in the variables $(z_i)_{i \in \Lambda '}$ for a finite set $\Lambda ' \subseteq \Lambda $ , enlarge $\Lambda '$ so that p is also a polynomial in $(z_i)_{i \in \Lambda '}$ and define $\mathcal {F}$ and Z as above. A similar argument then shows that $Z \in V(J)$ , but $f(Z) \neq 0$ , so that $f \notin I(V(J))$ .

Example 3.7 Let J be the commutator ideal in $A_d$ (see Example 2.8) for $d = \aleph _0$ . Then J does not meet the requirements of Theorem 3.6. Nevertheless, it does satisfy the Nullstellensatz. One can show this directly by appealing to [Reference Davidson and Pitts12, Proposition 2.4]. Alternatively, note that in this case, the corresponding X-Fock space for $X = X^J$ is the symmetric Fock space. Therefore, $\mathcal {A}_X$ is an algebra of multipliers on a reproducing kernel Hilbert space, so it is RFD. By Theorem 3.4, $I(V(J)) = J$ .

3.3 Failure of the Nullstellensatz

In this section, we exhibit a closed homogeneous ideal $J \triangleleft \, {\mathfrak {A}}_d$ that does not satisfy the Nullstellensatz. Consequently, if $X = X^J$ is the corresponding subproduct system, then the tensor algebra $\mathcal {A}_X$ is not RFD and cannot be represented as an algebra of uniformly continuous nc functions on $V(J)$ .

We will work with $d = \aleph _0$ , and simply write $d = \infty $ . It will be natural to work in the setting of nc functions; thus, we identify the Fock space $\mathcal {F}(H)$ with the nc Drury-Arveson space $\mathcal {H}^2_\infty $ , and we identify ${\mathfrak {A}}_\infty $ with the subspace $A_\infty $ of $\mathcal {H}^2_\infty $ consisting of uniformly continuous functions on ${\mathfrak {B}}_\infty $ .

Proposition 3.8 There exists a closed homogeneous ideal $J \subseteq {\mathfrak {A}}_\infty $ such that $J \subsetneq I(V(J))$ .

Proof Let $f(z) = \sum _{n=1}^\infty 2^{-n} z_n^2$ , let $M = \mathcal {H}^2_\infty (2) \ominus \mathbb {C} f$ , and let J be the closed ideal of ${\mathfrak {A}}_\infty $ generated by M. Notice that the degree $2$ part of J is simply $J_2 = M$ . In particular, $f \notin J$ .

We will show that $\mathcal {H}^2_\infty (2) \subseteq I(V(J))$ , which in particular implies that $f \in I(V(J))$ . To this end, we observe that:

  1. (1) $z_i z_j \in J$ whenever $i \neq j$ and

  2. (2) $2 z_{n+1}^2 - z_n^2 \in J$ for all $n \in \mathbb {N}$ .

Suppose now that $T = (T_1,T_2,\ldots ) \in V(J)$ . Since the entries of T are elements of a finite-dimensional vector space, they must be linearly dependent. Thus, there exist $k \in \mathbb {N}$ and scalars $\lambda _j \in \mathbb {C}$ , all but finitely many of which are zero, such that

$$ \begin{align*} T_k = \sum_{j \neq k} \lambda_j T_j. \end{align*} $$

Multiplying this relation with $T_k$ from the left and using (1) above, we find that

$$ \begin{align*} T_k^2 = \sum_{j \neq k} \lambda_j T_k T_j = 0. \end{align*} $$

Relation (2) above then implies that $T_n^2 = 0$ for all $n \in \mathbb {N}$ . In combination with (1), this implies that $\mathcal {H}^2_\infty (2) \subseteq I(V(J))$ , as desired.

Remark 3.9

  1. (a) The example constructed in the proof of Proposition 3.8 is in fact commutative, as Relation (1) in the proof shows.

  2. (b) Let J be the ideal constructed in the proof of Proposition 3.8. It follows from (1) and (2) in the proof that $\mathcal {H}^2_\infty (3) \subseteq J$ . Hence, the X-shift associated with J is jointly nilpotent of order $3$ . The proof shows that any row contractive tuple of matrices satisfying the relations in J is nilpotent of order $2$ .

4 Classification by subproduct systems

4.1 Reduction of the isomorphism problem to existence of graded maps

In this subsection, we recall known results about the isomorphism problem for tensor algebras of subproduct systems, results which allow one to restrict attention to graded maps.

Recall the maps $\Phi _n : \mathcal {A}_X \to \mathcal {A}_X^{(n)}$ from Proposition 1.3.

Definition 4.1 The vacuum state is the homomorphism $\Phi _0 \colon \mathcal {A}_X \to \mathcal {A}_X^{(0)} = \mathbb {C}$ . A homomorphism $\varphi \colon \mathcal {A}_X \to \mathcal {A}_Y$ is said to be vacuum-preserving if $\varphi ^*$ takes the vacuum state of $\mathcal {A}_Y$ to the vacuum state of $\mathcal {A}_X$ (here, $\varphi ^*$ denotes the adjoint map $\varphi ^* (f) = f \circ \varphi $ ), and it is said to be graded if $\varphi (\mathcal {A}_X^{(n)}) \subseteq \mathcal {A}_Y^{(n)}$ for all $n \in \mathbb {N}$ .

In [Reference Dor-On and Markiewicz14, Section 6], Dor-On and Markiewicz reduced a general form of Problem 1.7 to the problem of whether the existence of an isomorphism implies the existence of a vacuum preserving isomorphism.

Proposition 4.2 (Propositions 6.12, 6.17, and 6.18 and Corollary 6.13 in [Reference Dor-On and Markiewicz14])

Let X and Y be subproduct systems. The following are equivalent:

  1. (1) There exists a vacuum-preserving bounded isomorphism $\varphi \colon \mathcal {A}_X \to \mathcal {A}_Y$ .

  2. (2) There exists a vacuum-preserving completely bounded isomorphism $\varphi \colon \mathcal {A}_X \to \mathcal {A}_Y$ .

  3. (3) There exists a similarity $W \colon X \to Y$ .

Also, the following are equivalent:

  1. (1) There exists a vacuum-preserving isometric isomorphism $\varphi \colon \mathcal {A}_X \to \mathcal {A}_Y$ .

  2. (2) There exists a vacuum-preserving completely isometric isomorphism $\varphi \colon \mathcal {A}_X \to \mathcal {A}_Y$ .

  3. (3) There exists an isomorphism $W \colon X \to Y$ .

Let us say a few words about the proof of Proposition 4.2. We indicated right after Definition 1.6 how a similarity/isomorphism between the subproduct systems gives rise to a completely bounded/isometric isomorphism between the tensor algebras. Conversely, assume first that we have a graded bounded isomorphism $\varphi \colon \mathcal {A}_X \to \mathcal {A}_Y$ . In this case, one can check that the “restriction” of $\varphi $ to $\mathcal {A}_X^{(n)} \cong X_n$ defines maps $V_n : X_n \to Y_n$ , in other words

$$\begin{align*}V_n \colon x \in X_n \mapsto S^{-1}(\varphi(S(x)) \in Y_n , \end{align*}$$

and that these maps assemble to form a similarity of subproduct systems [Reference Dor-On and Markiewicz14, Proposition 6.12]. Furthermore, by Proposition 1.3, if $\varphi $ is isometric, then V is an isomorphism of subproduct systems.

If $\varphi $ is not necessarily graded, but merely vacuum-preserving, then one can show that $\varphi $ can be modified to a graded isomorphism $\tilde {\varphi }$ by “dropping higher-order terms,” that is,

$$\begin{align*}\tilde{\varphi}\big|_{\mathcal{A}_X^{(n)}} = \Phi_n \circ \varphi\big|_{\mathcal{A}_X^{(n)}}. \end{align*}$$

See Propositions 6.18 and 6.19 in [Reference Dor-On and Markiewicz14] (this modification is needed for the case of bounded isomorphism; a vacuum-preserving isometric isomorphism is already graded; see [Reference Shalit and Solel36, Theorem 9.7]).

Thus, the isomorphism problem will be settled once we show that the existence of an isomorphism implies the existence of a vacuum-preserving isomorphism.

Remark 4.3 The reader might wonder whether the notions of “isomorphic” and “similar” subproduct systems are actually different. The answer is yes. The tensor algebras corresponding to commutative, radical ideals in the case $d < \infty $ (see Example 2.8) have been completely classified in terms of the geometry of the zero sets of the ideals in [Reference Davidson, Ramsey and Shalit13, Reference Hartz19], and by using this result (together with Theorem 1.8), it is easy to exhibit examples of similar but not isomorphic subproduct systems. For example, it follows that if the zero sets of the ideals $J_X$ and $J_Y$ are both equal to a union of two complex lines, then X and Y are similar, while X and Y are isomorphic only when one zero set is the image of the other zero set under a unitary.

It is often technically more tractable to classify subproduct systems than to classify the operator algebras, and this is part of the motivation for the formulation of the isomorphism problem. For example, within the class of subproduct systems corresponding to subshifts (Example 2.9), it was shown in [Reference Kakariadis and Shalit22, Theorem 9.2] that algebraic isomorphism of the tensor algebras is equivalent to completely isometric isomorphism of the tensor algebras; this is most readily seen by showing that, in this context, similarity of the subproduct systems implies isomorphism of the subproduct systems (see [Reference Kakariadis and Shalit22, Remark 9.4]).

4.2 The disk trick

Let X and Y be two subproduct systems. We will show that the tensor algebras $\mathcal {A}_X$ and $\mathcal {A}_Y$ are isometrically isomorphic if and only if X is isomorphic to Y, and that $\mathcal {A}_X$ and $\mathcal {A}_Y$ are completely boundedly isomorphic if and only if X is similar to Y. As explained in Section 4.1, Proposition 4.2 reduces our task to showing that if there exists an isometric or a completely bounded isomorphism $\varphi : \mathcal {A}_X \to \mathcal {A}_Y$ , then there is a vacuum-preserving one. Showing how isomorphisms give rise to vacuum-preserving ones can be achieved using a technique that has come to be known as “the disk trick” (see [Reference Shalit34]), which becomes available after one shows that the induced map $\varphi ^*$ between the character spaces sends a disk to a disk. In [Reference Davidson, Ramsey and Shalit13], this was shown using ideas from elementary algebraic geometry, but it is not clear whether these methods extend to the infinite-dimensional case. A different approach for showing that $\varphi ^*$ maps a disk to a disk was introduced in [Reference Hartz20] to treat certain weighted tensor algebras with finite-dimensional fibers; this approach is very general and can be adapted to the infinite-dimensional setting.

Since the following two lemmas are of independent interest and are applicable in a wider scope, it will be convenient for us to somewhat change our notation as follows. If $\mathcal {E}$ is a Hilbert space, we let $B_1(\mathcal {E})$ denote the open unit ball of $\mathcal {E}$ . A nonempty subset $A \subseteq B_1(\mathcal {E})$ is said to be homogeneous if $x \in A$ implies ${\mathbb {C} x \cap B_1(\mathcal {E}) \subseteq A}$ (cf. the definition of homogeneous set right after Definition 2.4). Clearly, every homogeneous set contains the origin. For every $\lambda \in \mathbb {T}$ , let $U_\lambda : \mathcal {E} \to \mathcal {E}$ denote the gauge transformation $z \mapsto \lambda z$ . Clearly, a homogeneous subset $A \subseteq B_1(\mathcal {E})$ is invariant under the gauge transformations. We require the following ad hoc definition.

Definition 4.4 Let $\mathcal {E},\mathcal {F}$ be Hilbert spaces, and let $A \subseteq \mathcal {E}$ be a homogeneous set. A map $F: A \to \mathcal {F}$ is said to be holomorphic if for all $x \in A \setminus \{0\}$ and all $y \in \mathcal {F}$ , the function

$$ \begin{align*} \mathbb{D} \to \mathbb{C}, \quad t \mapsto \Big \langle F \Big( t \frac{x}{\|x\|} \Big) , y \Big\rangle, \end{align*} $$

is holomorphic. A biholomorphism is a bijective holomorphic map with holomorphic inverse.

We begin with the following standard adaptation of the maximum modulus principle and the Schwarz lemma, which is a slight generalization of Lemmas 9.1 and 9.2 in [Reference Hartz20]. The proof carries over almost verbatim.

Lemma 4.5 Let $A \subseteq B_1(\mathcal {E})$ be homogeneous, and let $F: A \to \overline {B_1(\mathcal {F})}$ be a holomorphic map.

  1. (a) If F is not constant, then $\|F(z)\| < 1$ for all $z \in A$ .

  2. (b) Suppose that $F(0) = 0$ . Then $\|F(z)\| \le \|z\|$ for all $z \in A$ . If equality holds for some $z \neq 0$ , then

    $$ \begin{align*} F \Bigg( t \frac{z}{\|z\|} \Bigg) = t \frac{F(z)}{\|F(z)\|} \quad \text{ for all } t \in \mathbb{D}. \end{align*} $$

Proof In both cases, we may assume that $A \neq \{0\}$ .

(a) Suppose that $\|F(w)\| = 1$ for some $w \in A$ . We first show that $F(0) = F(w)$ , for which we may assume that $w \neq 0$ . Then the holomorphic function

$$ \begin{align*} \mathbb{D} \to \overline{\mathbb{D}}, \quad t \mapsto \Big \langle F \Big( t \frac{w}{\|w\|} \Big), F(w) \Big \rangle, \end{align*} $$

maps $\|w\|$ to $1$ and hence is identically $1$ by the maximum modulus principle. Thus, equality holds in the Cauchy–Schwarz inequality, so $F( t \frac {w}{\|w\|}) = F(w)$ for all $t \in \mathbb {D}$ , and in particular $F(0) = F(w)$ .

Next, if $z \in A \setminus \{0\}$ is arbitrary, we apply the maximum modulus principle and the equality case of the Cauchy–Schwarz inequality to

$$ \begin{align*} \mathbb{D} \to \overline{\mathbb{D}}, \quad t \mapsto \Big \langle F \Big( t \frac{z}{\|z\|} \Big), F(0) \Big \rangle, \end{align*} $$

to find that $F(t \frac {z}{\|z\|}) = F(0)$ for all $t \in \mathbb {D}$ ; hence $F(z) = F(0)$ . Therefore, F is constant.

(b) Let $z \in A \setminus \{0\}$ and assume that $F(z) \neq 0$ . The Schwarz lemma shows that the function

$$ \begin{align*} f: \mathbb{D} \to \overline{\mathbb{D}}, \quad t \mapsto \Big \langle F \Big( t \frac{z}{\|z\|} \Big), \frac{F(z)}{\|F(z)\|} \Big\rangle, \end{align*} $$

satisfies $|f(t)| \le |t|$ for all $t \in \mathbb {D}$ . The first statement follows by taking $t = \|z\|$ .

If $\|F(z)\| = \|z\|$ , then $f(\|z\|) = \|z\|$ ; hence, f is the identity on $\mathbb {D}$ by the equality case in the Schwarz lemma. Since $\|F(t \frac {z}{\|z\|})\| \le |t|$ for all $t \in \mathbb {D}$ by the first part, we also have equality in the Cauchy–Schwarz inequality, so $F(t \frac {z}{\|z\|}) = t \frac {F(z)}{\|F(z)\|}$ for all $t \in \mathbb {D}$ .

The following result will allow the reduction to the vacuum preserving case.

Lemma 4.6 Let $\mathcal {E},\mathcal {F}$ be Hilbert spaces, let $A \subseteq B_1(\mathcal {E})$ and $B \subseteq B_1(\mathcal {F})$ be homogeneous sets, and let $F: A \to B$ be a biholomorphism. Then there exist $\lambda , \mu \in \mathbb {T}$ such that

$$ \begin{align*} F \circ U_\lambda \circ F^{-1} \circ U_\mu \circ F : A \to B \end{align*} $$

maps $0$ to $0$ .

Proof We may assume that $F(0) \neq 0$ , and define $b = F(0)$ and $a = F^{-1}(0)$ . In the first step, we show that F maps the disk $(\mathbb {C} a) \cap A \subseteq B_1(\mathcal {E})$ onto the disk $(\mathbb {C} b) \cap B \subseteq B_1(\mathcal {F})$ . To this end, let

$$ \begin{align*} f: \mathbb{D} \to B, \quad t \mapsto F \Bigg( t \frac{a}{\|a\|} \Bigg), \end{align*} $$

and let $\theta $ be a biholomorphic automorphism of $\mathbb {D}$ mapping $0$ to $\|a\|$ and vice versa. Lemma 4.5 (b), applied to $h = f \circ \theta $ , shows that

$$ \begin{align*} \|b\| = \|h(\|a\|)\| \le \|a\|. \end{align*} $$

By symmetry, $\|a\| \le \|b\|$ , so equality holds. The second part of Lemma 4.5 (b) now shows that h maps $\mathbb {D}$ onto $(\mathbb {C} b) \cap B_1(\mathcal {F})$ . Hence, F maps $(\mathbb {C} a) \cap B_1(\mathcal {E})$ onto $(\mathbb {C} b) \cap B_1(\mathcal {F})$ , which completes the proof of the first step.

Now, that we know that F maps the disk $D_1 = (\mathbb {C} a) \cap A$ onto the disk $D_2 = (\mathbb {C} b) \cap B$ , the known versions of the disk trick yield the result (see [Reference Davidson, Ramsey and Shalit13, Proposition 4.7], [Reference Hartz20, Lemmas 9.5 and 9.6], or [Reference Shalit34]). For completeness, we repeat the argument. Assume that $F(0) \neq 0$ , for otherwise there is nothing to prove. Define

$$\begin{align*}C = \{U_\mu \circ F (0) : \mu \in \mathbb{T}\} \subseteq D_2, \end{align*}$$

a circle centered at $0$ with radius $\|F(0)\|$ . Then $F^{-1}(C) \subseteq D_1$ is a circle the passes through $0$ , with $F^{-1}(0)$ in its interior. Rotate $F^{-1}(C)$ until its boundary hits $F^{-1}(0)$ and voilà – we have found $\mu , \lambda \in \mathbb {T}$ such that $F^{-1}(0) = U_\lambda \circ F^{-1} \circ U_\mu \circ F(0)$ , or

$$\begin{align*}F \circ U_\lambda \circ F^{-1} \circ U_\mu \circ F(0) = 0. \end{align*}$$

Since A and B are homogeneous and $F : A \to B$ a biholomorphism, we have that $F \circ U_\lambda \circ F^{-1} \circ U_\mu \circ F : A \to B$ is a biholomorphism mapping $0$ to $0$ , as required.

4.3 Classification

We let $\overline {\mathbb {B}}_d$ denote the closed unit ball of a Hilbert space H with $\dim H = d$ . We shall consider some fixed orthonormal basis $\{e_i\}_{i \in \Lambda }$ for H, and use the identification $h \leftrightarrow \left ( \langle h, e_i \rangle \right )_{i \in \Lambda }$ to think of elements in $\overline {\mathbb {B}}_d$ as d-tuples of scalar row contractions. Thus, $\overline {\mathbb {B}}_d$ can be considered as the first level $\overline {{\mathfrak {B}}}_d(1)$ of the closed nc unit ball $\overline {{\mathfrak {B}}}_d$ . Likewise, we let $\mathbb {B}_d$ denote the corresponding open unit ball.

If $J \subseteq A_d$ is an ideal, we let $\overline {Z}(J)$ denote the first level of the nc set $\overline {V}(J)$ , that is,

$$ \begin{align*} \overline{Z}(J) = \{ z \in \overline{\mathbb{B}}_d: f(z) = 0 \text{ for all } f \in J \} \end{align*} $$

is the scalar vanishing locus of J in the closed ball $\overline {\mathbb {B}}_d$ . We also write $Z(J) = \overline {Z}(J) \cap \mathbb {B}_d$ . We endow $\overline {Z}(J)$ with the (relative topology of the) weak topology.

If $\mathcal {B}$ is a Banach algebra, we let $\mathcal {M}(\mathcal {B})$ denote the character space of $\mathcal {B}$ , that is, the space of all nonzero homomorphisms of $\mathcal {B}$ into $\mathbb {C}$ .

Proposition 4.7 Let $J \triangleleft A_d$ be a homogeneous ideal, let $X = X^J$ be the associated subproduct system, and let $\mathcal {A}_X$ be the tensor algebra of X. Then

$$ \begin{align*} \mathcal{M}(\mathcal{A}_X) \to \overline{Z}(J), \quad \chi \mapsto (\chi(S_i))_{i \in \Lambda}, \end{align*} $$

is a homeomorphism.

Proof Let $\Phi $ denote the map in the statement. Since every character of an operator algebra is completely contractive, $\mathcal {M}(\mathcal {A}_X)$ is just the space of unital one-dimensional completely contractive representations; thus, $\Phi $ is a bijection by the discussion in the beginning of Section 3.2. Moreover, $\Phi $ is continuous by definition of the weak- $*$ topology and the fact that weak convergence on bounded sets is equivalent to coordinatewise convergence. Since $\mathcal {M}(\mathcal {A}_X)$ is compact and the weak topology is Hausdorff, it is a homeomorphism.

We now prove that the existence of an isomorphism of a certain type between the tensor algebras implies the existence of a vacuum-preserving isomorphism of the same type. As explained in Section 4.1, this will conclude the proof of Theorem 1.8.

Theorem 4.8 Let $\mathcal {A}_X$ and $\mathcal {A}_Y$ be (isometrically/completely boundedly) isomorphic tensor algebras of subproduct systems. Then there exists a vacuum-preserving (isometric/completely bounded) isomorphism between $\mathcal {A}_X$ and $\mathcal {A}_Y$ .

Proof Let $I,J$ be the homogeneous ideals associated with $X,Y$ , respectively. Let $\varphi : \mathcal {A}_X \to \mathcal {A}_Y$ be an isomorphism. By Proposition 4.7, the adjoint map $\varphi ^* : \chi \mapsto \chi \circ \varphi $ can be regarded as a homeomorphism $\varphi ^*: \overline {Z}(J) \to \overline {Z}(I)$ . Modulo the identification in Proposition 4.7, the adjoint is given by

$$ \begin{align*} \varphi^*(\xi) = (\varphi(S^X_i)(\xi))_{i \in \Lambda}. \end{align*} $$

Indeed, the ith component of $\varphi ^*(\xi )$ is $S^X_i(\varphi ^*(\xi )) = \varphi (S^X_i)(\xi )$ , where we have written $S^X_i = S^X(e_i)$ .

From Section 3.2, we have the continuous restriction map $\mathcal {A}_Y \to A(\overline {V}(J))$ . At the level of scalars, this shows that each element of $\mathcal {A}_Y$ restricts to a function on $Z(J)$ that is a uniform limit of polynomials, hence holomorphic in each disk contained in $Z(J)$ centered at the origin. Hence, $\varphi ^*$ is holomorphic on the homogeneous set $Z(J)$ . In this setting, Lemma 4.5(a) implies that $\varphi ^*$ maps $Z(J)$ onto $Z(I)$ . By symmetry, we find that $\varphi ^*$ is a biholomorphism from $Z(J)$ onto $Z(I)$ . Applying Lemma 4.6 with $A = Z(J), B = Z(I)$ , and $F = \varphi ^*$ , we obtain $\lambda ,\mu \in \mathbb {T}$ so that

(4.1) $$ \begin{align} \varphi^* \circ U_\lambda \circ (\varphi^{-1})^* \circ U_\mu \circ \varphi^* \end{align} $$

maps $0$ to $0$ .

Given $\lambda \in \mathbb {T}$ , let $\Gamma _\lambda $ be the gauge automorphism on $\mathcal {A}_X$ determined uniquely by $\Gamma _\lambda (S^X_i) = \lambda S^X_i$ (the existence of $\Gamma _\lambda $ is guaranteed by Proposition 3.1). We use the same notation for the gauge automorphism on $\mathcal {A}_Y$ . Note that

$$\begin{align*}\Gamma_\lambda^* (\xi) (S^X_i) = \lambda S^X_i (\xi) = \lambda \xi_i = S^X_i (\lambda\xi), \end{align*}$$

whence $\Gamma _\lambda ^* = U_\lambda $ . We find that (4.1) is the adjoint of the map

$$ \begin{align*} \psi := \varphi \circ \Gamma_\mu \circ \varphi^{-1} \circ \Gamma_\lambda \circ \varphi: \mathcal{A}_X \to \mathcal{A}_Y , \end{align*} $$

which is therefore a vacuum-preserving isomorphism. Finally, $\psi $ is isometric if $\varphi $ is, and $\psi $ is a complete isomorphism (completely bounded isomorphism with a completely bounded inverse) if $\varphi $ is.

Acknowledgment

We wish to thank the anonymous referee, whose questions and suggestions made this a better paper.

Footnotes

M. Hartz was partially supported by a GIF grant and by the Emmy Noether Program of the German Research Foundation (DFG Grant No. 466012782). O.M. Shalit is partially supported by the ISF Grant No. 431/20.

References

Agler, J. and McCarthy, J. E., Complete Nevanlinna–Pick kernels . J. Funct. Anal. 175(2000), 111124.CrossRefGoogle Scholar
Agler, J. and McCarthy, J. E., Aspects of non-commutative function theory . Concr. Oper. 3(2016), no. 1, 1524.Google Scholar
Arias, A. and Popescu, G., Noncommutative interpolation and Poisson transforms . Israel J. Math. 115(2000), 205234.CrossRefGoogle Scholar
Arici, F. and Kaad, J., Gysin sequences and $\mathrm{SU}(2)$ -symmetries of C*-algebras . Trans. Lond. Math. Soc. 8(2021), 440492.CrossRefGoogle Scholar
Arveson, W., Subalgebras of C*-algebras III: multivariable operator theory . Acta Math. 181(1998), 159228.CrossRefGoogle Scholar
Bhat, B. V. R. and Mukherjee, M., Inclusion systems and amalgamated products of product systems. Infin. Dimens. Anal. Quantum Probab. Relat. Top. 13(2010), 126.CrossRefGoogle Scholar
Brin, M. and Stuck, G., Introduction to dynamical systems, Cambridge University Press, Cambridge, 2002.CrossRefGoogle Scholar
Chen, X., Dor-On, A., Hui, L., Linden, C., and Zhang, Y., Doob equivalence and non-commutative peaking for Markov chains . J. Noncommut. Geom. 15(2021), 14691484.CrossRefGoogle Scholar
Davidson, K. R., Hartz, M., and Shalit, O. M., Multipliers of embedded discs . Compl. Anal. Oper. Theory 9(2015), 287321.CrossRefGoogle Scholar
Davidson, K. R. and Kakariadis, E. T. A., Conjugate dynamical systems on C*-algebras . Int. Math. Res. Not. IMRN 2014(2014), 12891311.CrossRefGoogle Scholar
Davidson, K. R. and Pitts, D. R., Nevanlinna–Pick interpolation for non-commutative analytic Toeplitz algebras . Integr. Equ. Oper. Theory 31(1998), 321337.CrossRefGoogle Scholar
Davidson, K. R. and Pitts, D. R., The algebraic structure of non-commutative analytic Toeplitz algebras . Math. Ann. 311(1998), 275303.CrossRefGoogle Scholar
Davidson, K. R., Ramsey, C., and Shalit, O. M., The isomorphism problem for some universal operator algebras . Adv. Math. 228(2011), 167218.CrossRefGoogle Scholar
Dor-On, A. and Markiewicz, D., Operator algebras and subproduct systems arising from stochastic matrices . J. Funct. Anal. 267(2014), 10571120.CrossRefGoogle Scholar
Dor-On, A. and Markiewicz, D., C*-envelope of tensor algebras arising from stochastic matrices . Integr. Equ. Oper. Theory 88(2017), no. 2, 185227.CrossRefGoogle Scholar
Gerhold, M. and Skeide, M., Interacting Fock spaces and subproduct systems. Infin. Dimens. Anal. Quantum Probab. Relat. Top. 23(2020), 2050017.CrossRefGoogle Scholar
Gurevich, M., Subproduct systems over $\mathbb{N}\times \mathbb{N}$ . J. Funct. Anal. 262(2012), 42704301.CrossRefGoogle Scholar
Habbestad, E. and Neshveyev, S., Subproduct systems with quantum group symmetry. Preprint, 2021. arXiv:2111.10911 Google Scholar
Hartz, M., Topological isomorphisms for some universal operator algebras . J. Funct. Anal. 263(2012), 35643587.CrossRefGoogle Scholar
Hartz, M., On the isomorphism problem for multiplier algebras of Nevanlinna–Pick spaces . Canad. J. Math. 69(2017), 54106.CrossRefGoogle Scholar
Hartz, M., Embedding dimension of the Dirichlet space . New York J. Math. 28(2022), 154174.Google Scholar
Kakariadis, E. T. A. and Shalit, O. M., Operator algebras of monomial ideals in noncommuting variables . J. Math. Anal. Appl. 472(2019), 738813.CrossRefGoogle Scholar
Katsoulis, E. G. and Ramsey, C., The isomorphism problem for tensor algebras of multivariable dynamical systems. Forum Math. Sigma 10, E81. arXiv:2101.07834 CrossRefGoogle Scholar
Matsumoto, K., On C*-algebras associated with subshifts . Int. J. Math. 8(1997), no. 3, 357374.CrossRefGoogle Scholar
Muhly, P. S. and Solel, B., Tensor algebras over C*-correspondences: representations, dilations and C*-envelopes . J. Funct. Anal. 158(1998), 389457.CrossRefGoogle Scholar
Muhly, P. S. and Solel, B., On the Morita equivalence of tensor algebras . Proc. Lond. Math. Soc. 81(2000), 113168.CrossRefGoogle Scholar
Popescu, G., Functional calculus for noncommuting operators . Michigan Math. J. 42(1995), 345352.CrossRefGoogle Scholar
Popescu, G., Non-commutative disc algebras and their representations . Proc. Amer. Math. Soc. 124(1996), no. 7, 21372148.CrossRefGoogle Scholar
Popescu, G., Operator theory on noncommutative varieties . Indiana Univ. Math. J. 55(2006), 389442.CrossRefGoogle Scholar
Rochberg, R., Is the Dirichlet space a quotient of DAn? In: Functional analysis, harmonic analysis, and image processing: a collection of papers in honor of Björn Jawerth, Contemporary Mathematics, 693, American Mathematical Society, Providence, RI, 2017, pp. 301307.Google Scholar
Salomon, G., Shalit, O. M., and Shamovich, E., Algebras of bounded noncommutative analytic functions on subvarieties of the noncommutative unit ball . Trans. Amer. Math. Soc. 370(2018), 86398690.CrossRefGoogle Scholar
Salomon, G., Shalit, O. M., and Shamovich, E., Algebras of noncommutative functions on subvarieties of the noncommutative ball: the bounded and completely bounded isomorphism problem . J. Funct. Anal. 278(2020), 108427.CrossRefGoogle Scholar
Sarkar, J., Trivedi, H., and Veerabathiran, S., Covariant representations of subproduct systems: invariant subspaces and curvature . New York J. Math. 24(2018), 211232.Google Scholar
Shalit, O. M., The disc trick and some other cute moves. Post in the blog Noncommutative Analysis, 2019. https://noncommutativeanalysis.wordpress.com/2019/10/10/the-disc-trick-and-some-other-cute-moves/.Google Scholar
Shalit, O. M. and Skeide, M., CP-semigroups and dilations; subproduct systems and superproduct systems: the multi-parameter case and beyond . Diss. Math. 585(2023), 1233.Google Scholar
Shalit, O. M. and Solel, B., Subproduct systems . Doc. Math. 14(2009), 801868.CrossRefGoogle Scholar
Shamovich, E., On fixed points of self maps of the free ball . J. Funct. Anal. 275(2018), 422441.CrossRefGoogle Scholar
Vernik, A., Dilations of CP-maps commuting according to a graph . Houst. J. Math. 42(2016), 12911329.Google Scholar
Kaliuzhnyi-Verbovetskyi, D. and Vinnikov, V. Foundations of free noncommutative function theory, Mathematical Surveys and Monographs, 199, American Mathematical Society, Providence, RI, 2014.CrossRefGoogle Scholar
Viselter, A., Covariant representations of subproduct systems . Proc. Lond. Math. Soc. (3) 102(2011), 767800.CrossRefGoogle Scholar
Viselter, A., Cuntz–Pimsner algebras for subproduct systems . Int. J. Math. 23(2012), 1250081.CrossRefGoogle Scholar