Toeplitz algebras on the disk
type: Item
instance of: scholarly article
title: Toeplitz algebras on the disk
zbMATH Open document ID: 1142.46022
author: Sheldon Axler
author: Dechao Zheng
published in: Journal of Functional Analysis
publication date: 2007-02-26T00:00:00Z
review text: Let \(B\) be a Douglas algebra and let \(\mathcal B\) be the algebra on the unit disk generated by the harmonic extensions of functions in \(B\). Denote by \(L^2_a\) the Hilbert space of analytic functions on the unit disk \(D\) that belong to \(L^2(D, dA)\) for \(dA\) denoting the Lebesgue area measure on \(D\). For an operator \(S\in {\mathcal L}(L^2_a)\) the Berezin transform of \(S\) is the function \(\widetilde S\) defined on \(D\) by \[ \widetilde S (z)= \langle Sk_z, k_z\rangle, \] where \(k_z\) is the normalized Bergman reproducing kernel. Further, let \(\mathcal T_\mathcal B\) be the closed subalgebra of \({\mathcal L}(L^2_a)\) generated by Toeplitz operators with symbol in \(\mathcal B\). The main goal of this paper is to characterize the algebra \(\mathcal T_B\) using the properties of the Berezin transform of the operators in \(\mathcal T_\mathcal B\). It is shown that every element \(S\in\mathcal T_\mathcal B\) has a canonical decomposition \[ S=T_{\widetilde S} + R, \] where \(T_{\widetilde S} \) is the Toeplitz operator with symbol \(\widetilde S\), the Berezin transform of \(S\), and \(R\) belongs to the commutator ideal \({\mathcal C}_{{\mathcal T}_{\mathcal B}}\), the smallest closed two-sided ideal of \(\mathcal T_\mathcal B\) containing all operators of the form \(R\, U-UR\) with \(R,U\in \mathcal T_\mathcal B\). Moreover, \(S\in {\mathcal C}_{{\mathcal T}_{\mathcal B}}\) if and only if the Berezin transform \(\widetilde S\) vanishes on the union of the maximal ideal space of the Douglas algebra \(B\) and the set \(\mathcal M_1\) of trivial Gleason parts. The set \(\mathcal M_1\) is constituted by those \(m\in \mathcal M\) (\(\mathcal M\) stands for the maximal ideal space of \(H^\infty (D)\)) such that the Hoffman map \(\varphi_m:D\rightarrow \mathcal M\) defined by \(\varphi_m(w)=\lim_{z\rightarrow w} \varphi_z(w)\), \(w\in D\), is constant on \(\mathcal M\).
Mathematics Subject Classification ID: 46J15
Mathematics Subject Classification ID: 47B35
zbMATH DE Number: 5129769
zbMATH Keywords: Toeplitz operator, Berezin transform
zbMATH Keywords: Bergman space
zbMATH Keywords: Douglas algebra
zbMATH Keywords: Commutator ideal
reviewed by: A. B. Lebre
MaRDI profile type: Publication
full work available at URL: j.jfa.2006.09.014
OpenAlex ID: W1984357760
cites work: Q4730329
cites work: Q4376701
cites work: A distance formula for algebras on the disk
cites work: Some characterizations of 𝐶(ℳ)
cites work: Q5597848
cites work: A characterization of Douglas subalgebras
cites work: Q3922907
cites work: Interpolating Blaschke products generate \(H^ \infty\)
cites work: Analytic functions of bounded mean oscillation and the Bloch space
cites work: Q4711218
cites work: Interpolating Blaschke products and factorization in Douglas algebras
cites work: A Carleson Measure Theorem for Bergman Spaces
cites work: Bounded analytic functions and Gleason parts
cites work: Subalgebras of \(L^\infty\) containing \(H^\infty\)
cites work: Q3881402
cites work: Trivial Gleason parts and the topological stable rank of H infinity
cites work: A constructive proof of the Chang-Marshall theorem
cites work: Exact Sequences for Generalized Toeplitz Operators
cites work: Algebras on the unit disk and Toeplitz operators on the Bergman space
DOI: 10.1016/J.JFA.2006.09.014
description: scientific article; zbMATH DE number 5129769