Difference between revisions of "Toeplitz C*-algebra"
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
m (link) |
||
Line 9: | Line 9: | ||
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015023.png" />-algebra extensions are the building blocks of [[K-theory|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015024.png" />-theory]] and [[Index theory|index theory]]; in our case a Toeplitz operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015025.png" /> is Fredholm (cf. also [[Fredholm-operator(2)|Fredholm operator]]) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015026.png" /> has no zeros, and then the index <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015027.png" /> is the (negative) [[Winding number|winding number]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015028.png" />. | <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015023.png" />-algebra extensions are the building blocks of [[K-theory|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015024.png" />-theory]] and [[Index theory|index theory]]; in our case a Toeplitz operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015025.png" /> is Fredholm (cf. also [[Fredholm-operator(2)|Fredholm operator]]) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015026.png" /> has no zeros, and then the index <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015027.png" /> is the (negative) [[Winding number|winding number]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015028.png" />. | ||
− | In the multi-variable case, Toeplitz <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015029.png" />-algebras have been studied in several important cases, e.g. for strictly pseudo-convex domains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015030.png" /> [[#References|[a1]]], including the unit ball <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015031.png" /> [[#References|[a2]]], [[#References|[a10]]], for tube domains and Siegel domains over convex "symmetric" cones [[#References|[a5]]], [[#References|[a8]]], and for general bounded symmetric domains in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015032.png" /> having a transitive semi-simple [[Lie group|Lie group]] of holomorphic automorphisms [[#References|[a7]]]. Here, the principal new feature is the fact that Toeplitz operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015033.png" /> (say, on the Hardy space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015034.png" /> over the Shilov boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015035.png" /> of a pseudo-convex domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015036.png" />) with continuous symbols <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015037.png" /> are not essentially commuting, i.e. | + | In the multi-variable case, Toeplitz <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015029.png" />-algebras have been studied in several important cases, e.g. for strictly pseudo-convex domains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015030.png" /> [[#References|[a1]]], including the unit ball <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015031.png" /> [[#References|[a2]]], [[#References|[a10]]], for tube domains and Siegel domains over convex "symmetric" cones [[#References|[a5]]], [[#References|[a8]]], and for general bounded symmetric domains in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015032.png" /> having a transitive semi-simple [[Lie group|Lie group]] of holomorphic automorphisms [[#References|[a7]]]. Here, the principal new feature is the fact that Toeplitz operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015033.png" /> (say, on the Hardy space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015034.png" /> over the [[Shilov boundary]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015035.png" /> of a pseudo-convex domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015036.png" />) with continuous symbols <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015037.png" /> are not essentially commuting, i.e. |
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015038.png" /></td> </tr></table> | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t130/t130150/t13015038.png" /></td> </tr></table> |
Revision as of 13:43, 6 March 2018
A uniformly closed -algebra of operators on a Hilbert space (a uniformly closed
-algebra). Such algebras are closely connected to important fields of geometric analysis, e.g., index theory, geometric quantization and several complex variables.
In the one-dimensional case one considers the Hardy space over the one-dimensional torus
(cf. also Hardy spaces), and defines the Toeplitz operator
with "symbol" function
by
for all
, where
is the orthogonal projection given by the Cauchy integral theorem. The
-algebra
generated by all operators
with continuous symbol
is not commutative, but defines a
-algebra extension
![]() |
of the -algebra
of all compact operators; in fact, this "Toeplitz extension" is the generator of the Abelian group
.
-algebra extensions are the building blocks of
-theory and index theory; in our case a Toeplitz operator
is Fredholm (cf. also Fredholm operator) if
has no zeros, and then the index
is the (negative) winding number of
.
In the multi-variable case, Toeplitz -algebras have been studied in several important cases, e.g. for strictly pseudo-convex domains
[a1], including the unit ball
[a2], [a10], for tube domains and Siegel domains over convex "symmetric" cones [a5], [a8], and for general bounded symmetric domains in
having a transitive semi-simple Lie group of holomorphic automorphisms [a7]. Here, the principal new feature is the fact that Toeplitz operators
(say, on the Hardy space
over the Shilov boundary
of a pseudo-convex domain
) with continuous symbols
are not essentially commuting, i.e.
![]() |
in general. Thus, the corresponding Toeplitz -algebra
is not a (one-step) extension of
; instead one obtains a multi-step
-filtration
![]() |
of -ideals, with essentially commutative subquotients
, whose maximal ideal space (its spectrum) reflects the boundary strata of the underlying domain. The length
of the composition series is an important geometric invariant, called the rank of
. The index theory and
-theory of these multi-variable Toeplitz
-algebras is more difficult to study; on the other hand one obtains interesting classes of operators arising by geometric quantization of the underlying domain
, regarded as a complex Kähler manifold.
A general method for studying the structure and representations of Toeplitz -algebras, at least for Shilov boundaries
arising as a symmetric space (not necessarily Riemannian), is the so-called
-duality [a11], [a9]. For example, if
is a Lie group with (reduced) group
-algebra
, then the so-called co-crossed product
-algebra
induced by a natural co-action
can be identified with
. Now the Cauchy–Szegö orthogonal projection
(cf. also Cauchy operator) defines a certain
-completion
, and the corresponding Toeplitz
-algebra
can be realized as (a corner of)
. In this way the well-developed representation theory of (co-) crossed product
-algebras [a4] can be applied to obtain Toeplitz
-representations related to the boundary
. For example, the two-dimensional torus
gives rise to non-type-
-algebras (for cones with irrational slopes), and the underlying "Reinhardt" domains (cf. also Reinhardt domain) have interesting complex-analytic properties, such as a non-compact solution operator of the Neumann
-problem [a6].
References
[a1] | L. Boutet de Monvel, "On the index of Toeplitz operators of several complex variables" Invent. Math. , 50 (1979) pp. 249–272 Zbl 0398.47018 |
[a2] | L. Coburn, "Singular integral operators and Toeplitz operators on odd spheres" Indiana Univ. Math. J. , 23 (1973) pp. 433–439 MR0322595 Zbl 0271.46052 |
[a3] | R. Douglas, R. Howe, "On the ![]() |
[a4] | M. Landstad, J. Phillips, I. Raeburn, C. Sutherland, "Representations of crossed products by coactions and principal bundles" Trans. Amer. Math. Soc. , 299 (1987) pp. 747–784 MR0869232 Zbl 0722.46031 |
[a5] | P. Muhly, J. Renault, "![]() |
[a6] | N. Salinas, A. Sheu, H. Upmeier, "Toeplitz operators on pseudoconvex domains and foliation algebras" Ann. Math. , 130 (1989) pp. 531–565 MR1025166 Zbl 0708.47021 |
[a7] | H. Upmeier, "Toeplitz ![]() |
[a8] | H. Upmeier, "Toeplitz operators on symmetric Siegel domains" Math. Ann. , 271 (1985) pp. 401–414 MR0787189 Zbl 0565.47016 |
[a9] | H. Upmeier, "Toeplitz operators and index theory in several complex variables" , Birkhäuser (1996) MR1384981 Zbl 0957.47023 |
[a10] | U. Venugopalkrishna, "Fredholm operators associated with strongly pseudoconvex domains in ![]() |
[a11] | A. Wassermann, "Algèbres d'opérateurs de Toeplitz sur les groupes unitaires" C.R. Acad. Sci. Paris , 299 (1984) pp. 871–874 MR0777751 |
Toeplitz C*-algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Toeplitz_C*-algebra&oldid=24133