On the Van Est homomorphism for Lie groupoids

Similar documents
Lie theory of multiplicative structures.

Integrating exact Courant Algebroids

Lie groupoids and Lie algebroids

EXERCISES IN POISSON GEOMETRY

Lie groupoids, cyclic homology and index theory

Atiyah classes and homotopy algebras

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

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

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

LIE GROUPOIDS AND LIE ALGEBROIDS LECTURE NOTES, FALL Contents 1. Lie groupoids Definitions 30

LIE ALGEBROIDS AND POISSON GEOMETRY, OLIVETTI SEMINAR NOTES

Representing Representations up to Homotopy

Multiplicative geometric structures

Cohomology jump loci of local systems

Integrability and Associativity

arxiv: v1 [math.dg] 3 Jan 2009

On the holonomy fibration

Deformations of coisotropic submanifolds in symplectic geometry

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

Poisson geometry of b-manifolds. Eva Miranda

THE MODULAR CLASS OF A LIE ALGEBROID COMORPHISM

ANNALESDEL INSTITUTFOURIER

Poisson Lie 2-groups and Lie 2-bialgebras

A formality criterion for differential graded Lie algebras

Homotopy Lie Algebroids

THE DIAGONAL COHOMOLOGY CLASS OF VERTICAL BUNDLES

Determinant Bundle in a Family of Curves, after A. Beilinson and V. Schechtman

Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley

Lecture notes on groupoid cohomology

HOLONOMY GROUPOIDS OF SINGULAR FOLIATIONS

Eva Miranda. UPC-Barcelona. (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February

Reduction of Symplectic Lie Algebroids by a Lie Subalgebroid and a Symmetry Lie Group

COMPUTING THE POISSON COHOMOLOGY OF A B-POISSON MANIFOLD

INTEGRABILITY OF POISSON BRACKETS arxiv:math/ v2 [math.dg] 23 Dec 2003

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

Representations up to homotopy and cohomology of classifying spaces

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

The Atiyah bundle and connections on a principal bundle

Deformations of Coisotropic Submanifolds of Jacobi Manifolds

The BRST complex for a group action

Constant symplectic 2-groupoids

Cyclic homology of deformation quantizations over orbifolds

We then have an analogous theorem. Theorem 1.2.

Quasi-Poisson structures as Dirac structures

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

Integration of Lie algebroid comorphisms

1 Hochschild Cohomology and A : Jeff Hicks

arxiv: v1 [math.dg] 2 Jan 2019

arxiv:math.dg/ v2 24 Oct 2002

Derivations and differentials

MODULAR VECTOR FIELDS AND BATALIN-VILKOVISKY ALGEBRAS

Ω X generated locally in each adapted coordinate neighborhood as before by Ω and the forms

1. Classifying Spaces. Classifying Spaces

Stable generalized complex structures

Q-ALGEBROIDS AND THEIR COHOMOLOGY. Rajan Amit Mehta

Deligne s Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities

GEOMETRIC BRST QUANTIZATION

arxiv: v2 [math.dg] 24 Apr 2018

On the problem of gauge theories in locally covariant QFT

OVERVIEW OF SPECTRA. Contents

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

arxiv: v2 [math.dg] 19 Aug 2017

Groupoids and Orbifold Cohomology, Part 2

Dolbeault cohomology and. stability of abelian complex structures. on nilmanifolds

Group Actions and Cohomology in the Calculus of Variations

Dirac Structures on Banach Lie Algebroids

Geometry and Dynamics of singular symplectic manifolds. Session 9: Some applications of the path method in b-symplectic geometry

Tangent Categories. David M. Roberts, Urs Schreiber and Todd Trimble. September 5, 2007

THE MOMENTUM MAP IN POISSON GEOMETRY

Locally conformal Dirac structures and infinitesimal automorphisms

THE MCKEAN-SINGER FORMULA VIA EQUIVARIANT QUANTIZATION

arxiv: v1 [math.ra] 15 Dec 2016

CHARACTERISTIC CLASSES

Realization problems in algebraic topology

A duality on simplicial complexes

Sheaves of Lie Algebras of Vector Fields

THE STEENROD ALGEBRA. The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things.

On the Twisted KK-Theory and Positive Scalar Curvature Problem

Bogdan Balcerzak and Jan Kubarski

Lie 2-algebras and Higher Gauge Theory. Danny Stevenson Department of Mathematics University of California, Riverside

Math 550 / David Dumas / Fall Problems

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

A homotopy theorist looks at DFT

The Riemann-Roch Theorem

Generalized complex geometry and topological sigma-models

A Primer on Homological Algebra

arxiv:math/ v2 [math.qa] 21 Nov 2002

Cup product and intersection

Normal forms in Poisson geometry

A BRIEF INTRODUCTION TO DIRAC MANIFOLDS

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY

Abel, Jacobi and the double homotopy fiber

Workshop on higher structures December 2016

arxiv:math/ v1 [math.at] 23 Sep 2005

THE GUTZWILLER TRACE FORMULA TORONTO 1/14 1/17, 2008

LECTURE 26: THE CHERN-WEIL THEORY

Conformal blocks for a chiral algebra as quasi-coherent sheaf on Bun G.

VB-groupoids cocycles and their applications to multiplicative structures

ON LIFTS OF SOME PROJECTABLE VECTOR FIELDS ASSOCIATED TO A PRODUCT PRESERVING GAUGE BUNDLE FUNCTOR ON VECTOR BUNDLES

Differentiable Stacks, Gerbes, and Twisted K-Theory. Ping Xu, Pennsylvania State University

Transcription:

Fields Institute, December 13, 2013

Overview Let G M be a Lie groupoid, with Lie algebroid A = Lie(G) Weinstein-Xu (1991) constructed a cochain map VE: C (G) C (A) from smooth groupoid cochains to the Chevalley-Eilenberg complex of the Lie algebroid A of G.

Overview Let G M be a Lie groupoid, with Lie algebroid A = Lie(G) Weinstein-Xu (1991) constructed a cochain map VE: C (G) C (A) from smooth groupoid cochains to the Chevalley-Eilenberg complex of the Lie algebroid A of G. Crainic (2003) proved a Van Est Theorem for this map.

Overview Let G M be a Lie groupoid, with Lie algebroid A = Lie(G) Weinstein-Xu (1991) constructed a cochain map VE: C (G) C (A) from smooth groupoid cochains to the Chevalley-Eilenberg complex of the Lie algebroid A of G. Crainic (2003) proved a Van Est Theorem for this map. Weinstein, Mehta (2006), and Abad-Crainic (2008, 2011) generalized to VE: W, (G) W, (A) for suitably defined Weil algebras.

Overview Applications Foliation theory Integration of (quasi-)poisson manifolds and Dirac structures Multiplicative forms on groupoids (Mackenzie-Xu, Bursztyn-Cabrera-Ortiz) Index theory (Posthuma-Pflaum-Tang) Lie pseudogroups and Spencer operators (Crainic-Salazar-Struchiner),

Overview Applications Foliation theory Integration of (quasi-)poisson manifolds and Dirac structures Multiplicative forms on groupoids (Mackenzie-Xu, Bursztyn-Cabrera-Ortiz) Index theory (Posthuma-Pflaum-Tang) Lie pseudogroups and Spencer operators (Crainic-Salazar-Struchiner), Using the Fundamental Lemma of homological perturbation theory, we ll give a simple construction of VE (and its properties).

Lie groupoid cohomology Let G M be a Lie groupoid over M G. m 0 g m1. Multiplication (g 1, g 2 ) g 1 g 2 defined for composable arrows: ( ) ( g 1 g 2 g 1 g 2 m 0 m1 m2 m 0 m2 ).

Lie groupoid cohomology Let G M be a Lie groupoid over M G. m 0 g m1. Multiplication (g 1, g 2 ) g 1 g 2 defined for composable arrows: ( ) ( g 1 g 2 g 1 g 2 m 0 m1 m2 m 0 m2 ). Examples Lie group G pt Pair groupoid Pair(M) = M M M Fundamental groupoid Π(M) M Foliation groupoid(s), e.g., Π F (M) M Gauge groupoids of principal bundles Action groupoids K M M Groupoids associated with hypersurfaces

Lie groupoid cohomology Let B p G be the manifold of p-arrows (g 1,..., g p ): g 1 g 2 g p m 0 m1 m2 m p It is a simplicial manifold, with face maps i : B p G B p 1 G, i = 0,..., p removing m i and degeneracies ɛ i : B p G B p+1 G repeating m i. For example 1 ( m 0 g 1 m1 g 2 m2 ) ( g p g 1 g 2 m p = m 0 m2 g p m p ).

Lie groupoid cohomology Groupoid cochain complex: C (G) := C (B G) with differential p+1 δ = ( 1) i i : C (B p G) C (B p+1 G) i=0 and algebra structure C p (G) C p (G) C p+p (G), f f = pr f (pr ) f, where pr, pr are the front face and back face projections.

Lie groupoid cohomology Groupoid cochain complex: C (G) := C (B G) with differential p+1 δ = ( 1) i i : C (B p G) C (B p+1 G) i=0 and algebra structure C p (G) C p (G) C p+p (G), f f = pr f (pr ) f, where pr, pr are the front face and back face projections. Variations: Normalized subcomplex C (G): kernel of degeneracy maps ɛ i. More generally, with coefficients in G-modules S M. C (G) M := C (B G) M, the germs along M B p G. Extends to double complex W, (G) := Ω (B G).

Lie groupoid cohomology Example (Alexander-Spanier complex) C (Pair(M)) M = C (M p+1 ) M p+1 (δf )(m 0,..., m p+1 ) = ( 1) i f (m 0,..., m i,..., m p+1 ) i=0

Lie algebroid cohomology Let A M be a Lie algebroid, with anchor a: A TM and bracket [, ] A on Γ(A). Thus [X, fy ] = f [X, Y ] + (a(x )f ) Y.

Lie algebroid cohomology Let A M be a Lie algebroid, with anchor a: A TM and bracket [, ] A on Γ(A). Thus [X, fy ] = f [X, Y ] + (a(x )f ) Y. Examples Lie algebra g Tangent bundle TM Tangent bundle to foliation T F M TM Atiyah algebroid of principal bundle Cotangent Lie algebroid of Poisson manifold Action Lie algebroids k M Lie algebroids associated with hypersurfaces...

Lie algebroid cohomology The Chevalley-Eilenberg complex is C (A) = Γ( A ) with differential (d CE φ)(x 0,..., X p ) p = ( 1) i a(x i )φ(x 0,..., X i,..., X p ) i=0 + i<j ( 1) i+j φ([x i, X j ], X 0,..., X i,..., X j,..., X p ) and with product the wedge product.

Lie algebroid cohomology The Chevalley-Eilenberg complex is C (A) = Γ( A ) with differential (d CE φ)(x 0,..., X p ) p = ( 1) i a(x i )φ(x 0,..., X i,..., X p ) i=0 + i<j ( 1) i+j φ([x i, X j ], X 0,..., X i,..., X j,..., X p ) and with product the wedge product. More generally, with coefficients in A-modules S M. Extends to double complex W, (A) For A = T F M, get foliated de Rham complex Ω F (M).

From Lie groupoids to Lie algebroids A Lie groupoid G M has an associated Lie algebroid: Lie(G) = ν(m, G) anchor a: Lie(G) TM induced from Tt Ts : TG TM, [, ] from Γ(Lie(G)) = Lie(Γ(G)) where Γ(G) is the group of bisections.

From Lie groupoids to Lie algebroids A Lie groupoid G M has an associated Lie algebroid: Lie(G) = ν(m, G) anchor a: Lie(G) TM induced from Tt Ts : TG TM, [, ] from Γ(Lie(G)) = Lie(Γ(G)) where Γ(G) is the group of bisections. The Van Est map relates the corresponding cochain complexes.

From Lie groupoids to Lie algebroids A Lie groupoid G M has an associated Lie algebroid: Lie(G) = ν(m, G) anchor a: Lie(G) TM induced from Tt Ts : TG TM, [, ] from Γ(Lie(G)) = Lie(Γ(G)) where Γ(G) is the group of bisections. The Van Est map relates the corresponding cochain complexes. We ll explain this map using a double complex.

Van Est double complex Define a principal G-bundle E p G κ p B p G π p M where E p G G p+1 consists of elements (a 0,..., a p ) with common source: m a 0 a p a 1... m 0 m 1... m p

Van Est double complex.. and where π p and κ p take such an element m a 0 a p a 1... m 0 m 1... m p to the common source m, respectively to g m 0 1 m 1... with g i = a i a 1 i 1. g 2 g p m p

Van Est double complex.. and where π p and κ p take such an element m a 0 a p a 1... m 0 m 1... m p to the common source m, respectively to g m 0 1 m 1... g 2 g p m p with g i = a i a 1 g i 1. The groupoid action of an element m takes this element to m m a 0 g 1 a pg a 1 g 1... 1 m 0 m 1... m p

Van Est double complex View M as a simplicial manifold (with all M p = M). Then E p G π p M κ p B p G is a simplicial principal G-bundle. The map ι p : M E p G, m (m,..., m) is a simplicial inclusion; π p ι p = id.

Van Est double complex View M as a simplicial manifold (with all M p = M). Then E p G π p M κ p B p G is a simplicial principal G-bundle. The map ι p : M E p G, m (m,..., m) is a simplicial inclusion; π p ι p = id. Theorem There is a (canonical) simplicial deformation retraction from E G onto M. See: G. Segal, Classifying spaces and spectral sequences (1968).

Van Est double complex Since E G is a simplicial manifold, have cochain complex with cochain maps p+1 C (E G), δ = ( 1) i i, C (E G) π C (M ) κ i=0 C (B G) = C (G) The map h : C (E p+1 G) C (E p G), p (hf )(a 0,..., a p ) = ( 1) i+1 f (a 0,..., a i, m..., m) i=0 with m = π p (a 0,..., a p ), is a δ-homotopy: hδ + δh = 1 π ι.

Van Est double complex Let A = Lie(G). Since κ p : E p G B p G is a principal G-bundle, have T F E p G = π pa, and T F E G A is a morphism of simplicial Lie algebroids. Get double complex with d = ( 1) p d CE. (Ω q F (E pg), δ, d)

Van Est double complex Have morphism of double complexes Ω F (E G) π Γ( A ) = C (A ) where d = 0 on C (B G). κ C (B G) = C (G)

Van Est double complex Have morphism of double complexes Ω F (E G) π Γ( A ) = C (A ) where d = 0 on C (B G). κ C (B G) = C (G) Here π is a homotopy inverse to ι, with h as above.

Van Est double complex Have morphism of double complexes Ω F (E G) π Γ( A ) = C (A ) where d = 0 on C (B G). κ C (B G) = C (G) Here π is a homotopy inverse to ι, with h as above. Want to turn this into homotopy equivalence with respect to d + δ.

Perturbation theory Set-up: (C,, d, δ) be a double complex i : D C a sub-double complex r : C D a (bigraded) projection h : C, C 1, with hδ + δh = 1 i r.

Perturbation theory Set-up: (C,, d, δ) be a double complex i : D C a sub-double complex r : C D a (bigraded) projection h : C, C 1, with hδ + δh = 1 i r. Lemma (Fundamental Lemma of homological perturbation theory) Put i = (1 + hd) 1 i, r = r(1 + dh) 1, h = h(1 + dh) 1. Then i r is a cochain map for d + δ, and h (d + δ) + (d + δ)h = 1 i r. References: Gugenheim-Lambe-Stasheff, Brown, Crainic,...

Van Est map In our case, this shows that ι (1 + dh) 1 : Ω F(E G) Γ( A ) is a homotopy equivalence, with homotopy inverse (1 + hd) 1 π.

Van Est map In our case, this shows that ι (1 + dh) 1 : Ω F(E G) Γ( A ) is a homotopy equivalence, with homotopy inverse (1 + hd) 1 π. But we also have obvious homotopy equivalences Γ( A ) Γ( A ) Hence: Theorem The map ι 0 (1 + dh) 1 : Ω F (EG) Γ( A ) is a homotopy equivalence (for d + δ), with homotopy inverse π 0.

Van Est map In our case, this shows that ι (1 + dh) 1 : Ω F(E G) Γ( A ) is a homotopy equivalence, with homotopy inverse (1 + hd) 1 π. But we also have obvious homotopy equivalences Γ( A ) Γ( A ) Hence: Theorem The map ι 0 (1 + dh) 1 : Ω F (EG) Γ( A ) is a homotopy equivalence (for d + δ), with homotopy inverse π 0. Using κ : C (BG) Ω F (EG) we get the desired cochain map:

Van Est map Definition The composition VE := ι 0 (1 + dh) 1 κ : C (BG) Γ( A ) is called the Van Est map. Proposition This map agrees with the Van Est map of Weinstein-Xu.

Van Est map Equivalently, we may write VE = ι 0 (1 + dh) 1 κ as VE = ( 1) p ι 0 (d h) p κ p : C (B p G) Γ( p A ) corresponding to a zig-zag : E.g., for p = 2 C (B 2 G) κ 2 Ω 0 F (E 2G) h Ω 0 F (E 1G) d Ω 1 F (E 1G) h Ω 1 F (E 0G) d Ω 2 F (E 0G) ι 2 Γ( 2 A ).

Van Est map Let j p : B p G E p G be the inclusion as submanifold for which a 0 M.

Van Est map Let j p : B p G E p G be the inclusion as submanifold for which a 0 M. IF given retraction of G onto M along t-fibers

Van Est map Let j p : B p G E p G be the inclusion as submanifold for which a 0 M. IF given retraction of G onto M along t-fibers retraction of E p G onto j p (B p G) along κ p -fibers,

Van Est map Let j p : B p G E p G be the inclusion as submanifold for which a 0 M. IF given retraction of G onto M along t-fibers retraction of E p G onto j p (B p G) along κ p -fibers, homotopy operator k : Ω F (E G) Ω 1 F (E G) with kd + dk = 1 κ j.

Van Est map Let j p : B p G E p G be the inclusion as submanifold for which a 0 M. IF given retraction of G onto M along t-fibers retraction of E p G onto j p (B p G) along κ p -fibers, homotopy operator k : Ω F (E G) Ω 1 F (E G) with kd + dk = 1 κ j. integration j (1 + δk) 1 π : Γ( A ) C (B G).

Van Est map Let j p : B p G E p G be the inclusion as submanifold for which a 0 M. IF given retraction of G onto M along t-fibers retraction of E p G onto j p (B p G) along κ p -fibers, homotopy operator k : Ω F (E G) Ω 1 F (E G) with kd + dk = 1 κ j. integration j (1 + δk) 1 π : Γ( A ) C (B G). Recall that C (BG) M denotes germs. Corollary For any (local) Lie groupoid, is a quasi-isomorphism. VE: C (BG) M Γ( A )

Product structure Consider following situation: (C, d, δ) be a bigraded bidifferential algebra i : D C a sub-bidifferential algebra r : C D a projection preserving products h : C, C 1, with hδ + δh = 1 i r. Lemma (Gugenheim-Lambe-Stasheff) Suppose h is a twisted derivation h(ω ω ) = h(ω) (i r)(ω ) + ( 1) ω ω h(ω ), and that it satisfies the side conditions h h = 0 and h i = 0. Then i = (1 + hd) 1 i, r = r(1 + dh) 1 are morphisms of graded differential algebras (w.r.t. d + δ).

Product structure In our case, these conditions hold once we restrict to the normalized subcomplex C (B G) C (B G) (i.e. kernel of the degeneracy maps ɛ i ). Hence we obtain The map preserves products. VE: C (BG) Γ( A )

Van Est map The discussion also applies to the more general Van Est map In particular: VE: W p,q (G) = Ω q (B p G) W p,q (A). given a retraction of G along t-fibers there is a canonical integration map in opposite direction over the normalized complex, VE preserves products

Van Est map The discussion also applies to the more general Van Est map In particular: VE: W p,q (G) = Ω q (B p G) W p,q (A). given a retraction of G along t-fibers there is a canonical integration map in opposite direction over the normalized complex, VE preserves products

Van Est map Definition of the Weil algebra W(A) of a Lie algebroid: See Weinstein, Mehta (2008) or Abad-Crainic (2012).

Van Est map Definition of the Weil algebra W(A) of a Lie algebroid: See Weinstein, Mehta (2008) or Abad-Crainic (2012). Another definition: Note that Γ( p A ) are skew-symmetric multilinear functions on A M A M A (p factors).

Van Est map Definition of the Weil algebra W(A) of a Lie algebroid: See Weinstein, Mehta (2008) or Abad-Crainic (2012). Another definition: Note that Γ( p A ) are skew-symmetric multilinear functions on A M A M A (p factors). Definition W p,q (A) are the skew-symmetric multi-linear q-forms on A M A M A (p factors).

Van Est map Another definition: Kähler differentials. Start with any vector bundle A M.

Van Est map Another definition: Kähler differentials. Start with any vector bundle A M. R := A

Van Est map Another definition: Kähler differentials. Start with any vector bundle A M. R := A X 1 R = der(r). I.e., Γ(X1 R ) = der(γ(r)).

Van Est map Another definition: Kähler differentials. Start with any vector bundle A M. R := A X 1 R = der(r). I.e., Γ(X1 R ) = der(γ(r)). Ω 1 R = hom R(X 1 R, R).

Van Est map Another definition: Kähler differentials. Start with any vector bundle A M. R := A X 1 R = der(r). I.e., Γ(X1 R ) = der(γ(r)). Ω 1 R = hom R(X 1 R, R). Ω q R skew-symmetric R-multilinear q-forms

Van Est map Another definition: Kähler differentials. Start with any vector bundle A M. R := A X 1 R = der(r). I.e., Γ(X1 R ) = der(γ(r)). Ω 1 R = hom R(X 1 R, R). Ω q R skew-symmetric R-multilinear q-forms W,q (A) = Γ(Ω q R ).

Van Est map Another definition: Kähler differentials. Start with any vector bundle A M. R := A X 1 R = der(r). I.e., Γ(X1 R ) = der(γ(r)). Ω 1 R = hom R(X 1 R, R). Ω q R skew-symmetric R-multilinear q-forms W,q (A) = Γ(Ω q R ). W(A) has a de Rham differential of degree (0, 1).

Van Est map Another definition: Kähler differentials. Start with any vector bundle A M. R := A X 1 R = der(r). I.e., Γ(X1 R ) = der(γ(r)). Ω 1 R = hom R(X 1 R, R). Ω q R skew-symmetric R-multilinear q-forms W,q (A) = Γ(Ω q R ). W(A) has a de Rham differential of degree (0, 1). Any degree k derivation X of Γ(R) extends to a degree (k, 0) derivation L X of W(A). If A is a Lie algebroid, apply this to X = d CE.

Thanks.