A subtheory of a quantum field theory specifies von Neumann subalgebras [Formula: see text] (the ‘observables’ in the space-time region [Formula: see text]) of the von Neumann algebras [Formula: see text] (the 'field' localized in [Formula: see text]). Every local algebra being a (type III1) factor, the inclusion [Formula: see text] is a subfactor. The assignment of these local subfactors to the space-time regions is called a ‘net of subfactors’. The theory of subfactors is applied to such nets. In order to characterize the ‘relative position’ of the subtheory, and in particular to control the restriction and induction of superselection sectors, the canonical endomorphism is studied. The crucial observation is this: the canonical endomorphism of a single local subfactor extends to an endomorphism of the field net, which in turn restricts to a localized endomorphism of the observable net. The method allows one to characterize, and reconstruct, local extensions ℬ of a given theory [Formula: see text] in terms of the observables. Various non-trivial examples are given. Several results go beyond the quantum field theoretical application.
A subtheory of a quantum field theory specifies von Neumann subalgebras [Formula: see text] (the ‘observables’ in the space-time region [Formula: see text]) of the von Neumann algebras [Formula: see text] (the 'field' localized in [Formula: see text]). Every local algebra being a (type III1) factor, the inclusion [Formula: see text] is a subfactor. The assignment of these local subfactors to the space-time regions is called a ‘net of subfactors’. The theory of subfactors is applied to such nets. In order to characterize the ‘relative position’ of the subtheory, and in particular to control the restriction and induction of superselection sectors, the canonical endomorphism is studied. The crucial observation is this: the canonical endomorphism of a single local subfactor extends to an endomorphism of the field net, which in turn restricts to a localized endomorphism of the observable net. The method allows one to characterize, and reconstruct, local extensions ℬ of a given theory [Formula: see text] in terms of the observables. Various non-trivial examples are given. Several results go beyond the quantum field theoretical application.
A subtheory of a quantum field theory specifies von Neumann subalgebras A(phi) (the 'observables' in the space-time region phi) of the von Neumann algebras B(phi) (the 'fields' localized in phi). Every local algebra being a (type III1) factor, the inclusion A(phi) subset of B(phi) is a subfactor. The assignment of these local subfactors to the space-time regions is called a 'net of subfactors'. The theory of subfactors is applied to such nets. In order to characterize the 'relative position' of the subtheory, and in particular to control the restriction and induction of superselection sectors, the canonical endomorphism is studied. The crucial observation is this: the canonical endomorphism of a single local subfactor extends to an endomorphism of the field net, which in turn restricts to a localized endomorphism of the observable net. The method allows one to characterize, and reconstruct, local extensions B of a given theory A in terms of the observables. Various non-trivial examples are given. Several results go beyond the quantum field theoretical application.
The subfactor theory provides a tool to analyze and construct extensions of Quantum Field Theories, once the latter are formulated as local nets of von Neumann algebras. We generalize some of the results of [62] to the case of extensions with infinite Jones index. This case naturally arises in physics, the canonical examples are given by global gauge theories with respect to a compact (non-finite) group of internal symmetries. Building on the works of Izumi–Longo–Popa [44] and Fidaleo–Isola [30], we consider generalized Q-systems (of intertwiners) for a semidiscrete inclusion of properly infinite von Neumann algebras, which generalize ordinary Q-systems introduced by Longo [58] to the infinite index case. We characterize inclusions which admit generalized Q-systems of intertwiners and define a braided product among the latter, hence we construct examples of QFTs with defects (phase boundaries) of infinite index, extending the family of boundaries in the grasp of [7].
One of von Neumann’s motivations for developing the theory of operator algebras and his and Murray’s 1936 classification of factors was the question of possible decompositions of quantum systems into independent parts. For quantum systems with a finite number of degrees of freedom the simplest possibility, i.e., factors of type I in the terminology of Murray and von Neumann, are perfectly adequate. In relativistic quantum field theory (RQFT), on the other hand, factors of type III occur naturally. The same holds true in quantum statistical mechanics of infinite systems. In this brief review some physical consequences of the type III property of the von Neumann algebras corresponding to localized observables in RQFT and their difference from the type I case will be discussed. The cumulative effort of many people over more than 30 years has established a remarkable uniqueness result: The local algebras in RQFT are generically isomorphic to the unique, hyperfinite type III1 factor in Connes ’ classification of 1973. Specific theories are characterized by the net structure of the collection of these isomorphic algebras for different space-time regions, i.e., the way they are embedded into each other. John von Neumann was the father of the Hilbert space formulation of quantum mechanics [1] that has been the basis of almost all mathematically rigorous investigations of the theory to this day. We start by recalling the main concepts and explaining some notations.
Q-systems describe "extensions" of an infinite von Neumann factor N, i.e., finite-index unital inclusions of N into another von Neumann algebra M. They are (special cases of) Frobenius algebras in the C* tensor category of endomorphisms of N. We review the relation between Q-systems, their modules and bimodules as structures in a category on one side, and homomorphisms between von Neumann algebras on the other side. We then elaborate basic operations with Q-systems (various decompositions in the general case, and the centre, the full centre, and the braided product in braided categories), and illuminate their meaning in the von Neumann algebra setting. The main applications are in local quantum field theory, where Q-systems in the subcategory of DHR endomorphisms of a local algebra encode extensions A(O)⊂B(O) of local nets. These applications, notably in conformal quantum field theories with boundaries, are briefly exposed, and are discussed in more detail in two separate papers [arXiv:1405.7863, 1410.8848].
Quantization is defined as the act of assigning an appropriate C*-algebra [Formula: see text] to a given configuration space Q, along with a prescription mapping self-adjoint elements of [Formula: see text] into physically interpretable observables. This procedure is adopted to solve the problem of quantizing a particle moving on a homogeneous locally compact configuration space Q=G/H. Here [Formula: see text] is chosen to be the transformation group C*-algebra corresponding to the canonical action of G on Q. The structure of these algebras and their representations are examined in some detail. Inequivalent quantizations are identified with inequivalent irreducible representations of the C*-algebra corresponding to the system, hence with its superselection sectors. Introducing the concept of a pre-Hamiltonian, we construct a large class of G-invariant time-evolutions on these algebras, and find the Hamiltonians implementing these time-evolutions in each irreducible representation of [Formula: see text]. “Topological” terms in the Hamiltonian (or the corresponding action) turn out to be representation-dependent, and are automatically induced by the quantization procedure. Known “topological” charge quantization or periodicity conditions are then identically satisfied as a consequence of the representation theory of [Formula: see text].
Algebraic quantum field theory, or AQFT for short, is a rigorous analysis of the structure of relativistic quantum mechanics. It is formulated in terms of a net of operator algebras indexed by regions of a Lorentzian manifold. In several cases the mentioned net is represented by a family of von Neumann algebras, concretely, type III factors. Local quantum field logic arises as a logical system that captures the propositional structure encoded in the algebras of the net. In this framework, this work contributes to the solution of a family of open problems, emerged since the 30s, about the characterization of those logical systems which can be identified with the lattice of projectors arising from the Murray-von Neumann classification of factors. More precisely, based on physical requirements formally described in AQFT, an equational theory able to characterizethe type III condition in a factor is provided. This equational system motivates the study of a variety of algebras having an underlying orthomodular lattice structure. A Hilbert style calculus, algebraizable in the mentioned variety, is also introduced and a corresponding completeness theorem is established.