Homotopy Lie Algebroids

Similar documents
Deformations of Coisotropic Submanifolds of Jacobi Manifolds

Representing Representations up to Homotopy

Atiyah classes and homotopy algebras

LIE ALGEBROIDS AND POISSON GEOMETRY, OLIVETTI SEMINAR NOTES

Doubled Aspects of Vaisman Algebroid and Gauge Symmetry in Double Field Theory arxiv: v1 [hep-th] 15 Jan 2019

MODULAR VECTOR FIELDS AND BATALIN-VILKOVISKY ALGEBRAS

arxiv: v2 [math.dg] 19 Aug 2017

R-flux string sigma model and algebroid duality on Lie 3-algebroids

On the Van Est homomorphism for Lie groupoids

EXERCISES IN POISSON GEOMETRY

Lie groupoids and Lie algebroids

Deformations of coisotropic submanifolds in symplectic geometry

Iterated Differential Forms III: Integral Calculus

Lie theory of multiplicative structures.

370 INDEX AND NOTATION

1 Hochschild Cohomology and A : Jeff Hicks

Higher order Koszul brackets

Quasi-Poisson structures as Dirac structures

Deligne s. Kathryn Hess. Institute of Geometry, Algebra and Topology Ecole Polytechnique Fédérale de Lausanne

On algebraic index theorems. Ryszard Nest. Introduction. The index theorem. Deformation quantization and Gelfand Fuks. Lie algebra theorem

The BRST complex for a group action

DIVERGENCE OPERATORS AND ODD POISSON BRACKETS

Generalized complex geometry and topological sigma-models

A formality criterion for differential graded Lie algebras

Multiplicative geometric structures

DEFORMATIONS OF BATALIN VILKOVISKY ALGEBRAS

R_ -MATRICES, TRIANGULAR L_ -BIALGEBRAS, AND QUANTUM_ GROUPS. Denis Bashkirov and Alexander A. Voronov. IMA Preprint Series #2444.

A MARSDEN WEINSTEIN REDUCTION THEOREM FOR PRESYMPLECTIC MANIFOLDS

On the problem of gauge theories in locally covariant QFT

arxiv: v1 [math.dg] 3 Jan 2009

Poisson Manifolds Bihamiltonian Manifolds Bihamiltonian systems as Integrable systems Bihamiltonian structure as tool to find solutions

Q-ALGEBROIDS AND THEIR COHOMOLOGY. Rajan Amit Mehta

Poisson Lie 2-groups and Lie 2-bialgebras

Poisson Structures. concerning their singularities

-Chern-Simons functionals

Integrating exact Courant Algebroids

ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS

MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES

FOURIER - SATO TRANSFORM BRAID GROUP ACTIONS, AND FACTORIZABLE SHEAVES. Vadim Schechtman. Talk at

Dirac Structures on Banach Lie Algebroids

De Lecomte Roger à Monge Ampère From Lecomte Roger to Monge Ampère

Lecture 5 - Lie Algebra Cohomology II

Twisted Poisson manifolds and their almost symplectically complete isotropic realizations

HAMILTONIAN ACTIONS IN GENERALIZED COMPLEX GEOMETRY

Vertex Algebras and Algebraic Curves

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Chern characters via connections up to homotopy. Marius Crainic. Department of Mathematics, Utrecht University, The Netherlands

The BV-algebra of a Jacobi manifold

Dirac structures. Henrique Bursztyn, IMPA. Geometry, mechanics and dynamics: the legacy of J. Marsden Fields Institute, July 2012

Factorization algebras in quantum field theory Volume 2 (28 April 2016) Kevin Costello and Owen Gwilliam

Math 231b Lecture 16. G. Quick

Lie algebra cohomology

Contact manifolds and generalized complex structures

Transverse geometry. consisting of finite sums of monomials of the form

arxiv:math/ v2 [math.dg] 14 Mar 2003

Generalized Tian-Todorov theorems

Towards homotopical algebraic quantum field theory

Representations up to homotopy and cohomology of classifying spaces

THE MODULAR CLASS OF A LIE ALGEBROID COMORPHISM

A NEW PROOF OF THE EXISTENCE OF HIERARCHIES OF POISSON NIJENHUIS STRUCTURES *

The Geometry behind Nongeometric Fluxes

INTEGRATION OF TWISTED POISSON STRUCTURES ALBERTO S. CATTANEO AND PING XU

3d Gauge Theories, Symplectic Duality and Knot Homology I. Tudor Dimofte Notes by Qiaochu Yuan

A star product for the volume form Nambu-Poisson structure on a Kähler manifold.

T. DRUMMOND, M. JOTZ LEAN, AND C. ORTIZ

CHARLES-MICHEL MARLE. Calculus on Lie algebroids, Lie groupoids and Poisson manifolds

Reminder on basic differential geometry

A Very General Hamilton Jacobi Theorem

(communicated by Larry Lambe)

The Gauss-Manin Connection for the Cyclic Homology of Smooth Deformations, and Noncommutative Tori

Nigel Hitchin (Oxford) Poisson 2012 Utrecht. August 2nd 2012

Deformation Quantization and Reduction

On the Virtual Fundamental Class

DGLA STRUCTURE ON THE DEFORMATION COMPLEX OF LEIBNIZ PAIRS. E. Hoefel. Abstract

New Topological Field Theories from Dimensional Reduction of Nonlinear Gauge Theories

Locally conformal Dirac structures and infinitesimal automorphisms

Rational Homotopy and Intrinsic Formality of E n -operads Part II

The sh Lie structure of Poisson brackets in field theory

On the geometry of coisotropic submanifolds of Poisson manifolds

Lie n-algebras, supersymmetry, and division algebras

These slides available at joyce/talks.html

CHARACTERISTIC CLASSES

Generalized complex geometry

GEOMETRIC QUANTIZATION

From Poisson to Quantum Geometry

KOSZUL DUALITY COMPLEXES FOR THE COHOMOLOGY OF ITERATED LOOP SPACES OF SPHERES. Benoit Fresse

On the homotopy invariance of string topology

The symplectic structure on moduli space (in memory of Andreas Floer)

Higher Structures 1(1):87 121, HIGHER STRUCTURES. Poisson reduction as a coisotropic intersection

A spectral sequence for the homology of a finite algebraic delooping

A Hodge decomposition spectral sequence for E n-homology

Lie groupoids, cyclic homology and index theory

The Goldman-Millson theorem revisited

Poisson modules and degeneracy loci. Marco Gualtieri Brent Pym. March 21, 2012

Cohomology jump loci of local systems

D-manifolds and derived differential geometry

COHOMOLOGY OF FOLIATED FINSLER MANIFOLDS. Adelina MANEA 1

A classification of equivariant gerbe connections

Exercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1

C-PROJECTIVE COMPACTIFICATION; (QUASI )KÄHLER METRICS AND CR BOUNDARIES

Transcription:

Homotopy Lie Algebroids Luca Vitagliano Università di Salerno, Italy Geometry of PDEs and Integrability 14 18 October 2013, Teplice nad Bečvou, Czech Republic Luca Vitagliano Homotopy Lie Algebroids 1 / 22

Introduction Let A be a type of algebra. A homotopy A algebra structure on a cochain complex is a set of operations that satisfy the axioms of A only up to homotopy. Motivating Fact I Let (A, d) be a differential algebra of type A and f : (A, d) (V, δ) : g a pair of homotopy equivalences. The algebra structure in A can be transferred to V along (f, g), but the transferred structure is of the type A only up to higher homotopies. On the other hand homotopy algebras are homotopy invariant! Motivating Fact II Let (K, δ) be a differential algebra. (K, δ) is always homotopy equivalent to its cohomology (H(K, δ), 0) = H(K, δ) is a homotopy algebra. The latter structure characterizes the homotopy type of (K, δ). Example (Massey products) Let (K, δ) = (C (X), d) be singular cochains of a topological space X. The Massey products in H (X) are obtained transferring the cup product along a homotopy. Luca Vitagliano Homotopy Lie Algebroids 2 / 22

Motivations from PDEs The datum of a PDE is encoded by a diffiety, i.e., a countable dimensional manifold with an involutive distribution C. Horizontal cohomologies of C with suitable local coefficients contain important informations about the PDE (symmetries, conservation laws, etc.). Moreover, they can be interpreted, to some extent, as geometric structures on the space of solutions (i.e., vector fields, differential forms, etc.). Often, horizontal cohomologies of a diffiety possess canonical algebraic structures. However, the latter does not generically come from algebraic structures on cochains. Remark Usually algebraic structures on horizontal cohomologies come from homotopy algebraic structures on cochains. In particular, there is a homotopy Lie algebroid accounting for the Lie algebra structure on Krasil shchik cohomologies. The former comes with canonical left/right representations. Luca Vitagliano Homotopy Lie Algebroids 3 / 22

Motivations from Differential Geometry Lie algebroids encode salient features of foliations, complex structures, Poisson structures, Jacobi structures, etc. In some cases (singularieties, dimensions, etc.) what one really needs is the algebraic counterpart of a Lie algebroid: a Lie-Rinehart algebra. Of a special interest are representations of Lie algebroids: group actions, D- modules, deformations, etc. Even when higher homotopies are not manifestly involved, they may be relevant: Courant algebroids are Lie algebroids up to homotopy, the adjoint representation of a Lie algebroid is a representation up to homotopy, etc. Aim The aim of this talk is to present the first steps of a systematic study of homotopy Lie algebroids/homotopy Lie-Rinehart algebras and their representations, which encompass various results already scattered in literature [Abad & Crainic 09], [Mehta & Zambon 12], etc. The material presented is preliminary with respect to applications to PDEs. Luca Vitagliano Homotopy Lie Algebroids 4 / 22

Outline 1 Homotopy Lie-Rinehart Algebras 2 Left Representations of LR Algebras 3 Right Representations of LR Algebras Luca Vitagliano Homotopy Lie Algebroids 5 / 22

L algebras LR algebras DG and P from LR Homotopy Lie Algebras Let V be a graded vector space. Definition An L algebra structure in V is a family: λ k : V k V, of degree 2 k, skewsymmetric maps such that ±λ j+1 (λ i (x σ(1),..., x σ(i) ), x σ(i+1),..., x σ(i+j) ) = 0, i+j=k σ S i,j for all x 1,..., x k V, k N. Put λ 1 = δ, and λ 2 = [, ]. k = 1 δ 2 (x) = 0 k = 2 δ[x, y] = [δx, y] ± [x, δy] k = 3 [x, [y, z]] ± [y, [z, x]] ± [z, [x, y]] = δλ 3 (x, y, z) λ 3 (δx, y, z) λ 3 (x, δy, z) λ 3 (x, y, δz) L modules are defined in a similar way. One can work with degree 1, symmetric maps instead (use décalage): L [1] Luca Vitagliano Homotopy Lie Algebroids 6 / 22

L algebras LR algebras DG and P from LR Homotopy Lie-Rinehart Algebras A Lie-Rinehart algebra is a pair (A, L), where A is a commutative algebra over a field K, and L is an A-module, L is a Lie algebra acting on A by derivations, compatibility conditions hold: for a, b A and ξ, ζ L (aξ).b = a(ξ.b) and [ξ, aζ] = a[ξ, ζ] + (ξ.a)ζ. Definition [Kjeseth 01, up to décalage] An LR [1] algebra is a pair (A, L) where A is a graded commutative K-algebra, and L is an A-module, L is an L [1] algebra acting on A by derivations, compatibility conditions hold: for a, b A and ξ 1,..., ξ k L {aξ 1, ξ 2,..., ξ k 1 b} = ±a{ξ 1,..., ξ k 1 b}, {ξ 1,..., ξ k 1, aξ k } = ±a{ξ 1,..., ξ k } + {ξ 1,..., ξ k 1 a}ξ k. Luca Vitagliano Homotopy Lie Algebroids 7 / 22

L algebras LR algebras DG and P from LR Homotopy Lie-Rinehart Algebras Remark Kjeseth s definition is actually realized in nature : examples come from BRST, Lie algebroids, complex geometry, Poisson geometry, PDEs,... A systematic investigation shows that many standard constructions with Lie algebroids have an analogue in terms of LR algebras: associated CE and Gerstenhaber algebras, cohomologies of left/right modules, transformation Lie algebroid, Schouten-Nijenhuis calculus, derivative representations of Lie algebroids, right actions and BV algebras, BV algebras from Poisson manifolds, BV algebras from Jacobi manifold. Luca Vitagliano Homotopy Lie Algebroids 8 / 22

L algebras LR algebras DG and P from LR The CE and Schouten Algebras of an LR Algebra An LR algebra (A, L) determines: a homological derivation of Alt A (L, A), a Gerstenhaber algebra structure on Λ A L. Proposition An LR [1] algebra (A, L) determines: a homological derivation D = D 1 + D 2 + in Sym A (L, A) via: (D k ω)(ξ 1,..., ξ r+k ) := ±{ξ σ(1),..., ξ σ(k) ω(ξ σ(k+1),..., ξ σ(k+r) )} ±ω({ξ σ(1),..., ξ σ(k+1) }, ξ σ(k+2),..., ξ σ(k+r) ), ω Sym r A (L, A), ξ 1,..., ξ r+k L; a homotopy Gerstenhaber algebra structure on S A L. Luca Vitagliano Homotopy Lie Algebroids 9 / 22

L algebras LR algebras DG and P from LR More General L Algebroids Remark When L is projective and finitely generated, an LR [1] algebra structure on (A, L) is the same as a homological derivation of Sym A (L, A) descending to a derivation of A along the projection Sym A (L, A) A. Example (L algebroids over graded manifolds) A = C (M), with M a graded manifold, L = Γ(E), with E M a graded vector bundle. An LR [1] algebra structure on (A, L) is the same as a homological vector field D on E tangent to the 0 section. Luca Vitagliano Homotopy Lie Algebroids 10 / 22

Higher left linear connections Higher left Schouten-Nijenhuis Higher Left Linear Connections Let (A, L) be an LR algebra and P an A-module. A left (A, L)-connection in P is a K-linear map : L End K P such that: for a A, ξ L, p P aξ p = a ξ p and ξ (ap) = a ξ p + (ξ.a)p. is flat, and (P, ) is a left (A, L)-module if it is a left Lie module over L. Definition Let (A, L) be a LR [1] algebra and P an A-module. A left (A, L) connection in P is a family of K-multilinear, graded symmetric, degree 1 maps : L (k 1) End K P such that: for a A, ξ 1,..., ξ k 1 L, p P (aξ 1, ξ 2,..., ξ k 1 p) = ±a (ξ 1,..., ξ k 1 p), (ξ 1,..., ξ k 1 ap) = ±a (ξ 1,..., ξ k 1 p) + {ξ 1,..., ξ k 1 a}p. is flat, and (P, ) is a left (A, L)-module, if is a left L [1] module structure. Luca Vitagliano Homotopy Lie Algebroids 11 / 22

Higher left linear connections Higher left Schouten-Nijenhuis Cohomologies of Left LR Modules A left connection in P along an LR algebra determines an operator D in Alt A (L, P), and (D ) 2 = 0 if is flat. Proposition A left connection in P along an LR [1] algebra (A, L) determines an operator D = D 1 + D 2 + in Sym A (L, P) via higher CE formulas: (D k Ω)(ξ 1,..., ξ r+k 1 ) := ± (ξ σ(1),..., ξ σ(k 1) Ω(ξ σ(k),..., ξ σ(r+k 1) )) ±Ω({ξ σ(1),..., ξ σ(k) }, ξ σ(k+1),..., ξ σ(r+k 1) ), Ω Sym r A (L, P), ξ 1,..., ξ r+k 1 L, and (D ) 2 = 0 if is flat. Luca Vitagliano Homotopy Lie Algebroids 12 / 22

Higher left linear connections Higher left Schouten-Nijenhuis Connections Along L Algebroids Remark A (flat) left connection in P along a LR [1] algebra (A, L) is the same as a (homological) derivation D of Sym A (L, P) 1 subordinate to D, and 2 descending to a derivation of P along Sym A (L, P) P. Example (A, L) = (C (M), Γ(E)), with E M an L algebroid, P = Γ(V), with V M a vector bundle. A (flat) left (A, L)-connection in P is the same as a fiber-wise linear (homological) vector field D on E M V (or, equivalently, on E M V) which is 1 compatible with D along E M V E, and 2 tangent to the 0 section of E M V V. Luca Vitagliano Homotopy Lie Algebroids 13 / 22

Higher left linear connections Higher left Schouten-Nijenhuis Higher Left Schouten-Nijenhuis Calculus Let (A, L) be an LR algebra. For u, v Λ A L, let i u be the insertion operator in Alt A (L, A), and L u = [i u, d] the Lie derivative. Then [L u, i v ] = i [u,v] and [L u, L v ] = L [u,v] Proposition Let (A, L) be an LR [1] algebra, and (P, ) a left (A, L)-module. For u, u 1,..., u k S A L, let i u be the insertion operator in Sym A (L, P), and a higher Lie derivative. Then L (u 1,..., u k 1 ) = [[ [D k, i u 1 ] ], i uk 1 ] [L (u 1,..., u k 1 ), i uk ] = ±i {u1,...,u k }, and L is an L [1]-module structure on Sym A (L, P). Luca Vitagliano Homotopy Lie Algebroids 14 / 22

Higher right linear connections Higher right Schouten-Nijenhuis BV from higher right connections Higher Right Linear Connections Let (A, L) be an LR algebra and Q an A-module. A right (A, L)-connection in Q is a K-linear map : L End K Q such that: for a A, ξ L, q Q aξ q = ξ (aq) and ξ (aq) = a ξ q (ξ.a)q. is flat, and (Q, ) is a right (A, L)-module if it is a right Lie module over L. Definition Let (A, L) be a LR [1] algebra and Q and A-module. A right (A, L) connection in Q is a family of K-multilinear, graded symmetric, degree 1 maps : L (k 1) End K Q such that: for a A, ξ 1,..., ξ k 1 L, q Q (ξ 1,..., ξ k 2, aξ k 1 q) = ± (ξ 1,..., ξ k 1 aq) (ξ 1,..., ξ k 1 aq) = ±a (ξ 1,..., ξ k1 q) {ξ 1,..., ξ k 1 a}q. is flat, and (Q, ) is a left (A, L)-module, if is a right L [1] module structure. Luca Vitagliano Homotopy Lie Algebroids 15 / 22

Higher right linear connections Higher right Schouten-Nijenhuis BV from higher right connections Cohomologies of Right LR Modules A right connection in Q along an LR algebra determines an operator D in Λ A L A Q, and (D ) 2 = 0 if is flat. Proposition A right connection in Q along an LR [1] algebra (A, L) determines an operator D = D 1 + D 2 + in S A L A Q via higher Rinehart formulas: D k (ξ 1 ξ r+k 1 q) := ±ξ σ(1) ξ σ(r) (ξ σ(r+1),..., ξ σ(k+r 1) q) + ±{ξ σ(1),..., ξ σ(k) }ξ σ(k+1) ξ σ(k+r) q, ξ 1,..., ξ r+k 1 L, q Q, and (D ) 2 = 0 if is flat. Luca Vitagliano Homotopy Lie Algebroids 16 / 22

Higher right linear connections Higher right Schouten-Nijenhuis BV from higher right connections Higher Right Schouten-Nijenhuis Calculus Let (A, L) be an LR algebra. A right connection along (A, L) determines a right version of the Schouten-Nijenhuis calculus. Proposition Let (A, L) be an LR [1] algebra, and (Q, ) a right (A, L)-module. For u, u 1,..., u k S A L, let µ u be the multiplication operator in S A L A Q, and R (u 1,..., u k 1 ) = [[ [D k, µ u 1 ] ], µ uk 1 ] a higher right Lie derivative. Then [R (u 1,..., u k 1 ), µ uk ] = µ {u1,...,u k }, and R is a right L [1]-module structure on S A L A Q. Luca Vitagliano Homotopy Lie Algebroids 17 / 22

Higher right linear connections Higher right Schouten-Nijenhuis BV from higher right connections BV Algebras from Right Lie-Rinehart Modules A BV algebra is a graded commutative, unital algebra B with a degree 1 homological differential operator of order 2. (a, b) := [[, a], b](1) equips B with a Gerstenhaber algebra structure (up to décalage). Remark Let (A, L) be an LR algebra. There is no canonical right connection in A. Proposition [Huebschmann 99], [Xu 99] Let (A, L) be a Lie-Rinehart algebra, and an (A, L)-module structure on A. The homological operator D equips Λ AL with a BV algebra structure. The BV bracket coincides with the canonical Gerstenhaber brackets in Λ A L. Luca Vitagliano Homotopy Lie Algebroids 18 / 22

Higher right linear connections Higher right Schouten-Nijenhuis BV from higher right connections BV Algebras from Right LR Modules Definition [Kravchenko 00] A BV algebra is a graded commutative, unital algebra B with a degree 1 homological operator. (a 1, a 2,..., a k ) := [ [[, a 1 ], a 2 ], a k ](1) equip B with a homotopy Gerstenhaber algebra structure. Remark Let (A, L) be an LR algebra. There is no canonical right connection in A. Proposition Let (A, L) be an LR [1] algebra, and an (A, L)-module structure on A. The homological operator D equips S A L with a BV algebra structure. The higher Koszul brackets coincide with the canonical homotopy Gerstenhaber brackets in S A L. Luca Vitagliano Homotopy Lie Algebroids 19 / 22

Higher right linear connections Higher right Schouten-Nijenhuis BV from higher right connections BV Algebras in Higher Poisson Geometry Let M be a Poisson manifold. Then T M M is a Lie algebroid, and there is a canonical, flat, right connection along the LR algebra (C (M), Ω 1 (M)) in C (M): for f, g C (M) [df, dg] = d{f, g} and df g = {f, g} Example Let M be a higher Poisson manifold, i.e., a graded manifold with a degree 2, homological multivector field P. Then T [ 1]M M is an L [1] algebroid, and there is a canonical, flat, right connection along the LR algebra (C (M), Ω 1 (M)) in C (M): for f 1,..., f k, g C (M) {df 1,..., df k } = ±d{f 1,..., f k } P, (df 1,..., df k 1 g) = {f 1,..., f k 1, g} P. Consequently, Ω(M) is a BV algebra! Luca Vitagliano Homotopy Lie Algebroids 20 / 22

Higher right linear connections Higher right Schouten-Nijenhuis BV from higher right connections A Bibliographic Reference L. V., Representations of Homotopy Lie-Rinehart Algebras, e-print: arxiv:1304.4353. Luca Vitagliano Homotopy Lie Algebroids 21 / 22

Higher right linear connections Higher right Schouten-Nijenhuis BV from higher right connections Thank you! Luca Vitagliano Homotopy Lie Algebroids 22 / 22