Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
SU(2)-symmetries and exact sequences of C*-algebras
through subproduct systems
Francesca Arici The Noncommutative Geometry SeminarNovember 18, 2020
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 0 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
1 Motivation: Toeplitz extensions
2 Subproduct systems of Hilbert spaces
3 SU(2)-subproduct systems and their C*-algebras
4 The K-theory of the Toeplitz and Cuntz–Pimsner algebras of an SU(2)-subproduct system
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 0 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
The circle algebra
The circle:
S1 := {z ∈ C | zz = 1} .
The C*-algebra C(S1) is the closure of the Laurent polynomials
C[ζ, ζ]
〈ζζ = 1〉.
We represent C(S1) via multiplication operators on the Hilbert space
H = L2(S1) ' `2(Z).
Under this isomorphism, multiplication by e2πiθ is mapped to the bilateral shift
U(en) = (en+1), U∗(en) = en−1.
C(S1) is the smallest C∗-subalgebra of B(`2(Z)) that contains the unitary U.
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 1 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
The Toeplitz extension
Now instead consider the Hilbert space `2(N) and the shift operator
T (en) = (en+1) T∗(en) =
en−1 n ≥ 1
0 n = 0.
The Toeplitz algebra T is the smallest C∗-subalgebra of B(`2(N)) that contains T .
It is not commutative since T∗T = Id and TT∗ = 1− Pker(T∗).
Elements of T commute up to compact operators:
0 // K(`2(N)) // T π // C(S1) // 0.
Consequences: Noether–Goberg–Krein index theorem, Cuntz’s proof of Bott periodicity, PV-exact sequence for
crossed products by Z, and more.
The algebra C(S1) is the "boundary" of a noncommutative disk.
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 2 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
Extending the Toeplitz extension
0 // K(`2(N)) // T π // C(S1) // 0.
Cuntz Pimsner algebras of (injective)
C∗-correspondences.
0 // J(X )j // TX
π // OX// 0.
Arveson’s Toeplitz extensions for odd-dimensional
spheres.
0 // K(H2d )
j // Tdπ // C(S2d−1) // 0.
All these are examples of the defining extensions for Cuntz–Pimsner algebras of subproduct systems(Shalit and Solel 2009, Viselter 2012).
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 3 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
Extending the Toeplitz extension
Cuntz–Pimsner algebras: universal C∗-algebras associated to an (injective) C∗-correspondence (XA, φ).
Special case: Cuntz–Pimsner algebras of self-Morita equivalence bimodules (noncommutative line bundles), i.e.
correspondences with φ : A'−→ K(XA).
Resulting Cuntz–Pimsner algebra: noncommutative associated circle bundle over A (cf. A–Kaad–Landi
2016).
The corresponding six-term exact sequence in K-theory
K0(A)1−[X ]−−−−−→ K0(A)
j∗−−−−−→ K0(OX )
[∂]
x y[∂] ,
K1(OX ) ←−−−−−j∗
K1(A) ←−−−−−1−[X ]
K1(A)
is a noncommutative analogue of the Gysin sequence for circle bundles.
Multiplication by the Euler class replaced by Kasparov product with (1− [X ]) ∈ KK(A,A).
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 4 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
The Toeplitz extensions for odd spheres
Let d ∈ N0, and z0, . . . , zd−1 commuting variables, and consider the space of polynomials C[z0, . . . , zd−1].
For z = (z0, ..., zd−1) and every multi-index α = (α0, . . . , αd−1) ∈ Nd0 we write
zα = zα00 · · · z
αd−1d−1 .
The Drury–Arveson space H2d is a completion of the polynomials C[z0, . . . , zd−1], w.r.t. the inner product
〈zα, zβ〉 = δα,βα!
|α!|
It can be identified with the space of holomorphic functions f : Bd ⊆ Cd → C which have a power series
f (z) =∑α cαzα satisfying
‖f ‖2d :=∑α
|cα|2α!
|α!|<∞.
Clearly, H2d ' Fsym(Cd ) :=
⊕n≥0 Symn(Cd ), the d-symmetric Fock space.
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 5 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
The Toeplitz extensions for odd spheres
The symmetric Fock space is a subset of the full Fock space: Fsym(Cd ) ⊆ F(Cd ) :=⊕
n≥0(Cd )⊗n .
On H2d , we consider the d-shift, a d-tuple of multiplication operators given by
Mz = (Mz0 , . . . ,Mzd−1 ).
Through H2d ' Fsym(Cd ), the shift operator is identified with a compression of the shift on the full Fock space:
Let {ei}d−1i=0 be an orthonormal basis for Cd , and let P : F(Cd )→ Fsym(Cd ) the orthogonal projection.
For x ∈ Symn(Cd ), and for all i = 0, · · · , d − 1, have the compressed shift
Ti (x) = P(ei ⊗ x).
The d-tuple T = (T0, . . . ,Td−1) is called the commutative d-shift.
If V : H2d → Fsym(Cd ) is the unitary implementing the isomorphism, we have VMzV ∗ = T .
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 6 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
The Toeplitz extensions for odd spheres
The d-shift satisfies the following properties:
T is commuting: TiTj = TjTi .∑d−1i=0 TiT
∗i = 1− PC
T is essentially normal:
T∗i Tj − TjT∗i = (1 + N)−1(δij1− TjT
∗i ),
where N is the number operator: Nξ = nξ for ξ ∈ Symn(Cd ).
Theorem (Arveson 1998)
Let Td = C∗(1,T ) be the C∗-algebra generated by the d-shift. We have an exact sequence of C∗-algebras
0 // K(H2d ) // Td
// C(S2d−1) // 0 , (1)
where C(S2d−1) is the commutative C∗-algebra of continuous functions on the (2d − 1)-sphere
S2d−1 = ∂Bd ⊆ Cd .
motivation
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 7 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
1 Motivation: Toeplitz extensions
2 Subproduct systems of Hilbert spaces
3 SU(2)-subproduct systems and their C*-algebras
4 The K-theory of the Toeplitz and Cuntz–Pimsner algebras of an SU(2)-subproduct system
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 7 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
Subproduct sytems of Hilbert spaces
Suppose that {Em}m∈N0 is a sequence of Hilbert spaces with ιk,m : Ek+m → Ek ⊗̂Em is a sequence of bounded
isometries for every k,m ∈ N0.
We say that (E , ι) is a standard subproduct system over C when the following holds for all k, l ,m ∈ N0:
1 E0 = C;
2 The maps ι0,m : Em → E0⊗̂Em and ιm,0 : Em → Em⊗̂E0 are the canonical identifications; and
3 We have
(1k ⊗ ιl,m) ◦ ιk,l+m = (ιk,l ⊗ 1m) ◦ ιk+l,m
on Ek+l+m → Ek ⊗̂El ⊗̂Em, where 1k and 1m denote the identity operators on Ek and Em, resp.
We refer to the isometries ιk,m : Ek+m → Ek ⊗̂Em, k,m ∈ N0 as the structure maps of our subproduct system.
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 8 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
Shalit and Solel’s Noncommutative Nullstellensatz
Let Xn := {x0, . . . , xn} be a finite set of variables. We shall denote the free monoid generated by Xn by 〈X 〉,with unit the empty word, denoted by 1. 〈X 〉 is naturally graded by length :
〈X 〉 =⊔m≥0
Xm.
Let C〈Xn〉 := C〈x0, . . . , xn〉 denote the complex free associative algebra with unit generated by Xn.
An element of C〈X 〉 is called a noncommutative polynomial. A polynomial f ∈ C〈X 〉 is homogeneous of degree
m if f ∈ CXm.
Let T = (Ti )ni=0 be an (n + 1)-tuple of operators acting on a Hilbert space. If α = (α1, . . . , αm) ∈ Xm is a
length m word, then
Tα := Tα1 . . .Tαk ,
with the convention that T 1 = 1H .
If p(x) =∑
cαxα ∈ C〈X 〉 is a complex polynomial, by p(T ) we mean the linear combination p(T ) :=∑
cαTα.
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 9 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
Shalit and Solel’s Noncommutative Nullstellensatz
Theorem (Shalit–Solel 2009)
Let E be an (n + 1)-dimensional Hilbert space with orthonormal basis {ei}ni=0. Then there is a bijective
inclusion-reversing correspondence between proper homogeneous ideals J / C〈x0, . . . , xn〉 and standard
subproduct systems E = {Em}m∈N0 with E1 ⊆ E .
Notation: for a polynomial p =∑
cαxα, we write p(e) =∑
cαeα0 ⊗ . . .⊗ eαn .
J / C〈X 〉 −→ E Jn := E⊗n {p(e)|p ∈ J(n)}
E = {Em}m∈N0 −→ JE = span{p ∈ C〈X 〉 | ∃n > 0 : p(e) ∈ E⊗n En}
Framework for studying tuples of operators satisfying relations given by homogeneous polynomials (cf.
Popescu’s work on noncommutative domains).
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 10 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
The Toeplitz algebra
Let E be a standard subproduct system of Hilbert spaces over N0.
The direct sum Hilbert space FE :=⊕
m≥0 Em is called the Fock space.
For each ξ ∈ Ek , we define the Toeplitz operator on FE :
Tξ : FE → FE Tξ(ζ) := ι∗k,m(ξ ⊗ ζ), ζ ∈ Em ⊆ FE .
Definition
The Toeplitz algebra of the subproduct system E , denoted TE is the smallest unital C∗-subalgebra of L(F ) that
contains all the creation operators, i.e.
Tξ ∈ TE for all ξ ∈ Ek , k ∈ N0.
Note that the definition makes sense in the case of C∗-correspondences.
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 11 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
The Cuntz–Pimsner algebra of a subproduct system
If X is a subproduct system of finite dimensional Hilbert spaces, then the algebra of compact operators K(FE ) is
naturally included in TE .
Definition
Let E be a subproduct system of finite dimensional Hilbert spaces. The Cuntz–Pimsner algebra of the
subproduct system E is the quotient
0 // K(FE ) // TEq // OE
// 0. (2)
Question: can we say something about the exact sequences this extension induces?
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 12 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
1 Motivation: Toeplitz extensions
2 Subproduct systems of Hilbert spaces
3 SU(2)-subproduct systems and their C*-algebras
4 The K-theory of the Toeplitz and Cuntz–Pimsner algebras of an SU(2)-subproduct system
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 12 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
Subproduct systems from irreducible SU(2)-representations
Let τ : SU(2)→ U(H) be a strongly continuous unitary representation, dim(H) <∞. Define
det(τ,H) = {ξ ∈ H ⊗ H |(τ(g)⊗ τ(g)
)ξ = ξ ∀g ∈ SU(2)}.
For a given n ≥ 0, consider the irreducible representation ρn : SU(2)→ U(Ln).
Here Ln = (C2)⊗Sn, with orthonormal basis {ek}nk=0.
Suppose that τ : SU(2)→ U(H) is irreducible and let V : Ln → H be a unitary operator intertwining τ with ρn.
Then the determinant det(τ,H) ⊆ H ⊗ H is a one-dimensional vector space spanned by the vector
(V ⊗ V )((n + 1)−1/2
n∑k=0
(−1)n−kek ⊗ en−k
).
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 13 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
Subproduct systems from irreducible SU(2)-representations
For a given n ≥ 0, consider the irreducible representation ρn : SU(2)→ U(Ln). Where Ln = (C2)⊗Sn. Let
D := det(ρn, Ln) ⊆ Ln ⊗ Ln. We inductively construct a subproduct system X where
E0 = C;
E1 = Ln;
Em := K⊥m ⊆ (Ln)⊗m, where
Km =
m−2∑i=0
L⊗in ⊗ D ⊗ L
⊗(m−i−2)n
The structure maps ιk,m : Ek+m → Ek ⊗ Em, k,m ∈ N0, induced by the canonical identification
L⊗(k+m) ∼= L⊗k ⊗ L⊗m are are SU(2)-equivariant.
The pair (E = {Em}∞m=0, ι) forms an SU(2)-equivariant subprouduct system of finite dimensional Hilbert spaces.
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 14 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
Example: the fundamental representation
Let us denote by {e0, e1} the standard basis for C2, and let ρ : SU(2)→ U(C2) the fundamental representation.
We have that
det(ρ,C2) = C · (e0 ⊗ e1 − e1 ⊗ e0) ⊆ C2 ⊗ C2
Remark in particular that det(ρ,C2) agrees with the usual determinant of C2 namely C2 ∧ C2 ⊆ C2 ⊗ C2.
Let now m ∈ N and consider the m-fold symmetric tensor product of a finite dimensional Hilbert space H.
It follows from the Clebsch–Gordan theory for the representations of SU(2).
(C2)⊗Sm = Em(ρ,C2).
For each m ∈ N, let pm : (C2)⊗m → (C2)⊗m denotes the orthogonal projection onto Symm(C2). The vectors
ek0 em−k1 := pm(e⊗k
0 ⊗ e⊗(m−k)1 ), k = 0, . . . ,m,
form an orthogonal vector space basis for Em(ρ,C2) (cf. Arveson’s d-shift).
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 15 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
Properties of SU(2) SPS’s
Let τ be an irreducible SU(2) representation, and let {Em}m≥0 be the associated SU(2)-subproduct system.
Theorem
For each k,m ∈ N0 there exists an explicit SU(2)-equivariant unitary isomorphism
Ek ⊗ Em∼= Ek+m ⊕ . . .⊕ Ek+m−2 ⊕ . . .⊕ E|k−m|.
We consider the sequence of strictly positive integers {dm}∞m=0 defined recursively by the formula:
d0 := 1 , d1 := n + 1 , dm := d1 · dm−1 − dm−2 , m ≥ 2. (3)
We furthermore put d−1 := 0
We have that dim(Em) = dm for all m ∈ N0.
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 16 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
The Fock space and the Toeplitz algebra
We construct the Fock space FE :=⊕
m≥0 Em(ρn, Ln).
We let {ej}nj=0 denote the orthonormal basis for Ln and consider the associated Toeplitz operators:
Ti := Tei : FE → FE Ti (ζ) := ι∗1,m(ei ⊗ ζ), ζ ∈ Em(ρn, Ln).
where ι1,m : Em+1 → E1⊗Em, for m ∈ N0.
The assignment
g(Ti ) := Tg·ei , ∀g ∈ SU(2)
defines a strongly continuous action of SU(2) on the Toeplitz algebra TE .
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 17 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
Unbounded operators
Denote by Falg ⊆ F the algebraic Fock-space.
We define the dimension operator D : Dom(D)→ F as the closure of the unbounded operator D : Falg → F ,
given by D(ξ) = dm · ξ for ξ ∈ Em.
The dimension operator is positive and invertible and that the inverse D−1 : F → F is an SU(2)-equivariant
compact operator, so D−1 ∈ TE .
For the fundamental representation, the operator D equals N + 1, where N is the number operator.
Further, we have an SU(2)-equivariant bounded positive invertible operator
Φ : F → F Φξ =dm
dm+1ξ for all ξ ∈ Em. (4)
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 18 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
Unbounded operators
Theorem
Let n ∈ N0, and consider the irreducible representation ρn : SU(2)→ U(Ln). Then the Toeplitz operators
satisfy the following commutation relations:
n∑i=0
(−1)iTiTn−i = 0, (5)
T∗i Tj = δij1 + (−1)i+j+1((n + 1)− Φ−1)Tn−iT∗n−j , i ≤ j (6)
n∑i=0
T∗i Ti = Φ−1. (7)
For n = 1 we get back the commutation relations for the Arveson–Toeplitz algebra T2.
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 19 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
1 Motivation: Toeplitz extensions
2 Subproduct systems of Hilbert spaces
3 SU(2)-subproduct systems and their C*-algebras
4 The K-theory of the Toeplitz and Cuntz–Pimsner algebras of an SU(2)-subproduct system
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 19 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
A quasi-homomorphsim from the Toeplitz algebra to C
On the Hilbert space direct sum F ⊕ F , we consider two ∗-homomorphisms ψ± : T→ L(F ⊕ F ):
ψ+(x) := x ⊕ x , for all x ∈ TE .
The construction of ψ− : TE → L(F ⊕ F ) uses representation theoretic considerations: we use the
SU(2)-equivariant unitary isomorphism Em+1 ⊕ Em−1 ' Em ⊗ E1 to construct an SU(2)-equivariant isometry
WR : F ⊗ E1 → F ⊕ F (8)
with image F+ ⊕ F ⊆ F ⊕ F .
We may thus define the ∗-homomorphism
ψ− : T→ L(F ⊕ F ) ψ−(x) := WR(x ⊗ 1)W ∗R .
Proposition
The pair of ∗-homomorphisms (ψ+, ψ−) defines a class [ψ+, ψ−] ∈ KKSU(2)0 (T,C).
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 20 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
A KK-equivalence
We have a class [ψ+, ψ−] ∈ KKSU(2)0 (T,C).
The canonical inclusion i : C→ T yields a class [i ] ∈ KKSU(2)0 (C,T).
Theorem (A–Kaad 2020)
Let TE be the Toeplitz algebra of the SU(2)-product system of an irreducible representation. Then TE and Care KK -equivalent (in an SU(2)-equivariant way).
[i ] ⊗̂T[ψ+, ψ−] = 1C ∈ KKSU(2)0 (C,C)
"Easy" direction.
[ψ+, ψ−]⊗̂C[i ] = 1T ∈ KKSU(2)0 (T,T)
Requires a homotopy argument. Note that we do not
have universal properties for TE (yet).
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 21 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
A KK-equivalence
The extension
0 // K(FE )j // TE
q // OE// 0. (9)
Induces six term exact sequences
K0 (K(FE ))j∗ // K0 (TE )
q∗ // K0(OE )
��K1(OE )
OO
K1 (TE )q∗
oo K0 (K(FE ))j∗oo
Goal: simplify using the KK-equivalence between TE and C, and the Morita equivalence between C and K(FE ).
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 22 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
A KK-equivalence
We have the identity
[j]⊗̂T[ψ+, ψ−] = [F ]⊗̂C(1C − [Ln] + [det(ρn, Ln)]
)∈ KK0(K(F ),C).
As a consequence, the following sequence of K -groups is exact:
0 // K1(O)([F ]⊗̂K(F )·)◦∂ // K0(C)
1C−[Ln ]+[det(ρn,Ln)] // K0(C)i∗ // K0(O) // 0
The Euler class of an irreducible representation is the alternating sum
χ(ρn, Ln) := 1C − [Ln] + [det(ρn, Ln)] ∈ KK(C,C)
= (2− (n + 1))1C
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 23 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
A KK-equivalence
We have Gysin-type exact sequence
0 // K1(O)([F ]⊗̂K(F )·)◦∂ // K0(C)
1C−[Ln ]+[det(ρn,Ln)] // K0(C)i∗ // K0(O) // 0
for every n ∈ N.
We can compute the K-theory groups of the Cuntz–Pimsner algberas of the SU(2)-subproduct system arising
from ρn : SU(2)→ U(Ln):
K0(O(ρn, Ln)) ∼= Z/(n − 1)Z K1(O(ρn, Ln)) ∼=
Z n = 1,
{0} otherwise.(10)
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 24 / 25
Motivation: Toeplitz extensions Subproduct systems SU(2)-subproduct systems and their C*-algebras K-Theory
Outlook/What’s next?
Cuntz–Pimsner algebras are a model for circle bundles.
Cuntz–Pimsner algebas of subproduct systems are suitable to encode spherical symmetries.
Open questions:
Universal properties;Extend the result to reducible representations;Going from spheres to sphere bundles;
F. Arici (Leiden), SU(2)-symmetries and exact sequences of C*-algebras through subproduct systems 25 / 25