-
L-infinity algebras of local observables from higher prequantum bundles
Authors:
Domenico Fiorenza,
Christopher L. Rogers,
Urs Schreiber
Abstract:
To any manifold equipped with a higher degree closed form, one can associate an L-infinity algebra of local observables that generalizes the Poisson algebra of a symplectic manifold. Here, by means of an explicit homotopy equivalence, we interpret this L-infinity algebra in terms of infinitesimal autoequivalences of higher prequantum bundles. By truncating the connection data on the prequantum bun…
▽ More
To any manifold equipped with a higher degree closed form, one can associate an L-infinity algebra of local observables that generalizes the Poisson algebra of a symplectic manifold. Here, by means of an explicit homotopy equivalence, we interpret this L-infinity algebra in terms of infinitesimal autoequivalences of higher prequantum bundles. By truncating the connection data on the prequantum bundle, we produce analogues of the (higher) Lie algebras of sections of the Atiyah Lie algebroid and of the Courant Lie 2-algebroid. We also exhibit the L-infinity cocycle that realizes the L-infinity algebra of local observables as a Kirillov-Kostant-Souriau-type L-infinity extension of the Hamiltonian vector fields. When restricted along a Lie algebra action, this yields Heisenberg-like L-infinity algebras such as the string Lie 2-algebra of a semisimple Lie algebra.
△ Less
Submitted 14 July, 2014; v1 submitted 23 April, 2013;
originally announced April 2013.
-
Homotopy moment maps
Authors:
Martin Callies,
Yael Fregier,
Christopher L. Rogers,
Marco Zambon
Abstract:
Associated to any manifold equipped with a closed form of degree >1 is an `L-infinity algebra of observables' which acts as a higher/homotopy analog of the Poisson algebra of functions on a symplectic manifold. In order to study Lie group actions on these manifolds, we introduce a theory of homotopy moment maps. Such a map is a L-infinity morphism from the Lie algebra of the group into the observa…
▽ More
Associated to any manifold equipped with a closed form of degree >1 is an `L-infinity algebra of observables' which acts as a higher/homotopy analog of the Poisson algebra of functions on a symplectic manifold. In order to study Lie group actions on these manifolds, we introduce a theory of homotopy moment maps. Such a map is a L-infinity morphism from the Lie algebra of the group into the observables which lifts the infinitesimal action. We establish the relationship between homotopy moment maps and equivariant de Rham cohomology, and analyze the obstruction theory for the existence of such maps. This allows us to easily and explicitly construct a large number of examples. These include results concerning group actions on loop spaces and moduli spaces of flat connections. Relationships are also established with previous work by others in classical field theory, algebroid theory, and dg geometry. Furthermore, we use our theory to geometrically construct various L-infinity algebras as higher central extensions of Lie algebras, in analogy with Kostant's quantization theory. In particular, the so-called `string Lie 2-algebra' arises this way.
△ Less
Submitted 13 August, 2016; v1 submitted 7 April, 2013;
originally announced April 2013.
-
Higher U(1)-gerbe connections in geometric prequantization
Authors:
Domenico Fiorenza,
Christopher L. Rogers,
Urs Schreiber
Abstract:
We promote geometric prequantization to higher geometry (higher stacks), where a prequantization is given by a higher principal connection (a higher gerbe with connection). We show fairly generally how there is canonically a tower of higher gauge groupoids and Courant groupoids assigned to a higher prequantization, and establish the corresponding Atiyah sequence as an integrated Kostant-Souriau in…
▽ More
We promote geometric prequantization to higher geometry (higher stacks), where a prequantization is given by a higher principal connection (a higher gerbe with connection). We show fairly generally how there is canonically a tower of higher gauge groupoids and Courant groupoids assigned to a higher prequantization, and establish the corresponding Atiyah sequence as an integrated Kostant-Souriau infinity-group extension of higher Hamiltonian symplectomorphisms by higher quantomorphisms. We also exhibit the infinity-group cocycle which classifies this extension and discuss how its restrictions along Hamiltonian infinity-actions yield higher Heisenberg cocycles. In the special case of higher differential geometry over smooth manifolds we find the L-infinity-algebra extension of Hamiltonian vector fields -- which is the higher Poisson bracket of local observables -- and show that it is equivalent to the construction proposed by the second author in n-plectic geometry. Finally we indicate a list of examples of applications of higher prequantization in the extended geometric quantization of local quantum field theories and specifically in string geometry.
△ Less
Submitted 19 January, 2016; v1 submitted 31 March, 2013;
originally announced April 2013.
-
A higher Chern-Weil derivation of AKSZ sigma-models
Authors:
Domenico Fiorenza,
Christopher L. Rogers,
Urs Schreiber
Abstract:
Chern-Weil theory provides for each invariant polynomial on a Lie algebra g a map from g-connections to differential cocycles whose volume holonomy is the corresponding Chern-Simons theory action functional. Kotov and Strobl have observed that this naturally generalizes from Lie algebras to dg-manifolds and dg-bundles and that the Chern-Simons action functional associated this way to an $n$-symple…
▽ More
Chern-Weil theory provides for each invariant polynomial on a Lie algebra g a map from g-connections to differential cocycles whose volume holonomy is the corresponding Chern-Simons theory action functional. Kotov and Strobl have observed that this naturally generalizes from Lie algebras to dg-manifolds and dg-bundles and that the Chern-Simons action functional associated this way to an $n$-symplectic manifold is the action functional of the AKSZ $σ$-model whose target space is the given $n$-symplectic manifold (examples of this are the Poisson sigma-model or the Courant sigma-model, including ordinary Chern-Simons theory, or higher dimensional abelian Chern-Simons theory). Here we show how, within the framework of the higher Chern-Weil theory in smooth infinity-groupoids, this result can be naturally recovered and enhanced to a morphism of higher stacks, the same way as ordinary Chern-Simons theory is enhanced to a morphism from the stack of principal G-bundles with connections to the 3-stack of line 3-bundles with connections.
△ Less
Submitted 9 June, 2012; v1 submitted 22 August, 2011;
originally announced August 2011.
-
Higher Symplectic Geometry
Authors:
Christopher L. Rogers
Abstract:
We consider generalizations of symplectic manifolds called n-plectic manifolds. A manifold is n-plectic if it is equipped with a closed, nondegenerate form of degree n+1. We show that higher structures arise on these manifolds which can be understood as the categorified or homotopy analogues of important structures studied in symplectic geometry and geometric quantization. Just as a symplectic man…
▽ More
We consider generalizations of symplectic manifolds called n-plectic manifolds. A manifold is n-plectic if it is equipped with a closed, nondegenerate form of degree n+1. We show that higher structures arise on these manifolds which can be understood as the categorified or homotopy analogues of important structures studied in symplectic geometry and geometric quantization. Just as a symplectic manifold gives a Poisson algebra of functions, we show that any n-plectic manifold gives a Lie n-algebra containing certain differential forms which we call Hamiltonian. Lie n-algebras are examples of strongly homotopy Lie algebras. They consist of an n-term chain complex equipped with a collection of skew-symmetric multi-brackets that satisfy a generalized Jacobi identity. We then develop the machinery necessary to geometrically quantize n-plectic manifolds. In particular, just as a prequantized symplectic manifold is equipped with a principal U(1)-bundle with connection, a prequantized 2-plectic manifold is equipped with a U(1)-gerbe with 2-connection. A gerbe is a categorified sheaf, or stack, which generalizes the notion of a principal bundle. Furthermore, over any 2-plectic manifold there is a vector bundle equipped with extra structure called a Courant algebroid. This bundle is the 2-plectic analogue of the Atiyah algebroid over a prequantized symplectic manifold. Its space of global sections also forms a Lie 2-algebra, which we use to prequantize the Lie 2-algebra of Hamiltonian forms. Finally, we introduce the 2-plectic analogue of the Bohr-Sommerfeld variety associated to a real polarization, and use this to geometrically quantize 2-plectic manifolds. The output of this procedure is a category of quantum states. We consider a particular example in which the objects of this category can be identified with representations of the Lie group SU(2).
△ Less
Submitted 20 June, 2011;
originally announced June 2011.
-
2-plectic geometry, Courant algebroids, and categorified prequantization
Authors:
Christopher L. Rogers
Abstract:
A 2-plectic manifold is a manifold equipped with a closed nondegenerate 3-form, just as a symplectic manifold is equipped with a closed nondegenerate 2-form. In 2-plectic geometry we meet higher analogues of many structures familiar from symplectic geometry. For example, any 2-plectic manifold has a Lie 2-algebra consisting of smooth functions and Hamiltonian 1-forms. This is equipped with a Poiss…
▽ More
A 2-plectic manifold is a manifold equipped with a closed nondegenerate 3-form, just as a symplectic manifold is equipped with a closed nondegenerate 2-form. In 2-plectic geometry we meet higher analogues of many structures familiar from symplectic geometry. For example, any 2-plectic manifold has a Lie 2-algebra consisting of smooth functions and Hamiltonian 1-forms. This is equipped with a Poisson-like bracket which only satisfies the Jacobi identity up to `coherent chain homotopy'. Over any 2-plectic manifold is a vector bundle equipped with extra structure called an exact Courant algebroid. This Courant algebroid is the 2-plectic analogue of a transitive Lie algebroid over a symplectic manifold. Its space of global sections also forms a Lie 2-algebra. We show that this Lie 2-algebra contains an important sub-Lie 2-algebra which is isomorphic to the Lie 2-algebra of Hamiltonian 1-forms. Furthermore, we prove that it is quasi-isomorphic to a central extension of the (trivial) Lie 2-algebra of Hamiltonian vector fields, and therefore is the higher analogue of the well-known Kostant-Souriau central extension in symplectic geometry. We interpret all of these results within the context of a categorified prequantization procedure for 2-plectic manifolds. In doing so, we describe how U(1)-gerbes, equipped with a connection and curving, and Courant algebroids are the 2-plectic analogues of principal U(1) bundles equipped with a connection and their associated Atiyah Lie algebroids.
△ Less
Submitted 2 July, 2012; v1 submitted 15 September, 2010;
originally announced September 2010.
-
L-infinity algebras from multisymplectic geometry
Authors:
Christopher L. Rogers
Abstract:
A manifold is multisymplectic, or more specifically n-plectic, if it is equipped with a closed nondegenerate differential form of degree n+1. In our previous work with Baez and Hoffnung, we described how the `higher analogs' of the algebraic and geometric structures found in symplectic geometry should naturally arise in 2-plectic geometry. In particular, we showed that just as a symplectic manifol…
▽ More
A manifold is multisymplectic, or more specifically n-plectic, if it is equipped with a closed nondegenerate differential form of degree n+1. In our previous work with Baez and Hoffnung, we described how the `higher analogs' of the algebraic and geometric structures found in symplectic geometry should naturally arise in 2-plectic geometry. In particular, we showed that just as a symplectic manifold gives a Poisson algebra of functions, any 2-plectic manifold gives a Lie 2-algebra of 1-forms and functions. Lie n-algebras are examples of L-infinity algebras: graded vector spaces which are equipped with a collection of skew-symmetric multi-brackets that satisfy a generalized Jacobi identity. Here, we generalize our previous result. Given an n-plectic manifold, we explicitly construct a corresponding Lie n-algebra on a complex consisting of differential forms whose multi-brackets are specified by the n-plectic structure. We also show that any n-plectic manifold gives rise to another kind of algebraic structure known as a differential graded Leibniz algebra. We conclude by describing the similarities between these two structures within the context of an open problem in the theory of strongly homotopy algebras.
△ Less
Submitted 4 July, 2011; v1 submitted 12 May, 2010;
originally announced May 2010.
-
Courant algebroids from categorified symplectic geometry
Authors:
Christopher L. Rogers
Abstract:
In categorified symplectic geometry, one studies the categorified algebraic and geometric structures that naturally arise on manifolds equipped with a closed nondegenerate (n+1)-form. The case relevant to classical string theory is when n=2 and is called "2-plectic geometry". Just as the Poisson bracket makes the smooth functions on a symplectic manifold into a Lie algebra, there is a Lie 2-algebr…
▽ More
In categorified symplectic geometry, one studies the categorified algebraic and geometric structures that naturally arise on manifolds equipped with a closed nondegenerate (n+1)-form. The case relevant to classical string theory is when n=2 and is called "2-plectic geometry". Just as the Poisson bracket makes the smooth functions on a symplectic manifold into a Lie algebra, there is a Lie 2-algebra of observables associated to any 2-plectic manifold. String theory, closed 3-forms and Lie 2-algebras also play important roles in the theory of Courant algebroids. Courant algebroids are vector bundles which generalize the structures found in tangent bundles and quadratic Lie algebras. It is known that a particular kind of Courant algebroid (called an exact Courant algebroid) naturally arises in string theory, and that such an algebroid is classified up to isomorphism by a closed 3-form on the base space, which then induces a Lie 2-algebra structure on the space of global sections. In this paper we begin to establish precise connections between 2-plectic manifolds and Courant algebroids. We prove that any manifold M equipped with a 2-plectic form omega gives an exact Courant algebroid E_omega over M with Severa class [omega], and we construct an embedding of the Lie 2-algebra of observables into the Lie 2-algebra of sections of E_omega. We then show that this embedding identifies the observables as particular infinitesimal symmetries of E_omega which preserve the 2-plectic structure on M.
△ Less
Submitted 16 September, 2010; v1 submitted 30 December, 2009;
originally announced January 2010.
-
Categorified Symplectic Geometry and the String Lie 2-Algebra
Authors:
John C. Baez,
Christopher L. Rogers
Abstract:
Multisymplectic geometry is a generalization of symplectic geometry suitable for n-dimensional field theories, in which the nondegenerate 2-form of symplectic geometry is replaced by a nondegenerate (n+1)-form. The case n = 2 is relevant to string theory: we call this 2-plectic geometry. Just as the Poisson bracket makes the smooth functions on a symplectic manifold into a Lie algebra, the obser…
▽ More
Multisymplectic geometry is a generalization of symplectic geometry suitable for n-dimensional field theories, in which the nondegenerate 2-form of symplectic geometry is replaced by a nondegenerate (n+1)-form. The case n = 2 is relevant to string theory: we call this 2-plectic geometry. Just as the Poisson bracket makes the smooth functions on a symplectic manifold into a Lie algebra, the observables associated to a 2-plectic manifold form a "Lie 2-algebra", which is a categorified version of a Lie algebra. Any compact simple Lie group G has a canonical 2-plectic structure, so it is natural to wonder what Lie 2-algebra this example yields. This Lie 2-algebra is infinite-dimensional, but we show here that the sub-Lie-2-algebra of left-invariant observables is finite-dimensional, and isomorphic to the already known "string Lie 2-algebra" associated to G. So, categorified symplectic geometry gives a geometric construction of the string Lie 2-algebra.
△ Less
Submitted 29 January, 2009;
originally announced January 2009.
-
Categorified Symplectic Geometry and the Classical String
Authors:
John C. Baez,
Alexander E. Hoffnung,
Christopher L. Rogers
Abstract:
A Lie 2-algebra is a "categorified" version of a Lie algebra: that is, a category equipped with structures analogous those of a Lie algebra, for which the usual laws hold up to isomorphism. In the classical mechanics of point particles, the phase space is often a symplectic manifold, and the Poisson bracket of functions on this space gives a Lie algebra of observables. Multisymplectic geometry d…
▽ More
A Lie 2-algebra is a "categorified" version of a Lie algebra: that is, a category equipped with structures analogous those of a Lie algebra, for which the usual laws hold up to isomorphism. In the classical mechanics of point particles, the phase space is often a symplectic manifold, and the Poisson bracket of functions on this space gives a Lie algebra of observables. Multisymplectic geometry describes an n-dimensional field theory using a phase space that is an "n-plectic manifold": a finite-dimensional manifold equipped with a closed nondegenerate (n+1)-form. Here we consider the case n = 2. For any 2-plectic manifold, we construct a Lie 2-algebra of observables. We then explain how this Lie 2-algebra can be used to describe the dynamics of a classical bosonic string. Just as the presence of an electromagnetic field affects the symplectic structure for a charged point particle, the presence of a B field affects the 2-plectic structure for the string.
△ Less
Submitted 2 August, 2008;
originally announced August 2008.
