higher category theory and physics in nLab
Article Images
Context
Physics
physics, mathematical physics, philosophy of physics
Surveys, textbooks and lecture notes
theory (physics), model (physics)
experiment, measurement, computable physics
-
-
-
Axiomatizations
-
Tools
-
Structural phenomena
-
Types of quantum field thories
-
Category theory
Higher category theory
Basic concepts
Basic theorems
- homotopy hypothesis-theorem
- delooping hypothesis-theorem
- periodic table
- stabilization hypothesis-theorem
- exactness hypothesis
- holographic principle
Applications
Models
- (n,r)-category
- Theta-space
- ∞-category/∞-category
- (∞,n)-category
- (∞,2)-category
- (∞,1)-category
- (∞,0)-category/∞-groupoid
- n-category = (n,n)-category
- n-poset = (n-1,n)-category
- n-groupoid = (n,0)-category
- categorification/decategorification
- geometric definition of higher category
- algebraic definition of higher category
- stable homotopy theory
Morphisms
Functors
Universal constructions
Extra properties and structure
1-categorical presentations
This entry lists aspects of fundamental physics from the nPOV: its description in terms of category theory and higher category theory. For a more coherent exposition, starting with introduction of the very basics, see also at geometry of physics.
Contents
- The basic structures
- The detailed structures
- Related introductions
- References
- Introductions to category theory in physics
- Introductions to higher category theory and physics
- Monographs on cohomology and higher gauge theory
- On formal quantum field theory
- On the quantization procedure
- On gauge fields and differential cohomology
- On topos-theoretic formulations of physics
- In phenomenology and experimental physics
The basic structures
We discuss the setting in which fundamental physics takes place.
Dynamics in space
Physics is dynamics in spaces .
Higher topos theory provides the formalizations of this most fundamental aspect of physics.
-
A general context for spaces is a big (∞,1)-topos .
-
A general context for geometrical spaces is a local (∞,1)-topos.
-
A general context for geometrical spaces and processes in these spaces is a cohesive (∞,1)-topos.
An example of relevance for much of physics is the cohesive -topos ∞LieGrpd of ∞-Lie groupoids. This contains
-
orbifolds;
-
smooth path spaces;
In its Cahiers topos-version it contains also
-
such as ∞-Lie algebroids.
-
de Rham spaces, smooth D-modules;
In its full derived geometry-version it contains also
- derived ∞-Lie algebroids such as the BV-BRST complexes of gauge theories.
Every -topos comes with its intrinsic notion of cohomology. This encodes kinematics in physics. Such as orientation; spin structures; string structures, fivebrane structures.
Every cohesive -topos is in particular a locally ∞-connected (∞,1)-topos. For these their intrinsic cohomology refines to differential cohomology in an (∞,1)-topos classifying connections on ∞-bundles. This encodes dynamics in physics: a connection on a principal -bundle is a gauge field which exerts forces. Such as:
- the electromagnetic field, Yang-Mills field, the field of gravity, of supergravity, the Kalb-Ramond field, the supergravity C-field, the RR-field.
In every such connected -topos every characteristic class gives rise to its ∞-Chern-Weil homomorphism that sends gauge fields encoded as ∞-connections on principal ∞-bundles to circle n-bundles with connection. Such as:
- the Chern-Simons circle 3-bundle known from the Green-Schwarz mechanism or the Chern-Simons circle 7-bundle known from dual heterotic string theory.
Under the higher parallel transport of these circle -bundles with connection, this assignment is the action functional for the ∞-Chern-Simons theory of the corresponding characteristic class. This includes as special cases various sigma-model quantum field theories such as:
- Dijkgraaf-Witten theory, ordinary Chern-Simons theory, all versions of AKSZ theory, (Chern-Simons-)supergravity, BF-theory coupled to topological Yang-Mills theory with cosmological constant.
These are all topological quantum field theories. But by the holographic principle of higher category theory we have that on their boundaries live non-topological theories:
-
on the boundary of Chern-Simons theory sits the Wess-Zumino-Witten model.
-
on the boundary of the A-model sits the quantum mechanics dynamics of any classical symplectic phase space and on the boundary of the Poisson sigma-model that of a Poisson manifold phase space.
Quantum dynamics
The quantum mechanics associated with such sigma-models is the collection of data given by
-
on each closed piece of worldvolume cobordism of codimension the n-vector space of states of the system;
-
on each piece with boundary a morphism between these -vector spaces encoding the propagation of states;
-
on each open subset the algebra of observables .
Two dual formalizations axiomatize this:
-
AQFT/factorization algebras: the assignment of algebras of observables is encoded in an (∞,n)-copresheaf of ∞-algebras on with suitable properties;
-
FQFT: the assignment of spaces of states and propagators is encoded in an (∞,n)-functor on the (∞,n)-category of cobordisms (see cobordism hypothesis).
Well-understood examples of such quantum field theories include
-
AQFT:
-
2-dimensional conformal field theory by conformal nets and vertex operator algebra
-
-
FQFT:
-
2-dimensional conformal field theory (see FFRS-formalism)
-
TCFTs ((∞,1)-category-formulations of 2d TQFT): the A-model, the B-model, their duality under homological mirror symmetry
-
Quantization
By the above there is a fairly well-developed formalization of
-
background gauge fields and their sigma-model action functional;
The idea is that the former induce examples of the latter by a process called quantization. This is imagined to be given by a path integral over the action functional.
This step in full generality is not yet well understood formally. For a list of literature addressing this problem see Literature on quantization.
But special aspects of quantization are quite well understood. See for instance
The detailed structures
We look at some aspects of the above general abstract story in more detail.
Gauge theory
Introduction
The discovery of gauge theory is effectively the discovery of groupoids in fundamental physics. The notion of gauge transformation is close to synonymous to the notion isomorphism and more generally to equivalence in an (∞,1)-category .
From a modern point of view, the mathematical model for a gauge field in physics is a cocycle in (nonabelian) differential cohomology: a principal bundle with connection and its higher analogs. These naturally do not form just a set, but a groupoid and generally an ∞-groupoid, whose morphisms are gauge transformations, and higher morphisms are gauge-of-gauge transformations. The development of differential cohomology has to a fair extent been motivated by and influenced by its application to fundamental theoretical physics in general and gauge theory in particular.
Around 1850 Maxwell realized that the field strength of the electromagnetic field is modeled by what today we call a closed differential 2-form on spacetime. In the 1930s Dirac observed that more precisely this 2-form is the curvature 2-form of a U(1)-principal bundle with connection, hence that the electromagnetic field is modeled by what today is called a degree 2-cocycle in ordinary differential cohomology .
Meanwhile, in 1915, Einstein had identified also the field strength of the field of gravity as the -valued curvature 2-form of the canonical O(d,1)-principal bundle with connection on a -dimensional spacetime Lorentzian manifold. This is a cocycle in differential nonabelian cohomology: in Chern-Weil theory.
In the 1950s Yang-Mills theory identified the field strength of all the gauge fields in the standard model of particle physics as the -valued curvature 2-forms of U(n)-principal bundles with connection. This is again a cocycle in differential nonabelian cohomology.
It is noteworthy that already in this mathematical formulation of experimentally well-confirmed fundamental physics the seed of higher differential cohomology is hidden: Dirac had not only identified the electromagnetic field as a line bundle with connection, but he also correctly identified (rephrased in modern language) its underlying cohomological Chern class with the (physically hypothetical but formally inevitable) magnetic charge located in spacetime. But in order to make sense of this, he had to resort to removing the support of the magnetic charge density from the spacetime manifold, because Maxwell’s equations imply that at the support of any magnetic charge the 2-form representing the field strength of the electromagnetic field is in fact not closed and hence in particular not the curvature 2-form of an ordinary connection on an ordinary bundle.
In (Freed) this old argument was improved by refining the model for the electromagnetic field one more step: Dan Freed notices that the charge current 3-form is itself to be regarded as a curvature, but for a connection on a circle 2-bundle with connection – also called a bundle gerbe – , which is a cocycle in degree 3 ordinary differential cohomology. Accordingly, the electromagnetic field is fundamentally not quite a line bundle, but a twisted bundle with connection, with the twist being the magnetic charge 3-cocycle. Freed shows that this perspective is inevitable for understanding the quantum anomaly of the action functional for electromagnetism is the presence of magnetic charge.
In summary, the experimentally verified models, to date, of fundamental physics are based on the notion of (twisted) -principal bundles with connection for the Yang-Mills field and -principal bundles with connection for the description of gravity, hence on nonabelian differential cohomology in degree 2 (possibly with a degree-3 twist).
In attempts to better understand the structure of these two theories and their interrelation, theoretical physicists were led to consider variations and generalizations of them that are known as supergravity and string theory. In these theories the notion of gauge field turns out to generalize: instead of just Lie algebras, Lie groups and connections with values in these, one finds structures called Lie 2-algebras, Lie 2-groups and the gauge fields themselves behave like generalized connections with values in these.
Notably the string is charged under a field called the Kalb-Ramond field or -field which is modeled by a -principal 2-bundle with connection, where is the Lie 2-group delooping of the circle group: the circle Lie 2-group. Its Lie 2-algebra is given by the differential crossed module which has shifted up by one in homological degree.
So far all these differential cocycles were known and understood mostly as concrete constructs, without making their abstract home in differential cohomology explicit. It is the next gauge field that made Freed and Hopkins propose (FreedHopkins, Freed) that the theory of differential cohomology is generally the formalism that models gauge fields in physics:
The superstring is charged also under what is called the RR-field, a gauge field modeled by cocycles in differential K-theory. In even degrees we may think of this as a differential cocycle whose curvature form has coefficients in the ∞-Lie algebra . Here is the abelian 2n-Lie algebra whose underlying complex is concentrated in degree on .
So fully generally, one finds ∞-Lie algebras, ∞-Lie groups and gauge fields behaving like connections with values in these.
The curvature characteristic forms / Chern characters in the abelian formulation of differential cohomology take values in abelian ∞-Lie algebras and are therefore effectively nothing but differential forms with values in a complex of vector spaces, but more generally in ∞-Chern-Weil theory on nonabelian principal ∞-bundles, the curvatures forms themselves take values in general ∞-Lie algebras, such as the string Lie 2-algebra, the supergravity Lie 3-algebra and the fivebrane Lie 6-algebra.
Apart from generalizing the notion of gauge Lie groups to Lie 2-groups and further, structural considerations in fundamental physics also led theoretical physicists to consider models for spacetime that are more general than than the notion of a smooth manifold. In string theory spacetime is allowed to be more generally an orbifold or a generalization thereof, such as an orientifold. The natural mathematical model for these generalized spaces are Lie groupoids or, essentially equivalently, differentiable stacks .
It is noteworthy that the notions of generalized gauge groups and the generalized spacetime models encountered this way have a natural common context: all of these are examples of smooth ∞-groupoids.
There is a natural mathematical concept that serves to describe contexts of such generalized spaces: a gros (∞,1)-topos. The notion of differential cohomology in an (∞,1)-topos provides a unifying perspective on the mathematical structure encoding the generalized gauge fields and generalized spacetime models encountered in modern theoretical physics in such a general context.
Classes of examples
We discuss classes of examples of gauge theories that have been considered. For all of these the configuration space is a space of connections on ∞-bundles over spacetime of sorts, which one might take to be the defining property of a gauge theory. But there are different types of action functionals on these configuration spaces.
Generalized Yang-Mills theory
In Yang-Mills theory the action functional is of the form
where
-
is the curvature differential form,
-
“” the Hodge star operator with respect to a fixed (pseudo-)Riemannian metric-structure on
-
and some invariant polynomial.
This is the original notion of gauge theory and might be taken to be the strict sense of the term.
-
For gauge group the circle group this is electromagnetism;
-
For gauge group a general nonabelian Lie group this is Yang-Mills theory proper.
-
Specifically for a discrete quotient of this is the gauge-field part of the standard model of particle physics.
-
For structure group the circle 2-group this yields the Kalb-Ramond field
-
For structure group the circle 3-group this yields the supergravity C-field.
-
For structure group the K-theory spectrum we get differential K-theory describing the RR-field.
A nonabelian cohomology version of higher Yang-Mills theory – replacing a connection on a bundle by a connection on a 2-bundle is expected to control certain 6-dimensional theories that compactify to ordinary Yang-Mills on the torus and thereby explain S-duality . See there for more details on this.
-Chern-Simons theory
In ∞-Chern-Simons theory the action functional is of the form
- where is a Chern-Simons element for an invariant polynomial on an ∞-Lie algebroid .
This includes ordinary Chern-Simons theory in the case that is a semisimple Lie algebra, but for general it subsumes a wide variety of types of TQFTs that are often counted as of different type than Chern-Simons theory, such as BF-theory and AKSZ theory.
The action functional of ∞-Chern-Simons theory stands out by the fact that it arises by general abstract construction:
-
the underlying Lagrangian is nothing but the ∞-Chern-Weil homomorphism
induced by the given invariant polynomial . This sends gauge fields in the form of -valued connections on ∞-bundles to the circle n-bundle with connection whose higher parallel transport is given by the Lagrangian;
-
the integral over is induced by postcomposition with the trunction morphism
-
For a semisimple Lie algebra equipped with its Killing form invariant polynomial we have that is the ordinary Chern-Simons element and the ordinary Chern-Simons theory action functional. This may be understood as the higher parallel transport of a Chern-Simons circle 3-bundle with connection.
-
For a semisimple Lie algebra equipped with its degree 8 invariant polynomial this yields 7-dimensional, whose action functional may be understood as the higher parallel transport of a Chern-Simons circle 7-bundle with connection.
-
For a symplectic Lie n-algebroid equipped with its canonical invariant polynomial of degree is the actional functional of AKSZ theory:
-
for this is the Poisson sigma-model;
-
for this is the Courant sigma-model.
-
-
For a Lie 2-algebra equipped with the Killing form invariant polynomial, is the action functional of BF-theory coupled to topological Yang-Mills theory with a cosmological constant.
Gravity
The configuration spaces of gravity and supergravity may be identified with spaces of connections on ∞-bundles with gauge group a variant of the Poincare group. This parameterization of the configuration space of gravity is known as the first order formulation of gravity, to be contrasted with a formulation explicitly over a space of pseudo-Riemannian manifolds.
-
The special orthogonal group -component of the connection in this case is called the spin connection;
-
the translation group-component of is called the vielbein.
For the ordinary Poincare group this yields the Palatini action expression for the standard Einstein-Hilbert action of general relativity.
In contrast to the -Chern-Simons theory discussed above, the general abstract nature, if any, of the action functional for gravity remains somewhat inconclusive and subject of a plethora of speculations. If one passes from connections to their associated Dirac operators and interprets these as parts of a spectral triple there is the spectral action functional on the space of spectral triples. This we discuss in more detail below.
There are various higher group extensions of the Poincare group and the orthonormal group that lead accordingly to higher order variations of gravity.
-
lifting -connections through the smooth Whitehead tower
yields, in order of appearance,
-
spin structures and spin group-principal bundles with connection.
This lift is necessary to cancel the quantum anomaly of spinning particles coupled to gravity;
-
string structures and string 2-group-principal 2-bundles
with 2-connection
This lift is necessary to cancel the quantum anomaly of heterotic superstrings;
-
fivebrane structures and fivebrane 6-group-principal 6-bundle with 6-connection
This lift is necessary to cancel the quantum anomaly of super 5-branes.
-
-
lifting to super Lie group extensions of yields action functionals for supergravity
The D'Auria-Fre formulation of supergravity explicitly describes higher dimensional supergravity theories as gauge theories with higher super Lie structure groups
- 11-dimensional supergravity is a gauge theory for the supergravity Lie 6-algebra.
Phenomenological models: the standard model and gravity
Theoretical physics consists of two parts: theory and models, laws and initial conditions, axioms and phenomenology.
For instance the theory called general relativity describes the classical dynamics of gravity, but does not predict the value of the cosmological constant. Rather, for each choice of the latter does the theory predict a certain dynamics the large-scale universe.
The theory that describes the fundamental forces and particles except gravity is Yang-Mills theory. This, too, does not predict the fundamental particle species seen in experiments, but for a correct choice and identification of these, the theory does predict the dynamics of these particles, as observed in accelerators.
The total collection of these choices of fundamental particles that are observed in experiments is called the standard model of particle physics. It consists basically of
-
a choice of gauge group , such that all observed gauge fields are components of a connection on a -principal bundle;
-
a choice of linear representation of , such that all observed fermion fields are components of sections of a -associated bundle.
What precisely the “standard” model of particle physics is changes slightly over time, as new experimental insights are gained. Its particles were added item-by-item as they were discovered. More recently the mass of the particles called neutrinos, which was originally thought to be precisely 0, was measured to be very small, but non-vanishing.
The standard model as far as understood today exhibits a curious mixture of pattern and irregularity. This seems to suggest that it ought to have a more fundamental description in terms of a conceptually simpler structure out of which these patterns with their irregularities emerge. Since also the force of gravity is not presently included in the quantization of the standard model, it may seem plausible that this underlying structure is related to quantum gravity.
We discuss in the following some of the proposals that have been suggested for how to formalize this situation.
Spectral standard model and gravity
A fundamental relativistic particle is technically a 1-dimensional sigma-model QFT on 1-dimensional cobordisms with target the spacetime that it propagates in. Since both gravity as well as Yang-Mills fields are encoded in connections it is plausible to assume that the only background field on that the particle couples to is a connection on a -associated bundle over a -principal bundle.
Here
-
roughly every semisimple Lie algebra summand in is one gauge field – a bosonic field;
-
every irreducible representation that decomposes into is one matter particle species – a fermion field.
This way a single -model may encode a rich multiple particle content and we shall speak of a single superparticle with different excitations or modes .
An early proposal for a single unified connection that would subsume both gravity as well as Yang-Mills forces in a phenomenologically realistic way is the Kaluza-Klein mechanism. This assumes a single Levi-Civita connection but on a pseudo-Riemannian manifold which is locally of the product form with a 4-dimensional pseudo-Riemannian manifold and a -dimensional Riemannian manifold of very small Riemannian volume. As described in more detail at Kaluza-Klein mechanism, this makes the isometry groups of appear as extra gauge group factors as seen on . As also described in more detail there, while this Ansatz does reproduce the correct general form of gravity coupled to Yang-Mills forces, in its original form it does also have some phenomenologically unviable aspects.
It was observed by Alain Connes and collaborators that the Kaluza-Klein mechanism works better when used not internal to the category Diff of smooth manifolds but in context for more general geometry: noncommutative geometry. This is the content of the Connes-Lott-Chamseddine model.
This more general geometry turns out to model exactly the most general -model backgrounds for a 1-dimensional FQFT: because such is algebraically specified by
-
An associative algebra whose multiplication operation is the operator product assigned to the trivalent interaction vertex
-
A Dirac operator whose Dyson formula exponential is assigned to a piece of 1-dimensional cobordism of superlength .
This data is that of spectral triple, which is well known to enocode Riemannian noncommutative geometry (rather: spectral geometry ). It is therefore natural to search for a Kaluza-Klein ansatz in spectral geometry that would produce the standard model context.
A very detailed such construction was given by Alain Connes (see the references below).
It turns out that the realistic model has -theory dimension .
By the result at (1,1)-dimensional Euclidean field theories and K-theory this -theory dimension is precisely the intrinsic dimension of target space as seen by the superparticle. Moreover, is precisely the dimension for which the 2-dimensional super-CFT sigma-model is critical and hence allows to lift the 1-dimensional superparticle described here to string theory.
This means that Connes’ spectral triple whose particle spectrum reproduces the standard model of particle physics has a chance of being the point particle limit or decategorification of the kind of 2-spectral triple – a 2-dimensional superconformal field theory – of the kind that is considered in string theory. If so the lift of Connes’ model to the corresponding element in the moduli space of 2-spectral triples called the landscape of string theory vacua might provide, via the second quantization of the latter, a (perturbative) quantization of the spectral action of the former.
References
We list various references related to higher category theory and fundamental physics.
A discussion of an axiomatization of basic concepts of gauge quantum field theory in cohesive homotopy type theory is in
For general (formal) accounts of physics see also the references at books and reviews in mathematical physics, such as
Introductions to category theory in physics
The translation between the axioms of functorial quantum field theory and path integral imagery is explained in
- Edward Witten, Section 1 of: Geometric Langlands From Six Dimensions (arXiv:0905.2720)
In
-
Bob Coecke, Introducing categories to the practicing physicist (arXiv:0808.1032)
-
Bob Coecke, Categories for the practising physicist (arXiv:0905.3010)
the authors try to motivate and introduce some basic concepts of category theory for an audience familiar with standard physics and in particular with quantum mechanics. The article focuses towards the end on monoidal categories, their description in terms of string diagrams and quantum mechanics in terms of dagger-compact categories.
More details on the use of string diagrams in dagger-categories for the description of quantum mechanics is is
-
Bob Coecke, Kindergarten quantum mechanics (arXiv:quant-ph/0510032)
-
Bob Coecke, Quantum Picturalism (arXiv:0908.1787)
A similar introduction to the relation between quantum mechanics and monoidal categories, but more from the perspective of FQFT is in
- John Baez, Quantum quandaries (arXiv:quant-ph/0404040)
Introductions to higher category theory and physics
A historical introduction to some aspects of n-categories (for low ) in physics can be found here:
- John Baez and Aaron Lauda, A prehistory of -categorical physics (pdf), to appear in Deep Beauty: Mathematical Innovation and the Search for an Underlying Intelligibility of the Quantum World, ed. Hans Halvorson.
A historical introduction to applications in physics of more homotopy theoretic higher category theory (revolving around BV-BRST formalism) is in:
The following book-to-be aims to give picture of the present state of the art of describing the category-theoretic structure of the universe, as far as fundamental physics is concerned
- Hisham Sati, Urs Schreiber (eds.) Mathematical Foundations of Quantum Field and Perturbative String Theory
Amplifying the ambition towards Hilbert's sixth problem:
- Yuri Ximenes Martins, Rodney Josué Biezuner, Towards An Approach to Hilbert’s Sixth Problem: A Brief Review, 2020 (hal:02909681, pdf)
Monographs on cohomology and higher gauge theory
An unusually comprehensive collection of detailed discussion of bundles, higher bundles, cohomology, characteristic classes, etc. with an eye on applications in physics is
- Dale Husemöller, Michael Joachim, Branislav Jurco, Martin Schottenloher, Basic bundle theory and K-cohomology invariants , Springer Lecture Notes in Physics 726, 2008 (pdf)
On formal quantum field theory
There are two axiomatizations of QFT: FQFT and AQFT.
FQFT
Kontsevich’s 1994 ICM article, is one of the seminal papers of the 1990s. This paper invented the categorical side of mirror symmetry (homological mirror symmetry), discovered D-branes (before physicists realized their role — and directly inspiring many physicists) and the fact that they naturally form dg-categories and -category, and thus led to a deluge of papers involving category theory and higher category theory in close relation with mathematical physics.
In particular the Moore–Segal paper should be seen in the light of this development. On a similar note, roughly contemporary with Moore–Segal (which is arXiv:math/0609042 though developed earlier) are the works of Kevin Costello on TCFT (arXiv:math/0412149) and Kontsevich–Soibelman (arXiv:math/0606241 — some of the results were lectured on in various places by Kontsevich in 2003 and in particular helped inspire Costello) proving a much stronger result, which is the TCFT (or equivalently differential graded or -) version of the classification of open-closed 2d TQFTs. These papers were directly motivated by homological mirror symmetry and topological string theory, and have greatly influenced work in areas such as string topology which you mention and the cobordism hypothesis (Hopkins-Lurie started from Costello’s paper and abstracted the argument, before the general argument in n-dimensions came around).
(in parts taken from here)
For the moment see the references at FQFT for more.
On functorial spectral geometry
Literature on the relation between spectral triples and 1-dimensional super-QFT is to appear shortly. Spectral background for the standard model have been considered here:
The first proposal for such compactifications, which already came very close to the standard model, is decades old by now.
- Alain Connes, John Lott, Particle Models And Noncommutative Geometry Nucl.Phys.Proc.Suppl.18B:29-47,1991 (spires)
This is reviewed in
- Daniel Kastler, Thomas Schucker, The Standard Model a la Connes-Lott arXiv:hep-th/9412185 .
As far as I can tell, at that time the Yang-Mills terms were stilll included by hand. The main point of the spectral approach was to realize that it could nicely explain the Higgs boson and its Yukawa coupling terms to the fermions. It did (and does) so by realizing the Higgs boson as an internal part of an ordinary minimally coupled connection 1-form - an internal gauge boson.
A few years later Connes apparently realized that also the gravitational and gauge kinetic Yang-Mills terms had an inherent operator-theoretic formulation, namely the spectral action principle.
This is indicated in
- Alain Connes, Gravity coupled with matter and foundation of non-commutative geometry arXiv:hep-th/9603053
and fully formulated in
- Ali Chamseddine, Alain Connes, The Spectral Action Principle arXiv:hep-th/9606001,
both of which start by presenting the general spectral idea and then working out how to realize the standard model in detail.
A useful discussion of the details of the realization of the standard model in this approach is
- C. P. Martin, Jose M. Gracia-Bondia, Joseph C. Varilly, The Standard Model as a noncommutative geometry: the low energy regime (arXiv:hep-th/9605001) .
This is in particular designed to take the ordinary physicst by the hand and introduce him or her gently to the operator-theoretic spectral description by motivating these by the structure of the standard model.
So already over ten years ago people had a pretty good idea that and how the standard model action has an elegant descritption as a spectral action.
The only problem was: this description was wrong. But only in the sense in which ideas in physics tend to be wrong - not entirely wrong but not quite right.
Namely, instead of containing the fermionic particle content of the standard model, these spectral models produced four copies of every fermion in the standard model. A slight overkill.
By a remarkable synchronicity, it seems that there was no progress on this aspect for about ten years, and now two preprints appear almost simultaneously, presenting the solution:
-
John Barrett, A Lorentzian version of the non-commutative geometry of the standard model of particle physics arXiv:hep-th/0608221.
-
Alain Connes, Noncommutative Geometry and the standard model with neutrino mixing arXiv:hep-th/0608226
And the modification needed to get this solution is rather tiny, just a small change in the real structure of the spectral triple from ten years ago.
A survey is also at
- Urs Schreiber, Connes on spectral geometry of the standard model IV (blog entry)
AQFT
For the moment see the references at AQFT for more.
On the quantization procedure
First sketches of the idea that path integral quantization may have a formalization in terms of higher category theory appeared in
and its companion
- Dan Freed, Quantum groups and path integrals (arXiv:q-alg/9501025)
More formal aspects along these lines appear in
- Simon WillertonThe twisted Drinfeld double of a finite group via gerbes and finite groupoids (arXiv:math/0503266)
An indication of a full formalization of what that may mean for discrete QFTs such as Dijkgraaf-Witten theory is in
- Dan Freed, Mike Hopkins, Jacob Lurie, Constantin Teleman Topological Quantum Field Theories from Compact Lie Groups
based on work in
On gauge fields and differential cohomology
The observation that generally differential cohomology is the correct formalism for describing gauge fields in physics originates around
- Dan Freed, Mike Hopkins, On Ramond-Ramond fields and K-theory
Journal of High Energy Physics 0005 (2000) 044 (pdf)
Motivated by this, the theory of differential cohomology itself was developed in
and shown to encode subtle quantum anomaly-cancellation phenomena in gauge theory. A systematic formal description of the nature of these quantum anomalies and further discussion of applications on differential cohomology in physics is in
This article starts with an introduction on basic electromagnetism and points out that already there, in the presence of magnetic charge, a careful analysis of quantum anomalies shows that there are higher gauge theoretic effects even in this familiar theory.
On topos-theoretic formulations of physics
Gros toposes
The observation that any formalization of physics ought to take place in a suitable topos has been promoted early on by Bill Lawvere. Lawvere started out as a student in continuum mechanics and his search for a formalization of physics made him end up being one of the most general abstract thinkers in category theory.
Lawvere thought about classical physics governed, as it is since Newton, by the theory of differential equations. He proposed that differential geometry is something that takes place inside a smooth topos – a topos with a suitable notion of infinitesimal objects – an approach now known as synthetic differential geometry.
In
- Bill Lawvere, Categorical dynamics, lecture (1967)
which is recalled in
- Bill Lawvere, Toposes of laws of motion , transcript of a talk in Montreal, Sept. 1997 (pdf)
he sketched an outline both of synthetic differenial geometry in general and its application to the formulation of the differential equations in classical dynamics.
In this spirit he to search for category theoretic formalizations of fundamental ( metaphysical in the good sense of the word) ontological concepts. A collection of such formalizations is indicated in
- Bill Lawvere, Taking categories seriously, Reprints in Theory and Applications of Categories, No. 8, 2005, pp. 1–24. (pdf)
On page 14 there appears the hint of the general abstract definition of a locally connected topos as a general abstract gros topos context for geometric spaces. This idea was then refined to the concept of a cohesive topos in
- Bill Lawvere, Axiomatic cohesion Theory and Applications of Categories, Vol. 19, No. 3, 2007, pp. 41–49. (pdf)
In this spirit a generalization of formalization of physics in (∞,1)-topos is discussed in
-
Urs Schreiber, twisted smooth cohomology in string theory, Lectures at ESI program on K-theory and quantum fields (2012)
Petit toposes
Independent of these developments is another proposal for a role of topos theory in quantum mechanics initiated by Chris Isham. The motivation here is the observation that the Kochen-Specker theorem – which may be used to formalize the way in which quantum mechanics fails to secretly a theory of classical mechanics – has a natural interpretation in terms of the internal logic of the presheaf topos on the category of commutative sub-algebras of a given bounded operator algebra.
This observation led Isham to propose a fundamental role of these presheaf toposes in quantum mechanics.
- Andread Doering, C.J. Isham, A Topos Foundation for Theories of Physics I-IV (arXiv)
This idea was further refined in
-
Chris Heunen, Nicolaas Landsman, Bas Spitters, A topos for algebraic quantum theory (arXiv:0709.4364)
Abstract
The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr’s idea that the empirical content of quantum physics is accessible only through classical physics, we show how a C-star-algebra of observables induces a topos in which the amalgamation of all of its commutative subalgebras comprises a single commutative -algebra. According to the constructive Gelfand duality theorem of Banaschewski and Mulvey, the latter has an internal spectrum in , which in our approach plays the role of a quantum phase space of the system. Thus we associate a locale (which is the topos-theoretical notion of a space and which intrinsically carries the intuitionistic logical structure of a Heyting algebra) to a -algebra (which is the noncommutative notion of a space). In this setting, states on become probability measures (more precisely, valuations) on , and self-adjoint elements of define continuous functions (more precisely, locale maps) from to Scott’s interval domain. Noting that open subsets of correspond to propositions about the system, the pairing map that assigns a (generalized) truth value to a state and a proposition assumes an extremely simple categorical form. Formulated in this way, the quantum theory defined by is essentially turned into a classical theory, internal to the topos .
A refinement of this from quantum mechanics to AQFT-quantum field theory is in
See Bohr topos for more.
In phenomenology and experimental physics
In the context of phenomenology, higher category theory is currently applied mostly for 2-categories in the context of 2-dimensional TQFT (modelling phenomena in solid state physics) and CFT (modelling critical surface phenomena in statistical physics).
Specifically 2d extended quantum field theory has been applied to the solid state physics modeled by the Levin-Wen model, see
- Alexei Kitaev, Liang Kong, Levin-Wen models and tensor categories ([pdf])
For more discussion of 2d CFT in terms of higher category theory see the references there and at FRS formalism.
In the quantum hall effect? and related effects are described to some extent by Chern-Simons theory, and Chern-Simons theory comes with a rich higher categorical framework. Notably there is now a fully extended TQFT description of Chern-Simons theory down to the point, hence in terms of (infinity,3)-functors, see here.
Closely related to this, several approaches at realizing quantum computing rely on TQFT methods and are treated with methods from higher category theory. For instance the notion of a blob n-category orginates in investigations of quantum computing.
Indeed, if one counts computing as “experimental” or “phenomenology” – at least as related to the tangible world – then category theory is ubiquituous, see at computational trinitarianism for the general idea and further pointers. For instance the relation between type theory and category theory (see there) which underlies the formal understanding of modern computer science, is an equivalence of 2-categories in 2-category theory. More recently, computing in the guise of homotopy type theory is closely related to (infinity,1)-category theory. This carries in it the prospect of serving as the very foundations of mathematics and computer science. And hence, in effect, also of theoretical physics (see Schreiber-Shulman 2012 above).
Last revised on May 19, 2022 at 13:43:08. See the history of this page for a list of all contributions to it.