Notes on the \(\ell^p\)-Toeplitz algebra on \(\ell^p(\mathbb{N} )\)
type: Item
instance of: scholarly article
title: Notes on the \(\ell^p\)-Toeplitz algebra on \(\ell^p(\mathbb{N} )\)
zbMATH Open document ID: 1491.46038
author: Qin Wang
author: Zhen Wang
published in: Israel Journal of Mathematics
publication date: 2022-01-13T00:00:00Z
review text: There has recently been interest in using the ideas and intuition gained from operator algebra theory to study closed algebras of operators, not on Hilbert spaces, but on \(L^p\) spaces, for \(p\not=2\). This paper is concerned with the \(\ell^p\)-space analogues of the Toeplitz algebra. The classical Toeplitz algebra is the \(C^*\)-algebra acting on \(\ell^2(\mathbb N)\) generated by the unilateral shift. Here we replace \(\ell^2(\mathbb N)\) by \(\ell^p(\mathbb N)\), and study the closed algebra generated by both the unilateral shift, say \(S\), and its ``reverse'', the backward shift, say \(T\) (this being, in the \(C^*\)-case, the adjoint of \(S\)). Then \(TS=1\) but \(1-ST=p_1\), the rank-one projection onto the 1st coordinate. From this, as classically, we find that the Toeplitz algebra \(\mathcal{T}_p\) contains the ideal of compact operators. The paper considers the quotient \(\mathcal{T}_p / K(\ell^p)\) which is a commutative Banach algebra: a major result shown is that the character space is the unit circle \(S^1\). Phillips conjectured that the quotient should actually be (isometrically isomorphic to) the \(\ell^p\) algebra of the circle [\textit{N. C. Phillips}, ``Open problems related to operator algebras on $L^p$ spaces'', Preprint (2014), \url{https://marktomforde.com/graph-algebra-problems/Phillips-Lp-Problems.pdf}]. By Fourier theory, and analogy with the \(C^*\)-algebra case, this means we should consider \(F^p_\lambda(\mathbb Z)\) which is the closed algebra on \(\ell^p(\mathbb Z)\) generated by the action of \(\mathbb Z\) (equivalently, generated by the bilateral shift). This paper proves this conjecture by establishing an explicit isomorphism \(\mathcal{T}_p / K(\ell^p) \rightarrow F^p_\lambda(\mathbb Z)\). The isomorphism maps the convolution operator in \(F^p_\lambda(\mathbb Z)\) to the (image in the quotient of the) partially defined convolution in \(\mathcal{T}_p / K(\ell^p)\). In the final section, some interesting remarks about \(K\)-theor…
reviewed by: Matthew Daws
Mathematics Subject Classification ID: 46H05
Mathematics Subject Classification ID: 46H20
Mathematics Subject Classification ID: 46H35
Mathematics Subject Classification ID: 46L80
zbMATH DE Number: 7456843
zbMATH Keywords: Toeplitz algebra
zbMATH Keywords: \(L^p\) operator algebra
zbMATH Keywords: $K$-theory
MaRDI profile type: Publication
full work available at URL: s11856-021-2204-3
OpenAlex ID: W3201414954
cites work: Q4222027
cites work: Decay rate of iterated integrals of branched rough paths
cites work: Q5468826
cites work: Q3999065
cites work: Banach algebras generated by an invertible isometry of an \(L^p\)-space
cites work: Representations of $p$-convolution algebras on $L^q$-spaces
cites work: A Course in Commutative Banach Algebras
cites work: Topological invariants of the maximal ideal space of a Banach algebra
DOI: 10.1007/S11856-021-2204-3
description: scientific article; zbMATH DE number 7456843