arXiv:2104.02130v1 [math.OA] 5 Apr 2021 amncaayi ntecmlxoe ntdisc unit circle open unit complex the on the measures on analysis harmonic ae sacnrbto oti program. this to se contribution algebraic a operator is abstract paper more to generalizations potential ned ti e oli hrceiigcranHletsaecontr space Hilbert certain characterizing [ in calculus tool functional rich key a a admit is it Indeed, algebra hc ednt by denote we which C utetn weak- extend must L omcoe prtragbagnrtdby generated algebra operator closed norm otdb nNECDsoeyGat ...wsprilysup partially was E.J.T. Grant. Discovery fellowship. NSERC an by ported hsi ie ytelf eua ersnaino h remonoid free the of representation regular left the by given is this ler,Cnzalgebra. Cuntz algebra, measure analytic ∗ ( = NLTCFNTOASFRTENON-COMMUTATIVE THE FOR FUNCTIONALS ANALYTIC agbaC( -algebra h lsia nltcmauetermo .adM is sacorner a is Riesz M. and F. of theorem measure analytic classical The e sdsrb u rmwr oepeiey Let precisely. more framework our describe us Let 2010 te in given be can theorem Riesz M. and F. the of formulation Another e od n phrases. and words Key ..wsprilyspotdb nNECDsoeyGat R. Grant. Discovery NSERC an by supported partially was R.C. RAPHA L ahmtc ujc Classification. Subject Mathematics 1 loapyoriest omttv lerso multipliers of algebras spaces. commutative function to strNevanlinna–Pick ideas universal co our so-called and In apply the exist, of also always terms system. in not operator precisely do struction disc extensions such free setting, the classical on functionals analytic olwn ieetitrrtto,w ekweak- sin seek any we have interpretation, cannot different algebra a Cuntz Following naturall the representation on GNS functional the analytic that re show the we this reinterpreting direction, of one upon generalizations setting, develop We non-commutative abs variate R circle. an M. against the and integration on F. as of measure given theorem be non-commu a must the case, functionals univariate annihilate such classical they the that In sense bra. the in analytic are Abstract. L L , . . . , λ esrs–ms l easltl otnoswt epc oLebes to respect with continuous absolutely be all must – measures ∞ [ 23 ( T LCLOU EL ¨ ae4] hsrsl a a nipc noeao hoya well. as theory operator in impact an had has result This 47]. page , λ , T d fcniuu ucin iwdisd h bla o Neumann von abelian the inside viewed functions continuous of ) eoetelf resitatn nteFc space Fock the on acting shift free left the denote ) :aybuddlna ucinlo C( on functional linear bounded any ): h anojcso td nti ae r hs functionals those are paper this in study of objects main The ∗ A otnosyto continuously TE OETT .MRI,ADEWR .TIMKO J. EDWARD AND MARTIN, W. T. ROBERT ATRE, ˆ d ewl ewrigwt aiu te bet generated objects other various with working be will We . nltcfntoas & is hoe,non-commutative theorem, Riesz F&M functionals, Analytic T htanhlt h icagbaA( algebra disc the annihilate that ICALGEBRA DISC 1. 34 Introduction ],[ L 3 ]. ∞ rmr 75,4L5 65,46L52. 46L51, 47L55, 47L50, Primary ( 1 T λ , .Ti ehaigntrlyprompts naturally rephrasing This ). L 1 L , . . . , ∗ D otnosetnin of extensions continuous tipista h Borel the that implies It . d d otdb ISpostdoctoral PIMS a by ported cuepoeto.We projection. ucture sPpsusagba[ algebra Popescu’s is ≥ T eietf h ob- the identify we lsia eut In result. classical htanhltsA( annihilates that ) ltl continuous olutely nsm complete some on soitdt an to associated y ea nee n let and integer an be 1 utt h multi- the to sult ...wsprilysup- partially was T.W.M. ua summand. gular ezipisthat implies iesz aieds alge- disc tative tatwt the with ntrast tns h current The ttings. D h so-called the – ) F d + h unital The . cin that actions F that d 2 m fthe of rms over tn of stone 29 gue C disc D d ], ) ; 2 RAPHAEL¨ CLOUATRE,ˆ ROBERT T. W. MARTIN, AND EDWARD J. TIMKO
2 by Ad inside of B(Fd). Indeed, we consider both the norm closed and the weak-∗ closed operator system generated by Ad, which we denote respectively by Sd and ∗ 2 Vd. We also define Td =C (Ad) ⊂ B(Fd); this is the Cuntz–Toeplitz algebra. This C∗-algebra contains the ideal of compact operators, and the corresponding quotient is the Cuntz algebra Od. Let q : Td → Od denote the quotient map. It is well know that q is completely isometric on Sd [30]. Recall now that O1 =∼ C(T), and under this identification we have that q(A1) coincides with A(D). For this reason, Ad is often referred to as the non-commutative disc algebra, and Sd as the free disk operator system. Naturally, Ad and q(Ad) will then serve as our multivariate replacements for A(D). When d = 1, we have that q(S1)= O1. Thus, both Od and Sd =∼ q(Sd) are sensible multivariate replacements for C(T). Keeping the aforementioned analogies in mind, the driving force behind our work, generally speaking, is to understand the structure of those bounded functionals τ on Od or Sd that annihilate the copy of Ad. From this point of view, what we are after is a multivariate non-commutative F. and M. Riesz theorem. In doing so, we further reinforce the philosophy that questions surrounding Ad should be thought of as non-commutative Hardy space theory. It should be acknowledged that similar investigations have been undertaken in the past, see for instance [21],[5],[6],[36] and the references therein. Our framework is readily seen to be disjoint from that of these previous works when d > 1. Our study is close in spirit to that of [26] (especially Corollary 4.2 therein), but our results are of a different nature altogether as we are interested in functionals defined on a self-adjoint object containing Ad. Thus, there is no obvious overlap between our work and [26]. Our efforts aim to show that the condition that τ annihilates Ad should guarantee that τ is “absolutely continuous”. A major subtlelty inherent to this question is to meaningfully interpret absolute continuity in our context. This will be accomplished via the classification theory of ∗-representations of Od initiated in [15],[16] that culminated with the deep results of [25]. Therein, notions of absolute continuity and singularity were introduced for a ∗-representation of the Cuntz algebra, and some of our main results will be given in those terms. Notably, these two notions are not complementary when d> 1; indeed, in the multivariate setting there emerges a third type for representations, called dilation type, whose presence complicates the theory significantly. It is this difference between the classical and multivariate settings that accounts for much of the new behavior that we record in this paper. Section 2 contains additional details on these matters and further background material. Care must be taken to interpret the statement of the classical F. and M. Riesz theorem in a way that is susceptible to generalization. This is done in Section 3, which serves as a springboard for our original contributions to follow. In Section 4, we develop our first generalization of the classical F. and M. Riesz theorem. We interpret the latter as producing a “non-singular” representation for any analytic functional on O1. We show that this paradigm is still valid in the non-commutative multivariate setting of Od. Our main tool for this purpose is the following. Let τ be a bounded linear functional on Od. Let π : Od → B(H) be a unital ∗-representation and ξ, η ∈ H be vectors with norm kτk1/2. Let M = π(q(Ad))ξ and let ρ : Ad → B(M) be the corresponding representation induced by π. We say that the triple (π,ξ,η) is a Riesz representation for τ if ξ is cyclic for π, ANALYTIC FUNCTIONALS FOR THE NC DISC ALGEBRA 3 if ρ is unitarily equivalent to the identity representation of Ad, and if
τ(t)= hπ(t)ξ, ηi, t ∈ Od. The following is our first main result, appearing as Theorem 4.4 below.
Theorem A. Let τ be a bounded linear functional on the Cuntz algebra Od. If τ annihilates Ad, then τ admits an essentially unique Riesz representation. Further- more, this Riesz representation has no singular summand. The classical theorem gives in fact a bit more: in that case, the ∗-representation 2 of O1 given by the bilateral shift on L (T, λ) can serve as a Riesz representation for all functionals annihilating A1. Interestingly, there is no such universal Riesz representation in the multivariate setting, as shown in Corollary 4.5. Section 5 contains our second main result. Therein, we adopt the point of view that the classical F. and M. Riesz theorem yields the existence of weak-∗ continuous extensions to L∞(T, λ) for analytic functionals on C(T). As explained in Section 3, this is equivalent to the existence of weak-∗ continuous extensions to V1 for analytic functionals on S1. Whether or not an analogous extension statement holds for the inclusion Sd ⊂ Vd is the focus of this section. As a first indication that this may be the case, given an analytic functional τ on Od, we manage to show that the restriction of the absolute value |τ| to Sd extends weak-∗ continuously to Vd (Theorem 5.1). Of course, it is elementary to verify, in the classical univariate setting, that this statement about the absolute value is equivalent to the F. and M. Riesz theorem. Unfortunately, the situation is more complicated in general. Indeed, when d ≥ 2, we exhibit an example of an analytic functional on Od that annihilates Ad yet does not extend weak-∗ continuously to Vd (see Example 2). As mentioned previously, a functional annihilating Ad admits a Riesz represen- tation without singular summands. If, in addition, we knew that the representation contained no summand of dilation type, then necessarily τ would extend weak-∗ continuously to Vd. Thus, the presence of a dilation type summand is central to the issue investigated in this section. This is further reinforced by the pathological con- struction in Example 2, which involves a representation of dilation type. In light of these remarks, one may venture the guess that the lack of weak-∗ continuous extensions is equivalent to the presence of a dilation type summand in the Riesz representation of the functional. However, we show in Corollary 5.2 that this is not the case, so that there is seemingly no obvious relationship between the type of the Riesz representation of an analytic functional and the possibility of extending it weak-∗ continuously. The main result of this section (Theorem 5.3) clarifies the picture and identifies the obstruction to the existence of such extensions precisely in ∗∗ terms of the universal structure projection q of Ad (see Subsection 2.2 for details on this projection).
Theorem B. Let τ be a bounded linear functional on Sd that annihilates Ad. Then, ∗ ∗ ∗ τ extends weak -continuously to Vd if and only if it also annihilates a q − qa for each a ∈ Ad. In accordance with the classical F. and M. Riesz theorem, the condition above is automatically satisfied in the univariate setting. Indeed, since A1 is commutative ∗ ∗ we have that a q − qa = 0 for every a ∈ A1. In the last section, Section 6, we adapt some of our ideas to the setting of commutative algebras of multipliers for some Hilbert function spaces. Exploiting 4 RAPHAEL¨ CLOUATRE,ˆ ROBERT T. W. MARTIN, AND EDWARD J. TIMKO the recent developments of [14], we investigate the existence of weak-∗ continuous extensions for functionals that are analytic in an appropriate sense (Theorem 6.4). As an application, we manage to prove in Corollary 6.5 a certain symmetry property of the set of so-called Henkin functionals. Such functionals have been a topic of recent interest, as they serve as a bridge between function theory and multivariate operator theory (see [9],[8],[4],[14] and the references therein). For most Hilbert function spaces, their exact nature is not yet fully understood, and our result sheds light on this question.
2. Preliminaries Throughout the paper, H always denotes a Hilbert space and B(H) denotes the C∗-algebra of bounded linear operators on it.
2.1. Bidual of C∗-algebras and polar decomposition. Let X be a normed space. We denote its dual space by X∗. If τ : X → B(H) is a bounded linear map, then we denote by τ : X∗∗ → B(H) its unique weak-∗ continuous linear extension. Let T beaC∗-algebra. Then, the bidual T∗∗ can be given the structure of a von Neumann algebra (seeb [7, Theorem A.5.6]). If A⊂ T is a subalgebra of T, then A∗∗ is a weak-∗ closed subalgebra of T∗∗ and A is a subalgebra of A∗∗. If π : T → B(H) is a ∗-representation, then π : T∗∗ → B(H) is a weak-∗ continuous ∗-representation. Let τ : T → C be a bounded linear functional. Then, τ : T∗∗ → C is a weak-∗ continuous linear functional.b In particular, it admits a polar decomposition. More b ∗∗ precisely, there is a positive weak-∗ continuous functional ωτ on T along with a partial isometry f ∈ T∗∗ such that ∗ ∗∗ τ(w)= ωτ (f w), w ∈ T . We remark that this is a slightb departure from the convention used for instance in [33, Theorem 1.14.4] or [35, Theorem III.4.2], but is in line with that found in [19, Definition 12.2.7]. At any rate, it is elementary to see that one convention is related to the other by simply considering the adjoint functional. The restriction of ωτ to T will be referred to as the absolute value of τ and be denoted by |τ|. We have that ∗ kτk = ωτ (f f)= ωτ (I)= τ(f). For ease of reference, we record the following standardb fact. Lemma 2.1. Let T be a unital C∗-algebra and let τ ∈ T∗. Then, there exist a unital ∗-representation π : T → B(H), a vector ξ ∈ H with kξk = kτk1/2 that is cyclic for π and a partial isometry f ∈ T∗∗ such that π(f ∗f)ξ = ξ, ∗∗ τ(w)= hπ(w)ξ, π(f)ξi, and ωτ (w)= hπ(bw)ξ, ξi, w ∈ T for every wb ∈ T∗∗. b b b Proof. Applying the GNS construction to |τ|, we obtain a ∗-representation π : T → B(H) along with a vector ξ ∈ H with 2 kξk = |τ|(I)= ωτ (I)= kτk which is cyclic for π and such that |τ|(t)= hπ(t)ξ, ξi, t ∈ T. ANALYTIC FUNCTIONALS FOR THE NC DISC ALGEBRA 5
From this, it readily follows that ∗∗ ωτ (w)= hπ(w)ξ, ξi, w ∈ T . whence b ∗ ∗∗ τ(w)= ωτ (f w)= hπ(w)ξ, π(f)ξi, w ∈ T . Finally, because b ∗ b ∗ b 2 hπ(f f)ξ, ξi = ωτ (f f)= kτk = kξk ∗ the Cauchy–Schwarz inequalityb forces π(f f)ξ = ξ. We also require the following elementaryb uniqueness statement. Lemma 2.2. Let T be a C∗-algebra and let τ : T → C be a bounded linear func- tional. Assume that for j = 1, 2 we have a ∗-representation πj : T → B(Hj ) and 1/2 vectors ξj , ηj ∈ Hj with kξj k = kηj k = kτk such that ξj is cyclic for πj and
hπ1(t)ξ1, η1i = τ(t)= hπ2(t)ξ2, η2i, t ∈ T.
Then, there is a unitary operator U : H1 → H2 such that Uξ1 = ξ2, Uη1 = η2 and ∗ Uπ1(t)U = π2(t), t ∈ T.
Proof. First note that by weak-∗ compactness of the unital ball of T∗∗, there is a ∗∗ contraction fj ∈ T such that τ(fj )= kτk. By assumption, we find
hπ1(f1)ξ1b, η1i = kτk = hπ2(f2)ξ2, η2i. By the Cauchy–Schwarzc inequality we then findc ∗ πj (fj ) ηj = ξj and πj (fj )ξj = ηj . Therefore, for t ∈ T web obtain b
hπ1(t)ξ1, ξ1i = hπ1(f1t)ξ1, η1i = hπ2(f2t)ξ2, η2i = hπc2(t)ξ2, ξ2i. c The conclusion now follows immediately from [19, Proposition 2.4.1]. 2.2. Structure of the non-commutative disc algebra. We briefly recall the main features of the structure of the non-commutative disc algebra. For more details, the reader can consult [29], [16] or [25] and the references therein. F+ Let d be a positive integer and let d denote the free monoid with generators {1, 2,...,d}. Given a d-tuple Z = (Z1,...,Zd) of bounded linear operators on a F+ common Hilbert space and w = j1 ··· jk ∈ d , we set
Zw = Zj1 ··· Zjk .
We also put Z∅ = I. 2 F+ 2 The Hilbert space ℓ ( d ) is called the Fock space and is denoted by Fd. For a F+ 2 (possibly empty) word w ∈ d , we let ew ∈ Fd denote the characteristic function 2 of {w}. Then, {ew} F+ is an orthonormal basis for F . The left regular repre- w∈ d d F+ 2 sentation of d gives rise to a d-tuple L = (L1,...,Ld) of operators on Fd such that F+ Lj ew = ejw, w ∈ d , j =1, . . . , d. It is readily verified that L1,...,Ld are isometries with pairwise orthogonal ranges. 6 RAPHAEL¨ CLOUATRE,ˆ ROBERT T. W. MARTIN, AND EDWARD J. TIMKO
2 The unital norm closed algebra Ad ⊂ B(Fd) generated by L1,...,Ld is Popescu’s noncommutative disc algebra. The norm closed operator system that it generates 2 ∗ 2 inside of B(Fd) is denoted by Sd. Furthermore, we let Td =C (Ad) ⊂ B(Fd); this is the Cuntz–Toeplitz algebra. It is a consequence of [31, Theorem 1.3] that Td 2 contains the ideal K of compact operators on Fd. The corresponding quotient map implements a ∗-isomorphism between Td/K and the Cuntz algebra Od. Thus, up to this identification, we obtain a quotient map q : Td → Od. Notably, Sd can be identified with its image under this map.
Lemma 2.3. The quotient map q : Td → Od restricts to a unital completely isometric linear isomorphism between Sd and q(Sd). Proof. It follows from [30, Theorem 3.1] that q restricts to a unital completely isometric isomorphism between Ad and q(Ad). This then induces the desired map between operator systems by virtue of [27, Proposition 3.5].
In light of this lemma, we may view Sd as embedded inside of Od. Such an identification will be used throughout the paper, and is of particular importance in Section 4. 2 We let Ld ⊂ B(Fd) denote the closure of Ad in the weak operator topology. This is the prototypical example of a free semigroup algebra. Such algebras have been studied extensively since the appearance of [17], and much is known about their ∗∗ structure. By [15, Theorem 2.6], there is a projection q ∈ Ad with the following properties.
(a) We have qaq = qa for every a ∈ Ad. (b) There is a unital, completely isometric and weak-∗ homeomorphic algebra iso- ∗∗ morphism Φ : Ad (I − q) → Ld such that
Φ(a(I − q)) = a, a ∈ Ad. Henceforth, we refer to q as the universal structure projection. 2 We let Vd ⊂ B(Fd) denote the closure of Sd in the weak-∗ topology. When d ≥ 2, it is known that Vd is very rigid.
Theorem 2.4. Let d ≥ 2 and let π : Td → B(H) be a unital ∗-representation. Let Lπ ⊂ B(H) denote the closure of π(Ad) in the weak operator topology, and let Vπ ⊂ B(H) denote the weak-∗ closed operator system generated by π(Ad). Assume that Lπ is algebraically isomorphic to a subalgebra of Ld. Then, there is a unital, completely isometric, weak-∗ homeomorphic isomorphism Ψ: Vd → Vπ extending π. Proof. This follows from [15, Corollary 2.8] and [24, Theorem 3.6]. The following consequence will be very useful.
Lemma 2.5. Let d ≥ 2 and let τ : Sd → C be a bounded linear functional. Assume that ∗ ∗ τ(a + b )= τ(a(I − q) + (I − q)b ), a,b ∈ Ad. Then, τ can be extended weak-∗ continuously to V . b d Proof. By property (b) of the universal structure projection, there is a unital, com- ∗∗ pletely isometric and weak-∗ homeomorphic isomorphism Φ : Ad (I − q) → Ld such that Φ(a(I − q)) = a, a ∈ Ad. ANALYTIC FUNCTIONALS FOR THE NC DISC ALGEBRA 7
∗∗ Let R ⊂ Sd be the weak-∗ closure of ∗ {a(I − q) + (I − q)b : a,b ∈ Ad}. By Theorem 2.4, there is a unital, completely isometric and weak∗-homeomorphic linear isomorphism Ψ : R→Vd such that
∗ ∗ Ψ(a(I − q) + (I − q)b )= a + b , a,b ∈ Ad. Thus, we find ∗ −1 ∗ τ(a + b )= τ(Ψ (a + b )) a,b ∈ Ad, −1 whence the desired weak-∗ continuousb extension of τ to Vd is τ ◦ Ψ .
2.3. Classification of ∗-representations of the Cuntz–Toeplitzb algebra. The representation theory of the Cuntz–Toeplitz algebra can be entirely understood in terms of row isometries, that is, d-tuples (V1,...,Vd) of isometries with pairwise orthogonal ranges. Indeed, let π : Td → B(H) be a unital ∗-representation. Then, it is easily verified that (π(L1),...,π(Ld)) is a row isometry on H. Conversely, given a row isometry V = (V1,...,Vd) on some Hilbert space H, it follows from [28, Theo- rem 1.3] that there is a unital ∗-representation π : Td → B(H) such that π(Lj )= Vj for every 1 ≤ j ≤ d. For our purposes in this paper, it is more convenient to use the ∗ language of ∗-representations of the C -algebras Td and Od. However, as explained above, this point of view is completely equivalent to one where the focus is placed on row isometries instead. One consequence of the previous paragraph is as follows. Let π : Td → B(H) be a unital ∗-representation and let M ⊂ H be a closed subspace which is invariant for π(Ad). Then, the d-tuple (π(L1)|M,...,π(Ld)|M) is a row isometry, so there is a unital ∗-representation ρ : Td → B(M) such that ρ(Lj ) = π(Lj )|M for every 1 ≤ j ≤ d. We will refer to ρ as the representation induced by π on M. If π : Td → B(H) is a ∗-representation, then the argument given in the proof of [30, Theorem 3.1] shows that the restriction of π to Ad is completely isometric when d ≥ 2. This very strong rigidity property of Ad implies in particular that different ∗-representations of Td cannot be distinguished by their behaviour on Ad, so finer properties must be analyzed for this purpose. We say that the representation π is absolutely continuous if there is a weak-∗ ′ continuous homomorphism π : Ld → B(H) such that
′ π (a)= π(a), a ∈ Ad. We say that the representation π is singular if there is no non-zero closed subspace of H which is invariant for π(Ad) and such that the corresponding representation induced by π is absolutely continuous. We will require the following known fact, relating absolute continuity and singularity to the universal structure projection q.
Lemma 2.6. Let π : Td → B(H) be a unital ∗-representation. Let M ⊂ H be a closed invariant subspace for π(Ad) and let ρ : Td → B(M) be the corresponding representation induced by π. Let P ∈ B(H) denote the orthogonal projection onto M. Then, the following statements hold. (i) The representation ρ is absolutely continuous if and only if π(q)P =0. (ii) The representation ρ is singular if and only if π(q)P = P . b b 8 RAPHAEL¨ CLOUATRE,ˆ ROBERT T. W. MARTIN, AND EDWARD J. TIMKO
Proof. Recall first that by property (b) in Subsection 2.2, there is unital, completely ∗∗ isometric and weak-∗ homeomorphic isomorphism Φ : Ad (I − q) → Ld such that
Φ(a(I − q)) = a, a ∈ Ad. (i) Assume that ρ is absolutely continuous. By Goldstine’s theorem, there is a ∗∗ contractive net (ai) in Ad converging to q in the weak-∗ topology of Ad . Note then that (ai) converges to 0 in the weak-∗ topology of Ld by the previous paragraph, and thus (ρ(ai)) converges to 0 in the weak-∗ topology of B(M). For ξ ∈ M we thus find 2 kπ(q)ξk = hπ(q)ξ, ξi = limhπ(ai)ξ, ξi i b = limb hρ(ai)ξ, ξi =0 i so that π(q)P = 0. Conversely, assume that π(q)P = 0. For a ∈ Ad, we find b −1 ρ(a)= π(a)P |bM = π(a(I − q))P |M = (π ◦ Φ )(a)P |M so that ρ is absolutely continuous.b b (ii) Assume that ρ is singular. Since π(q) lies in the weak-∗ closure of π(Ad), we infer that π(q)M ⊂ M. By property (a) in Subsection 2.2, it follows that the b closed subspace N = π(I − q)M is invariant for π(A ). We see that b d −1 ρb(a)|N = π(a(I − q))|N = (π ◦ Φ )(a)|N for every a ∈ Ad. We infer thatb the representationb induced by ρ on N is absolutely continuous, whence N = {0} since ρ is assumed to be singular. Thus, π(I −q)P =0 and so P = π(q)P . Conversely, assume that P = π(q)P . Let N ⊂ M be a closed invariantb subspace b for ρ(Ad) such that the corresponding representation induced by ρ is absolutely continuous. Let Q ∈ B(H) denoteb the orthogonal projection onto N. By (i), we infer that π(q)Q = 0. Thus b Q = QP = Qπ(q)P =0. We conclude that ρ is singular. b The concepts of absolute continuity and of singularity for ∗-representations are motivated by the corresponding notions from measure theory. But this analogy has some limitations: when d ≥ 2, there is a third type of ∗-representations of Td. A unital ∗-representation π : Td → B(H) is said to be of dilation type if there is no non-zero closed subspace of H which is reducing for π(Td) and such that the corresponding representation induced by π is absolutely continuous or singular. For our purposes, we also require the following terminology. The representation π is said to be completely non-singular if there is no non-zero closed subspace of H which is reducing for π(Td) and such that the corresponding representation induced by π is singular. If σ : Od → B(H) is a unital ∗-representation and q : Td → Od denotes the quotient map, then we say that σ is absolutely continuous, singular, completely non-singular or of dilation type whenever σ ◦ q has the corresponding property. Recall that a vector ξ ∈ H is a wandering vector for some unital ∗-representation F+ π : Td → B(H) if {π(Lw)ξ : w ∈ d } is an orthonormal set in H. It is readily seen that if ξ is wandering for π, then the representation induced by π on the ANALYTIC FUNCTIONALS FOR THE NC DISC ALGEBRA 9 invariant subspace π(Ad)ξ is unitarily equivalent to the identity representation of Td. We now consider an important family of examples, which is studied in detail in [18, Section 3]. Example 1. Let m ∈ N. Fix a map υ : {1,...,m}→{1, 2,...,d} and a complex number λ with |λ| = 1. Let H be a Hilbert space with basis F+ F+ {ξn,w :1 ≤ n ≤ m, w ∈ d \ d υ(n)}.
For 1 ≤ j ≤ d, we define an isometry Sj ∈ B(H) by putting
λξ1,∅ if n = m, w = ∅ and j = υ(m), ξn+1,∅ if n
We thus conclude that συ,λ is of dilation type, as claimed. Note also that different values of λ produce unitarily inequivalent ∗-representations; see the proof of [18, Theorem 3.4].
3. The classical F. and M. Riesz theorem We begin by stating the classical theorem that we seek to generalize (see [23, page 47]). Theorem 3.1 (F. and M. Riesz). Let µ be a regular Borel measure on the unit circle T. Assume that adµ =0, a ∈ A(D). ZT Then, µ is absolutely continuous with respect to Lebesgue measure λ. 10 RAPHAEL¨ CLOUATRE,ˆ ROBERT T. W. MARTIN, AND EDWARD J. TIMKO
We now aim to reframe this theorem in operator algebraic terms that are more suitable for our generalizations to come. In addition, this reframing will provide motivation for our main results.
3.1. Completely non-singular representations. The C∗-algebra C(T) acts on L2(T, λ) as multiplication operators. This yields a unital injective ∗-representation 2 β : O1 → B(L (T, λ)). It is easy to see that β is an absolutely continuous represen- tation in the language of Subsection 2.3. In the univariate setting, this is equivalent to β being completely non-singular. We now record a reformulation of Theorem 3.1.
Corollary 3.2. Let τ : O1 → C be a bounded linear functional with q(A1) ⊂ ker τ. Then, there are unit vectors ξ, η ∈ L2(T, λ) with kξk = kηk = kτk1/2 such that ξ is cyclic for β and
τ(t)= hβ(t)ξ, ηi, t ∈ O1.
′ Furthermore, we have the following uniqueness property: if π : O1 → B(H ) is a unital ∗-representation and ξ′, η′ ∈ H′ are vectors with kξ′k = kη′k = kτk1/2 such that ξ′ is cyclic for π and
′ ′ ′ τ(t)= hπ (t)ξ , η i, t ∈ O1, then there is a unitary operator U : L2(T, λ) → H′ such that Uξ = ξ′, Uη = η′ and
∗ ′ Uβ(t)U = π (t), t ∈ O1.
Proof. Under the natural identification O1 =∼ C(T), we see that A(D) is identified 1 with q(A1). Thus, applying Theorem 3.1 we find a function r ∈ L (T, λ) such that krk1 = kτk and
τ(t)= t(ζ)r(ζ)dλ(ζ), t ∈ O1. ZT By assumption, we find
ζnr(ζ)dλ(ζ)=0, n ≥ 0 ZT which implies that r ∈ H1 [23, page 39]. By [20, Corollary 6.27], there are functions 2 1/2 ξ, η ∈ L (T, λ) which are non-zero [λ]-a.e on T, such that kξk2 = kηk2 = kτk and such that r = ξη. In particular, this implies that
τ(t)= hβ(t)ξ, ηi, t ∈ O1.
Furthermore, it follows from [20, Theorem 6.8] that ξ does not belong to any non- zero reducing subspace for β(O1), whence ξ is cyclic for β. The uniqueness statement follows at once from Lemma 2.2.
Generalizing this corollary to the multivariate setting where d > 1 will be the focus of Section 4. ANALYTIC FUNCTIONALS FOR THE NC DISC ALGEBRA 11
3.2. Weak-∗ continuous extensions. The von Neumann algebra Wβ generated 2 ∞ by β(O1) inside of B(L (T, λ)) is ∗-isometric and weak-∗ homeomorphic to L (T, λ). Theorem 3.1 is thus equivalent to the fact that the functional τ on O1 =∼ C(T) given as integration against µ has the property that τ ◦ β−1 extends weak-∗ continuously to Wβ. In this subsection, our aim is to make such a statement more canonical by removing the dependence on the representation β. At least at the level of operator systems, this is indeed possible because of a strong rigidity property, very much in line with Theorem 2.4. Unfortunately, the machinery behind the proof of Theorem 2.4 requires that d ≥ 2. In what follows, we show that a similar rigidity result still holds when d = 1, using classical tools. We suspect that the statement itself may be known to experts, but we lack an appropriate reference so we provide the details. When d = 1, it is well known that A1 can be identified, up to unitary equivalence, as an algebra of multiplication operators on the space H2 ⊂ L2(T, λ). Here, H2 is the standard Hardy space, defined as the closure in the L2-norm of the space of holomorphic polynomials. For f ∈ L∞(T, λ), we also recall that the corresponding 2 Toeplitz operator Tf ∈ B(H ) is defined as 2 Tf h = PH2 fh, h ∈ H . 2 We start with an elementary observation. Recall that V1 ⊂ B(H ) is the weak-∗ closed operator system generated by A1. Lemma 3.3. Define Ξ: L∞(T, λ) → B(H2) as ∞ Ξ(f)= Tf , f ∈ L (T, λ). Then, Ξ is a unital completely isometric linear map which is a weak-∗ homeomor- phic surjection onto V1. Proof. The fact that Ξ is linear and isometric can be found in [20, Corollary 7.8]. It is also readily seen that Ξ is completely contractive. Because L∞(T, λ) is a commutative C∗-algebra, we may invoke [27, Theorem 3.9] to see that Ξ is in fact completely isometric. ∞ Let (fα) be a bounded net in L (T, λ) converging to some f in the weak-∗ topology. Let g,h ∈ H2. Then, gh ∈ L1(T, λ), so that
limhTfα g,hi = lim fαghdλ = fghdλ α α ZT ZT
= hTf g,hi.
Because Ξ is isometric, the net (Tfα ) is bounded and we infer that it converges to Tf in the weak-∗ topology of B(H2). Basic functional analytic arguments reveal that Ξ is a weak-∗ homeomorphism onto its range [7, Theorem A.2.5]. Finally, we note that L∞(T, λ) is the weak-∗ closed operator system generated by A(D), whence the range of Ξ is the weak-∗ closed operator system generated by A1, which is V1. Next, we establish a useful fact about absolutely continuous representations of O1.
Lemma 3.4. Let H be separable Hilbert space and let π : O1 → B(H) be an absolutely continuous unital ∗-representation. Then, there is a unital, weak-∗ con- tinuous, completely contractive linear map Ψ: V1 → B(H) such that
Ψ(a)= π(q(a)), a ∈ A1. 12 RAPHAEL¨ CLOUATRE,ˆ ROBERT T. W. MARTIN, AND EDWARD J. TIMKO
Proof. Let Wπ ⊂ B(H) denote the von Neumann algebra generated by π(O1). By [13, Theorem II.2.5], there is a regular Borel probability measure ν on T and a ∞ weak-∗ homeomorphic ∗-isomorphism Θ : L (T,ν) →Wπ such that
Θ(t)= π(t), t ∈ O1. Because π is assumed to be absolutely continuous, the map −1 a 7→ Θ (π(q(a))), a ∈ A1 extends weak-∗ continuously to L1, which implies that ν is absolutely continuous with respect to λ; this is a consequence of Theorem 3.1 along with [32, Theorem 9.2.1]. Thus, there is a weak-∗ continuous unital ∗-homomorphism ρ : L∞(T, λ) → L∞(T,ν) with the property that for each f ∈ L∞(T, λ) we have ρ(f)(ζ)= f(ζ) for [ν]-a.e. ζ ∈ T. Recall now from Lemma 3.3 that there is a unital, weak-∗ ∞ homeomorphic and completely isometric linear map Ξ : L (T, λ) →V1 such that
Ξ(q(a)) = a, a ∈ A1. −1 The map Ψ=Θ ◦ ρ ◦ Ξ : V1 →Wπ has all the required properties. Before proving our announced rigidity result, we require one more technical fact.
Lemma 3.5. Let H be separable Hilbert space and let π : O1 → B(H) be a unital ∗-representation. Let Lπ ⊂ B(H) denote the closure of π(q(A1)) in the weak op- erator topology, let Vπ ⊂ B(H) denote the weak-∗ closed operator system generated by π(q(A1)), and let Wπ ⊂ B(H) denote the von Neumann algebra generated by π(q(A1)). Then, the following statements are equivalent.
(i) The algebra Lπ is algebraically isomorphic to a subalgebra of L1. (ii) There is a unital, weak-∗ homeomorphic, completely isometric linear isomor- phism Ψ: V1 →Vπ such that
Ψ(a)= π(q(a)), a ∈ A1. (iii) There is a regular Borel probability measure ν on T that is mutually absolutely continuous with respect to Lebesgue measure and a weak-∗ homeomorphic ∗- ∞ isomorphism Θ: L (T,ν) →Wπ such that
Θ(t)= π(t), t ∈ O1. Proof. By Lemma 3.3 we find a unital, weak-∗ homeomorphic and completely iso- ∞ metric linear map Ξ : L (T, λ) →V1 such that
Ξ(q(a)) = a, a ∈ A1. This notation will be used throughout the proof. (iii) ⇒ (ii): By assumption, there is a weak-∗ homeomorphic ∗-isomorphism ρ : L∞(T, λ) → L∞(T,ν) such that
ρ(t)= t, t ∈ O1. In particular, −1 Vπ =Θ ◦ ρ ◦ Ξ (V1)= Wπ. Thus, we may take Ψ = Θ ◦ ρ ◦ Ξ−1. (ii) ⇒ (i): This is trivial. ANALYTIC FUNCTIONALS FOR THE NC DISC ALGEBRA 13
(i) ⇒ (iii): By [15, Corollary 2.8], we conclude that there is a unital, weak-∗ homeomorphic, completely isometric isomorphism Φ : L1 → Lπ such that
Φ(a)= π(q(a)), a ∈ A1. In turn, by [13, Theorem II.2.5], there is a regular Borel probability measure ν on ∞ T and a weak-∗ homeomorphic ∗-isomorphism Θ : L (T,ν) →Wπ such that
Θ(t)= π(t), t ∈ O1. Arguing as in the proof of Lemma 3.4 above, we infer that ν is absolutely continuous with respect to λ and that there is a weak-∗ continuous unital ∗-homomorphism ρ : L∞(T, λ) → L∞(T,ν) such that for f ∈ L∞(T, λ) we have ρ(f)(ζ)= f(ζ) for [ν]-a.e. ζ ∈ T. Let E ⊂ T be a measurable subset such that ν(E) = 0. There is a function −1 γ ∈ Ξ (L1) such that |γ| = 2χE + χT\E [λ]-a.e. on T [23, page 62]. Choose a −1 sequence (an) in A1 such that (Ξ (an)) converges to γ in the weak-∗ topology of L∞(T, λ). Thus,
(Φ ◦ Ξ)(γ) = lim Φ(an) = lim π(q(an)) n→∞ n→∞ −1 = lim (Θ ◦ ρ ◦ Ξ )(an) n→∞ = (Θ ◦ ρ)(γ). But we know that Φ is isometric, whence
kγkL∞(T,λ) = kΞ(γ)k = k(Φ ◦ Ξ)(γ)k = k(Θ ◦ ρ)(γ)k = kρ(γ)k
= k2χE + χT\EkL∞(T,ν) =1 where the last equality follows from the fact that ν(E) = 0. Thus, kγkL∞(T,λ) = 1, which forces λ(E) = 0. We conclude that λ is absolutely continuous with respect to ν, as desired.
We can now prove our rigidity result, which is a univariate version of Theorem 2.4.
Theorem 3.6. Let H be separable Hilbert space and let π : T1 → B(H) be a unital ∗-representation. Let Lπ ⊂ B(H) denote the closure of π(A1) in the weak operator topology, and let Vπ ⊂ B(H) denote the weak-∗ closed operator system generated by π(A1). Then, the following statements are equivalent.
(i) The algebra Lπ is algebraically isomorphic to a subalgebra of L1. (ii) There is a unital, weak-∗ homeomorphic, completely isometric linear isomor- phism Ψ: V1 →Vπ such that
Ψ(a)= π(a), a ∈ A1. Proof. We only need to show that (i) implies (ii), as the converse is trivial. Thus, assume that Lπ is algebraically isomorphic to a subalgebra of L1. By [15, Corollary 2.8], we conclude that there is a unital, weak-∗ homeomorphic, completely isometric isomorphism Φ : L1 → Lπ such that
Φ(a)= π(a), a ∈ A1. 14 RAPHAEL¨ CLOUATRE,ˆ ROBERT T. W. MARTIN, AND EDWARD J. TIMKO
By the Wold decomposition, up to unitary equivalence we may write H = H2(κ) ⊕K (κ) and π = id ⊕(σ◦q) for some cardinal κ and some unital ∗-representation σ : O1 → B(K). If κ = 0, then the statement follows at once from Lemma 3.5. Assume henceforth that κ> 0. The existence of Φ implies in particular that π is absolutely continuous, and hence so is σ◦q. We may thus apply Lemma 3.4 to obtain a unital, weak-∗ continuous, completely contractive linear map Ψ0 : V1 → B(K) such that
Ψ0(a)= σ(q(a)), a ∈ A1. (κ) Consider now the map Ψ : V1 →V1 ⊕ B(K) defined as (κ) Ψ(v)= v ⊕ Ψ0(v), v ∈V1. Clearly, Ψ is unital, weak-∗ continuous and completely isometric. By [7, Theorem A.2.5], we infer that Ψ is weak-∗ homeomorphic onto its image. Finally, we claim that Ψ(V1)= Vπ. To see this, note that
(κ) Ψ(a)= a ⊕ σ(q(a)) = π(a) a ∈ A1.
Then, Ψ(V1) is simply the weak-∗ closure of the operator system generated by π(A1), which is Vπ.
As a consequence of this rigidity result, we can extract another consequence of Theorem 3.1, which will motivate some of our work below.
Corollary 3.7. Let τ : S1 → C be a bounded linear functional with the property that A1 ⊂ ker τ. Then, τ extends weak-∗ continuously to V1.
2 Proof. Consider the unital injective ∗-representation β : O1 → B(L (T, λ)) as 2 before. Let Lβ ⊂ B(L (T, λ)) denote the closure of β(q(A1)) in the weak operator 2 topology, let Vβ ⊂ B(L (T, λ)) denote the weak-∗ closed operator system generated 2 by β(q(A1)) and let Wβ ⊂ B(L (T, λ)) denote the von Neumann algebra generated by β(q(A1)). It is well known that Lβ is unitarily equivalent to L1. Theorem 3.6 then implies that there is a unital, weak-∗ homeomorphic, completely isometric linear isomor- phism Ψ : V1 →Vβ such that
Ψ(a)= β(q(a)), a ∈ A1.
′ Let τ be a Hahn–Banach extension to β(O1) of the functional
−1 β(q(s)) 7→ (τ ◦ Ψ )(β(q(s))), s ∈ S1. As noted at the beginning of this subsection, an immediate consequence of Theorem ′′ ′ 3.1 is that there is a weak-∗ continuous functional τ : Wβ → C extending τ . The ′′ functional τ ◦ Ψ on V1 is then weak-∗ continuous and satisfies
′′ ′′ −1 (τ ◦ Ψ)(s)= τ (β(q(s)) = (τ ◦ Ψ )(β(q(s))) = τ(s), s ∈ S1 as desired.
Generalizing this corollary to the multivariate setting where d > 1 will be the focus of Section 5. ANALYTIC FUNCTIONALS FOR THE NC DISC ALGEBRA 15
4. Riesz representations for analytic functionals The goal of this section is to prove a generalization of Corollary 3.2. As explained in Section 3, this can be seen as a generalization of the classical F. and M. Riesz theorem.
4.1. Completely non-singular representations. In this short subsection, we establish some useful properties of completely non-singular representations that are of independent interest.
Proposition 4.1. Let π : Td → B(H) be a unital ∗-representation. Let ξ ∈ H be a cyclic vector for π and let ρ : Td → B(H) be the representation induced by π on the invariant subspace π(Ad)ξ. If ρ is absolutely continuous, then π is completely non-singular.
Proof. Let R ⊂ H be a closed reducing subspace for π(Td), and let P ∈ B(H) be the orthogonal projection onto R. Assume that the representation induced by π on R is singular and let Q ∈ B(H) denote the orthogonal projection onto π(Ad)ξ. It follows from Lemma 2.6 that P = P π(q) and π(q)Q = 0. Therefore, PQ = 0 so in particular P ξ = 0. Since P is reducing for π(Td), we infer that P π(t)ξ = π(t)P ξ =0 b b for every t ∈ Td, and thus P = 0 since ξ is cyclic for π(Td).
The previous result has a sort of converse when d ≥ 2, stating that any com- pletely non-singular representation is a direct sum of cyclic representations inducing absolutely continuous representations. In fact, we show something a bit more pre- cise.
Proposition 4.2. Let d ≥ 2. Let π : Td → B(H) be completely non-singular unital ∗-representation. Then, there is a set {ξλ : λ ∈ Λ} of vectors in H with the following properties.
(a) For each λ ∈ Λ, we let Hλ = π(Td)ξλ and let πλ denote the representation induced by π on Hλ. Then, H = ⊕λ∈ΛHλ and π = ⊕λ∈Λπλ. (b) For each λ ∈ Λ, the representation induced by πλ on the invariant subspace πλ(Ad)ξλ is unitarily equivalent to the identity representation of Td.
Proof. An application of Zorn’s lemma yields a maximal family F = {Hλ : λ ∈ Λ} of pairwise orthogonal closed reducing subspaces for π(Td) such that the represen- tation induced by π on each Hλ admits a cyclic vector ξλ which is wandering for ⊥ π. Let M = (⊕λ∈ΛHλ) . If M is non-zero, then the representation induced by π on M is not singular by assumption, so that there is a wandering vector η ∈ M for π by virtue of [24, Corollary 4.13] and [25, Theorem 5.1] (this is where we require d ≥ 2). By maximality, this forces π(Td)η ∈F, which is absurd. Hence M is zero and we find π = ⊕λπλ. Finally, since ξλ is wandering for π, it immediately follows that the representation induced by πλ on πλ(Ad)ξλ is unitarily equivalent to the identity representation of Td.
We note that the previous proposition fails when d = 1. Indeed, there are absolutely continuous ∗-representation of T1 with no induced representations on invariant subspaces that are unitarily equivalent to the identity representation of T1; see for instance [25, Example 2.2]. 16 RAPHAEL¨ CLOUATRE,ˆ ROBERT T. W. MARTIN, AND EDWARD J. TIMKO
4.2. Riesz representations. We now get back to extending the classical F. and M. Riesz theorem. The next lemma is our main technical tool.
Lemma 4.3. Let π : Td → B(H) be a unital ∗-representation. Suppose there exist ∗∗ ∗ ⊥ a vector ξ ∈ H along with f ∈ Td such that π(f f)ξ = ξ and π(f)ξ ∈ (π(Ad)ξ) . If we let M = π(A )ξ, then the following statements hold. d b b (i) The representation induced by π on M is unitarily equivalent to the identity representation of Td. (ii) We have π(q)ξ =0. (iii) The map s 7→ PMπ(s)|M on Sd admits a weak-∗ continuous extension to Vd. b Proof. Let ρ denote the representation induced by π on M. By virtue of the Wold decomposition [28, Theorem 1.3], up to unitary equivalence we know that M = 2(κ) (κ) Fd ⊕ K and that ρ = id ⊕(σ ◦ q) for some cardinal κ and some unital ∗- representation σ : Od → B(K). Let P ∈ B(H) denote the orthogonal projection onto K. We claim that P commutes with π(Td). To see this, consider the unital completely positive map ϕ : Td → B(K) defined as
ϕ(t)= PKπ(t)|K, t ∈ Td.
For a ∈ Ad, we see that ϕ(a)= σ(q(a)). In particular, we see that ϕ(L1),...,ϕ(Ld) are isometries satisfying the Cuntz relation. It is then well known that ϕ must be a ∗-homomorphism; indeed, it follows from the Schwarz inequality that Td lies in the multiplicative domain of ϕ [27, Theorem 3.18] . In turn, a classical observation of Agler [1] (see also [10, Lemma 3.2]) reveals that K is reducing for π(Td), so that indeed P commutes with π(Td). It follows that π(f)∗P = P π(f)∗ and, for every a ∈ Ad, that b b P π(a)ξ = P π(a)π(f ∗f)ξ = π(af ∗)P π(f)ξ =0 ⊥ where the last equality is a consequenceb of ourb assumptionb that π(f)ξ ∈ M . This implies that P M = {0}, whence K = {0}. Thus, b (κ) π(a)|M = ρ(a)= a , a ∈ Ad.
Because ξ is a cyclic vector for ρ(Ad), we infer from [31, Corollary 1.10] that κ = 1, so that (i) holds. Lemma 2.6 then implies that (ii) is verified. Moreover,
PMπ(s)|M = s, s ∈ Sd which immediately implies (iii).
Let τ : Od → C be a bounded linear functional. Let π : Od → B(H) be a unital ∗-representation and let ξ ∈ H be a cyclic vector for π with kξk = kτk1/2. Assume that the representation induced by π on the invariant subspace π(q(Ad))ξ is unitarily equivalent to the identity representation of Td. If η ∈ H is a vector such that kηk = kτk1/2 and with the property that
τ(t)= hπ(t)ξ, ηi, t ∈ Od then we say that the triple (π,ξ,η) is a Riesz representation for τ on H. The main result of this section is the following, which says that an analytic functional on the ANALYTIC FUNCTIONALS FOR THE NC DISC ALGEBRA 17
Cuntz algebra always admits an essentially unique Riesz representation (π,ξ,η), and in addition π is completely non-singular.
Theorem 4.4. Let τ : Od → C be a bounded linear functional with the property that q(Ad) ⊂ ker τ. Then, τ admits a completely non-singular Riesz representation (π,ξ,η) such that |τ|(t)= hπ(t)ξ, ξi, t ∈ Od. Furthermore, this Riesz representation enjoys the following uniqueness property: ′ ′ ′ ′ ′ if π : Od → B(H ) is a unital ∗-representation and ξ , η ∈ H are vectors with kξ′k = kη′k = kτk1/2 such that ξ′ is cyclic for π′ and ′ ′ ′ τ(t)= hπ (t)ξ , η i, t ∈ Od, then there is a unitary operator U : H → H′ such that Uξ = ξ′, Uη = η′ and ∗ ′ Uπ(t)U = π (t), t ∈ Od.
Proof. By Lemma 2.1, there exist a unital ∗-representation π : Od → B(H), a 1/2 ∗∗ vector ξ ∈ H with kξk = kτk that is cyclic for π and a partial isometry f ∈ Od such that π(f ∗f)ξ = ξ and b τ(t)= hπ(t)ξ, π(f)ξi, and |τ|(t)= hπ(t)ξ, ξi for every t ∈ Od. Now, the assumptionb that q(Ad) ⊂ ker τ implies that π(f)ξ ∈ ⊥ (π(q(Ad))ξ) . Applying Lemma 4.3, we see that (π,ξ,η) is a Riesz representation for τ on H. In turn, Proposition 4.1 shows that π is completely non-singular.b The uniqueness statement follows at once from Lemma 2.2. We reiterate that the previous theorem can be viewed as a genuine generalization of the classical F. and M. Riesz theorem, through the lens of Corollary 3.2. The reader will notice however that in Corollary 3.2, a single unitary equivalence class of representations of O1 serves as a Riesz representation for all analytic functionals. One might wonder whether there is such a distingushed unitary equivalence class of representations when d> 1. We show next that this is far from being true.
Corollary 4.5. Let d ≥ 2. Let π : Od → B(H) be an irreducible, completely non- singular, unital ∗-representation. Then, there are unit vectors ξ, η in the range of π ◦ q(I − q) such that (π,ξ,η) is a Riesz representation for some bounded linear functional on Od annihilating q(Ad). In particular, there exist bounded linear func- d tionals on Od annihilating q(Ad) with unitarily inequivalent Riesz representations. Proof. First note that π is not singular, so that π[◦ q(q) 6= I by Lemma 2.6. By property (a) of the universal structure projection q (see Subsection 2.2), we infer that the space K = π[◦ q(I − q)H is invariant for (π ◦ q)(Ad). The corresponding representation induced by π is absolutely continuous by Lemma 2.6. Because d ≥ 2, by combining [24, Theorem 4.12] with [25, Theorem 4.16] we see that there exists a vector η ∈ K which is wandering for π. Let ξ = π(q(L1))η ∈ K, which is still a wandering vector for π. Since we assume that π is irreducible, ξ is necessarily cyclic for π. Define τ : Od → C as
τ(t)= hπ(t)ξ, ηi, t ∈ Od. Then, we find ∗ ∗ 2 τ(q(L1)) = hπ(q(L1L1))η, ηi = kηk =1 18 RAPHAEL¨ CLOUATRE,ˆ ROBERT T. W. MARTIN, AND EDWARD J. TIMKO and thus kτk = 1. The fact that ξ is also wandering for π then implies that (π,ξ,η) is a Riesz representation for τ. Moreover, for a ∈ Ad we have
τ(q(a)) = hπ(q(aL1))η, ηi =0 since η was chosen to be wandering for π, whence q(Ad) ⊂ ker τ as desired. The first statement has been established, and the second statement then immediately follows from it along with the uniqueness statement of Theorem 4.4, since there exist unitarily inequivalent completely non-singular ∗-representations of Od (see for instance Example 1).
5. Weak-∗ continuous extensions of analytic functionals In this section, we seek to give another generalization of the classical F. and M. Riesz theorem, in the form of Corollary 3.7. In other words, we explore the existence of weak-∗ continuous extensions for analytic functionals. Recall that 2 Sd ⊂ B(Fd) denotes the norm closed operator system generated by Ad, while 2 Vd ⊂ B(Fd) denotes the weak-∗ closure of Sd. We start with a positive result concerning absolute values.
Theorem 5.1. Let τ : Td → C be a bounded linear functional such that Ad ⊂ ker τ. Then, the restriction of |τ| to Sd extends weak-∗ continuously to Vd.
Proof. By Lemma 2.1, there exist a unital ∗-representation π : Td → B(H), a vector 1/2 ∗∗ ξ ∈ H with kξk = kτk that is cyclic for π and a partial isometry f ∈ Td such that π(f ∗f)ξ = ξ, b τ(t)= hπ(t)ξ, π(f)ξi and |τ|(t)= hπ(t)ξ, ξi ⊥ for every t ∈ Td. Now, the factb that Ad ⊂ ker τ implies that π(f)ξ ∈ (π(Ad)ξ) . Invoke Lemma 4.3 to see that b s 7→ PMπ(s)|M, s ∈ Sd extends weak∗-continuously to Vd. Finally, observe that
|τ|(s)= hPMπ(s)PMξ, ξi, s ∈ Sd, which clearly implies the desired statement.
The previous result already shows that there is some amount of automatic weak- ∗ continuity associated with an analytic functional, at least as far as the absolute value is concerned. It is natural to wonder whether the functional itself enjoys such a property as well. In the classical case of measures, this is an immediate consequence of the Radon–Nikodym theorem, but such machinery is not available when working in Sd for d> 1. The next example illustrates, perhaps surprisingly, that general analytic functionals on Sd need not extend weak-∗ continuously to Vd, even though their absolute values do.
Example 2. Let d ≥ 2. Let σ : Od → B(H) denote the unital ∗-representation con- structed in Example 1 with λ =1,m = 1 and υ(1) = 1. Then, σ is irreducible and of dilation type. There is a unit vector η ∈ H with the property that σ(q(L1))η = η ∗ and a wandering vector ξ ∈ H for σ such that η = σ(q(L2)) ξ. Define τ : Od → C as
τ(t)= hσ(t)ξ, ηi, t ∈ Td. ANALYTIC FUNCTIONALS FOR THE NC DISC ALGEBRA 19
For a ∈ Ad, we find
τ(q(a)) = hσ(q(L2a))ξ, ξi =0 since ξ is wandering. Hence, τ ◦ q is an analytic functional, and we claim that
τ ◦ q|Sd does not extend weak-∗ continuously to Vd. N n To see this, for each n ∈ we let an = L2L1 ∈ Ad. Then, it is readily verified 2 that (an) converges to 0 in the weak-∗ topology of B(Fd). On the other hand, we compute for every n ∈ N that
∗ ∗n ∗ ∗n 2 (τ ◦ q)(an)= hσ(q(L1 L2))ξ, ηi = hσ(q(L1)) η, ηi = kηk =1 ∗ so that ((τ ◦ q)(an)) does not converge to 0. This proves the claim.
Fix d ≥ 2 along with a functional τ on Sd that annihilates Ad. In the previous example, we saw that it is possible for τ to have a Riesz representation of dilation type and to fail to extend weak-∗ continuously to Vd. By Proposition 4.1, we know that a Riesz representation must necessarily be completely non-singular. Further- more, if the Riesz representation of τ is absolutely continuous, then necessarily τ extends weak-∗ continuously to Vd by [25, Theorem 4.16] and Theorem 2.4. It is therefore tempting to conjecture that the converse should hold as well, namely that if τ extends weak-∗ continuously to Vd, then its Riesz representation must be absolutely continuous. This is not the case however, as we show next.
Corollary 5.2. Let d ≥ 2 and let π : Od → B(H) be a completely non-singular, irreducible, unital ∗-representation. Then, there is a bounded linear functional τ : Od → C with the following properties. (a) There are unit vectors ξ, η ∈ H such that (π,ξ,η) is a Riesz representation for τ on H. (b) The functional τ ◦ q annihilates Ad. (c) The restriction of τ ◦ q to Sd extends weak-∗ continuously to Vd. Proof. By Corollary 4.5, there are unit vectors ξ, η in the range of π[◦ q(I − q) such that (π,ξ,η) is a Riesz representation for some bounded linear functional τ : Od → C annihilating q(Ad). Using property (a) of the universal structure projection (see Subsection 2.2), we find (τ ◦ q)(a + b∗)= h(π ◦ q)(a + b∗)ξ, ηi = hπ[◦ q((I − q)(a + b∗)(I − q))ξ, ηi = hπ[◦ q(a(I − q) + (I − q)b∗)ξ, ηi = τ ◦ q(a(I − q) + (I − q)b∗)
for every a,b ∈ Ad. Invoking Lemmad 2.5, we see that τ ◦ q|Sd extends weak-∗ continuously to Vd.
In light of the foregoing discussion, it appears that there is no obvious relation- ship between an analytic functional on Sd extending weak-∗ continuously to Vd and the type of its Riesz representation. Without further qualification, a perfect ana- logue of Corollary 3.7 is too much to hope for. The next development is the main result of this section, and it identifies precisely what the obstruction is in terms of ∗∗ the universal structure projection q ∈ Ad . 20 RAPHAEL¨ CLOUATRE,ˆ ROBERT T. W. MARTIN, AND EDWARD J. TIMKO
Theorem 5.3. Let τ : Sd → C be a bounded linear functional with the property ∗ that Ad ⊂ ker τ. Then τ extends weak -continuously to Vd if and only if ∗ ∗ {qa − a q : a ∈ Ad}⊂ ker τ. b Proof. We first make some preliminary remarks. Applying Lemma 2.1 to a Hahn– Banach extension of τ to Td, we obtain a unital ∗-representation π : Td → B(H), a 1/2 ∗∗ vector ξ ∈ H with kξk = kτk that is cyclic for π and a partial isometry f ∈ Td such that π(f ∗f)ξ = ξ,
b τ(s)= hπ(s)ξ, π(f)ξi, s ∈ Sd. ⊥ Put η = π(f)ξ. Because Ad ⊂ ker τ web find η ∈ (π(Ad)ξ) . Lemma 4.3 yields π(q)ξ = 0, whence b (1)b τ(s)= hπ(s(I − q))ξ, ηi = τ(s(I − q)) for every s ∈ Sd. b b Let us now turn to the proof. Suppose first that ∗ ∗ {qa − a q : a ∈ Ad}⊂ ker τ which implies b ∗ ∗ {(I − q)a − a (I − q): a ∈ Ad}⊂ ker τ. ⊥⊥ ∗∗ The space Ad ⊂ Sd coincides with the weak-∗ closure of Ad, so by weak-∗ ⊥⊥ b continuity of the functional τ, we find we obtain Ad ⊂ ker τ. Therefore,
(2) τ(a(bI − q))=0= τ(a), a ∈ Ad b and b ∗ ∗ ⊥⊥ {(I − q)w − w (I − q): w ∈ Ad }⊂ ker τ. In particular, this means that b ∗ ∗ (3) τ(b (I − q)) = τ((I − q)b (I − q)), b ∈ Ad.
For a,b ∈ Ad, we thusb find usingb (1), (2) and (3) along with property (a) of the universal structure projection (see Subsection 2.2) that τ(a + b∗)= τ(a)+ τ(b∗)= τ(b∗(I − q)) ∗ = τ((I − q)b (I −bq)) ∗ = τb(a(I − q)) + τ((I − q)b (I − q)) ∗ = τb(a(I − q) + (Ib − q)b ). An application of Lemma 2.5 thenb shows that τ extends weak-∗ continuously to Vd. Conversely, suppose that τ is known to extend weak-∗ continuously to Vd. By Goldstine’s theorem, there exists a contractive net (ai) in Ad that converges to ∗ ∗∗ q in the weak topology of Ad . Fix b ∈ Ad. By properties (a) and (b) of the universal structure projection (see Subsection 2.2), we see that the nets (aib) and 2 (bai) converge to 0 in the weak-∗ topology of B(Fd) for every b ∈ Ad, and hence so ∗ ∗ ∗ ∗ do the nets (τ(ai b )) and (τ(b ai )). Thus, we find ∗ ∗ ∗ ∗ ∗ ∗ τ(qb ) = lim τ(ai b ) = 0 and τ(b q) = lim τ(b ai )=0 i i which impliesb the desired property. b ANALYTIC FUNCTIONALS FOR THE NC DISC ALGEBRA 21
We remark here that in the univariate context, the algebra A1 is commutative, ∗∗ ∗ ∗ and thus so is A1 . Consequently, in this case the set {qa − a q : a ∈ A1} is zero, and the condition of the previous theorem is automatically satisfied.
6. Commutative algebras of multipliers Up to now, we have adopted the point of view that the non-commutative algebras Ad provide a multivariate analogue of the disc algebra for which generalizations of the classical F. and. M. Riesz theorem can be explored. Conventional wisdom dictates that there is also a commutative side to this story, where the multivariate analogue of the disc algebra consists of multipliers on the so-called Drury–Arveson Hilbert space of functions on the complex unit ball. The purpose of this section is to examine this algebra of multipliers and corresponding extensions of the F. and M. Riesz theorem. In fact, we will consider an entire family of spaces of functions that can be efficiently analyzed simultaneously. This family is rather rich, containing as special cases the Drury–Arveson space and the Dirichlet space. Let us now describe the setting more precisely. Throughout this section, we will denote by H a regular unitarily invariant repro- d ducing kernel Hilbert space on the open unit ball Bd ⊂ C . The precise definition of such an object will not be needed for our purposes; for more details the reader may consult [2],[22] or [10]. We let M(H) denote the multiplier algebra of H. It is known that the coordinate multipliers Mz1 ,Mz2 ,...,Mzd are bounded on H, so that all polynomials lie in M(H). Accordingly, we let A(H) ⊂ B(H) be the norm closure of the polynomial multipliers, and let T(H) ⊂ B(H) denote the C∗-algebra that A(H) generates. The main piece of information regarding these objects that we require is the following. Theorem 6.1. Let H be a regular unitarily invariant reproducing kernel Hilbert ∗∗ space on Bd. Then, there is a central projection e ∈ A(H) with the following properties.
(i) For each 1 ≤ j ≤ d, we let Uj = eMzj . Then, the d-tuple (U1,...,Ud) is a spherical unitary, in the sense that it consists of commuting normal elements d ∗ satisfying j=1 Uj Uj = I. ∗∗ (ii) The algebraPN = A(H) e is the von Neumann algebra generated by U1,...,Ud. (iii) There is a unital, completely isometric and weak-∗ homeomorphic isomor- phism Θ: A(H)∗∗(I − e) →M(H) such that Θ(a(I − e)) = a, a ∈ A(H). Proof. This is [14, Theorem 5.1]. The reader will notice that the central projection e in the previous result behaves ∗∗ similarly to the universal structure projection q ∈ Ad (see Subsection 2.2). One key difference, however, is that e commutes with every element in T(H)∗∗. The following standard fact relates the projection e to weak-∗ continuity of functionals on A(H). Lemma 6.2. Let τ : A(H) → C be a bounded linear functional. Then, τ extends weak-∗ continuously to M(H) if and only if τ(a)= τ(a(I − e)), a ∈ A(H). b 22 RAPHAEL¨ CLOUATRE,ˆ ROBERT T. W. MARTIN, AND EDWARD J. TIMKO
Proof. Assume first that τ extends weak-∗ continuously to M(H). By Goldstine’s Theorem, there is a contractive net (bi)i in A(H) that converges to I −e in the weak- ∗∗ ∗ topology of A(H) . By part (iii) of Theorem 6.1, we infer that (bi) converges to 1 in the weak-∗ topology of B(H). Hence, for a ∈ A(H) we obtain
τ(a) = lim τ(abi)= τ(a(I − e)). i Conversely, assume that b τ(a)= τ(a(I − e)), a ∈ A(H).
Let (bn)n be a sequence in A(H)b converging to 0 in the weak-∗ topology of B(H). ∗∗ Then (bn(I − e))n converges to 0 in the weak-∗ topology of A(H) by virtue of part (iii) of Theorem 6.1. Therefore
lim τ(bn) = lim τ(bn(I − e))=0. n→∞ n→∞ It follows from [4, Lemma 3.1] that τ extendsb weak-∗ continuously to M(H).
The next step is our crucial technical tool, and is reminiscent of Lemma 4.3. The maximality assumption appearing therein was introduced in [11], and it is satisfied by many spaces of interest, such as the Drury–Arveson space and the Dirichlet space; see [10, Subsection 2.3] for a discussion of this notion. Lemma 6.3. Let H be a unitarily invariant, regular, maximal, complete Nevanlinna– Pick reproducing kernel Hilbert space on Bd. Let π : T(H) → B(E) be a unital ∗-representation. Suppose there exist a vector ξ ∈ E along with f ∈ T(H)∗∗ such that π(f ∗f)ξ = ξ and ξ ∈ (π(A(H))π(f)ξ)⊥. If we let F = π(A(H))π(f)ξ, then π(e)|F =0. b b b Proof.b Let ρ : A(H) → B(F) be the unital completely contractive homomorphism given by ρ(a)= π(a)|F for a ∈ A(H). Using Theorem 6.1, we see that the map we 7→ ρ(we), w ∈ A(H)∗∗ is a unital completely contractiveb homomorphism on the von Neumann algebra N = A(H)∗∗e, and thus it is a ∗-homomorphism. In particular, the d-tuple (ρ(U1),..., ρ(Ud)) is a spherical unitary. Note also that ρ(e) is a central projection ∗ in the weak closure of ρ(A(H)). Let P = ρ(e) ⊕ 0F ⊥ ∈ B(H). We claim that P commutesb withb π(T(H)). b To see this, let G⊂E denote the range ofbP , and consider the unital completely positive map ϕ : T(H) → B(G) defined as
ϕ(t)= PG π(t)|G , t ∈ T(H).
For a ∈ A(H), we see that ϕ(a) = ρ(ae)|G . An application of [11, Lemma 3.6] shows that ϕ is a ∗-homomorphism. In turn, a classical observation of Agler [1] (see also [10, Lemma 3.2]) reveals thatbG is reducing for π(T(H)), so that indeed P commutes with π(T(H)). In particular, it commutes with π(f). Finally, because ξ ∈ F ⊥ by assumption, we have that P ξ = 0. For a ∈ A(H), we note that b P π(a)π(f)ξ = π(a)π(f)P ξ =0. As π(A(H))π(f)ξ is dense in F,b we have thatbP = 0. Therefore, π(e)|F = ρ(e) = 0. b b b ANALYTIC FUNCTIONALS FOR THE NC DISC ALGEBRA 23
We now arrive at the main result of this section, which is partial generalization of the classical F. and M. Riesz theorem, in the form of Corollary 3.7. For a subalgebra B⊂ B(H), we use the following notation B† = {b∗ : b ∈B}⊂ B(H). Theorem 6.4. Let H be a unitarily invariant, regular, maximal, complete Nevanlinna– Pick reproducing kernel Hilbert space on Bd. Let τ : T(H) → C be a bounded linear functional such that A(H) ⊂ ker τ. Then, the restriction of τ to A(H)† extends weak-∗ continuously to M(H)†. Proof. Define a bounded linear functional ω : T(H) → C as ω(t)= τ(t∗), t ∈ T(H). Clearly, it suffices to prove that the restriction of ω to A(H) extends weak-∗ con- tinuously to M(H). By Lemma 2.1, there exist a unital ∗-representation π : T(H) → B(E), a vector ξ ∈E with kξk = kτk1/2 that is cyclic for π and a partial isometry f ∈ T(H)∗∗ such that π(f ∗f)ξ = ξ and b ω(t)= hπ(t)ξ, π(f)ξi, t ∈ T(H). † ⊥ By assumption, we have A(H) ⊂ ker ωb, which implies that ξ ∈ (π(A(H))π(f)ξ) . Thus, it follows from Lemma 6.3 that π(e)π(f)ξ = 0. Hence, for t ∈ T(H) we observe that b b b ω(t)= hπ(t)ξ, π(f)ξi = hπ(t)ξ, π((I − e)f)ξi = hπ(t(I −b e))ξ, π(f)ξi b = ωb(t(I − e)) b where we used the fact thatb π(e) commutes with π(T(H)). The desired conclusion now follows immediately from Lemma 6.2. b The previous result does not yield as satisfactory a conclusion as its non-commuta- tive counterpart Theorem 5.3, which guarantees the existence of a weak-∗ contin- uous extension at the level of operator systems. The obstacle to proving such a stronger statement in the context of unitarily invariant spaces is a current lack of a replacement for Theorems 2.4 and 3.6. Nevertheless, Theorem 6.4 does yield some non-trivial information, as we illustrate next with an application. A bounded linear functional ϕ : T(H) → C is said to be Henkin for A(H) if its restriction to A(H) extends weak-∗ continuously to M(H). We denote the set of all such functionals by Hen(A(H)). The set Hen(A(H)†) of Henkin functionals for A(H)† is defined analogously, where instead we require the existence of a weak-∗ continuous extension on M(H)†. Henkin functionals have been a topic of recent in- terest in multivariate operator theory (see [9],[8],[4],[14] and the references therein). Nevertheless, outside of the classical setting of the ball algebra [32, Theorem 9.6.1], the exact nature of such functionals is not fully understood. Our final result sheds some light on their structure. Corollary 6.5. Let H be a unitarily invariant, regular, maximal, complete Nevanlinna– Pick reproducing kernel Hilbert space on Bd. Then, Hen(A(H)) = Hen(A(H)†). 24 RAPHAEL¨ CLOUATRE,ˆ ROBERT T. W. MARTIN, AND EDWARD J. TIMKO
Proof. Let ϕ ∈ Hen(A(H)). By definition, there exists a weak-∗ continuous func- tional ω0 on M(H) such that
ω0|A(H) = ϕ|A(H).
Increasing the norm if necessary, we may extend ω0 to a weak-∗ continuous linear functional ω : B(H) → C. Define ψ : T(H) → C as ψ(t)= ω(t) − ϕ(t), t ∈ T(H).
Then A(H) ⊂ ker ψ, and it follows from Theorem 6.4 that ψ|A(H)† extends weak-∗ continuously to M(H)†. Clearly, the same must be true of
ϕ|A(H)† = ω|A(H)† − ψ|A(H)† so indeed ϕ ∈ Hen(A(H)†). The reverse inclusion follows similarly.
We close by remarking that in the case of the ball algebra, the previous symmetry result is a direct consequence of the known characterization of Henkin functionals due to Cole and Range [12] (see also [32, Theorem 9.6.1]). In the absence of such a result in general, we do not know how to prove Corollary 6.5 directly.
References
[1] Jim Agler, The Arveson extension theorem and coanalytic models, Integral Equations Oper- ator Theory 5 (1982), no. 5, 608–631. MR697007 (84g:47011) [2] Jim Agler and John E. McCarthy, Pick interpolation and Hilbert function spaces, Gradu- ate Studies in Mathematics, vol. 44, American Mathematical Society, Providence, RI, 2002. MR1882259 (2003b:47001) [3] Hari Bercovici, Operator theory and arithmetic in H∞, Mathematical Surveys and Mono- graphs, vol. 26, American Mathematical Society, Providence, RI, 1988. MR954383 (90e:47001) [4] Kelly Bickel, Michael Hartz, and John E. McCarthy, A multiplier algebra functional calculus, Trans. Amer. Math. Soc. 370 (2018), no. 12, 8467–8482. MR3864384 [5] David P. Blecher and Louis E. Labuschagne, Noncommutative function theory and unique extensions, Studia Math. 178 (2007), no. 2, 177–195. MR2285438 [6] , Von Neumann algebraic Hp theory, Function spaces, 2007, pp. 89–114. MR2359421 [7] David P. Blecher and Christian Le Merdy, Operator algebras and their modules—an operator space approach, London Mathematical Society Monographs. New Series, vol. 30, The Claren- don Press, Oxford University Press, Oxford, 2004. Oxford Science Publications. MR2111973 [8] Rapha¨el Clouˆatre and Kenneth R. Davidson, Absolute continuity for commuting row con- tractions, J. Funct. Anal. 271 (2016), no. 3, 620–641. MR3506960 [9] , Duality, convexity and peak interpolation in the Drury-Arveson space, Adv. Math. 295 (2016), 90–149. MR3488033 [10] Rapha¨el Clouˆatre and Michael Hartz, Multiplier algebras of complete Nevanlinna-Pick spaces: dilations, boundary representations and hyperrigidity, J. Funct. Anal. 274 (2018), no. 6, 1690– 1738. MR3758546 [11] Rapha¨el Clouˆatre and Edward J. Timko, Gelfand transforms and boundary representations of complete Nevanlinna–Pick quotients, Trans. Amer. Math. Soc. 374 (2021), no. 3, 2107– 2147. MR4216734 [12] Brian Cole and R. Michael Range, A-measures on complex manifolds and some applications, J. Functional Analysis 11 (1972), 393–400. MR0340646 (49 #5398) [13] Kenneth R. Davidson, C∗-algebras by example, Fields Institute Monographs, vol. 6, American Mathematical Society, Providence, RI, 1996. MR1402012 (97i:46095) [14] Kenneth R. Davidson and Michael Hartz, Interpolation and duality in algebras of multipliers on the ball, preprint arXiv:2003.14341 (2020). [15] Kenneth R. Davidson, Elias Katsoulis, and David R. Pitts, The structure of free semigroup algebras, J. Reine Angew. Math. 533 (2001), 99–125. MR1823866 (2002a:47107) ANALYTIC FUNCTIONALS FOR THE NC DISC ALGEBRA 25
[16] Kenneth R. Davidson, Jiankui Li, and David R. Pitts, Absolutely continuous representations and a Kaplansky density theorem for free semigroup algebras, J. Funct. Anal. 224 (2005), no. 1, 160–191. MR2139108 (2006f:47088) [17] Kenneth R. Davidson and Vern I. Paulsen, Polynomially bounded operators, J. Reine Angew. Math. 487 (1997), 153–170. MR1454263 (98d:47003) [18] Kenneth R. Davidson and David R. Pitts, Invariant subspaces and hyper-reflexivity for free semigroup algebras, Proc. London Math. Soc. (3) 78 (1999), no. 2, 401–430. MR1665248 (2000k:47005) [19] Jacques Dixmier, C∗-algebras, North-Holland Publishing Co., Amsterdam-New York-Oxford, 1977. Translated from the French by Francis Jellett, North-Holland Mathematical Library, Vol. 15. MR0458185 [20] Ronald G. Douglas, Banach algebra techniques in operator theory, Second, Graduate Texts in Mathematics, vol. 179, Springer-Verlag, New York, 1998. MR1634900 [21] Ruy Exel, The F. and M. Riesz theorem for C∗-algebras, J. Operator Theory 23 (1990), no. 2, 351–368. MR1066812 [22] Michael Hartz, On the isomorphism problem for multiplier algebras of Nevanlinna-Pick spaces, Canad. J. Math. 69 (2017), no. 1, 54–106. MR3589854 [23] Kenneth Hoffman, Bounded analytic functions in the unit disk, Lectures in Modern Analysis and Applications, I, 1969, pp. 1–9. MR0246126 [24] Matthew Kennedy, Wandering vectors and the reflexivity of free semigroup algebras, J. Reine Angew. Math. 653 (2011), 47–73. MR2794625 [25] , The structure of an isometric tuple, Proc. Lond. Math. Soc. (3) 106 (2013), no. 5, 1157–1177. MR3066752 [26] Matthew Kennedy and Dilian Yang, A non-self-adjoint Lebesgue decomposition, Anal. PDE 7 (2014), no. 2, 497–512. MR3218817 [27] Vern Paulsen, Completely bounded maps and operator algebras, Cambridge Studies in Ad- vanced Mathematics, vol. 78, Cambridge University Press, Cambridge, 2002. MR1976867 (2004c:46118) [28] Gelu Popescu, Isometric dilations for infinite sequences of noncommuting operators, Trans. Amer. Math. Soc. 316 (1989), no. 2, 523–536. MR972704 (90c:47006) [29] , von Neumann inequality for (B(H)n )1, Math. Scand. 68 (1991), no. 2, 292–304. MR1129595 (92k:47073) [30] , Non-commutative disc algebras and their representations, Proc. Amer. Math. Soc. 124 (1996), no. 7, 2137–2148. MR1343719 (96k:47077) [31] , Operator theory on noncommutative varieties, Indiana Univ. Math. J. 55 (2006), no. 2, 389–442. MR2225440 (2007m:47008) [32] Walter Rudin, Function theory in the unit ball of Cn, Classics in Mathematics, Springer- Verlag, Berlin, 2008. Reprint of the 1980 edition. MR2446682 (2009g:32001) [33] ShˆoichirˆoSakai, C∗-algebras and W ∗-algebras, Springer-Verlag, New York-Heidelberg, 1971. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 60. MR0442701 [34] B´ela Sz.-Nagy, Ciprian Foias, Hari Bercovici, and L´aszl´oK´erchy, Harmonic analysis of op- erators on Hilbert space, enlarged, Universitext, Springer, New York, 2010. MR2760647 (2012b:47001) [35] M. Takesaki, Theory of operator algebras. I, Encyclopaedia of Mathematical Sciences, vol. 124, Springer-Verlag, Berlin, 2002. Reprint of the first (1979) edition, Operator Alge- bras and Non-commutative Geometry, 5. MR1873025 [36] Yoshimichi Ueda, On peak phenomena for non-commutative H∞, Math. Ann. 343 (2009), no. 2, 421–429. MR2461260 Email address: [email protected] Email address: [email protected] Email address: [email protected] Department of Mathematics, University of Manitoba, Winnipeg, Manitoba, Canada R3T 2N2