For every Lie pair (L,A) of algebroids we construct a dg-manifold structure on the Z-graded manifold M=L[1]⊕L/A such that the inclusion ι:A[1]→M and the projection p:M→L[1] are morphisms of dg-manifolds. The vertical tangent bundle TpM then inherit…
New maps help understand deformations of modules over Lie algebroids.
problem Understanding deformations of modules over Lie algebroids.
method Introduce semiregularity maps and use DG-Lie algebra control.
result Semiregularity maps annihilate obstructions under certain conditions.
Atiyah and Todd classes of Lie algebroids respect their Atiyah sequence.
problem Understanding the Atiyah and Todd classes of Lie algebroids.
method Analyzing the Atiyah sequence of Lie algebroids and proving class restrictions.
result Atiyah and Todd classes of dg manifolds arising from regular Lie algebroids respect the Atiyah sequence.
New construction of Atiyah and Todd classes for Lie pair pullback dg Lie algebroids.
problem Constructing Atiyah and Todd classes for Lie pair pullback dg Lie algebroids.
method Using homological perturbation lemma and contraction, constructing isomorphisms between cochain complexes and Chevalley-Eilenberg cohomologies.
result Identifies Atiyah and Todd classes of Lie pair pullback dg Lie algebroids with those of the Lie pair.
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 …
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.
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.
This thesis generalizes structures on Q-manifolds and Lie n-algebroids.
problem Representation theory and linear structures of Q-manifolds and Lie n-algebroids. method Introduces differential graded modules and representations up to homotopy, defines Weil algebra, and studies VB-Lie n-algebroids. result Establishes an equivalence between VB-Lie n-algebroids and (n+1)-term representations up to homotopy of Lie n-algebroids. This paper studies Hopf algebras from dg manifolds.
problem Understanding Hopf algebras from the perspective of dg manifolds.
method Analyzes the universal enveloping algebra of Lie algebra objects in homotopy categories of dg modules.
result The universal enveloping algebra of the Lie algebra object is a Hopf algebra.
Motivated by families of formal moduli problems, in this note we generalize the notion of L-infinity space by allowing sheaves of L-infinity algebras over any (reasonable) nilpotent dg manifold. We discuss various examples including those coming from Lie algebroids. Given a Lie algebroid, we show that there is an L-inf…
Unique vertical isomorphisms between Fedosov dg manifolds are proven for Lie pairs.
problem Vertical isomorphisms of Fedosov dg manifolds associated with Lie pairs.
method Construction of Fedosov dg manifolds via splitting and connection, proving unique isomorphisms using iteration formula.
result Existence and uniqueness of vertical isomorphisms between Fedosov dg manifolds.
Study connections on Lie and Courant algebroids, defining basic curvature and Atiyah cocycle.
problem Understanding connections on Lie and Courant algebroids and their compatibility.
method Revisit and define basic curvature for Lie algebroids, introduce basic curvature for Courant algebroids, and use Atiyah cocycle for gauge theory.
result Basic curvature tensor for Courant algebroids and its relation to the Atiyah cocycle.
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. These letters, written in 1998-2000, contain various basic results about Courant algebroids (CAs), such as classification of exact and transitive CAs, reduction of CAs, description in terms of symplectic dg manifolds, a canonical generating Dirac operator, and a relation with Poisson-Lie T-duality.
The paper studies formal geometry of dg manifolds and proves isomorphism of their calculi.
problem Formal geometry of dg manifolds.
method Construction of Fedosov dg foliation and homotopy contractions.
result Isomorphism of Cartan and noncommutative calculi.
We introduce the notions of Atiyah class and Todd class of a differential graded vector bundle with respect to a differential graded Lie algebroid. We prove that the space of vector fields on a dg-manifold with homological vector field Q admits a structure of L-infinity algebra with the Lie derivative LQ as unary …
Given any pair (L,A) of Lie algebroids, we construct a differential graded manifold (L[1]⊕L/A,Q), which we call Fedosov dg manifold. We prove that the cohomological vector field Q constructed on L[1]⊕L/A by the Fedosov iteration method arises as a byproduct of the Poincaré--Birkhoff--Witt map establ…
Standard cohomology of Courant algebroids identified via minimal models.
problem Cohomology of Courant algebroids.
method Minimal model construction and Hodge-to-de Rham spectral sequence.
result Standard cohomology of Courant algebroids identified with function space cohomology.
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. 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…
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.
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. Let G be a Lie group acting by diffeomorphisms on a manifold M and consider the image of T[1]G and T[1]M, of G and M respectively, in the category of differential graded manifolds. We show that the obstruction to lift the action of T[1]G on T[1]M to an action on a R[n]-bundle over T[1]M is measured by the G equivariant…
We prove that to every inclusion A↪L of Lie algebroids over the same base manifold M corresponds a Kapranov dg-manifold structure on A[1]⊕L/A, which is canonical up to isomorphism. As a consequence, Γ(Λ∙A∨⊗L/A) carries a canonical L∞[1] algebra structure whose una…
We show that a well-known result on solutions of the Maurer--Cartan equation extends to arbitrary (inhomogeneous) odd forms: any such form with values in a Lie superalgebra satisfying dø+ø2=0 is gauge-equivalent to a constant, ø=gCg−1−dgg−1. This follows from a non-Abelian version of a chain homotopy f…
Constructing 3-Lie algebroids via connections
problem Constructing Lie algebroids and 3-Lie algebroids method Using connections generated by finite families of differential operators and dual sections
result Providing sufficient conditions for generating families to determine Lie algebroid and 3-Lie algebroid structures We study the dg-Lie algebra f_n generated by the coefficients of the universal translation invariant flat dg-connection on the n-dimensional affine space. We describe its "semiabelianization" (in particular, the universal quotient which is a crossed module of Lie algebras) in terms of closed differential forms of arbit…
The paper categorifies Lie and Courant algebroids, establishing correspondences and new constructions.
problem Categorification of Lie and Courant algebroids to better understand geometric structures.
method Introducing and studying new algebraic structures like VB-Lie 2-algebroids and VB-LWX 2-algebroids.
result Established correspondences and new constructions between Lie and Courant algebroids.
We define a general notion of abstract double Lie algebroid. We show (1) that the double Lie algebroid of a double Lie groupoid is a double Lie algebroid in this sense; (2) that the double cotangent constructed from Lie algebroid structures on a vector bundle A and its dual A* is a double Lie algebroid if and only if (…
The paper explores connections between dg manifolds and homotopy Lie algebras.
problem Understanding the relationship between dg manifolds and homotopy Lie algebras.
method Study of formal exponential maps, Atiyah classes, and Kapranov L-infinity algebras.
result Existence of formal exponential maps linked to vanishing of Atiyah classes.
Lie algebroids are like infinitesimal Lie groupoids.
problem None explicitly stated in the abstract.
method Overview article.
result Lie algebroids are infinitesimal counterparts of Lie groupoids.
New invariant real rank identifies constant real Lie algebroids.
problem Characterizing complex Lie algebroids with constant real rank.
method Introducing real rank and minimal complex subalgebroid.
result Local splitting and characterization of complex Lie algebroids.
This paper establishes an equivalence between transitive double Lie algebroids and core diagrams.
problem Understanding and characterizing transitive double Lie algebroids.
method Using core diagrams and equivalence of transitive core diagrams with transitive double Lie groupoids.
result Transitive double Lie algebroids are completely determined by their core diagrams.
This paper extends a category equivalence to an A-infinity quasi-equivalence for compact Lie groups.
problem Equivalence of DG categories for smooth singular chains on Lie groups.
method Construction of A-infinity quasi-isomorphisms and use of Van Est map, De Rham theorem.
result Extension of equivalence to A-infinity quasi-equivalence for compact Lie groups.
Defines connections on parabolic vector bundles for Lie algebroids.
problem Characterizing parabolic vector bundles with Lie algebroid connections.
method Constructs Lie algebroid connections on parabolic vector bundles, uses Atiyah exact sequence.
result Characterizes stable Lie algebroid vector bundles with connections.
Defines Dirac pairs on Jacobi algebroids, generalizing Lie algebroids.
problem Generalizing Dirac pairs to Jacobi algebroids.
method Introducing Dirac pairs on Jacobi algebroids and showing their relationship to Lie algebroids.
result Dirac pairs on Jacobi algebroids characterize compatible structures.
Study examines Lie algebroids with homological sections, generalizing Q-manifolds and Lie superalgebras.
problem Exploring Lie algebroids with homological sections.
method Derived bracket formalism to define an odd Loday-Leibniz bracket on sections.
result Sections of inner Q-algebroids come equipped with an odd Loday-Leibniz bracket.
Study first-order locally convex Lie algebroids in Bastiani calculus.
problem Define and study first-order locally convex Lie algebroids.
method Define sheaves of Lie algebroid forms and morphisms, prove category structure, study representations and cohomology.
result First-order locally convex Lie algebroids form a category and have applications in Lie II theorems.
Homotopy invariance proven for twisted Lie algebroid cohomologies.
problem Homotopy invariance of twisted Lie algebroid cohomologies.
method Lie algebroid homotopy-invariance proof with examples.
result Comprehensive systematic way to compute twisted Lie algebroid cohomologies.
We study the extension of a Lie algebroid by a representation up to homotopy, including semidirect products of a Lie algebroid with such representations. The extension results in a higher Lie algebroid. We give exact Courant algebroids and string Lie 2-algebras as examples of such extensions. We then apply this to obta…
The word `double' was used by Ehresmann to mean `an object X in the category of all X'. Double categories, double groupoids and double vector bundles are instances, but the notion of Lie algebroid cannot readily be doubled in the Ehresmann sense, since a Lie algebroid bracket cannot be defined diagrammatically. In this…
Integrates transitive Lie algebroids to Lie groupoids, explaining obstructions.
problem Integrating transitive Lie algebroids to Lie groupoids.
method Geometric explanation and explicit construction of integration, with obstructions considered.
result Obstructions explained and integration constructed when they vanish.
This work explores higher-order algebroids via vector bundle comorphisms.
problem Generalizing concepts of higher-order tangent bundles and Lie algebroids.
method Introduces a vector bundle comorphism approach to describe higher-order algebroids.
result Establishes a one-to-one correspondence between higher-order Lie algebroids and specific algebraic structures.
In this paper, first we give a detailed study on the structure of a transitive Lie 2-algebroid and describe a transitive Lie 2-algebroid using a morphism from the tangent Lie algebroid TM to a strict Lie 3-algebroid constructed from derivations. Then we introduce the notion of a quadratic Lie 2-algebroid and define its…
New algebraic structures for Lie 2-algebroids and their connections.
problem Characterizing and understanding Lie 2-algebroids and their structures.
method Construction of homotopy Poisson algebra and introduction of Dirac structures.
result One-to-one correspondence between Manin triples and Lie 2-bialgebroids.
A hom-Lie algebroid is a vector bundle together with a Lie algebroid like structure which is twisted by a homomorphism. In this paper we use the idea of representations up to homotopy of Lie algebroids to construct a same structure for hom-Lie algebroids and we will explain how representations up to homotopy of length …
Study cohomology of Lie algebroids over algebraic spaces using derived functors and Čech cohomology.
problem Cohomology of Lie algebroids over algebraic spaces.
method Express hypercohomology as a derived functor, simplify via Čech cohomology, define Hochschild hypercohomology, present Hochschild-Kostant-Rosenberg theorem.
result Presented a version of Hochschild-Kostant-Rosenberg theorem for locally free Lie algebroids.
This paper provides an alternative, much simpler, definition for Li-Bland's LA-Courant algebroids, or Poisson Lie 2-algebroids, in terms of split Lie 2-algebroids and self-dual 2-representations. This definition generalises in a precise sense the characterisation of (decomposed) double Lie algebroids via matched pairs …