Universal C*-algebra explained

In mathematics, a universal C*-algebra is a C*-algebra described in terms of generators and relations. In contrast to rings or algebras, where one can consider quotients by free rings to construct universal objects, C*-algebras must be realizable as algebras of bounded operators on a Hilbert space by the Gelfand-Naimark-Segal construction and the relations must prescribe a uniform bound on the norm of each generator. This means that depending on the generators and relations, a universal C*-algebra may not exist. In particular, free C*-algebras do not exist.

C*-Algebra Relations

There are several problems with defining relations for C*-algebras. One is, as previously mentioned, due to the non-existence of free C*-algebras, not every set of relations defines a C*-algebra. Another problem is that one would often want to include order relations, formulas involving continuous functional calculus, and spectral data as relations. For that reason, we use a relatively roundabout way of defining C*-algebra relations. The basic motivation behind the following definitions is that we will define relations as the category of their representations.

Given a set X, the null C*-relation on X is the category

l{F}_X

with objects consisting of pairs (j, A), where A is a C*-algebra and j is a function from X to A and with morphisms from (j, A) to (k, B) consisting of *-homomorphisms φ from A to B satisfying φ ∘ j = k. A C*-relation on X is a full subcategory of

l{F}_X

satisfying:

the unique function X to is an object;
given an injective *-homomorphism φ from A to B and a function f from X to A, if φ ∘ f is an object, then f is an object;
given a *-homomorphism φ from A to B and a function f from X to A, if f is an object, then φ ∘ f is an object;
if f_i is an object for i=1,2,...,n, then

	n
\prod
	i=1

f_i:X\to

	n
\prod
	i=1

A_i

is also an object. Furthermore, if f_i is an object for i in an nonempty index set I implies the product

\prod_i\inf_i:X\to\prodA_i

is also an object, then the C*-relation is compact.

Given a C*-relation R on a set X. then a function ι from X to a C*-algebra U is called a universal representation for R if

given a C*-algebra A and a *-homomorphism φ from U to A, φ ∘ ι is an object of R;
given a C*-algebra A and an object (f, A) in R, there exists a unique *-homomorphism φ from U to A such that f = φ ∘ ι. Notice that ι and U are unique up to isomorphism and U is called the universal C*-algebra for R.

A C*-relation R has a universal representation if and only if R is compact.

Given a *-polynomial p on a set X, we can define a full subcategory of

l{F}_X

with objects (j, A) such that p ∘ j = 0. For convenience, we can call p a relation, and we can recover the classical concept of relations. Unfortunately, not every *-polynomial will define a compact C*-relation.^[1]

Alternative Approach

Alternatively, one can use a more concrete characterization of universal C*-algebras that more closely resembles the construction in abstract algebra. Unfortunately, this restricts the types of relations that are possible. Given a set G, a relation on G is a set R consisting of pairs (p, η) where p is a *-polynomial on X and η is a non-negative real number. A representation of (G, R) on a Hilbert space H is a function ρ from X to the algebra of bounded operators on H such that

\lVertp\circ\rho(X)\rVert\leqη

for all (p, η) in R. The pair (G, R) is called admissible if a representation exists and the direct sum of representations is also a representation. Then

\lVertz\rVert_u=\sup\{\lVert\rho(z)\rVert\colon\rhoisarepresentationof(G,R)\}

is finite and defines a seminorm satisfying the C*-norm condition on the free algebra on X. The completion of the quotient of the free algebra by the ideal

\{z\colon\lVertz\rVert_u=0\}

is called the universal C*-algebra of (G,R).^[2]

Examples

The noncommutative torus can be defined as a universal C*-algebra generated by two unitaries with a commutation relation.
The Cuntz algebras, graph C*-algebras and k-graph C*-algebras are universal C*-algebras generated by partial isometries.
The universal C*-algebra generated by a unitary element u has presentation

\langleu\midu^*u=uu^*=1\rangle

. By continuous functional calculus, this C*-algebra is the algebra of continuous functions on the unit circle in the complex plane. Any C*-algebra generated by a unitary element is isomorphic to a quotient of this universal C*-algebra.

Notes and References

Loring. Terry A.. C*-Algebra Relations. Mathematica Scandinavica. 1 September 2010. 107. 1. 43–72. 10.7146/math.scand.a-15142. 115167440. 27 March 2017. 1903-1807. free.
Blackadar. Bruce. Shape theory for $C^*$-algebras.. Mathematica Scandinavica. 1 December 1985. 56. 249–275. 10.7146/math.scand.a-12100. 27 March 2017. 1903-1807. free.