algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)
quantum mechanical system, quantum probability
interacting field quantization
A -dynamical system, or only -system is a C-star-algebra continuously acted upon by a group of -automorphisms. In quantum mechanics as well as in AQFT the observables of the theory are self-adjoint operators of (a local net of) C-star-algebras, in this context the global gauge group of the theory is the maximal group of unitary operators that leave all observables invariant, the algebra and the gauge group form a -system.
A -system consists of a -algebra , a locally compact group and a continuous homomorphism of into the group of -automorphisms of equipped with the topology of pointwise convergence.
If the algebra is a -algebra only, then some authors call it a -system.
Sometimes the continuity condition is dropped entirely or replaced by some weaker assumption, therefore one should always check what – if any – continuity assumption an author makes.
The fixed point algebra of a -system is . If the fixed point algebra is trivial then acts ergodically.
A state of the algebra is an invariant state if
The set of invariant states is convex, weak- closed and weak- compact. (see operator topology).
Hellmut Baumgärtel, Manfred Wollenberg, Causal nets of operator algebras. Berlin: Akademie Verlag 1992 (ZMATH entry)
chapter 6 in Gerd Petersen, Pullback and pushout constructions in -algebra theory, J. Funct. Analysis 167, 243–344 (1999) pdf
Last revised on December 23, 2013 at 08:14:15. See the history of this page for a list of all contributions to it.