algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)
quantum mechanical system, quantum probability
interacting field quantization
This is a small subcollection of my (Tom Mainiero‘s) personal notes on some functorial aspects of the Gelfand-Naimark-Segal construction (GNS construction) that have been sitting around for a while. Please feel free to contribute! The ideas here underlie some of the constructs of Homtools: specifically, one can think of a “ltipartite’‘ state as a presheaf valued in the category of states (defined below) over a collection of subsystems. The GNS representation can then be thought of as a functor that takes us into a “representation-theoretic” category where we can, e.g. compute an associated (co)homology using Čech methods.
For the purposes of this section, is a fixed a unital ring and is a unital -algebra. Although will not appear explicitly in any of the discussion in this section (so that could effectively just be thought of as a unital ring), we keep it around as the case where is a finite-dimensional (semisimple) -algebra is most relevant to later discussions involving the GNS construction.
Let denote the category with:
objects given by pointed left -modules: pairs of a left -module with an element ;
morphisms given by point preserving intertwiners.
is the full subcategory of whose objects are cyclic pointed modules: such that .
For those that find the notion of a pointed module somewhat awkward, note that: is equivalent to the coslice category , where is the category of left -modules.
is a reflective subcategory of : the right adjoint of the inclusion functor
is given by the “cyclification” functor:
that acts on objects by assigning to any pointed module the cyclic pointed submodule generated by the orbit of , i.e. and acts on morphisms by restriction to cyclic submodules.
For any left -module , we denote the annihilator of a point as:
The following lemma, which will become useful later, describes the structure of the hom-sets when is a cyclic pointed module.
Let and be pointed -modules and suppose is cyclic. Then there exists a morphism from to if and only if . Moreover, this morphism is unique when it exists.
This follows quickly from the fact that a morphism must satisfy for all .
There is an immediate corollary of this Lemma: is equivalent to the poset of left-ideals of (thought of as a category). This equivalence of categories is actually part of the restriction of a larger adjunction. We now spell out the definitions behind this claim.
is the thin category given by the poset of left ideals of :
objects are left ideals of , and
there is a unique morphism if and only if .
The process of taking annihilators of distinguished points of left -modules defines a functor:
Explicitly: it acts on objects by:
and its action on morphisms is deduced from the following straightforward remark.
If is a morphism of pointed modules, then ; so we must have .
Thus, for a -morphism, we can define as the unique -morphism given by the inclusion of ideals .
Alternatively, given any left-ideal of some -algebra , one can produce an -module . This module has a distinguished point , where is the identity of . Moreover, ; so, so the pointed module is cyclic. This process defines a functor:
whose action on objects is as described above:
and action on morphisms is given by:
where is the tautological map of pointed modules acting by:
for any ; this is well-defined as .
There is an adjunction:
restricting to an equivalence
where for the inclusion functor of cyclic pointed modules into pointed modules.
We will define a unit
and counit
satisfying the triangle identities. Note that is given by assigning the identity morphism to each object of : indeed, for any left-ideal we have . The counit is a bit more interesting: let be a pointed-module and define . We have ; so by Lemma there is a unique morphism ; this defines the morphism . The triangle identities are trivial.
The above observations are simple shadows of the functorality of the GNS construction for C*-algebras and W*-algebras. The opposite of the category of ideals can be thought of as a stand-in for the category of states (to every -algebraic state on a -algebra we can associate the left ideal given by the “left kernel” ). The quotient functor is a toy-model of the GNS construction.
In the following the letters and will denote -algebras that are not necessarily -algebras and will denote -algebras.
The term (normal) state will be taken to mean (normal) positive linear functional Note that this is at odds with some definitions in the physics literature, where “state” typically means “normalized” positive linear functional (if for a positive linear functional). Using the definition of “state” here, the zero map is a perfectly valid state.
With an appropriate notion of a “category of states”, one can explore functorial properties of the GNS construction as in Arthur Parzygnat’s work (see Parzygnat2016 and Parzygnat2018).
The construction here is from a slightly different perspective, using a mildly richer category of states based on the natural poset structure on the collection of (normal) states on a fixed or -algebra. The posetal relation is intimately related to the notion of a Radon-Nikodym derivative.
Begin by recalling a well-known posetal relation on the set of states on a -algebra :
For any , define the relation by if is a state, where denotes pointwise subtraction; equivalently: if for all
It is a straightforward exercise to show this relation is posetal.
The story for normal states in the -algebra world is nearly identical: let denote the set of normal states on a -algebra (a subset of ); for any we can define a relation by: if is a normal state. Because the space of linear functionals splits as an orthogonal sum into normal and singular parts, it follows immediately that for normal linear functionals and if and only if . As a result we can simply write when discussing states on -algebras or normal states on -algebras without any issues if we forget down from the category of -algebras to the category of -algebras.
We can easily define weaker versions of the relation that may also be of interest: for and positive linear functionals on a algebra , we can define relations and in the following manner:
if there is an inclusion of , where, for any positive linear functional on , the “left kernel” or “vanishing ideal” is defined by:
if there exists a such that for every .
We have the following immediate properties:
.
is a partial order as it is antisymmetric: and if and only if .
However, the weaker preorders and do not satisfy antisymmetry: e.g. and .
Moreover, while is only a mild weakening of , the weakest preorder is vastly different. In particular, we will show there is a unique Radon-Nikodym derivative associated to every pair of functionals related by the preorders and ; the result can be weakened for , but the Radon-Nikodym derivative will be an unbounded (densely defined) operator. See Gudder.
Let be a -algebra. The category is the opposite of the thin category determined by the preorder , i.e. it is the category whose objects are all states (positive linear functionals) on , and whose morphism sets are given by
where denotes the one point set. Similarly if is a -algebra, let be defined as the full subcategory of whose objects are normal states.
For a -algebra, the category is the category with:
objects given by pointed -representations of : triples of a Hilbert space a vector and a -representation ;
morphisms given by contractive linear point-preserving intertwiners: a morphism from to is a linear map such that with respect to the operator norm, , and
for all .
is the full subcategory of whose objects are cyclic representations: such that the subspace is dense in .
We also define normal versions of the above.
Similarly, for a -algebra, the category is the category whose objects are pointed normal -representations of , and morphisms are contractive linear intertwiners (equivalently the full subcategory of generated by objects whose underlying representation is normal). is the full subcategory of generated by cyclic representations.
Maybe add a bit here about how NRep and Rep interact.
The following are a few straightforward observations about the subcategories generated by cyclic objects.
The cyclic subcategories are thin: there is at most one morphism between two objects, every morphism is uniquely determined by where distinguished point is sent.
Just as the full subcategory of cyclic pointed -modules (for an -algebra) is reflective inside of the category of pointed -modules (c.f.\ Remark ), the subcategory (resp. ) is a reflective subcategories of (resp. ). The right adjoint of the inclusion functor is given on objects by assigning to any pointed representation the completion of the orbit of the distinguished point; it is defined on morphisms by restriction.
The observations in the above remark are shadows of adjunctions ( a -algebra and a -algebra)
which restricts to an equivalence of categories:
The analogous statements hold for normal states/pointed representations. Our next step is to unravel the functors in the above diagrams, both which should be clear to those familiar with the GNS construction
The functor:
acts on objects by:
and takes a morphism to the unique morphism in defined by the relation:
for all .
Before defining the functor , we note that to any positive linear functional , there is an associated left ideal . Thus, repeating the observations of Section, there is an associated pointed (algebraic) left -module
The functor acts on objects by taking a positive linear functional to its corresponding GNS representation, and acts on a morphism corresponding the relation by assigning the quotient map
Tom Mainiero, Homological Tools for the Quantum Mechanic (2019) [arXiv:1901.02011, 10.10.11.6/handle/1/1339]
Arthur Parzygnat, From observables and states to Hilbert space and back: a 2-categorical adjunction, (arXiv:1609.08975)
Arthur Parzygnat, Stinespring’s construction as an adjunction (arXiv:1807.02533)
MathOverflow: In which sense the GNS construction is a functor? (link)
Stanley Gudder?, A Radon-Nikodym Theorem for -Algebras (link)
Last revised on June 6, 2023 at 08:16:45. See the history of this page for a list of all contributions to it.