Searcharxiv⌕ Search

arXiv subjects

Marco Zambon

Publications and source records attributed to Marco Zambon.

At least 37 records · Page 2Linked to original sources
arXiv2020

Coisotropic submanifolds in $b$-symplectic geometry

We study coisotropic submanifolds of $b$-symplectic manifolds. We prove that $b$-coisotropic submanifolds (those transverse to the degeneracy locus) determine the $b$-symplectic structure in a neighborhood, and provide a normal form theorem. This extends Gotay's theorem in symplectic geometry. Further, we introduce strong $b$-coisotropic submanifolds and show that their coisotropic quotient, which locally is always smooth, inherits a reduced $b$-symplectic structure.

math.SG↗
arXiv2018

Deformations of pre-symplectic structures and the Koszul $L_\infty$-algebra

We study the deformation theory of pre-symplectic structures, i.e. closed two-forms of fixed rank. The main result is a parametrization of nearby deformations of a given pre-symplectic structure in terms of an $L_\infty$-algebra, which we call Koszul $L_\infty$-algebra. This $L_\infty$-algebra is a cousin of the Koszul dg Lie algebra associated to a Poisson manifold. In addition, we show that a quotient of the Koszul $L_{\infty}$-algebra is isomorphic to the $L_\infty$-algebra which controls the deformations of the underlying characteristic foliation. Finally, we show that the infinitesimal deformations of pre-symplectic structures and of foliations are both obstructed.

math.SG↗
arXiv2018

Hausdorff Morita Equivalence of singular foliations

We introduce a notion of equivalence for singular foliations - understood as suitable families of vector fields - that preserves their transverse geometry. Associated to every singular foliation there is a holonomy groupoid, by the work of Androulidakis-Skandalis. We show that our notion of equivalence is compatible with this assignment, and as a consequence we obtain several invariants. Further, we show that it unifies some of the notions of transverse equivalence for regular foliations that appeared in the 1980's.

math.DG↗
arXiv2017

$L_{\infty}$-actions of Lie algebroids

We consider homotopy actions of a Lie algebroid on a graded manifold, defined as suitable $L_{\infty}$-algebra morphisms. On the "semi-direct product" we construct a homological vector field that projects to the Lie algebroid. Our main theorem states that this construction is a bijection. Since several classical geometric structures can be described by homological vector fields as above, we can display many explicit examples, involving Lie algebroids (including extensions, representations up to homotopy and their cocycles) as well as transitive Courant algebroids.

math.DG↗
arXiv2017

Almost regular Poisson manifolds and their holonomy groupoids

We look at Poisson geometry taking the viewpoint of singular foliations, understood as suitable submodules generated by Hamiltonian vector fields rather than partitions into (symplectic) leaves. The class of Poisson structures which behave best from this point of view, are those whose submodule generated by Hamiltonian vector fields arises from a smooth holonomy groupoid. We call them almost regular Poisson structures and determine them completely. They include regular Poisson and log symplectic manifolds, as well as several other Poisson structures whose symplectic foliation presents singularities. We show that the holonomy groupoid associated with an almost regular Poisson structure is a Poisson groupoid, integrating a naturally associated Lie bialgebroid. The Poisson structure on the holonomy groupoid is regular, and as such it provides a desingularization. The holonomy groupoid is "minimal" among Lie groupoids which give rise to the submodule generated by Hamiltonian vector fields. This implies that, in the case of log-symplectic manifolds, the holonomy groupoid coincides with the symplectic groupoid constructed by Gualtieri and Li. Last, we focus on the integrability of almost regular Poisson manifolds and exhibit the role of the second homotopy group of the source-fibers of the holonomy groupoid.

math.SG↗
arXiv2016

Conserved quantities on multisymplectic manifolds

Given a vector field on a manifold M, we define a globally conserved quantity to be a differential form whose Lie derivative is exact. Integrals of conserved quantities over suitable submanifolds are constant under time evolution, the Kelvin circulation theorem being a well-known special case. More generally, conserved quantities are well-behaved under transgression to spaces of maps into M. We focus on the case of multisymplectic manifolds and Hamiltonian vector fields. We show that in the presence of a Lie group of symmetries admitting a homotopy co-momentum map, one obtains a whole family of globally conserved quantities. This extends a classical result in symplectic geometry. We carry this out in a general setting, considering several variants of the notion of globally conserved quantity.

math.SG↗
arXiv2016

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.

math.DG↗
arXiv2016

Products of multisymplectic manifolds and homotopy moment maps

Multisymplectic geometry admits an operation that has no counterpart in symplectic geometry, namely, taking the product of two multisymplectic manifolds endowed with the wedge product of the multisymplectic forms. We show that there is an L-infinity-embedding of the L-infinity-algebra of observables of the individual factors into the observables of the product, and that homotopy moment maps for the individual factors induce a homotopy moment map for the product. As a by-product, we associate to every multisymplectic form a curved L-infinity-algebra, whose curvature is the multisymplectic form itself.

math.DG↗
arXiv2015

Equivalences of coisotropic submanifolds

We study the role that Hamiltonian and symplectic diffeomorphisms play in the deformation problem of coisotropic submanifolds. We prove that the action by Hamiltonian diffeomorphisms corresponds to the gauge-action of the $L_\infty$-algebra of Oh and Park. Moreover we introduce the notion of extended gauge-equivalence and show that in the case of Oh and Park's $L_\infty$-algebra one recovers the action of symplectic isotopies on coisotropic submanifolds. Finally, we consider the transversally integrable case in detail.

math.DG↗
arXiv2015

Simultaneous deformations of algebras and morphisms via derived brackets

We present a method to construct explicitly L-infinity algebras governing simultaneous deformations of various kinds of algebraic structures and of their morphisms. It is an alternative to the heavy use of the operad machinery of the existing approaches. Our method relies on Voronov's derived bracket construction.

math.QA↗
arXiv2015

A cohomological framework for homotopy moment maps

Given a Lie group acting on a manifold $M$ preserving a closed $n+1$-form $ω$, the notion of homotopy moment map for this action was introduced in Callies-Fregier-Rogers-Zambon [6], in terms of $L_{\infty}$-algebra morphisms. In this note we describe homotopy moment maps as coboundaries of a certain complex. This description simplifies greatly computations, and we use it to study various properties of homotopy moment maps: their relation to equivariant cohomology, their obstruction theory, how they induce new ones on mapping spaces, and their equivalences. The results we obtain extend some of the results of [6].

math.DG↗
arXiv2014

Simultaneous deformations and Poisson geometry

We consider the problem of deforming simultaneously a pair of given structures. We show that such deformations are governed by an L-infinity algebra, which we construct explicitly. Our machinery is based on Th. Voronov's derived bracket construction. In this paper we consider only geometric applications, including deformations of coisotropic submanifolds in Poisson manifolds, of twisted Poisson structures, and of complex structures within generalized complex geometry. These applications can not be, to our knowledge, obtained by other methods such as operad theory.

math.QA↗
arXiv2014

Spin(7)-manifolds in compactifications to four dimensions

We describe off-shell $\mathcal{N}=1$ M-theory compactifications down to four dimensions in terms of eight-dimensional manifolds equipped with a topological $Spin(7)$-structure. Motivated by the exceptionally generalized geometry formulation of M-theory compactifications, we consider an eight-dimensional manifold $\mathcal{M}_{8}$ equipped with a particular set of tensors $\mathfrak{S}$ that allow to naturally embed in $\mathcal{M}_{8}$ a family of $G_{2}$-structure seven-dimensional manifolds as the leaves of a codimension-one foliation. Under a different set of assumptions, $\mathfrak{S}$ allows to make $\mathcal{M}_{8}$ into a principal $S^{1}$ bundle, which is equipped with a topological $Spin(7)$-structure if the base is equipped with a topological $G_{2}$-structure. We also show that $\mathfrak{S}$ can be naturally used to describe regular as well as a singular elliptic fibrations on $\mathcal{M}_{8}$, which may be relevant for F-theory applications, and prove several mathematical results concerning the relation between topological $G_{2}$-structures in seven dimensions and topological $Spin(7)$-structures in eight dimensions.

hep-th↗
arXiv2014

Holonomy transformations for singular foliations

In order to understand the linearization problem around a leaf of a singular foliation, we extend the familiar holonomy map from the case of regular foliations to the case of singular foliations. To this aim we introduce the notion of holonomy transformation. Unlike the regular case, holonomy transformations can not be attached to classes of paths in the foliation, but rather to elements of the holonomy groupoid of the singular foliation. This assignment is injective. Holonomy transformations allow us to link the linearization problem with the compactness of the isotropy group of the holonomy groupoid, as well as with the linearization problem for proper Lie groupoids.

math.DG↗
arXiv2012

A supergeometric approach to Poisson reduction

This work introduces a unified approach to the reduction of Poisson manifolds using their description by graded symplectic manifolds. This yields a generalization of the classical Poisson reduction by distributions (Marsden-Ratiu reduction). Further it allows one to construct actions of strict Lie 2-groups and to describe the corresponding reductions.

math.SG↗
arXiv2012

L-infinity algebra actions

We define the notion of action of an L-infinity algebra $g$ on a graded manifold $M$, and show that such an action corresponds to a homological vector field on $g[1] \times M$ of a specific form. This generalizes the correspondence between Lie algebra actions on manifolds and transformation Lie algebroids. In particular, we consider actions of $g$ on a second L-infinity algebra, leading to a notion of "semidirect product" of L-infinity algebras more general than those we found in the literature.

math.DG↗
arXiv2012

Deformations of coisotropic submanifolds for fibrewise entire Poisson structures

We show that deformations of a coisotropic submanifold inside a fibrewise entire Poisson manifold are controlled by the $L_\infty$-algebra introduced by Oh-Park (for symplectic manifolds) and Cattaneo-Felder. In the symplectic case, we recover results previously obtained by Oh-Park. Moreover we consider the extended deformation problem and prove its obstructedness.

math.SG↗