Source author record

Mathieu Stiénon

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.DG math.QA math.AG hep-th math-ph math.AT math.MP math.SG

Catalog footprint

Research overview

9works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Dg manifolds, formal exponential maps and homotopy Lie algebras

This paper is devoted to the study of the relation between `formal exponential maps,' the Atiyah class, and Kapranov $L_\infty[1]$ algebras associated with dg manifolds in the $C^\infty$ context. Given a dg manifold, we prove that a `formal exponential map' exists if and only if the Atiyah class vanishes. Inspired by Kapranov's construction of a homotopy Lie algebra associated with the holomorphic tangent bundle of a complex manifold, we prove that the space of vector fields on a dg manifold admits an $L_\infty[1]$ algebra structure, unique up to isomorphism, whose unary bracket is the Lie derivative w.r.t. the homological vector field, whose binary bracket is a 1-cocycle representative of the Atiyah class, and whose higher multibrackets can be computed by a recursive formula. For the dg manifold $(T_X^{0,1}[1],\bar{\partial})$ arising from a complex manifold $X$ , we prove that this $L_\infty[1]$ algebra structure is quasi-isomorphic to the standard $L_\infty[1]$ algebra structure on the Dolbeault complex $Ω^{0,\bullet}(T^{1,0}_X)$ .

preprint2021arXiv

Polyvector fields and polydifferential operators associated with Lie pairs

We prove that the spaces $\operatorname{tot}\big(Γ(Λ^\bullet A^\vee \otimes_R\mathcal{T}_{\operatorname{poly}}^{\bullet}\big)$ and $\operatorname{tot}\big(Γ(Λ^\bullet A^\vee)\otimes_R\mathcal{D}_{\operatorname{poly}}^{\bullet}\big)$ associated with a Lie pair $(L,A)$ each carry an $L_\infty$ algebra structure canonical up to an $L_\infty$ isomorphism with the identity map as linear part. These two spaces serve, respectively, as replacements for the spaces of formal polyvector fields and formal polydifferential operators on the Lie pair $(L,A)$ . Consequently, both $\mathbb{H}^\bullet_{\operatorname{CE}}(A,\mathcal{T}_{\operatorname{poly}}^{\bullet})$ and $\mathbb{H}^\bullet_{\operatorname{CE}}(A,\mathcal{D}_{\operatorname{poly}}^{\bullet})$ admit unique Gerstenhaber algebra structures. Our approach is based on homotopy transfer and the construction of a Fedosov dg Lie algebroid (i.e. a dg foliation on a Fedosov dg manifold).

preprint2019arXiv

Fedosov dg manifolds associated with Lie pairs

Given any pair $(L,A)$ of Lie algebroids, we construct a differential graded manifold $(L[1]\oplus L/A,Q)$ , which we call Fedosov dg manifold. We prove that the cohomological vector field $Q$ constructed on $L[1]\oplus L/A$ by the Fedosov iteration method arises as a byproduct of the Poincaré--Birkhoff--Witt map established in arXiv:1408.2903. Finally, using the homological perturbation lemma, we establish a quasi-isomorphism of Dolgushev--Fedosov type: the differential graded algebras of functions on the dg manifolds $(A[1],d_A)$ and $(L[1]\oplus L/A,Q)$ are homotopy equivalent.

preprint2018arXiv

Shifted derived Poisson manifolds associated with Lie pairs

We study the shifted analogue of the "Lie--Poisson" construction for $L_\infty$ algebroids and we prove that any $L_\infty$ algebroid naturally gives rise to shifted derived Poisson manifolds. We also investigate derived Poisson structures from a purely algebraic perspective and, in particular, we establish a homotopy transfer theorem for derived Poisson algebras. As an application, we prove that, given a Lie pair $(L,A)$ , the space $\operatorname{tot}Ω^{\bullet}_A(Λ^\bullet(L/A))$ admits a degree $(+1)$ derived Poisson algebra structure with the wedge product as associative multiplication and the Chevalley--Eilenberg differential $d_A^{\operatorname{Bott}}:Ω^{\bullet}_A(Λ^\bullet(L/A))\to Ω^{\bullet +1}_A(Λ^\bullet(L/A))$ as unary $L_\infty$ bracket. This degree $(+1)$ derived Poisson algebra structure on $\operatorname{tot}Ω^{\bullet}_A(Λ^\bullet(L/A))$ is unique up to an isomorphism having the identity map as first Taylor coefficient. Consequently, the Chevalley--Eilenberg hypercohomology $\mathbb{H}(Ω^{\bullet}_A(Λ^\bullet(L/A)),d_A^{\operatorname{Bott}})$ admits a canonical Gerstenhaber algebra structure.

preprint2015arXiv

The Atiyah class of a dg-vector bundle

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 $L_Q$ as unary bracket, and the Atiyah cocycle corresponding to a torsion-free affine connection as binary bracket.

preprint2014arXiv

A Hopf algebra associated to a Lie pair

The quotient $L/A[-1]$ of a pair $A\hookrightarrow L$ of Lie algebroids is a Lie algebra object in the derived category $D^b(\mathscr{A})$ of the category $\mathscr{A}$ of left $\mathcal{U}(A)$ -modules, the Atiyah class $α_{L/A}$ being its Lie bracket. In this note, we describe the universal enveloping algebra of the Lie algebra object $L/A[-1]$ and we prove that it is a Hopf algebra object in $D^b(\mathscr{A})$ .

preprint2013arXiv

From Hypercomplex to Holomorphic Symplectic Structures

The notions of holomorphic symplectic structures and hypercomplex structures on Courant algebroids are introduced and then proved to be equivalent. These generalize hypercomplex triples and holomorphic symplectic 2-forms on manifolds respectively. Basic properties of such structures are established.

preprint2012arXiv

Exponential map and $L_\infty$ algebra associated to a Lie pair

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.

preprint2012arXiv

Matched pairs of Courant algebroids

We introduce the notion of matched pairs of Courant algebroids and give several examples arising naturally from complex manifolds, holomorphic Courant algebroids, and certain regular Courant algebroids. We consider the matched sum of two Dirac subbundles, one in each of two Courant algebroids forming a matched pair.

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.

Mathieu Stiénon

Research overview

Is this your work?

9 publications

Dg manifolds, formal exponential maps and homotopy Lie algebras

Polyvector fields and polydifferential operators associated with Lie pairs

Fedosov dg manifolds associated with Lie pairs

Shifted derived Poisson manifolds associated with Lie pairs

The Atiyah class of a dg-vector bundle

A Hopf algebra associated to a Lie pair

From Hypercomplex to Holomorphic Symplectic Structures

Exponential map and $L_\infty$ algebra associated to a Lie pair

Matched pairs of Courant algebroids

See the researcher in context

Building this map preview

Mathieu Stiénon

Research overview

Is this your work?

9 publications

Dg manifolds, formal exponential maps and homotopy Lie algebras

Polyvector fields and polydifferential operators associated with Lie pairs

Fedosov dg manifolds associated with Lie pairs

Shifted derived Poisson manifolds associated with Lie pairs

The Atiyah class of a dg-vector bundle

A Hopf algebra associated to a Lie pair

From Hypercomplex to Holomorphic Symplectic Structures

Exponential map and L∞L_\inftyL∞​ algebra associated to a Lie pair

Matched pairs of Courant algebroids

See the researcher in context

Building this map preview

Exponential map and $L_\infty$ algebra associated to a Lie pair