Develops L∞ spaces over dg manifolds and establishes an equivalence with L∞ algebroids.
problem Defining and comparing L∞ spaces and algebroids over dg manifolds. method Establishes an equivalence between categories of L∞ algebroids and L∞ spaces, constructs a faithful functor. result Detects weak equivalences between L∞ algebroids and L∞ spaces. Study derived Lie ∞-groupoids and algebroids in higher differential geometry.
problem Addressing problems in higher differential geometry using derived Lie ∞-groupoids and algebroids.
method Construct CFO structures, study L∞-algebroids, homotopical algebras, and homotopy-coherent representations.
result Construct Atiyah classes for L∞-algebroids pairs and study singular foliations and their holonomies.
The paper constructs L∞-algebras from contact Courant algebroids and isotropic subbundles.
problem Understanding the structure of contact Courant algebroids and their associated L∞-algebras. method The construction of L∞-algebras from L-Courant algebroids and isotropic subbundles. result A relationship between constructed L∞-algebras is established by a morphism. In this paper, we relate Lie algebroids to Costello's version of derived geometry. For instance, we show that each Lie algebroid L-and the natural generalization to dg Lie algebroids-provides an (essentially unique) L∞ space. More precisely, we construct a faithful functor from the category of Lie algebroids …
New algebra structure derived from Lie pairs.
problem Constructing A∞-algebras from Lie pairs. method Using homotopy equivalence and Lie algebroids.
result Chevalley-Eilenberg cohomology gains an associative algebra structure.
Study modular class of Lie ∞-algebroids and their adjoint actions.
problem Understanding the modular class and adjoint actions of Lie ∞-algebroids.
method Equivalence of descriptions, homotopy invariance, explicit actions and dualities.
result Homotopy invariance of modular classes and explicit adjoint actions.
We solve higher-order morphisms for twisted Courant algebras.
problem Construct canonical L∞-morphisms for higher Courant algebroids. method Develop a general framework for arbitrary r. result Affirmative answer to Zambon's question for higher degrees.
We show that L∞-algebroids, understood in terms of Q-manifolds can be described in terms of certain higher Schouten and Poisson structures on graded (super)manifolds. This generalises known constructions for Lie (super)algebras and Lie algebroids.
A universal Lie ∞-algebroid is constructed for singular foliations.
problem Describing the geometry and structure of singular foliations.
method Construction of a Lie ∞-algebroid for every resolution of a singular foliation.
result The universal Lie ∞-algebroid uniquely encodes the geometry of singular foliations.
Geometrically deforms L∞ algebras to Lie algebroids, revealing new invariants.
problem Classifying geometric invariants of L∞ algebras arising from vector bundles. method Define geometric deformations of curved L∞ algebras and show they correspond to Lie algebroid structures. result Geometric deformations of L∞ algebras classify new geometric invariants. A singular (or Hermann) foliation on a smooth manifold M can be seen as a subsheaf of the sheaf X of vector fields on M. We show that if this singular foliation admits a resolution (in the sense of sheaves) consisting of sections of a graded vector bundle of finite type, then one can lift the Lie brack…
Lie algebroids and curved Lie algebras are equivalent categories.
problem Understanding the relationship between Lie algebroids and curved Lie algebras.
method Developed a method to study the ∞-category of curved Lie algebras using homotopy theory of algebras over a complete operad. result Equivalence of ∞-categories between Lie algebroids and certain kinds of curved Lie algebras. Split Courant algebroids linked to special algebra structures.
problem Understanding the structure of split Courant algebroids.
method Established a correspondence with multiplicative curved L∞-algebras. result Split Courant algebroids correspond to multiplicative curved L∞-algebras. Shifted symplectic Lie and L∞ algebroids model formal neighbourhoods of manifolds in shifted symplectic stacks, and serve as target spaces for twisted variants of classical AKSZ topological field theory. In this paper, we classify zero-, one- and two-shifted symplectic algebroids and their higher gauge symmetri…
Curved L∞ spaces form a category of fibrant objects.
problem Understanding the structure of curved L∞ spaces. method Proving L∞ spaces over dg manifolds form a category of fibrant objects. result Transitive L∞ algebroids over dg manifolds also form a category of fibrant objects. We consider homotopy actions of a Lie algebroid on a graded manifold, defined as suitable L∞-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 geomet…
This paper extends foliation concepts to singular foliations using Lie ∞-algebroids.
problem Cohomological obstruction to volume forms in singular foliations.
method Replacing singular foliations with universal Lie ∞-algebroids to define modular class. result Geometric meaning of modular class as an obstruction to universal Lie ∞-algebroids. The L∞-algebra is an algebraic structure suitable for describing deformation problems. In this paper we construct one L∞-algebra, which turns out to be a differential graded Lie algebra, to control the deformations of Lie algebroids and a second one to control the deformations of Lie subalgebroids. We a…
Computes L∞-algebroid for linear foliations on vector spaces.
problem Invariants of singular foliations on vector spaces induced by Lie subalgebras.
method Explicitly constructs projective resolutions and computes L∞-algebroid structure. result Provides invariants and constant-rank replacements of singular foliations.
This research extends Lie algebra actions to singular foliations.
problem Understanding symmetries in singular foliations without additional assumptions.
method Equivalence of categories between Lie-Rinehart algebras and Lie ∞-algebroids. result Universal Lie ∞-algebroids for singular foliations. We study Maurer-Cartan elements on homotopy Poisson manifolds of degree n. They unify many twisted or homotopy structures in Poisson geometry and mathematical physics, such as twisted Poisson manifolds, quasi-Poisson $\g$-manifolds, and twisted Courant algebroids. Using the fact that the dual of an n-term $L_\infty…
Homotopy theory applied to singular foliations leads to new results.
problem Existence and uniqueness of universal L∞-algebroids for singular foliations. method Applied homotopy theory to left semi-model categories and L∞-algebroids. result Recovery of results similar to Laurent-Gengoux and al. about universal L∞-algebroids. Paper constructs L∞-algebroids from homotopy Poisson structures.
problem Homotopy Poisson structures and their algebraic properties.
method Introduces thick morphisms and L∞-morphisms. result Establishes an L∞-algebra structure on forms. The paper extends Riemann-Hilbert correspondence to foliations.
problem Understanding representations of Lie algebroids and groupoids in foliated settings.
method Establishing an A∞ de Rham theorem and constructing an integration functor. result An equivalence between ∞-representations of L∞-algebroids and ∞-representations of Lie ∞-groupoids for foliations. New L∞ algebra governs deformations of Dirac-Jacobi structures.
problem Deformation theory of Dirac-Jacobi structures.
method Using higher derived brackets and split Courant-Jacobi algebroids, an L∞ algebra is associated with each Dirac-Jacobi structure. result There is a one-to-one correspondence between MC elements of the L∞ algebra and small deformations of the Dirac-Jacobi structure. The paper studies deformations of Nijenhuis structures in Lie algebras and algebroids.
problem Deformations of Nijenhuis structures in Lie algebras and algebroids.
method Operadic study, introduction of homotopy Nijenhuis Lie algebras, construction of L∞-algebras for deformations. result The Poincaré Lemma holds for certain Nijenhuis operators, confirming a conjecture.
Paper studies symmetries in singular foliations using Lie ∞-morphisms.
problem Understanding symmetries in singular foliations.
method Analyzes Lie ∞-morphisms induced by Lie algebra actions on singular foliations. result Deduces geometrical consequences, including examples of non-extendable symmetries.
New algebraic structure derived from Kähler manifolds.
problem Understanding algebraic structures on differential forms.
method Introducing L∞[1] R-algebras and proving linearization theorems. result Induced L∞[1] R-algebra structures on Γ(L) are linearizable under certain conditions. Introduces new connections in higher geometry.
problem Defining connections in higher geometry.
method Develops formal differentiation and integration of maps to derived stacks.
result Establishes new L∞-algebras of higher symmetries. Deformations of a Courant Algebroid E and its Dirac subbundle A have been widely considered under the assumption that the pseudo-Euclidean metric is fixed. In this paper, we attack the same problem in a setting that allows the pseudo-Euclidean metric to deform. Thanks to Roytenberg, a Courant algebroid is equivalent to…
Given a bundle of chain complexes, the algebra of functions on its shifted cotangent bundle has a natural structure of a shifted Poisson algebra. We show that if two such bundles are homotopy equivalent, the corresponding Poisson algebras are homotopy equivalent. We apply this result to L∞-algebroids to show th…
In this paper, we give the categorification of Leibniz algebras, which is equivalent to 2-term sh Leibniz algebras. They reveal the algebraic structure of omni-Lie 2-algebras introduced in \cite{omniLie2} as well as twisted Courant algebroids by closed 4-forms introduced in \cite{4form}. We also prove that Dirac struct…
Lie-Rinehart algebras over C∞-rings defined and studied.
problem Defining and studying Lie-Rinehart algebras over C∞-rings. method Defining Lie-Rinehart algebras over C∞-rings and showing their relationship with Poisson C∞-rings. result A natural Poisson bracket on the C∞-ring associated with a Lie-Rinehart algebra over a C∞-ring. We consider the problem of integration of L_\infty-algebroids (differential graded manifolds) to L_\infty-groupoids. We first construct a "big" Kan simplicial manifold (Fréchet or Banach) whose points are solutions of a (generalized) Maurer-Cartan equation. The main analytic trick in our work is an integral transformat…
The paper extends Chern-Weil-Lecomte map to L∞-algebras.
problem Defining characteristic classes for L∞-algebra extensions. method Using the Chern-Weil-Lecomte map to define characteristic classes in an L∞-algebra setting. result Unified definition of several known cohomology classes.
We investigate Nijenhuis deformations of L∞-algebras, a notion that unifies several Nijenhuis deformations, namely those of Lie algebras, Lie algebroids, Poisson structures and Courant structures. Additional examples, linked to Lie n-algebras and n-plectic manifolds, are included.
We continue the study the Dolbeault dga of the formal neighborhood of an arbitary closed embedding of complex manifolds previously defined by the author in \cite{DolbeaultDGA}. The special case of the diagonal embedding has been studied in \cite{Diagonal}. We describe the Dolbeault dga explicitly in terms of the formal…
In this note, we unveil homotopy-rich algebraic structures generated by the Atiyah classes relative to a Lie pair (L,A) of algebroids. In particular, we prove that the quotient L/A of such a pair admits an essentially canonical homotopy module structure over the Lie algebroid A, which we call Kapranov module.
Holonomy defined for singular leaves in foliations.
problem Defining holonomy for singular structures in foliations.
method Introducing a sequence of group morphisms from π_n(L) to π_{n-1} of the universal Lie ∞-algebroid.
result Holonomy sequence relates to Androulidakis-Skandalis and Brahic-Zhu constructions.
Quantizes the relationship between Koszul and Schouten brackets in Poisson geometry.
problem Quantizing the relationship between Koszul and Schouten brackets in Poisson geometry.
method Employing Voronov's thick morphism technique and quantum Mackenzie-Xu transformations in the framework of L∞-algebroids. result Quantizes the L∞-morphism into a single linear operator, a formal Fourier integral operator. The study of geometric structures around transversals using deformation spaces.
problem Understanding local behavior of geometric structures around singular foliations.
method Using deformation spaces to study local behavior of geometric structures.
result Obtained normal form theorems around transversals for various geometric structures.
We reinterpret the generalised Lie derivative of M-theory E6 generalised geometry as hamiltonian flow on a graded symplectic supermanifold. The hamiltonian acts as the nilpotent derivative of the tensor hierarchy of exceptional field theory. This construction is an M-theory analogue of the Courant algebroid and reve…
Article proves tangent complex structure of Lie n-groupoid.
problem Differentiating Lie n-groupoids.
method Proves representability of presheaf by tangent complex.
result Tangent complex of Lie n-groupoid carries Lie n-algebroid structure.
We present the notion of higher Kirillov brackets on the sections of an even line bundle over a supermanifold. When the line bundle is trivial we shall speak of higher Jacobi brackets. These brackets are understood furnishing the module of sections with an L∞-algebra, which we refer to as a homotopy Kirillov …
Study infinitesimal deformations of Lie algebroid pairs.
problem Infinitesimal deformations of Lie algebroid pairs.
method Investigate isomorphism classes of infinitesimal deformations of (L,A) modulo automorphisms from exponentials of derivations of L and those from the exponentials of inner derivations of L. result Find the associated governing L∞-algebras in the sense of extended deformation theory. A well-known result of A. Vaintrob characterizes Lie algebroids and their morphisms in terms of homological vector fields on supermanifolds. We give an interpretation of Lie bialgebroids and their morphisms in terms of odd symplectic dg-manifolds, building on the approach of D. Roytenberg. This extends naturally to the…
We investigate a class of Leibniz algebroids which are invariant under diffeomorphisms and symmetries involving collections of closed forms. Under appropriate assumptions we arrive at a classification which in particular gives a construction starting from graded Lie algebras. In this case the Leibniz bracket is a deriv…
Survey of global geometry for double field theory.
problem Global description of double field theory geometry.
method Review of Courant algebroids, metric algebroids, AKSZ construction, para-Hermitian geometry.
result Global description of doubled geometry and topological models.