Toeplitz extension
Builds on Toeplitz algebraIdeal of compact operatorsFredholm indexIndex mapSix-term exact sequenceK0 of a C*-algebraK1 of a C*-algebra
Example
Let be the unilateral shift on , , and let be the Toeplitz algebra, the C*-algebra generated by . Let be the ideal of compact operators on . The Toeplitz extension is the short exact sequence Here is the symbol map, determined by . Check of the ideal: is the rank-one projection onto , so contains a nonzero compact operator. Since acts irreducibly, it contains all of . The quotient is commutative, because is compact, and it is generated by a unitary with spectrum , so it is .
The index map sends the generator to . Indeed is a lift of and a partial isometry, so , which is under . This is the Fredholm index of : . Since is an isomorphism , the six-term exact sequence, with and , gives The class generates , and the inclusion is zero on .
Reading path
To understand this page from the ground up, read these 21 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- C*-algebra concept
- Compact operator concept
- Exact sequence concept
- Fredholm index concept
- Hardy space concept
- Hilbert space concept
- Hilbert space adjoint concept
- Ideal of compact operators concept
- Index map concept
- K0 of a C*-algebra concept
- K1 of a C*-algebra concept
- Operator norm concept
- Short exact sequence concept
- Toeplitz operator concept
- Topological K-theory concept
- Unitary element concept
- Algebra of bounded operators on a Hilbert space object
- Bott periodicity for C*-algebras statement
- Toeplitz algebra object
- Six-term exact sequence statement
- Toeplitz extension example
Further reading
About this page
| Tag | V4G7QAQW89 |
|---|---|
| URI | m2://V4G7QAQW89 |
| Kind | example |
| Writing | W0 stub |
| MSC | 46L80, 47B35, 19K56 |
| Illustrates | Index map, Six-term exact sequence |
| Uses | Toeplitz algebra, Ideal of compact operators, Fredholm index, Index map, Six-term exact sequence, K0 of a C*-algebra, K1 of a C*-algebra |
| Changed | 3 November 2026 |
Markdown Β· JSON Β· Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.