Source author record

Ruggero Bandiera

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

9works
12topics
4close collaborators

Published work

9 publications

preprint2021arXiv

Polyvector fields and polydifferential operators associated with Lie pairs

We prove that the spaces tot⁡(Γ(Λ∙A∨⊗RTpoly⁡∙)\operatorname{tot}\big(Γ(Λ^\bullet A^\vee \otimes_R\mathcal{T}_{\operatorname{poly}}^{\bullet}\big) and tot⁡(Γ(Λ∙A∨)⊗RDpoly⁡∙)\operatorname{tot}\big(Γ(Λ^\bullet A^\vee)\otimes_R\mathcal{D}_{\operatorname{poly}}^{\bullet}\big) associated with a Lie pair (L,A)(L,A) each carry an L∞L_\infty algebra structure canonical up to an L∞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)(L,A). Consequently, both HCE⁡∙(A,Tpoly⁡∙)\mathbb{H}^\bullet_{\operatorname{CE}}(A,\mathcal{T}_{\operatorname{poly}}^{\bullet}) and HCE⁡∙(A,Dpoly⁡∙)\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).

preprint2020arXiv

Cumulants, Koszul brackets and homological perturbation theory for commutative BV∞BV_\infty and IBL∞IBL_\infty algebras

We explore the relationship between the classical constructions of cumulants and Koszul brackets, showing that the former are an expontial version of the latter. Moreover, under some additional technical assumptions, we prove that both constructions are compatible with standard homological perturbation theory in an appropriate sense. As an application of these results, we provide new proofs for the homotopy transfer Theorem for L∞L_\infty and IBL∞IBL_\infty algebras based on the symmetrized tensor trick and the standard perturbation Lemma, as in the usual approach for A∞A_\infty algebras. Moreover, we prove a homotopy transfer Theorem for commutative BV∞BV_\infty algebras in the sense of Kravchenko which appears to be new. Along the way, we introduce a new definition of morphism between commutative BV∞BV_\infty algebras.

preprint2018arXiv

Shifted derived Poisson manifolds associated with Lie pairs

We study the shifted analogue of the "Lie--Poisson" construction for L∞L_\infty algebroids and we prove that any L∞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)(L,A), the space tot⁡ΩA∙(Λ∙(L/A))\operatorname{tot}Ω^{\bullet}_A(Λ^\bullet(L/A)) admits a degree (+1)(+1) derived Poisson algebra structure with the wedge product as associative multiplication and the Chevalley--Eilenberg differential dABott⁡:ΩA∙(Λ∙(L/A))→ΩA∙+1(Λ∙(L/A))d_A^{\operatorname{Bott}}:Ω^{\bullet}_A(Λ^\bullet(L/A))\to Ω^{\bullet +1}_A(Λ^\bullet(L/A)) as unary L∞L_\infty bracket. This degree (+1)(+1) derived Poisson algebra structure on tot⁡ΩA∙(Λ∙(L/A))\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 H(ΩA∙(Λ∙(L/A)),dABott⁡)\mathbb{H}(Ω^{\bullet}_A(Λ^\bullet(L/A)),d_A^{\operatorname{Bott}}) admits a canonical Gerstenhaber algebra structure.

preprint2016arXiv

How to discretize the differential forms on the interval

We provide explicit quasi-isomorphisms between the following three algebraic structures associated to the unit interval: i) the commutative dg algebra of differential forms, ii) the non-commutative dg algebra of simplicial cochains and iii) the Whitney forms, equipped with a homotopy commutative and homotopy associative, i.e. C∞C_\infty, algebra structure. Our main interest lies in a natural `discretization' C∞C_\infty quasi-isomorphism φφ from differential forms to Whitney forms. We establish a uniqueness result that implies that φφ coincides with the morphism from homotopy transfer, and obtain several explicit formulas for φφ, all of which are related to the Magnus expansion. In particular, we recover combinatorial formulas for the Magnus expansion due to Mielnik and Plebański.

preprint2014arXiv

Nonabelian higher derived brackets

Let M be a graded Lie algebra, together with graded Lie subalgebras L and A such that as a graded space M is the direct sum of L and A, and A is abelian. Let D be a degree one derivation of M squaring to zero and sending L into itself, then Voronov's construction of higher derived brackets associates to D a L-infinity structure on A[-1]. It is known, and it follows from the results of this paper, that the resulting L-infinity algebra is a weak model for the homotopy fiber of the inclusion of differential graded Lie algebras i : (L,D,[, ]) -> (M,D,[, ]). We prove this fact using homotopical transfer of L-infinity structures, in this way we also extend Voronov's construction when the assumption A abelian is dropped: the resulting formulas involve Bernoulli numbers. In the last section we consider some example and some further application.

preprint2013arXiv

On coisotropic deformations of holomorphic submanifolds

We describe the differential graded Lie algebras governing Poisson deformations of a holomorphic Poisson manifold and coisotropic embedded deformations of a coisotropic holomorphic submanifold. In both cases, under some mild additional assumption, we show that the infinitesimal first order deformations induced by the anchor map are unobstructed. Applications include the analog of Kodaira stability theorem for coisotropic deformation and a generalization of McLean-Voisin's theorem about the local moduli space of lagrangian submanifold. Finally it is shown that our construction is homotopy equivalent to the homotopy Lie algebroid, in the cases where this is defined.

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.