BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Christopher L. Rogers

Christopher L. Rogers appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math-phmath.ATmath.MPmath.QAmath.DGmath.SGmath.CThep-thmath.KTmath.AGmath.RA

Catalog footprint

What is connected

17works
11topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2019arXiv

An explicit model for the homotopy theory of finite type Lie $n$-algebras

Lie $n$-algebras are the $L_\infty$ analogs of chain Lie algebras from rational homotopy theory. Henriques showed that finite type Lie $n$-algebras can be integrated to produce certain simplicial Banach manifolds, known as Lie $\infty$-groups, via a smooth analog of Sullivan's realization functor. In this paper, we provide an explicit proof that the category of finite type Lie $n$-algebras and (weak) $L_\infty$-morphisms admits the structure of a category of fibrant objects (CFO) for a homotopy theory. Roughly speaking, this CFO structure can be thought of as the transfer of the classical projective CFO structure on non-negatively graded chain complexes via the tangent functor. In particular, the weak equivalences are precisely the $L_\infty$ quasi-isomorphisms. Along the way, we give explicit constructions for pullbacks and factorizations of $L_\infty$-morphisms between finite type Lie $n$-algebras. We also analyze Postnikov towers and Maurer-Cartan/deformation functors associated to such Lie $n$-algebras. The main application of this work is our joint paper arXiv:1609.01394 with C. Zhu which characterizes the compatibility of Henriques' integration functor with the homotopy theory of Lie $n$-algebras and that of Lie $\infty$-groups.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

On the homotopy theory for Lie $\infty$-groupoids, with an application to integrating $L_\infty$-algebras

Lie $\infty$-groupoids are simplicial Banach manifolds that satisfy an analog of the Kan condition for simplicial sets. An explicit construction of Henriques produces certain Lie $\infty$-groupoids called `Lie $\infty$-groups' by integrating finite type Lie $n$-algebras. In order to study the compatibility between this integration procedure and the homotopy theory of Lie $n$-algebras introduced in the companion paper arXiv:1809.05999, we present a homotopy theory for Lie $\infty$-groupoids. Unlike Kan simplicial sets and the higher geometric groupoids of Behrend and Getzler, Lie $\infty$-groupoids do not form a category of fibrant objects (CFO), since the category of manifolds lacks pullbacks. Instead, we show that Lie $\infty$-groupoids form an `incomplete category of fibrant objects' in which the weak equivalences correspond to `stalkwise' weak equivalences of simplicial sheaves. This homotopical structure enjoys many of the same properties as a CFO, such as having, in the presence of functorial path objects, a convenient realization of its simplicial localization. We further prove that the acyclic fibrations are precisely the hypercovers, which implies that many of Behrend and Getzler's results also hold in this more general context. As an application, we show that Henriques' integration functor is an exact functor with respect to a class of distinguished fibrations which we call `quasi-split fibrations'. Such fibrations include acyclic fibrations as well as fibrations that arise in string-like extensions. In particular, integration sends $L_\infty$ quasi-isomorphisms to weak equivalences, quasi-split fibrations to Kan fibrations, and preserves acyclic fibrations, as well as pullbacks of acyclic/quasi-split fibrations.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Higher U(1)-gerbe connections in geometric prequantization

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Homotopical properties of the simplicial Maurer-Cartan functor

We consider the category whose objects are filtered, or complete, $L_\infty$-algebras and whose morphisms are $\infty$-morphisms which respect the filtrations. We then discuss the homotopical properties of the Getzler-Hinich simplicial Maurer-Cartan functor which associates to each filtered $L_\infty$-algebra a Kan simplicial set, or $\infty$-groupoid. In previous work with V. Dolgushev, we showed that this functor sends weak equivalences of filtered $L_\infty$-algebras to weak homotopy equivalences of simplicial sets. Here we sketch a proof of the fact that this functor also sends fibrations to Kan fibrations. To the best of our knowledge, only special cases of this result have previously appeared in the literature. As an application, we show how these facts concerning the simplicial Maurer--Cartan functor provide a simple $\infty$-categorical formulation of the Homotopy Transfer Theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Homotopy moment maps

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On an enhancement of the category of shifted L-infinity algebras

We construct a symmetric monoidal category $LIE^{MC}$ whose objects are shifted L-infinity algebras equipped with a complete descending filtration. Morphisms of this category are "enhanced" infinity morphisms between shifted L-infinity algebras. We prove that any category enriched over $LIE^{MC}$ can be integrated to a simplicial category whose mapping spaces are Kan complexes. The advantage gained by using enhanced morphisms is that we can see much more of the simplicial world from the L-infinity algebra point of view. We use this construction in a subsequent paper to produce a simplicial model of a $(\infty,1)$-category whose objects are homotopy algebras of a fixed type.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

A Version of the Goldman-Millson Theorem for Filtered L-infinity Algebras

In this paper we consider $L_{\infty}$-algebras equipped with complete descending filtrations. We prove that, under some mild conditions, an $L_{\infty}$ quasi-isomorphism $U: L \to \tilde{L}$ induces a weak equivalence between the Deligne-Getzler-Hinich (DGH) $\infty$-groupoids corresponding to $L$ and $\tilde{L}$, respectively. This paper may be considered as a modest addition to foundational paper arXiv:math/0404003 by Ezra Getzler.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Kontsevich's graph complex, GRT, and the deformation complex of the sheaf of polyvector fields

We generalize Kontsevich's construction of L-infinity derivations of polyvector fields from the affine space to an arbitrary smooth algebraic variety. More precisely, we construct a map (in the homotopy category) from Kontsevich's graph complex to the deformation complex of the sheaf of polyvector fields on a smooth algebraic variety. We show that the action of Deligne-Drinfeld elements of the Grothendieck-Teichmueller Lie algebra on the cohomology of the sheaf of polyvector fields coincides with the action of odd components of the Chern character. Using this result, we deduce that the A-hat genus in the Calaque-Van den Bergh formula arXiv:0708.2725 for the isomorphism between harmonic and Hochschild structures can be replaced by a generalized A-hat genus.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

What do homotopy algebras form?

In paper arXiv:1406.1744, we constructed a symmetric monoidal category $LIE^{MC}$ whose objects are shifted (and filtered) L-infinity algebras. Here, we fix a cooperad $C$ and show that algebras over the operad $Cobar(C)$ naturally form a category enriched over $LIE^{MC}$. Following arXiv:1406.1744, we "integrate" this $LIE^{MC}$-enriched category to a simplicial category $HoAlg^Δ_C$ whose mapping spaces are Kan complexes. The simplicial category $HoAlg^Δ_C$ gives us a particularly nice model of an $(\infty,1)$-category of $Cobar(C)$-algebras. We show that the homotopy category of $HoAlg^Δ_C$ is the localization of the category of $Cobar(C)$-algebras and infinity morphisms with respect to infinity quasi-isomorphisms. Finally, we show that the Homotopy Transfer Theorem is a simple consequence of the Goldman-Millson theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

L-infinity algebras of local observables from higher prequantum bundles

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

2-plectic geometry, Courant algebroids, and categorified prequantization

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A higher Chern-Weil derivation of AKSZ sigma-models

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Notes on Algebraic Operads, Graph Complexes, and Willwacher's Construction

We give a detailed proof of T. Willwacher's theorem arXiv:1009.1654 which links the cohomology of the full graph complex fGC to the cohomology of the deformation complex of the operad GER, governing Gerstenhaber algebras. We also present various prerequisites required for understanding the material of arXiv:1009.1654. In particular, we review operads, cooperads, and the cobar construction. We give a detailed exposition of the convolution Lie algebra and its properties. We prove a useful lifting property for maps from a dg operad obtained via the cobar construction. We describe in detail Willwacher's twisting construction, and then use it to work with various operads assembled from graphs, in particular, the full graph complex and its subcomplexes. These notes are loosely based on lectures given by the first author at the Graduate and Postdoc Summer School at the Center for Mathematics at Notre Dame (May 31 - June 4, 2011).

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Higher Symplectic Geometry

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).

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

L-infinity algebras from multisymplectic geometry

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Courant algebroids from categorified symplectic geometry

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.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Categorified Symplectic Geometry and the String Lie 2-Algebra

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.

0 citations0 reviewsNo code linkedOpen access