โ† back to c*-algebras

c*-algebras unit 5 study guides

states and the gns construction

unit 5 review

States and the GNS Construction form a crucial part of C*-algebra theory. States represent the probabilistic aspects of quantum systems, while the GNS Construction provides a way to build Hilbert space representations from states. This connection between states and representations is fundamental in studying C*-algebras. The GNS Construction allows us to analyze abstract algebraic structures through concrete operators on Hilbert spaces, bridging algebra and functional analysis in quantum theory.

Key Concepts and Definitions

  • C*-algebra: A complex Banach algebra equipped with an involution (adjoint operation) satisfying the C*-identity $|a^*a| = |a|^2$
  • State: A positive linear functional $\varphi$ on a C*-algebra $A$ with $\varphi(1) = 1$
    • Positive linear functional: A linear map $\varphi: A \to \mathbb{C}$ such that $\varphi(a^*a) \geq 0$ for all $a \in A$
  • Hilbert space: A complete inner product space over the complex numbers
  • Representation: A -homomorphism from a C-algebra to the bounded linear operators on a Hilbert space
  • Cyclic vector: A vector $\xi$ in a Hilbert space $H$ such that the set ${\pi(a)\xi : a \in A}$ is dense in $H$, where $\pi$ is a representation of $A$
  • GNS triplet: A tuple $(\pi_\varphi, H_\varphi, \xi_\varphi)$ constructed from a state $\varphi$ on a C*-algebra $A$
  • Pure state: A state that cannot be written as a convex combination of other states
  • Irreducible representation: A representation with no non-trivial invariant closed subspaces

GNS Construction: Overview and Importance

  • GNS (Gelfand-Naimark-Segal) construction associates a Hilbert space representation to each state on a C*-algebra
  • Provides a canonical way to construct representations of C*-algebras
  • Establishes a correspondence between states and cyclic representations
  • Allows for the study of C*-algebras through their representations on Hilbert spaces
  • Plays a crucial role in the classification of C*-algebras and their representations
  • Connects the algebraic structure of C*-algebras with the geometric structure of Hilbert spaces
  • Enables the application of functional analytic techniques to the study of C*-algebras
  • Generalizes the Gelfand-Naimark theorem, which states that every commutative C*-algebra is isometrically *-isomorphic to the algebra of continuous functions on its spectrum

States on C*-algebras

  • States encode information about the probabilistic and physical aspects of a quantum system
  • Convex set: The set of states on a C*-algebra is convex, meaning that convex combinations of states are also states
  • Pure states correspond to irreducible representations via the GNS construction
    • Pure states cannot be written as a convex combination of other states
  • Mixed states are convex combinations of pure states and correspond to reducible representations
  • Algebraic states: States that are defined on the whole C*-algebra
  • Singular states: States that are not continuous with respect to the norm topology
  • KMS (Kubo-Martin-Schwinger) states: States that describe thermal equilibrium in quantum statistical mechanics
    • Characterized by the KMS condition, which relates the state's behavior with respect to the time evolution of the system

Hilbert Space Representation

  • Representation: A -homomorphism $\pi: A \to B(H)$ from a C-algebra $A$ to the bounded linear operators on a Hilbert space $H$
    • Preserves the algebraic structure: $\pi(ab) = \pi(a)\pi(b)$ and $\pi(a^) = \pi(a)^$
  • Allows for the study of abstract C*-algebras through concrete operators on Hilbert spaces
  • Irreducible representation: A representation with no non-trivial invariant closed subspaces
    • Corresponds to pure states via the GNS construction
  • Reducible representation: A representation that can be decomposed into a direct sum of irreducible representations
    • Corresponds to mixed states
  • Unitary equivalence: Two representations $\pi_1$ and $\pi_2$ are unitarily equivalent if there exists a unitary operator $U$ such that $\pi_1(a) = U^*\pi_2(a)U$ for all $a \in A$
  • Representation theory studies the properties and classification of representations of C*-algebras

Cyclic Vectors and Cyclic Representations

  • Cyclic vector: A vector $\xi$ in a Hilbert space $H$ such that the set ${\pi(a)\xi : a \in A}$ is dense in $H$, where $\pi$ is a representation of $A$
    • The vector $\xi$ "generates" the whole Hilbert space under the action of the representation
  • Cyclic representation: A representation $(\pi, H)$ of a C*-algebra $A$ with a cyclic vector $\xi \in H$
  • Every non-zero vector in an irreducible representation is cyclic
  • Cyclic representations are essential in the GNS construction, as the GNS representation is always cyclic
  • Importance in understanding the structure of representations and their relation to states
  • Cyclic representations can be used to classify representations up to unitary equivalence
  • The set of cyclic vectors in a representation forms a dense subset of the Hilbert space

GNS Construction: Step-by-Step Process

  1. Start with a C*-algebra $A$ and a state $\varphi$ on $A$
  2. Define a pre-inner product on $A$ by $\langle a, b \rangle_\varphi := \varphi(b^*a)$
  3. Quotient out the null space $N_\varphi := {a \in A : \varphi(a^*a) = 0}$ to obtain a pre-Hilbert space $A / N_\varphi$
    • Elements of $A / N_\varphi$ are equivalence classes $[a] := a + N_\varphi$
  4. Complete $A / N_\varphi$ to obtain a Hilbert space $H_\varphi$
  5. Define a representation $\pi_\varphi: A \to B(H_\varphi)$ by $\pi_\varphi(a)[b] := [ab]$
    • This is a well-defined *-homomorphism
  6. Define a cyclic vector $\xi_\varphi := [1] \in H_\varphi$
  7. The triplet $(\pi_\varphi, H_\varphi, \xi_\varphi)$ is called the GNS triplet associated with the state $\varphi$
    • $\pi_\varphi$ is the GNS representation
    • $H_\varphi$ is the GNS Hilbert space
    • $\xi_\varphi$ is the GNS cyclic vector

Applications and Examples

  • Quantum mechanics: States on the C*-algebra of observables describe the physical states of a quantum system
    • Pure states correspond to vector states in the Hilbert space formulation
    • Mixed states correspond to density operators
  • Quantum statistical mechanics: KMS states describe thermal equilibrium states of quantum systems
    • The GNS construction allows for the study of the thermodynamic limit and phase transitions
  • Operator algebras: The GNS construction is a fundamental tool in the study of von Neumann algebras and factors
    • Used in the classification of factors and the study of their invariants
  • Noncommutative geometry: C*-algebras serve as noncommutative analogues of topological spaces
    • The GNS construction provides a way to construct "noncommutative manifolds" from states on C*-algebras
  • Quantum field theory: The GNS construction is used to construct the Hilbert space of states and the algebra of observables in algebraic quantum field theory
    • Allows for the study of quantum fields on curved spacetimes and in the presence of interactions

Advanced Topics and Extensions

  • Tomita-Takesaki modular theory: Associates a one-parameter group of automorphisms (modular automorphism group) and a conjugate-linear involution (modular conjugation) to each state on a von Neumann algebra
    • Extends the GNS construction to the setting of von Neumann algebras
    • Plays a crucial role in the classification of factors and the study of their invariants
  • KMS conditions and thermal equilibrium: The KMS condition characterizes equilibrium states in quantum statistical mechanics
    • Related to the modular automorphism group in the Tomita-Takesaki theory
    • Provides a connection between the algebraic and thermodynamic properties of quantum systems
  • Noncommutative integration theory: Extends the notion of integration to the setting of noncommutative spaces (C*-algebras and von Neumann algebras)
    • Includes the theory of weights, traces, and Dixmier traces
    • Allows for the study of the geometry and topology of noncommutative spaces
  • Stinespring dilation theorem: Generalizes the GNS construction to completely positive maps between C*-algebras
    • Provides a way to dilate a completely positive map to a -homomorphism on a larger C-algebra
    • Plays a fundamental role in the study of completely positive maps and their applications in quantum information theory
  • Kasparov's KK-theory: A bivariant K-theory for C*-algebras that generalizes both K-theory and K-homology
    • Provides a powerful tool for studying the structure and classification of C*-algebras
    • The GNS construction plays a role in the definition of the KK-groups and the Kasparov product