this entry is going to contain one chapter of geometry of physics
In the previous chapters we have set up prequantum field theory and classical field theory in generality. Here we discuss examples of such field theories in more detail.
We introduce a list of important examples of field theories in fairly tradtional terms.
We study the above physical systems with the tools of of cohesive (∞,1)-topos-theory as developed in the previous semantics-layers.
The prequantum field theory which describes the gauge interaction of a single nonabelian charged particle – a Wilson loop – turns out to be equivalent to what in mathematics is called the orbit method. We discuss here the traditional formulation of these matters. Below in Semantics layer – Nonabelian charged particle and Wilson loops we then show how all this is naturally understood from a certain extended Lagrangian which is induced by a regular coadjoint orbit.
A useful review of the following is also in (Beasley, section 4).
Throughout, let be a semisimple compact Lie group. For some considerations below we furthermore assume it to be simply connected.
Write for its Lie algebra. Its canonical (up to scale) binary invariant polynomial we write
Since this is non-degenerate, we may equivalently think of this as an isomorphism
that identifies the vector space underlying the Lie algebra with its dual vector space .
We discuss the coadjoint orbits of and their relation to the coset space/flag manifolds of .
Write
1 the corresponding Cartan subalgebra
In all of the following we consider an element .
For write
for its coadjoint orbit
Write for the stabilizer subgroup of under the coadjoint action.
There is an equivalence
given by
An element is regular if its coadjoint action stabilizer subgroup coincides with the maximal torus: .
For generic values of it is regular. The element in farthest from regularity is for which instead.
We describe a canonical symplectic form on the coadjoint orbit/coset .
Write for the Maurer-Cartan form on .
Write
for the 1-form obtained by pairing the value of the Maurer-Cartan form at each point with the gixed element .
Write
for its de Rham differential.
satisfies
it descends to a closed -invariant 2-form on the coset space, to be denoted by the same symbol
this is non-degenerate and hence defines a symplectic form on .
We discuss the geometric prequantization of the symplectic manifold given by the coadjoint orbit equipped with its symplectic form of def. .
Assume now that is simply connected.
The weight lattice of the Lie group is isomorphic to the group of group characters
where the identification takes to given on for by
The symplectic form of prop. is integral precisely if is in the weight lattice.
The group canonically acts on the coset space (by multiplication from the left). We discuss a lift of this action to a Hamiltonian action with respect to the symplectic manifold structure of prop. , equivalently a momentum map exhibiting this Hamiltonian action.
Above (…) we discussed how an irreducible unitary representation of is encoded by the prequantization of a coadjoint orbit . Here we discuss how to express Wilson loops/holonomy of -principal connections in this representation as the path integral of a topological particle charged under this background field, whose action functional is that of a 1-dimensional Chern-Simons theory.
Let be a Lie algebra valued 1-form on the circle, equivalently a -principal connection on the circle.
For
a representation of , write
for the holonomy of around the circle in this representation, which is the trace of its parallel transport around the circle (for any basepoint). If one thinks of as a background gauge field then this is alse called a Wilson loop.
Let the action functional
be given by sending represented by to
where
is the gauge transformation of under .
The Wilson loop of over in the unitarry irreducible representation is proportional to the path integral of the 1-dimensional sigma-model with
target space the coadjoint orbit for the weight corresponding to under the Borel-Weil-Bott theorem
action functional the functional of def. :
See for instance (Beasley, (4.55)).
Notice that since is a manifold of finite dimension, the path integral for a point particle with this target space can be and has been defined rigorously, see at path integral.
exposition and survey is in (FSS 13).
For some let
be the Lie group homomorphism from the unitary group to the circle group which is given by sending a unitary matrix to its determinant.
Being a Lie group homomorphism, this induces a map of deloopings/moduli stacks
Under geometric realization of cohesive infinity-groupoids this is the universal first Chern class
Moreiver this has the evident differential refinement
given on Lie algebra valued 1-forms by taking the trace
So we get a 1d Chern-Simons theory with as its extended Lagrangian.
We consider now extended Lagrangians defined on fields as above in Nonabelian charged particle trajectories – Wilson loops. This provides a natural reformulation in higher geometry of the constructions in the orbit method as reviewed above in Model layer – Nonabelian charged particle.
We discuss how for a regular element, there is a canonical diagram of smooth moduli stacks of the form
where
is the canonical 2-monomorphism;
the left square is a homotopy pullback square, hence is the homotopy fiber of ;
the bottom map is the extended Lagrangian for -Chern-Simons theory, equivalently the universal Chern-Simons circle 3-bundle with connection;
the top map denoted is an extended Lagrangian for a 1-dimensional Chern-Simons theory;
the total top composite modulates a prequantum circle bundle which is a prequantization of the canonical symplectic manifold structure on the coadjoint orbit .
Write Smooth∞Grpd for the cohesive (∞,1)-topos of smooth -groupoids.
For the following, let be a regular element, def. , so that the stabilizer subgroup is identified with a maximal torus: .
As usual, write
for the moduli stack of -principal connections.
Write
for the canonical map, as indicated.
The map is the differential refinement of the delooping of the defining inclusion. By the general discussion at coset space we have a homotopy fiber sequence
By the discussion at ∞-action this exhibits the canonical action of on its coset space: it is the universal rho-associated bundle.
The following proposition says what happens to this statement under differential refinement
The homotopy fiber of in def. is
given over a test manifold CartSp by the map
which sends , where is the Maurer-Cartan form on .
We compute the homotopy pullback of along the point inclusion by the factorization lemma as discussed at homotopy pullback – Constructions.
This says that with presented canonically as a map of presheaves of groupoids via the above definitions, its homotopy fiber is presented by the presheaf of groupids which is the limit cone in
Unwinding the definitions shows that has
objects over a CartSp are equivalently morphisms in , hence equivalently elements ;
morphisms are over commuting triangles
in with , hence equivalently morphisms
in .
The canonical map picks the top horizontal part of these commuting triangles hence equivalently sends to .
If is in the weight lattice, then there is a morphism of moduli stacks
in given over a test manifold CartSp by the functor
which is given on objects by
and which maps morphisms labeled by , as
That this construction defines a map is the statement of prop. . It remains to check that the differential 1-forms gauge-transform accordingly.
For this the key point is that since stabilizes under the coadjoint action, the gauge transformation law for points , which for is
maps for to the gauge transformation law in :
The composite of the canonical maps of prop. and prop. modulates a canonical circle bundle with connection on the coset space/coadjoint orbit:
The curvature 2-form of the circle bundle from remark is the symplectic form of prop. . Therefore is a prequantization of the coadjoint orbit .
The curvature 2-form is modulated by the composite
Unwinding the above definitions and propositions, one finds that this is given over a test manifold CartSp by the map
which sends
Let be an oriented closed smooth manifold of dimension 3 and let
be a submanifold inclusion of the circle: a knot in .
Let be an irreducible unitary representation of and let be a weight corresponding to it by the Borel-Weil-Bott theorem.
Regarding the inclusion as an object in the arrow (∞,1)-topos , say that a gauge field configuration for -Chern-Simons theory on with Wilson loop and labeled by the representation is a map
in the arrow (∞,1)-topos of the ambient cohesive (∞,1)-topos. Such a map is equivalently by a square
in . In components this is
a -principal connection on ;
a -valued function on
which fixes the field on the circle defect to be , as indicated.
Moreover, a gauge transformation between two such fields is a -gauge transformation of and a -gauge transformation of such that these intertwine the component maps and . If we keep the bulk gauge field fixed, then his means that two fields and as above are gauge equivalent precisely if there is a function such that , hence gauge equivalence classes of fields for fixed bulk gauge field are parameterized by their components with values in the coset space, hence in the coadjoint orbit.
For every such field configuration we can evaluate two action functionals:
that of 3d Chern-Simons theory, whose extended Lagrangian is ;
that of the 1-dimensional Chern-Simons theory discussed above whose extended Lagrangian is , by prop. .
These are obtained by postcomposing the above square on the right by these extended Lagrangians
and then preforming the fiber integration in ordinary differential cohomology over and over , respectively.
For the bottom map this gives the ordinary action functional of Chern-Simons theory. For the top map inspection of the proof of prop. shows that this gives the 1d Chern-Simons action whose partition function is the Wilson loop observable by prop. above.
In the context of string theory, the background gauge field for the open string sigma-model over a D-brane in bosonic string theory or type II string theory is a unitary principal bundle with connection, or rather, by the Kapustin-part of the Freed-Witten-Kapustin anomaly cancellation mechanism, a twisted unitary bundle, whose twist is the restriction of the ambient B-field to the D-brane.
We considered these fields already above. Here we discuss the corresponding action functional for the open string coupled to these fields
The first hint for the existence of such background gauge fields for the open string 2d-sigma-model comes from the fact that the open string’s endpoint can naturally be taken to carry labels . Further analysis then shows that the lowest excitations of these -strings behave as the quanta of a -gauge field, the -excitation being the given matrix element of a -valued connection 1-form .
This original argument goes back work by Chan and Paton. Accordingly one speaks of Chan-Paton factors and Chan-Paton bundles .
We discuss the Chan-Paton gauge field and its quantum anomaly cancellation in extended prequantum field theory.
Throughout we write Smooth∞Grpd for the cohesive (∞,1)-topos of smooth ∞-groupoids.
For a type II supergravity spacetime, the B-field is a map
If is a Lie group, this is the prequantum 2-bundle of -Chern-Simons theory. Viewed as such we are to find a canonical ∞-action of the circle 2-group on some , form the corresponding associated ∞-bundle and regard the sections of that as the prequantum 2-states? of the theory.
The Chan-Paton gauge field is such a prequantum 2-state.
We discuss the Chan-Paton gauge fields over D-branes in bosonic string theory and over -D-branes in type II string theory.
We fix throughout a natural number , the rank of the Chan-Paton gauge field.
The extension of Lie groups
exhibiting the unitary group as a circle group-extension of the projective unitary group sits in a long homotopy fiber sequence of smooth ∞-groupoids of the form
where for a Lie group is its delooping Lie groupoid, hence the moduli stack of -principal bundles, and where similarly is the moduli 2-stack of circle 2-group principal 2-bundles (bundle gerbes).
Here
is a smooth refinement of the universal Dixmier-Douady class
in that under geometric realization of cohesive ∞-groupoids Smooth∞Grpd ∞Grpd we have
By the discussion at ∞-action the homotopy fiber sequence in prop.
in exhibits a smooth∞-action of the circle 2-group on the moduli stack and it exhibits an equivalence
of the moduli stack of projective unitary bundles with the ∞-quotient of this ∞-action.
For a smooth manifold and modulating a circle 2-group-principal 2-bundle, maps
in the slice (∞,1)-topos , hence diagrams of the form
in are equivalently rank- unitary twisted bundles on , with the twist being the class .
There is a further differential refinement
where is the universal moduli 2-stack of circle 2-bundles with connection (bundle gerbes with connection).
Write
for the differential smooth universal Dixmier-Douady class of prop. , regarded as an object in the slice (∞,1)-topos over .
Let
be an inclusion of smooth manifolds or of orbifolds, to be thought of as a D-brane worldvolume inside an ambient spacetime .
Then a field configuration of a B-field on together with a compatible rank- Chan-Paton gauge field on the D-brane is a map
in the arrow (∞,1)-topos , hence a diagram in of the form
This identifies a twisted bundle with connection on the D-brane whose twist is the class in of the bulk B-field.
This relation is the Kapustin-part of the Freed-Witten-Kapustin anomaly cancellation for the bosonic string or else for the type II string on D-branes. (FSS)
If we regard the B-field as a background field for the Chan-Paton gauge field, then remark determines along which maps of the B-field the Chan-Paton gauge field may be transformed.
On the local connection forms this acts as
This is the famous gauge transformation law known from the string theory literature.
The D-brane inclusion is the target space for an open string with worldsheet : a field configuration of the open string sigma-model is a map
in , hence a diagram of the form
For and ordinary manifolds just says that a field configuration is a map subject to the constraint that it takes the boundary of to . This means that this is a trajectory of an open string in whose endpoints are constrained to sit on the D-brane .
If however is more generally an orbifold, then the homotopy filling the above diagram imposes this constraint only up to orbifold transformations, hence exhibits what in the physics literature are called “orbifold twisted sectors” of open string configurations.
The moduli stack of such field configurations is the homotopy pullback
For a smooth manifold with boundary of dimension and for a circle n-bundle with connection on some , then the transgression of to the mapping space yields a section of the complex line bundle associated to the pullback of the ordinary transgression over the mapping space out of the boundary: we have a diagram
This is the higher parallel transport of the -connection over maps .
The operation of forming the holonomy of a twisted unitary connection around a curve fits into a diagram in of the form
By the discussion at ∞-action the diagram in prop. says in particular that forming traced holonomy of twisted unitary bundles constitutes a section of the complex line bundle on the moduli stack of twisted unitary connection on the circle which is the associated bundle to the transgression of the universal differential Dixmier-Douady class.
It follows that on the moduli space of the open string sigma-model of prop. above there are two -valued action functionals coming from the bulk field and the boundary field
Neither is a well-defined -valued function by itself. But by pasting the above diagrams, we see that both these constitute sections of the same complex line bundle on the moduli stack of fields:
Therefore the product action functional is a well-defined function
This is the Kapustin anomaly-free action functional of the open string.
We discuss how an extended Lagrangian for -Chern-Simons theory with Wilson loop defects is naturally obtained from the above higher geometric formulation of the orbit method. In particular we discuss how the relation between Wilson loops and 1-dimensional Chern-Simons theory sigma-models with target space the coadjoint orbit, as discussed above is naturally obtained this way.
More formally, we have an extended Chern-Simons theory as follows.
The moduli stack of fields in as above is the homotopy pullback
in , where square brackets indicate the internal hom in .
Postcomposing the two projections with the two transgressions of the extended Lagrangians
and
to yield
and then forming the product yields the action functional
This is the action functional of 3d -Chern-Simons theory on with Wilson loop in the representation determined by .
Similarly, in codimension 1 let now be a 2-dimensional closed manifold, thought of as a slice of above, and let be the inclusion of points, thought of as the punctures of the Wilson line above through this slice. Then we have prequantum bundles given by transgression of the extended Lagrangians to codimension 1
and
and hence a total prequantum bundle
One checks that this is indeed the correct prequantization as considered in (Witten 98, p. 22).
(…)
Last revised on December 26, 2022 at 20:10:16. See the history of this page for a list of all contributions to it.