Types of quantum field thories
Quantum lattice systems are of relevance in solid state physics, where the lattice typically corresponds to an actual physical lattice of atoms, or as approximations to continuous structures, as in lattice gauge theory.
In the context of AQFT the typical discussion of a quantum lattice system proceeds as follows.
Typically there is associated with each lattice site a Hilbert space , typically finite dimensional, , representing finitely many physical degrees of freedom at that site (for instance spin polarizations of a partical). The Hilbert space associated to some is then typically the tensor product , and hence the corresponding algebra of observables is that of bounded operators .
in the category of C-star algebras, which is the norm-closure of the union of all these algebras. If we call each a local algebra, then this is the algebra of those observables that can be approximated to arbitrary precision in norm by a local algebra. This is called a uniformly hyperfinite algebra.
Next, there is typically for each a Hamiltonian with for all . Under suitable (subtle) conditions (e.g. Bratteli-Robinson, part I, chapter 6.2) the 1-parameter time evolution induced by this unitary extends to an suitably continuous family of automorphisms of (this is no longer given in general by an inner automorphism even though for each finite it is).