Hubbry Logo
C*C*Main
Open search
C*
Community hub
C*
logo
7 pages, 0 posts
0 subscribers
Be the first to start a discussion here.
Be the first to start a discussion here.
C*
C*
C*
View on Wikipedia
from Wikipedia
C*
Paradigmmulti-paradigm: imperative, parallel
Designed byThinking Machines
DeveloperThinking Machines
First appeared1987
Stable release
6.x (August 27, 1993 (1993-08-27)) / August 27, 1993 (1993-08-27)
Typing disciplinestatic, weak, manifest
OSConnection Machine
Filename extensions.cs
Influenced by
ANSI C, *Lisp
Influenced
Dataparallel-C

C* (or C-star) is a data-parallel superset of ANSI C with synchronous semantics.

History

[edit]

It was developed in 1987 as an alternative language to *Lisp and CM-Fortran for the Connection Machine CM-2 and above. The language C* adds to C a "domain" data type and a selection statement for parallel execution in domains.

For the CM-2 models the C* compiler translated the code into serial C, calling PARIS (Parallel Instruction Set) functions, and passed the resulting code to the front end computer's native compiler. The resulting executables were executed on the front end computer with PARIS calls being executed on the Connection Machine.

On the CM-5 and CM-5E parallel C* Code was executed in a SIMD style fashion on processing elements, whereas serial code was executed on the PM (Partition Manager) Node, with the PM acting as a "front end" if directly compared to a CM-2. The latest version of C* as of 27 August 1993 is 6.x. An unimplemented language dubbed "Parallel C" (not to be confused with Unified Parallel C) influenced the design of C*. Dataparallel-C was based on C*.

References

[edit]
Revisions and contributorsEdit on WikipediaRead on Wikipedia

C*

View on Grokipedia
from Grokipedia
A C-algebra* is a complex equipped with a conjugate-linear involution a↦a∗a \mapsto a^* that is an and satisfies the C*-identity ∥a∗a∥=∥a∥2\|a^*a\| = \|a\|^2 for all elements aa, ensuring a structure that generalizes the algebra of bounded linear operators on a while preserving key algebraic and analytic properties such as completeness and submultiplicativity of the norm. Introduced by and Mark Naimark in their 1943 paper "On the Embedding of Normed Rings into the Ring of Operators in ," C*-algebras provided an abstract framework for studying operator algebras beyond concrete representations, initially motivated by the need to handle self-adjoint operators and their spectra in a normed setting. The foundational Gelfand-Naimark theorem, also established in this work, asserts that every is isometrically *-isomorphic to a norm-closed *-subalgebra of the bounded linear operators on some , bridging abstract algebraic structures with concrete . This representation theorem, later refined through the Gelfand-Naimark-Segal (GNS) construction by in 1947, enables the study of states as positive linear functionals and irreducible representations, fundamental to the field's development. C*-algebras encompass both commutative and noncommutative examples, with commutative ones corresponding via the Gelfand transform to continuous functions on compact Hausdorff spaces, thus linking to classical , while noncommutative instances model where observables are elements and commutation relations reflect uncertainty principles. Key structural features include the existence of approximate units, positive elements (those of the form b∗bb^*b), projections, and unitaries, with the of elements determining the norm via ∥a∥=r(a)\|a\| = r(a), where r(a)r(a) is the spectral radius. In applications, C*-algebras underpin the algebraic formulation of quantum mechanics, where the algebra of observables forms a C*-algebra, states are normalized positive functionals, and dynamics are implemented by *-automorphisms, providing a rigorous basis for non-commutative geometry and quantum field theory. Their classification remains an active area of research, with K-theory playing a central role.

Definition and Properties

Abstract Definition

A C*-algebra is defined as a complex Banach -algebra AA that satisfies the C-identity ∥a∗a∥=∥a∥2\|a^* a\| = \|a\|^2 for all a∈Aa \in A. To establish this, recall that a complex Banach algebra is a complete normed algebra over C\mathbb{C} whose norm is submultiplicative, meaning ∥ab∥≤∥a∥∥b∥\|ab\| \leq \|a\| \|b\| for all a,b∈Aa, b \in A, with the multiplication being associative and jointly continuous. A *-algebra extends this structure by including a conjugate-linear involution ∗:A→A*: A \to A satisfying a∗∗=aa^{**} = a, (ab)∗=b∗a∗(ab)^* = b^* a^*, and (λa+μb)∗=λˉa∗+μˉb∗(\lambda a + \mu b)^* = \bar{\lambda} a^* + \bar{\mu} b^* for λ,μ∈C\lambda, \mu \in \mathbb{C}. The C*-identity encodes the compatibility between the involution and the norm, ensuring that the aligns with the in a manner reminiscent of bounded operators on , such as B(H)B(H), which serves as the prototypical example. This axiom distinguishes C*-algebras from general Banach *-algebras and guarantees uniqueness of the norm among all possible algebra norms compatible with the involution. A -homomorphism between C-algebras AA and BB is a ϕ:A→B\phi: A \to B that preserves and the involution, i.e., ϕ(ab)=ϕ(a)ϕ(b)\phi(ab) = \phi(a) \phi(b) and ϕ(a∗)=ϕ(a)∗\phi(a^*) = \phi(a)^* for all a,b∈Aa, b \in A. Such maps are automatically continuous and contractive, satisfying ∥ϕ(a)∥≤∥a∥\|\phi(a)\| \leq \|a\| for all a∈Aa \in A. Moreover, if ϕ\phi is a bijective *-homomorphism (a *-isomorphism), then it is an isometric isomorphism, preserving the norm exactly: ∥ϕ(a)∥=∥a∥\|\phi(a)\| = \|a\| for all a∈Aa \in A.

Basic Properties and the C*-Identity

In a C*-algebra AA, the C*-identity states that ∥a∗a∥=∥a∥2\|a^* a\| = \|a\|^2 for all a∈Aa \in A. This axiom, combined with the Banach algebra norm properties, implies that the involution is isometric, i.e., ∥a∗∥=∥a∥\|a^*\| = \|a\| for all a∈Aa \in A. To see this, note that ∥a∥2=∥a∗a∥≤∥a∗∥⋅∥a∥\|a\|^2 = \|a^* a\| \leq \|a^*\| \cdot \|a\| by the submultiplicative property of the norm, so ∥a∥≤∥a∗∥\|a\| \leq \|a^*\|. Applying the same argument to a∗a^* yields ∥a∗∥2=∥aa∗∥≤∥a∥⋅∥a∗∥\|a^*\|^2 = \|a a^*\| \leq \|a\| \cdot \|a^*\|, hence ∥a∗∥≤∥a∥\|a^*\| \leq \|a\|, establishing equality. Moreover, the C*-identity extends to ∥aa∗∥=∥a∥2\|a a^*\| = \|a\|^2, as ∥aa∗∥=∥(a∗)∗a∗∥=∥a∗∥2=∥a∥2\|a a^*\| = \|(a^*)^* a^*\| = \|a^*\|^2 = \|a\|^2. An element a∈Aa \in A is self-adjoint if a∗=aa^* = a. For such elements, the norm satisfies ∥a∥=sup⁡{∣λ∣:λ∈σ(a)}\|a\| = \sup \{ |\lambda| : \lambda \in \sigma(a) \}, where σ(a)\sigma(a) denotes the spectrum of aa, which consists entirely of real numbers. This follows from the spectral radius formula in Banach algebras, ∥a∥=r(a)=sup⁡{∣λ∣:λ∈σ(a)}\|a\| = r(a) = \sup \{ |\lambda| : \lambda \in \sigma(a) \}, combined with the self-adjointness ensuring the spectrum lies on the real line. Positive elements in AA are those of the form a=b∗ba = b^* b for some b∈Ab \in A; such elements are and have non-negative . The set A+A^+ of positive elements forms a closed under addition and by non-negative reals. This induces a partial order on AA: a≤ba \leq b if and only if b−a∈A+b - a \in A^+. For elements, a≥0a \geq 0 if and only if a∈A+a \in A^+, providing a characterization via the order. Every C*-algebra AA possesses an approximate identity, meaning there exists a net {eλ}\{e_\lambda\} in AA such that ∥eλa−a∥→0\|e_\lambda a - a\| \to 0 and ∥aeλ−a∥→0\|a e_\lambda - a\| \to 0 as λ→∞\lambda \to \infty for all a∈Aa \in A. This net can be chosen to be increasing and bounded by 1 in norm, and in separable C*-algebras, a countable approximate identity (a sequence) exists. The existence relies on the C*-identity ensuring the algebra is "non-degenerate" in its norm structure. A C*-algebra is unital if it contains a multiplicative identity ee with e∗=ee^* = e and ∥e∥=1\|e\| = 1. In the unital case, the approximate identity can be taken as the constant net {e}\{e\}. For non-unital C*-algebras, the unitization A~=A⊕C\tilde{A} = A \oplus \mathbb{C} is formed with operations (a,λ)(b,μ)=(ab+λb+μa,λμ)(a, \lambda)(b, \mu) = (ab + \lambda b + \mu a, \lambda \mu) and involution (a,λ)∗=(a∗,λˉ)(a, \lambda)^* = (a^*, \bar{\lambda}), equipped with the norm ∥(a,λ)∥=sup⁡∥b∥≤1∥ab+λb∥\|(a, \lambda)\| = \sup_{\|b\| \leq 1} \|a b + \lambda b\|. This A~\tilde{A} is a unital C*-algebra, and the embedding a↦(a,0)a \mapsto (a, 0) is isometric and preserves the involution.

Historical Development

Origins in Operator Theory

The origins of C*-algebras trace back to the early 20th-century development of , particularly in the context of , where bounded linear operators on s provided a mathematical framework for physical observables. In the late 1920s, formalized the of all bounded linear operators on a HH, denoted B(H)B(H), as a central object of study. This , equipped with the and involution ( operation), served as a concrete model for infinite-dimensional systems, motivated by the need to extend finite-dimensional matrix to continuous spectra in quantum theory. 's 1929 work on the for operators further emphasized the role of *-algebras within B(H)B(H), where elements correspond to observables with real spectra, enabling the decomposition of operators via spectral measures. During the 1930s, von Neumann, in collaboration with Francis J. Murray, advanced the theory through their seminal series of papers "On Rings of Operators," beginning in 1936. They defined "rings of operators" as unital *-subalgebras of B(H)B(H) that are closed in the weak operator topology, now known as von Neumann algebras, and focused on factors—such rings with trivial . A key contribution was von Neumann's classification of factors into types I, II, and III, based on the structure of projections and traces, which revealed unexpected infinite-dimensional phenomena beyond type I (finite-dimensional or atomic) factors. This highlighted the richness of operator algebras in modeling non-commutative geometries, with type II factors introducing continuous dimensions via traces. operators played a pivotal role, as their underpinned the analysis of positivity and normality in these rings, linking algebraic structure to geometric interpretations on Hilbert spaces. A crucial transition from concrete to abstract formulations emerged from the study of projections in these rings. Murray and von Neumann introduced equivalence of projections, where two projections pp and qq in a ring are equivalent if there exists a partial isometry vv with initial projection pp and final projection qq, allowing comparison of "dimensions" in infinite settings without relying on cardinalities. This equivalence, now called Murray-von Neumann equivalence, exposed limitations of the framework, as it necessitated tools to handle projections across different representations or spaces. By the late , researchers recognized that many properties of these operator rings—such as the norm relation ∥a∗a∥=∥a∥2\|a^* a\| = \|a\|^2 for elements aa—held purely algebraically, independent of the embedding in B(H)B(H). This algebraic perspective paved the way for general Banach *-algebras, serving as precursors to the fully abstract theory developed in the following decade.

Evolution to Abstract Formulation

In the mid-1940s, the study of operator algebras began transitioning from realizations on Hilbert spaces to more abstract frameworks, motivated by the need to generalize properties beyond specific representations. In , C. E. Rickart introduced the concept of B*-algebras as a class of Banach algebras equipped with an involution * satisfying the properties of conjugate-linearity, anti-involution, and the condition ∥xx∗∥=∥x∥2\|x x^*\| = \|x\|^2 for all elements xx, along with the requirement that the involution be continuous in a suitable sense. This formulation allowed for the exploration of structural properties, such as the of projections and the into direct sums, while weakening some assumptions from earlier operator-theoretic work to facilitate broader algebraic analysis. Rickart's B*-algebras captured essential features of self-adjoint operator algebras but imposed a condition that was later recognized as slightly asymmetric compared to the full involution compatibility in bounded operators. The following year, in 1947, advanced this abstraction by defining C*-algebras, initially in the context of uniformly closed, subalgebras of bounded operators on a that satisfy the C*-identity ∥a∗a∥=∥a∥2\|a^* a\| = \|a\|^2 for all elements aa. Segal's motivation stemmed from efforts to characterize ideals in operator algebras and to ensure closure under uniform limits, enabling the study of irreducible representations without reliance on particular s. This definition emphasized the "closed" aspect (hence the "C"), distinguishing these algebras as complete in the and suitable for quantization problems in physics, where self-adjointness ensures observables are well-behaved. Segal's work in the further elaborated on representations, solidifying the abstract viewpoint. A pivotal result bridging the abstract and concrete perspectives was the Gelfand-Naimark theorem, first established in 1943, which asserts that every abstract is isometrically *-isomorphic to a closed *-subalgebra of the bounded linear operators B(H)\mathcal{B}(H) on some HH. This theorem, proven by and Mark Naimark, demonstrated the representational power of the abstract framework, showing that the structure is intrinsic rather than dependent on a fixed space. Naimark extended these ideas in the 1950s, refining the theorem for non-unital cases and exploring normed rings with involutions more generally. The distinction between B*- and C*-algebras was resolved through subsequent , revealing that C*-algebras form the "good" subclass where the full C*-identity ∥a∗a∥=∥a∥2\|a^* a\| = \|a\|^2 holds, implying the B*-condition ∥aa∗∥=∥a∥2\|a a^*\| = \|a\|^2 and ensuring equivalence of norms across representations. This equivalence, established by the early , confirmed that abstract C*-algebras faithfully model the of operator algebras, paving the way for their independent development as a cornerstone of .

Key Examples

Finite-Dimensional C*-Algebras

Finite-dimensional admit a complete up to , distinguishing them sharply from their infinite-dimensional counterparts by providing an explicit structural description. Every finite-dimensional C*-algebra AA is isomorphic to a finite of full matrix algebras over the complex numbers, specifically A≅⨁i=1nMki(C)A \cong \bigoplus_{i=1}^n M_{k_i}(\mathbb{C}), where each Mki(C)M_{k_i}(\mathbb{C}) denotes the algebra of ki×kik_i \times k_i complex matrices equipped with the involution given by the (conjugate ), and the kik_i are positive integers. This structure arises because finite-dimensional C*-algebras are semisimple, meaning their Jacobson radical is zero, and they are artinian as rings. The semisimplicity follows from the C*-identity ∥a∗a∥=∥a∥2\|a^* a\| = \|a\|^2 for all a∈Aa \in A, which precludes non-zero nilpotent elements: if an=0a^n = 0 for some nn, then ∥a∥2n=∥an∥=0\|a\|^{2n} = \|a^n\| = 0, implying ∥a∥=0\|a\| = 0 and thus a=0a = 0. Adapting the Artin-Wedderburn theorem to the *-algebra setting over the C\mathbb{C}, the simple components must be full matrix algebras, as any central over C\mathbb{C} is C\mathbb{C} itself, and the *-involution ensures the standard matrix representation. A proof proceeds by showing that AA decomposes into a of minimal *-ideals, each isomorphic to Mk(C)M_k(\mathbb{C}), using the existence of minimal projections and the faithfulness of the involution. The dimension of such an algebra AA as a complex vector space is the sum of the squares of the matrix sizes, dim⁡A=∑i=1nki2\dim A = \sum_{i=1}^n k_i^2. This decomposition is unique up to isomorphism and permutation of the summands, providing a canonical form for classification. Furthermore, all simple finite-dimensional C*-algebras (i.e., those with n=1n=1) are Morita equivalent to C\mathbb{C}, and stably isomorphic via matrix amplification, reflecting their equivalence in the category of Hilbert modules. These algebras correspond precisely to the finite type I von Neumann algebras when completed in the ultraweak topology.

Infinite-Dimensional C*-Algebras

One of the canonical examples of an infinite-dimensional C*-algebra is the algebra K(H)K(H) of compact operators on a separable infinite-dimensional Hilbert space HH. This algebra consists of all compact linear operators T:H→HT: H \to H, closed under the operator norm ∥T∥=sup⁡∥x∥=1∥Tx∥\|T\| = \sup_{\|x\|=1} \|Tx\| and the adjoint operation T∗T^*, where (Tx,y)=(x,T∗y)(Tx, y) = (x, T^* y) for all x,y∈Hx, y \in H. K(H)K(H) is non-unital, simple, and has the approximation property that every operator is a norm limit of finite-rank operators. Another fundamental example is the commutative C0(X)C_0(X) of continuous complex-valued functions on a locally compact XX that vanish at infinity, meaning for every ε>0\varepsilon > 0, the set {x∈X:∣f(x)∣≥ε}\{ x \in X : |f(x)| \geq \varepsilon \} is compact. Operations are pointwise (fg)(x)=f(x)g(x)(fg)(x) = f(x)g(x), , and conjugation f‾(x)=f(x)‾\overline{f}(x) = \overline{f(x)}, with the supremum norm ∥f∥=sup⁡x∈X∣f(x)∣\|f\| = \sup_{x \in X} |f(x)|. When XX is non-compact, C0(X)C_0(X) is infinite-dimensional and non-unital; for instance, if X=RX = \mathbb{R}, it captures functions decaying to zero as ∣x∣→∞|x| \to \infty. Group C*-algebras provide non-commutative infinite-dimensional examples. For a GG, the full group C*-algebra C∗(G)C^*(G) is the completion of the algebraic CG={∑g∈Gαgug:αg∈C, finitely many nonzero}\mathbb{C}G = \{ \sum_{g \in G} \alpha_g u_g : \alpha_g \in \mathbb{C}, \text{ finitely many nonzero} \}, where ugu_g are formal unitaries satisfying uguh=ughu_g u_h = u_{gh} and ug∗=ug−1u_g^* = u_{g^{-1}}, with respect to the universal C*-norm induced by all unitary representations of GG on Hilbert spaces. This algebra is generated by the images of the ugu_g, and for infinite GG, it is infinite-dimensional; for example, C∗(Z)≅C(T)C^*(\mathbb{Z}) \cong C(T), the algebra of continuous functions on the circle. Non-unital C*-algebras, such as K(H)K(H) and C0(X)C_0(X) for non-compact XX, admit a canonical enveloping construction known as unitization. For a non-unital C*-algebra AA, the unitization A~=A⊕C\tilde{A} = A \oplus \mathbb{C} is equipped with componentwise addition, multiplication (a,λ)(b,μ)=(ab+λb+μa,λμ)(a, \lambda)(b, \mu) = (ab + \lambda b + \mu a, \lambda \mu), involution (a,λ)∗=(a∗,λ‾)(a, \lambda)^* = (a^*, \overline{\lambda}), and norm ∥(a,λ)∥=max⁡(∥a∥,∣λ∣)\|(a, \lambda)\| = \max( \|a\|, |\lambda| ). This makes A~\tilde{A} unital with unit (0,1)(0, 1), and AA embeds as an essential ideal via a↦(a,0)a \mapsto (a, 0); the construction preserves the C*-property and is unique up to isomorphism. These examples highlight non-finite structure through ideals. In the unital B(H)B(H) of all bounded operators on HH, equipped with the same norm and adjoint as K(H)K(H), the compact operators K(H)K(H) form the unique proper non-trivial closed two-sided ideal; any other closed ideal is either {0}\{0\} or B(H)B(H). This contrasts with finite-dimensional cases and underscores the role of in infinite dimensions.

Structural Aspects

Spectrum and Positive Elements

In a unital C*-algebra AA, the spectrum of an element a∈Aa \in A is defined as the set σ(a)={λ∈C∣a−λ⋅1\sigma(a) = \{\lambda \in \mathbb{C} \mid a - \lambda \cdot 1 is not invertible in A}A\}. This set is non-empty, compact, and contained in the complex plane, reflecting the resolvent properties analogous to those in operator algebras. For normal elements aa (satisfying a∗a=aa∗a^*a = aa^*), a holomorphic functional calculus exists, allowing the definition of f(a)f(a) for any holomorphic function ff on a neighborhood of σ(a)\sigma(a), extending the Riesz-Dunford calculus from Banach algebras. For self-adjoint elements a=a∗a = a^* in a , the σ(a)\sigma(a) is a compact of the real line R\mathbb{R}. Moreover, the norm of such an element equals its : ∥a∥=r(a)=sup⁡{∣λ∣∣λ∈σ(a)}\|a\| = r(a) = \sup \{ |\lambda| \mid \lambda \in \sigma(a) \}, where the r(a)r(a) is the supremum of the moduli of spectral values. This equality underscores the tight interplay between the and the norm in , distinguishing them from general Banach algebras where r(a)≤∥a∥r(a) \leq \|a\| holds but equality may fail. In fact, for any normal element, ∥a∥=r(a)\|a\| = r(a). A key structural feature of C*-algebras is the existence of a bounded approximate unit: a net (eλ)(e_\lambda) in AA such that ∥aeλ−a∥→0\|a e_\lambda - a\| \to 0 and ∥eλa−a∥→0\|e_\lambda a - a\| \to 0 for all a∈Aa \in A. Unlike general Banach algebras, every C*-algebra admits such an approximate unit, facilitating completions and representations. Projections are idempotent elements p=p∗=p2p = p^* = p^2, which behave like orthogonal projections in the setting and have {0,1}. Unitaries are elements u∈Au \in A satisfying u∗u=uu∗=1u^* u = u u^* = 1, generalizing unitary operators and preserving the involution and norm. Positive elements in a AA are those of the form a=b∗ba = b^*b for some b∈Ab \in A, forming a cone that captures the order structure inherited from operators. A linear functional ϕ:A→C\phi: A \to \mathbb{C} is positive if ϕ(a)≥0\phi(a) \geq 0 for all positive aa, and such functionals are automatically continuous with ∥ϕ∥=ϕ(1)\|\phi\| = \phi(1) in the unital case. In unital C*-algebras, states are normalized positive functionals with ϕ(1)=1\phi(1) = 1, forming a whose extreme points are the pure states. For general C*-algebras, states are positive linear functionals with ∥ϕ∥=1\|\phi\| = 1. Pure states, introduced in the context of extending functionals on subalgebras, correspond to irreducible representations via the Gelfand-Naimark-Segal . In the unital case, states satisfy a Cauchy-Schwarz inequality: for a state ϕ\phi and elements a,b∈Aa, b \in A, ∣ϕ(b∗a)∣2≤ϕ(a∗a)ϕ(b∗b)|\phi(b^*a)|^2 \leq \phi(a^*a) \phi(b^*b). This inequality, derived from the positivity of ϕ((tb∗−a)∗(tb∗−a))≥0\phi((t b^* - a)^*(t b^* - a)) \geq 0 for t∈Rt \in \mathbb{R}, facilitates estimates on matrix elements and underpins the inner product structure in associated Hilbert spaces. The state space, being weak*-compact by the Alaoglu theorem, ensures the existence of extreme points, i.e., pure states, which are indecomposable as convex combinations of other states.

Representations and the GNS Construction

A *-representation of a AA on a HH is defined as a -homomorphism π:A→B(H)\pi: A \to B(H) that is continuous with respect to the on B(H)B(H). This continuity ensures that the image π(A)\pi(A) is a C-subalgebra of B(H)B(H), allowing the abstract structure of AA to be realized concretely within operator algebras. Representations are non-degenerate if the span of {π(a)ξ∣a∈A,ξ∈H}\{\pi(a)\xi \mid a \in A, \xi \in H\} is dense in HH, and they are faithful if π\pi is injective. Among *-representations, irreducible ones are particularly important, as they correspond to the "indecomposable" building blocks of the . A *-representation π\pi is irreducible if the only closed π(A)\pi(A)-invariant subspaces of HH are {0}\{0\} and HH. In such representations, cyclic vectors play a key role: a vector ξ∈H\xi \in H is cyclic if the linear span of {π(a)ξ∣a∈A}\{\pi(a)\xi \mid a \in A\} is dense in HH. Every irreducible *-representation admits a cyclic vector, and conversely, the subspace generated by a cyclic vector under the action of π(A)\pi(A) yields a representation that can be analyzed for irreducibility. The Gelfand–Naimark–Segal (GNS) construction provides a universal method to associate a cyclic *-representation to any state on AA, bridging states and representations. Given a state ϕ:A→C\phi: A \to \mathbb{C} (in the unital case, a positive linear functional with ϕ(1)=1\phi(1) = 1), define the inner product on the vector space AA by ⟨a,b⟩ϕ=ϕ(b∗a)\langle a, b \rangle_\phi = \phi(b^* a). This form is positive semi-definite, and its kernel Nϕ={a∈A∣ϕ(a∗a)=0}N_\phi = \{a \in A \mid \phi(a^* a) = 0\} is a closed left ideal in AA. The quotient pre-Hilbert space is A/NϕA / N_\phi, with elements denoted =a+Nϕ = a + N_\phi, and the completion yields the Hilbert space HϕH_\phi. The *-representation πϕ:A→B(Hϕ)\pi_\phi: A \to B(H_\phi) is given by πϕ(a)=[ab]\pi_\phi(a) = [a b] for a,b∈Aa, b \in A, and the vector \eta_\phi = {{grok:render&&&type=render_inline_citation&&&citation_id=1&&&citation_type=wikipedia}} is cyclic for πϕ\pi_\phi. The map ϕ\phi extends to a vector state ωηϕ∘πϕ=ϕ\omega_{\eta_\phi} \circ \pi_\phi = \phi. If ϕ\phi is faithful (i.e., ϕ(a∗a)=0\phi(a^* a) = 0 implies a=0a = 0), then πϕ\pi_\phi is faithful; moreover, πϕ\pi_\phi is irreducible precisely when ϕ\phi is a pure state (an extreme point of the state space). The GNS construction, together with direct sums over states, implies that every admits a faithful -representation via representation. More explicitly, representation πu\pi_u of AA is the πu=⨁ϕ∈P(A)πϕ\pi_u = \bigoplus_{\phi \in \mathcal{P}(A)} \pi_\phi, where P(A)\mathcal{P}(A) is the set of pure states on AA, acting on the Hu=⨁ϕ∈P(A)HϕH_u = \bigoplus_{\phi \in \mathcal{P}(A)} H_\phi. This representation is faithful because the pure states separate points in AA: if a≠0a \neq 0, then there exists a pure state ϕ\phi with ϕ(a∗a)>0\phi(a^* a) > 0, ensuring ∥πu(a)∥>0\|\pi_u(a)\| > 0. Thus, πu\pi_u embeds AA isometrically as a C-subalgebra of B(Hu)B(H_u), realizing the in representation-theoretic terms. Fell's absorption principle addresses the interaction of representations via tensor products, particularly in the context of group actions and crossed products. For a GG and a unitary representation σ:G→U(K)\sigma: G \to U(K) on a KK, the principle states that the representation σ⊗λG\sigma \otimes \lambda_G on K⊗L2(G)K \otimes L^2(G) is unitarily equivalent to λG\lambda_G, the of GG on L2(G)L^2(G). In the setting, this extends to show that for a (A,G,α)(A, G, \alpha), the reduced crossed product A⋊rαGA \rtimes_r^\alpha G absorbs the in the sense that (idA⊗λG)∘(α⊗idCr∗(G))(id_A \otimes \lambda_G) \circ (\alpha \otimes id_{C_r^*(G)}) yields an after completion. This principle is crucial for duality theorems and stabilization results in .

Commutative Case

Gelfand-Naimark Theorem

The Gelfand–Naimark theorem provides a concrete realization of commutative C*-algebras in terms of function algebras, establishing an algebraic duality with topological spaces. For a unital commutative C*-algebra AA, the set Δ(A)\Delta(A) of characters—non-zero multiplicative linear functionals χ:A→C\chi: A \to \mathbb{C}—forms the Gelfand spectrum, equipped with the weak* topology, which is a compact Hausdorff space. The theorem states that there exists a -isomorphism A≅C(Δ(A))A \cong C(\Delta(A)), where C(Δ(A))C(\Delta(A)) denotes the C-algebra of continuous complex-valued functions on Δ(A)\Delta(A) with the sup-norm and pointwise operations. This isomorphism is realized explicitly by the Gelfand transform ⋅^:A→C(Δ(A))\hat{\cdot}: A \to C(\Delta(A)), defined by a^(χ)=χ(a)\hat{a}(\chi) = \chi(a) for all a∈Aa \in A and χ∈Δ(A)\chi \in \Delta(A). The map is a -homomorphism because characters preserve the involution and multiplication in commutative algebras, and it is isometric since the C-norm on AA coincides with the sup-norm on the image: ∥a∥=sup⁡χ∈Δ(A)∣χ(a)∣\|a\| = \sup_{\chi \in \Delta(A)} |\chi(a)|. Surjectivity onto C(Δ(A))C(\Delta(A)) follows from the density of the transformed elements, approximated via the . A key step in the proof identifies the spectrum of an individual element a∈Aa \in A with the set Δ(a)={χ(a)∣χ∈Δ(A)}⊆C\Delta(a) = \{ \chi(a) \mid \chi \in \Delta(A) \} \subseteq \mathbb{C}, which is compact and non-empty by the Gelfand–Mazur theorem for . Continuity of a^\hat{a} arises from the uniform continuity implied by the submultiplicative C*-norm: for self-adjoint aa, ∣a^(χ)−a^(ϕ)∣≤∥a∥∥χ−ϕ∥|\hat{a}(\chi) - \hat{a}(\phi)| \leq \|a\| \|\chi - \phi\| in the weak* sense. The full isomorphism is then constructed by separating points in Δ(A)\Delta(A) via these continuous functions and extending linearly. In the non-unital case, every commutative AA is *-isomorphic to C0(X)C_0(X), the algebra of continuous functions on a locally compact XX that vanish at infinity, with X=Δ(A)X = \Delta(A) under the . Here, XX need not be compact; the unital case corresponds to the one-point compactification of XX when adding a unit.

Topological Interpretations

In the commutative setting, the topological interpretations of arise primarily through the duality established by the Gelfand-Naimark theorem, which identifies such algebras with functions on topological spaces. For a commutative AA, the Gelfand spectrum Δ(A)\Delta(A), or simply Spec⁡(A)\operatorname{Spec}(A), is the set of all non-zero *-homomorphisms from AA to C\mathbb{C}, endowed with the from the A∗A^*. This spectrum is a locally compact , and AA is *-isomorphic to C0(Δ(A))C_0(\Delta(A)), the algebra of continuous complex-valued functions vanishing at infinity on Δ(A)\Delta(A). Thus, the spectrum provides a topological dual to the , where points in Δ(A)\Delta(A) correspond to evaluation functionals, and the Gelfand transform maps elements of AA to continuous functions on this space. This duality extends to geometric objects like vector bundles. Over the algebra C(X)C(X) for a compact XX, finitely generated projective modules correspond precisely to continuous vector bundles on XX. Swan's theorem establishes an between the category of such modules and the category of vector bundles, where the module of sections Γ(E)\Gamma(E) of a bundle EE over XX is projective if and only if EE is a direct summand of a trivial bundle. This correspondence highlights how algebraic projectivity encodes the local triviality and topological twisting of bundles, with the rank function on modules mirroring the rank of bundles at points in XX. Further topological insight comes from . For a unital commutative A≅C(X)A \cong C(X) with XX compact, the K0_0-group K0(A)K_0(A), defined as the of isomorphism classes of finitely generated projective AA-modules under , is naturally to the topological K-group K0(X)K^0(X), which classifies stable classes of vector bundles over XX. This isomorphism preserves the semigroup structure, where the positive cone in K0(A)K_0(A) corresponds to formal differences of bundle classes, providing an algebraic invariant that captures topological invariants like the in low dimensions. The standard framework assumes Hausdorff spaces, but interpretations extend to non-Hausdorff settings via sheaves. For a XX that may not be Hausdorff, commutative can be modeled as sheaves of over XX, where sections over open sets form satisfying gluing conditions, and the global sections yield C0(X)C_0(X) in the Hausdorff case but allow for more general bundles in non-separated topologies. Such sheaf-theoretic approaches handle pathologies like non-separated points, common in or theory, by associating to each point a stalk that is a local . For broader connections, commutative C*-algebras admit interpretations as special cases of étale C*-algebras, where the groupoid is the trivial (pair) groupoid on a XX, reducing to C0(X)C_0(X) and encoding the via the groupoid's unit space. This perspective facilitates non-commutative extensions, as étale groupoids generalize to capture transformation groupoids or equivalence relations, with the commutative case providing the baseline topological duality.

Applications

In Quantum Mechanics

In algebraic quantum mechanics, C*-algebras formalize the structure of by treating observables as elements of the and states as positive linear functionals ϕ\phi of norm one, where the expectation value of an aa is given by ϕ(a)\phi(a). This approach abstracts away from concrete representations, emphasizing algebraic relations that capture the noncommutative nature of quantum observables. The describes through a one-parameter group of *-automorphisms {αt}t∈R\{\alpha_t\}_{t \in \mathbb{R}} on the , preserving the involution via αt(a∗)=αt(a)∗\alpha_t(a^*) = \alpha_t(a)^* for all aa in the algebra and t∈Rt \in \mathbb{R}, thereby implementing the dynamics of observables without altering the state. In local quantum physics, the Haag-Kastler axioms organize observables into a net of s {A(O)}O\{ \mathcal{A}(O) \}_{O} indexed by bounded open spacetime regions OO, satisfying isotony (inclusion for nested regions), microcausality (commutativity for spacelike-separated regions), and covariance under Poincaré transformations. This framework ensures relativistic invariance and locality while avoiding divergences common in perturbative approaches. A prominent example is the Weyl algebra, the generated by unitary elements W(f)W(f) for test functions ff satisfying the Weyl form of the canonical commutation relations W(f)W(g)=e−iσ(f,g)/2W(f+g)W(f)W(g) = e^{-i \sigma(f,g)/2} W(f+g), where σ\sigma is the symplectic form; this abstracts the exponential form of position and momentum operators in nonrelativistic . Key advancements in the by Araki and Woods classified factors of type III, showing that infinite tensor products of type I factors yield such algebras, which naturally arise in the von Neumann algebra envelopes of C*-algebras from quantum field theories and exhibit modular flows incompatible with type II structures.

In K-Theory and Index Theory

C*-algebras provide the algebraic framework for in the non-commutative setting, where the K-groups capture invariants analogous to vector bundles on spaces. The zeroth K-group K0(A)K_0(A) of a AA is the associated to the abelian V(A)V(A) formed by Murray-von Neumann equivalence classes of projections in the matrix algebras Mn(A)M_n(A) for n∈Nn \in \mathbb{N}, under as the operation. For unital AA, K0(A)K_0(A) carries a natural positive cone K0(A)+K_0(A)^+ consisting of classes represented by projections, with the class [1A][1_A] of the unit serving as the order unit, and normalized traces on AA induce states on K0(A)K_0(A) whose values on [1A][1_A] lie in [0,1][0,1]. The first K-group K1(A)K_1(A) is defined as π0(GL∞(A)/∼)\pi_0(GL_\infty(A)/\sim), the set of connected components of the infinite over AA modulo , or equivalently via the suspension SA=C0(R)⊗ASA = C_0(\mathbb{R}) \otimes A, as K1(A)≅K0(SA)K_1(A) \cong K_0(SA). This construction extends to higher groups Kn(A)=K0(SnA)K_n(A) = K_0(S^n A), where SnAS^n A denotes the nn-fold suspension. Bott periodicity theorem establishes that Kn+2(A)≅Kn(A)K_{n+2}(A) \cong K_n(A) for all n≥0n \geq 0 and any C*-algebra AA, reflecting the stable structure and enabling recursive computations of these groups. This periodicity arises from the index theory of elliptic operators and has profound implications for classifying C*-algebras. In index theory, C*-algebras encode the symbols of differential operators, linking analytical and topological invariants through the Atiyah-Singer index theorem. For an elliptic DD of order mm on a compact manifold MM, the principal symbol σ(D)\sigma(D) generates a graded symbol , a whose class in K0K_0 determines the Fredholm index of DD. The theorem states that index⁡(D)=∫Mch⁡(σ(D))∧Td⁡(TM)\operatorname{index}(D) = \int_M \operatorname{ch}(\sigma(D)) \wedge \operatorname{Td}(TM), where the right-hand side yields an integer via pairing with the fundamental class, but more abstractly, it identifies the analytical index with a element derived from the symbol . This formulation generalizes to families of operators and non-commutative geometries, with the index lying in K0K_0 of the associated . The Elliott classification program leverages these K-theoretic invariants to classify simple nuclear C*-algebras up to , primarily using the Elliott invariant comprising the ordered group (K0(A),K0(A)+,[1A])(K_0(A), K_0(A)^+, [1_A]), the group K1(A)K_1(A), and the space of tracial states T(A)T(A). For approximately finite-al (AF) algebras, which are inductive limits of finite-dimensional C*-algebras, Elliott proved that the ordered K0K_0-group alone suffices for classification. The program extends this to broader classes, such as simple nuclear C*-algebras of real rank zero or finite nuclear , where the full invariant classifies under the universal coefficient theorem assumption; however, as of 2025, the general classification of all simple separable nuclear C*-algebras remains incomplete, with counterexamples to earlier conjectures and ongoing efforts to incorporate regularity conditions like Z-stability or strict comparison.

References

  1. https://web.uvic.ca/~ifputnam/ln/C%2A-algebras.pdf
  2. https://eudml.org/doc/65219
  3. https://library.uoh.edu.iq/admin/ebooks/37500-lecture-notes-on-c-algebras-and-quantum-mechanics--%5Bjnl-article%5D---n.-lamdsman.pdf
  4. https://www.math.uci.edu/~isaac/Computability_and_K_theory.pdf
  5. https://math.dartmouth.edu/~dana/bookspapers/cstar.pdf
  6. https://www.karlin.mff.cuni.cz/~kalenda/data/fa116e-15.pdf
  7. https://math.bme.hu/~andaia/oldgyak/142spna/CstarAlgebrasJAE.pdf
  8. https://www.math.uwaterloo.ca/~nspronk/math822/Cstar_into.pdf
  9. https://www.math.ru.nl/~landsman/oa2011.pdf
  10. https://arxiv.org/pdf/0901.0232
  11. https://www.ams.org/journals/tran/1937-041-02/S0002-9947-1937-1501899-4/S0002-9947-1937-1501899-4.pdf
  12. https://www.jstor.org/stable/1969091
  13. https://www.sciencedirect.com/book/9780080924960/c-algebras-and-operator-theory
  14. https://arxiv.org/abs/2507.08856
  15. https://math.stackexchange.com/questions/852176/norm-on-unitisation-of-a-c-ast-algebra
  16. https://arxiv.org/pdf/1211.3404
  17. https://projecteuclid.org/journals/bulletin-of-the-american-mathematical-society-new-series/volume-53/issue-2/Irreducible-representations-of-operator-algebras/bams/1183510397.full
  18. https://arxiv.org/pdf/2302.12809
  19. https://arxiv.org/pdf/2409.15681
  20. https://math.mit.edu/classes/18.238/lec100208.pdf
  21. https://users.math.msu.edu/users/banelson/conferences/GOALS/notes/Cstar_notes.pdf
  22. https://www.math.unl.edu/~jkettinger2/swan.pdf
  23. https://www.math.nagoya-u.ac.jp/~richard/teaching/s2020/Xuanrui.pdf
  24. https://onlinelibrary.wiley.com/doi/pdf/10.1002/mana.200910097
  25. https://www.aidansims.com/files/GroupoidsNotes-2017.pdf
  26. https://www.math.ru.nl/~landsman/algebraicQM.pdf
  27. https://www.sas.rochester.edu/mth/sites/doug-ravenel/otherpapers/Atiyah68.pdf
  28. https://core.ac.uk/download/pdf/82496166.pdf
  29. https://arxiv.org/abs/2311.14238
Add your contribution
Related Hubs
User Avatar
No comments yet.