Math 2.0

Functional analysis Example

Toeplitz extension

Builds on Toeplitz algebraIdeal of compact operatorsFredholm indexIndex mapSix-term exact sequenceK0 of a C*-algebraK1 of a C*-algebra

Example

Let SS be the unilateral shift on β„“2(β„•)\ell^2(\N), Sek=ek+1S e_k = e_{k+1}, and let 𝒯\mathcal{T} be the Toeplitz algebra, the C*-algebra generated by SS. Let 𝒦\mathcal{K} be the ideal of compact operators on β„“2(β„•)\ell^2(\N). The Toeplitz extension is the short exact sequence 0→𝒦→𝒯→σC(𝕋)β†’0.0 \to \mathcal{K} \to \mathcal{T} \xrightarrow{\sigma} C(\mathbb{T}) \to 0. Here Οƒ\sigma is the symbol map, determined by Οƒ(S)=z\sigma(S) = z. Check of the ideal: 1βˆ’SSβˆ—1 - S S^* is the rank-one projection onto β„‚e0\C e_0, so 𝒯\mathcal{T} contains a nonzero compact operator. Since 𝒯\mathcal{T} acts irreducibly, it contains all of 𝒦\mathcal{K}. The quotient 𝒯/𝒦\mathcal{T}/\mathcal{K} is commutative, because Sβˆ—Sβˆ’SSβˆ—=1βˆ’SSβˆ—S^* S - S S^* = 1 - S S^* is compact, and it is generated by a unitary with spectrum 𝕋\mathbb{T}, so it is C(𝕋)C(\mathbb{T}).

The index map βˆ‚β€‰β£:K1(C(𝕋))β†’K0(𝒦)\partial \colon K_1(C(\mathbb{T})) \to K_0(\mathcal{K}) sends the generator [z][z] to βˆ’1-1. Indeed SS is a lift of zz and a partial isometry, so βˆ‚[z]=[1βˆ’Sβˆ—S]βˆ’[1βˆ’SSβˆ—]=0βˆ’[e0Β projection]\partial[z] = [1 - S^* S] - [1 - S S^*] = 0 - [e_0 \text{ projection}], which is βˆ’1-1 under K0(𝒦)β‰…β„€K_0(\mathcal{K}) \cong \Z. This is the Fredholm index of SS: dim⁑ker⁑Sβˆ’dim⁑ker⁑Sβˆ—=0βˆ’1\dim \ker S - \dim \ker S^* = 0 - 1. Since βˆ‚\partial is an isomorphism β„€β†’β„€\Z \to \Z, the six-term exact sequence, with K1(𝒦)=0K_1(\mathcal{K}) = 0 and K0(C(𝕋))β‰…β„€K_0(C(\mathbb{T})) \cong \Z, gives K0(𝒯)β‰…β„€,K1(𝒯)=0.K_0(\mathcal{T}) \cong \Z, \qquad K_1(\mathcal{T}) = 0. The class [1][1] generates K0(𝒯)K_0(\mathcal{T}), and the inclusion 𝒦→𝒯\mathcal{K} \to \mathcal{T} is zero on K0K_0.

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
C*-algebra, concept, no evidence levelC*-algebraconceptCompact operator, concept, no evidence levelCompact operatorconceptExact sequence, concept, no evidence levelExact sequenceconceptFredholm index, concept, no evidence levelFredholm indexconceptHardy space, concept, no evidence levelHardy spaceconceptHilbert space, concept, no evidence levelHilbert spaceconceptHilbert space adjoint, concept, no evidence levelHilbert space adjointconceptIdeal of compact operators, concept, no evidence levelIdeal of compact oper…conceptIndex map, concept, no evidence levelIndex mapconceptK0 of a C*-algebra, concept, no evidence levelK0 of a C*-algebraconceptK1 of a C*-algebra, concept, no evidence levelK1 of a C*-algebraconceptOperator norm, concept, no evidence levelOperator normconceptShort exact sequence, concept, no evidence levelShort exact sequenceconceptToeplitz operator, concept, no evidence levelToeplitz operatorconceptTopological K-theory, concept, no evidence levelTopological K-theoryconceptUnitary element, concept, no evidence levelUnitary elementconceptAlgebra of bounded operators on a Hilbert space, object, no evidence levelAlgebra of bounded op…objectBott periodicity for C*-algebras, statement, no evidence levelBott periodicity for …statementToeplitz algebra, object, no evidence levelToeplitz algebraobjectSix-term exact sequence, statement, no evidence levelSix-term exact sequen…statementToeplitz extension, example, no evidence levelToeplitz extensionexample
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. C*-algebra concept
  2. Compact operator concept
  3. Exact sequence concept
  4. Fredholm index concept
  5. Hardy space concept
  6. Hilbert space concept
  7. Hilbert space adjoint concept
  8. Ideal of compact operators concept
  9. Index map concept
  10. K0 of a C*-algebra concept
  11. K1 of a C*-algebra concept
  12. Operator norm concept
  13. Short exact sequence concept
  14. Toeplitz operator concept
  15. Topological K-theory concept
  16. Unitary element concept
  17. Algebra of bounded operators on a Hilbert space object
  18. Bott periodicity for C*-algebras statement
  19. Toeplitz algebra object
  20. Six-term exact sequence statement
  21. Toeplitz extension example

Further reading

  1. Web https://en.wikipedia.org/wiki/Toeplitz_algebra
About this page
TagV4G7QAQW89
URIm2://V4G7QAQW89
Kindexample
WritingW0 stub
MSC46L80, 47B35, 19K56
IllustratesIndex map, Six-term exact sequence
UsesToeplitz algebra, Ideal of compact operators, Fredholm index, Index map, Six-term exact sequence, K0 of a C*-algebra, K1 of a C*-algebra
Changed3 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.