Groupoids and Orbifold Cohomology, Part 2
|
|
- Amice Nancy May
- 5 years ago
- Views:
Transcription
1 Groupoids and Orbifold Cohomology, Part 2 Dorette Pronk (with Laura Scull) Dalhousie University (and Fort Lewis College) Groupoidfest 2011, University of Nevada Reno, January 22, 2012
2 Motivation Orbifolds: Spaces which are locally of the form R n /G for a finite group G. Equivariant homotopy theory: Homotopy theory for G-spaces, for a fixed group G. What can equivariant homotopy theory tell us about orbifold homotopy theory?
3 Outline Orbifolds and Groupoids - An Overview Which Cohomology? Bredon Cohomology Bredon Cohomology for Orbifolds Twisted/Local Coefficients Orbifolds
4 What is an orbifold? An orbifold is a paracompact Hausdorff space with an equivalence class of orbifold atlases. Local charts are of the form U = Ũ/G for some finite group acting on an open set Ũ Rn via diffeomorphisms, ρ G : G Diffeo (Ũ), U V G and they are locally compatible. We denote an orbifold chart by (Ũ, G, ρ G, ϕ).
5 Examples 1 Manifolds (no non-trivial isotropy groups) 2 A global quotient of a properly discontinuous group G acting on a manifold M Eg M = S 1 with G = Z/2 action The orbifold consists of the orbit space M/G together with the data about the isotropy groups.
6 Examples 3 (Thurston) The teardrop orbifold: Z/n e 4 When a compact Lie group L acts on a manifold X with finite isotropy groups, the orbit space X/L is an orbifold. Such orbifolds are called representable. 5 The teardrop orbifold can be obtained by S 1 acting on S 3 via λ[z 1, z 2 ] = [λ n z 1, z 2 ]
7 Describing Manifolds with Groupoids A manifold is a smooth topological equivalence relation identifications objects M
8 Describing Orbifolds with Groupoids Introduce symmetries into this picture: The notion of groupoid generalizes both the notion of a group and the notion of an equivalence relation,
9 Smooth Groupoids A Lie groupoid G is a groupoid in the category of smooth manifolds π 1 i G mor s,gobj,t G mor m G mor G mor π 2 s u t G obj such that the source and target maps are submersions, and all the usual equations are satisfied.
10 Lie Groupoid Examples Manifolds 1: G obj = G mor = M with all structure maps identities. Manifolds 2: G obj is the disjoint union of charts and G mor is the disjoint union of all the intersections of pairs of charts (with source and target maps the appropriate embeddings). Lie groups: G obj = { } and G mor = L, a Lie group. : for a Lie group L acting on a manifold M, there is a translation groupoid L M, L L M µ 1 M L M (ι,a) L M a M π 2
11 Orbifolds and Smooth Groupoids Example 1: a Global Quotient Orbifold Take X = S 1 with the Z/2-action by reflection. reflection id morphisms objects
12 Example 2: a Single Chart Orbifold We model an order 3 cone with 2/3 1/3 morphisms id objects
13 Example 3: an orbifold atlas with several charts For the teardrop orbifold we obtain: 2/3 1/3 morphisms id X id objects
14 Equivalent atlases give rise to Morita equivalent groupoids. Morita equivalence of smooth groupoids can be described in terms of smooth essential equivalences between groupoids.
15 Essential Equivalences, I A (smooth) essential equivalence φ: G H satisfies the following two properties: 1 (Essentially surjective) is a surjective submersion, G obj Hobj H mor H obj G H obj obj φ may not be onto the objects of H, but every object in H is isomorphic to an object in the image of G.
16 Essential Equivalences, II 2 (Fully faithful) G mor (s,t) G obj G obj φ H mor (s,t) φ φ H obj H obj is a pullback, G H The local isotropy structure is preserved.
17 Morita Equivalent Groupoids Two Lie groupoids G and H are called Morita equivalent if there exists a third Lie groupoid K with essential equivalences ϕ ψ G K H. This is an equivalence relation on groupoids, because essential equivalences of Lie groupoids are stable under weak pullbacks (iso-comma-squares).
18 Morita Equivalent Presentations, I We can describe the same orbifold with different groupoids (corresponding to equivalent atlases): A line segment can be presented as morphisms objects
19 Morita Equivalent Presentations, II It can also be presented as morphisms objects
20 Morita Equivalent Presentations, III Or as: morphisms objects
21 Morita Equivalent Presentations, IV Here is our order 3 cone again. 2/3 1/3 morphisms id objects
22 Morita Equivalent Presentations, IV And here is another presentation 2/3 2/3 2/3 2/3 1/3 1/3 1/3 1/3 id id morphisms id id objects
23 Orbifold Groupoids An orbifold groupoid is a groupoid which is Morita equivalent to a proper étale groupoid. A groupoid G is étale when both maps s, t : G mor G obj are étale; A Lie groupoid G is Morita equivalent to an étale groupoid if and only if all its isotropy groups are discrete; A groupoid G is proper when the map (s, t): G mor G obj G obj is proper. An orbifold is representable precisely when its atlas groupoid is Morita equivalent to a translation groupoid L M.
24 of Two translation groupoids are Morita equivalent if and only if they can be connected by a span of equivariant essential equivalences. Every equivariant essential equivalence G X H Y can be written as a composition of a quotient essential equivalence, G X G/K X/K for K G which acts freely on X and an inclusion essential equivalence, L Z H (H L Z ) for L H.
25 What have we learned so far? When we restrict ourselves to representable orbifolds, we may restrict ourselves to translation groupoids. Equivariant homotopy invariants are orbifold invariants iff they are invariant under the equivariant Morita equivalences G X G/K X/K for K G which acts freely on X; L Z H (H L Z ) for L H.
26 Which Cohomology? Bredon Cohomology Bredon Cohomology for Orbifolds Theories Equivariant cohomology comes in two flavours: Borel cohomology and Bredon cohomology. Let X be a G-space. Borel Cohomology: Let EG be a free contractible G-space. Then the equivariant cohomology of X (with coefficients in an abelian group A) is considered to be the ordinary cohomology of the orbit space EG G X (the Borel space). This is equal to the sheaf cohomology for G-sheaves on X with constant coefficients, i.e., the cohomology of the classifying space B(G X). This cohomology is Morita invariant, so there is a version of this type of equivariant cohomology for orbifolds.
27 Which Cohomology? Bredon Cohomology Bredon Cohomology for Orbifolds The Problem with Borel (Johann Leida) However, this homotopy theory does not tell the whole story: EG G X does not capture the G-homotopy type of X. Let D be the disk with a smooth fixed-point free action of I, the icosahedral group. The map D {pt} is an equivariant map into the point orbifold with isotropy group I. This map is a non-equivariant homotopy equivalence, which gives rise to a homotopy equivalence EI I D BI However, it is clear that we do not want to consider I D and I {pt} as the same orbifold (even up to homotopy).
28 Which Cohomology? Bredon Cohomology Bredon Cohomology for Orbifolds Bredon Cohomology of G-Spaces Let G be a Lie group or a topological group, and X a G-space. Idea Study the homotopy of X in terms of its diagram of fixed point subspaces X H := {x; h x = x for all h H} for all closed subgroups H G, with arrows given by natural inclusions and the action of G. This diagram is indexed by the orbit category O G of homogeneous G-spaces G/H.
29 Which Cohomology? Bredon Cohomology Bredon Cohomology for Orbifolds Properties of Bredon Cohomology, I For Bredon cohomology, the coefficients are given by a functor O op G Ab. Bredon cohomology is more general than Borel cohomology: Bredon cohomology agrees with Borel cohomology when the coefficient functor is constant on the objects of O G.
30 Which Cohomology? Bredon Cohomology Bredon Cohomology for Orbifolds Properties of Bredon Cohomology, II Bredon cohomology has a number of useful properties: it is related to K-theory and can be used to prove a Riemann-Roch theorem; it is more closely related to Chen-Ruan cohomology than Borel cohomology; it is the right cohomology for equivariant obstruction theory; it gives rise to an equivariant Serre spectral sequence for equivariant fibrations.
31 Which Cohomology? Bredon Cohomology Bredon Cohomology for Orbifolds The Orbit Category Definition The orbit 2-category O G has Objects: G-sets G/H, for H G; Arrows: G-maps G/H G/K. Note: for a G-space X, a G-map ϕ: G/H X is determined by x = ϕ(eh); moreover, x X H. O G (G/H, G/K ) = (G/K ) H is a topological space. 2-Cells: homotopy classes of paths. Definition The homotopy orbit category ho G is the category of orbit types G/H, with homotopy classes (i.e., connected components) of G-equivariant morphisms as arrows.
32 Which Cohomology? Bredon Cohomology Bredon Cohomology for Orbifolds Equivariant Coefficient Systems A G-space X gives rise to a functor Φ X : O op G Spaces, Φ X (G/H) = Map G (G/H, X) = X H. An equivariant coefficient system (with constant coefficients) is a functor ho op G Ab.
33 Which Cohomology? Bredon Cohomology Bredon Cohomology for Orbifolds Bredon Cohomology There is an equivariant chain complex: C (X)(G/H) = C (X H /W 0 H) where W 0 H is the identity component of the Weyl group WH = NH/H. (This quotient is taken, because we want to consider singular simplices up to G-homotopies.) For each n, this gives a coefficient system C n (X). For any equivariant coefficient system A, there is a cochain complex: C n G (X; A) = Hom G(C n (X), A). The Bredon cohomology of X is the cohomology of this cochain complex: HBr (X; A) = H G (X; A) = H (CG (X; A))
34 Which Cohomology? Bredon Cohomology Bredon Cohomology for Orbifolds Example Let G = Z/2 act on S 1 by reflection in the line connecting the north and south pole. The orbit category O Z/2 : Coefficient systems: τ B ι A, such that τ 2 = 1 B and τι = ι. Examples: 1. B = A = Z and all structure maps are identities; σ 2. B = Z Z, A = Z, τ is interchange and ι is the diagonal; 3. B = 0 and A = Z. The resulting cohomology groups are: 1. the cohomology of the orbitspace; 2. the cohomology of S 1 ; 3. the cohomology of the fixed point set. G 0.
35 Which Cohomology? Bredon Cohomology Bredon Cohomology for Orbifolds Orbifold Bredon Cohomology Let ϕ: G X H Y be an essential equivalence of orbifold groupoids. This gives rise to a functor ϕ: ho G ho H. We need to show that for any coefficient system A on ho H there is a coefficient system ϕ A on ho G, such that HBr (X, ϕ A) = HBr (Y, A). We need to show that for any coefficient system B on ho G there is a coefficient system ϕ B on ho H, such that H Br (X, B) = H Br (Y, ϕ B).
36 Group Homomorphisms and Coefficient Systems Any group homomorphism ϕ: G H induces functors ho G Ab hoop G ϕ ϕ ϕ ho H Ab hoop H Proposition (Moerdijk Svensson) If φ: G H is any group homomorphism, then H H (H φ,g X, A) = H G (X, φ A) where H φ,g X = H X/(k, gx) (kφ(g), x). Proposition Let r X A be the restriction of the diagram A to ho G,X. If r X A = r X B then H O G (X, A) = H O G (X, B).
37 Which Cohomology? Bredon Cohomology Bredon Cohomology for Orbifolds Orbifold Bredon Cohomology Proposition For any orbifold Morita equivalence (f, ϕ): (X, G) (Y, H) and any orbifold system of coefficients A on ho G, the system ϕ A is equivalent to A, since r X ϕ ϕ A = r X A. Theorem Let X be an orbifold and G X a translation groupoid representation. For any orbifold system of coefficients A on ho G, HBr (X, [A]) is well-defined; that is, if H Y is another representation for X, there is a corresponding system A on ho H such that HBr (X, [A]) = HBr (Y, [A ]).
38 Twisted/Local Coefficients Orbifolds Local/Twisted Coefficients in Ordinary Cohomology Let (X, x 0 ) be a pointed space with local coefficients M (i.e., M may be viewed as a sheaf on X which is locally constant). Note that M x0 is a π-module, where π = π 1 (X, x 0 ) Let p : X X be the universal covering. Then X is a π-space. (Eilenberg) H n (X; M) = H n π( X; M 0 ). Application 1: classical obstruction theory (where one takes the coefficients to be the higher homotopy groups). Application 2: the Serre spectral sequence for fibrations of topological spaces.
39 Twisted/Local Coefficients Orbifolds Bredon cohomology with twisted coefficients was defined independently by [A. Mukherjee, G. Mukherjee, 1996] and [I. Moerdijk, J.A. Svensson, 1993]. The Mukherjees defined it for arbitrary topological groups, and generalized the method for constant coefficients, by using an equivariant fundamental groupoid as their new domain for coefficients, and creating an appropriate twisted system of singular chains. Moerdijk and Svensson defined it only for discrete groups, but they represented the Bredon cohomology of a G-space X as the cohomology of a category G (X). G. Mukherjee and N. Pandey (2002) showed that for discrete groups, the two cohomology theories are isomorphic.
40 Twisted/Local Coefficients Orbifolds Categories for Equivariant Bredon Cohomology, I Let X be a G-space where G is a topological group. Laura Scull and I have constructed a category p X : G (X) O G with a quotient px d : d G (X) ho G, such that for any A: ho op G Ab, H n (B d G (X), (pd X ) A) = HG n (X, A). Our proof is a straight generalization of the one given by Moerdijk and Svensson. G (X) is created out of all the singular simplices (and simplicial in the fixed point spaces X H with a Grothendieck construction over O G.
41 Orbifolds and Groupoids - An Overview Twisted/Local Coefficients Orbifolds Categories for Equivariant Bredon Cohomology, II The equivariant fundamental groupoid Π G (X) has a discretized version Π d G (X) which fits in a commutative diagram d G (X) vx d Π d G (X) p X q X ho G For twisted coefficients A: Π d G (X) Ab, H (B d G (X), (v X d ) A) = HG (X, A), where the latter is as defined by the Mukherjees.
42 Orbifolds and Groupoids - An Overview Twisted/Local Coefficients Orbifolds Theorem (P Scull) Any essential equivalence of orbifold groupoids (f, ϕ): G X H Y induces weak equivalences of categories d G (X) d H (Y ) and Πd G (X) Π d H (Y ) which fit into a commutative diagram G (X) d Π d G (X) ho G d H (Y ) Π d H (Y ) ho H and consequently give rise to isomorphisms in cohomology.
43 Twisted/Local Coefficients Orbifolds Ongoing/Future Work An orbifold Serre spectral sequence Orbifold obstruction theory Generalize these constructions to orbifold atlas groupoids (and possibly all orbifold groupoids). Connections with Chen Ruan cohomology and orbifold K -theory.
Twisted Equivariant Cohomology and Orbifolds
Twisted Equivariant Cohomology and Orbifolds Laura Scull Fort Lewis College joint with Dorette Pronk (Dalhousie University) July 2011 Outline Categories in Equivariant Homotopy Introduction to Equivariant
More informationTranslation Groupoids and Orbifold Cohomology
Canad. J. Math. Vol. 62 (3), 2010 pp. 614 645 doi:10.4153/cjm-2010-024-1 c Canadian Mathematical Society 2010 Translation Groupoids and Orbifold Cohomology Dorette Pronk and Laura Scull Abstract. We show
More informationA QUICK NOTE ON ÉTALE STACKS
A QUICK NOTE ON ÉTALE STACKS DAVID CARCHEDI Abstract. These notes start by closely following a talk I gave at the Higher Structures Along the Lower Rhine workshop in Bonn, in January. I then give a taste
More informationarxiv: v1 [math.ct] 20 Jan 2014
arxiv:1401.4772v1 [math.ct] 20 Jan 2014 Orbispaces and their Mapping Spaces via Groupoids: A Categorical Approach Vesta Coufal, Dorette Pronk, Carmen Rovi, Laura Scull, Courtney Thatcher 1. Introduction
More information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
More informationORBIFOLDS AND ORBIFOLD COHOMOLOGY
ORBIFOLDS AND ORBIFOLD COHOMOLOGY EMILY CLADER WEDNESDAY LECTURE SERIES, ETH ZÜRICH, OCTOBER 2014 1. What is an orbifold? Roughly speaking, an orbifold is a topological space that is locally homeomorphic
More informationLECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES
LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES 1. Proper actions Suppose G acts on M smoothly, and m M. Then the orbit of G through m is G m = {g m g G}. If m, m lies in the same orbit, i.e. m = g m for
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationBredon, Introduction to compact transformation groups, Academic Press
1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions
More informationGroupoid Representation Theory
Groupoid Representation Theory Jeffrey C. Morton University of Western Ontario Seminar on Stacks and Groupoids February 12, 2010 Jeffrey C. Morton (U.W.O.) Groupoid Representation Theory UWO Feb 10 1 /
More informationThe Ordinary RO(C 2 )-graded Cohomology of a Point
The Ordinary RO(C 2 )-graded Cohomology of a Point Tiago uerreiro May 27, 2015 Abstract This paper consists of an extended abstract of the Master Thesis of the author. Here, we outline the most important
More informationDORETTE PRONK AND LAURA SCULL
TRANSLATION GROUPOIDS AND ORBIFOLD BREDON COHOMOLOGY arxiv:0705.3249v1 [math.at] 22 May 2007 DORETTE PRONK AND LAURA SCULL Abstract. We show that the bicategory of (representable) orbifolds and good maps
More informationp,q H (X), H (Y ) ), where the index p has the same meaning as the
There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore
More informationSubgroups of Lie groups. Definition 0.7. A Lie subgroup of a Lie group G is a subgroup which is also a submanifold.
Recollections from finite group theory. The notion of a group acting on a set is extremely useful. Indeed, the whole of group theory arose through this route. As an example of the abstract power of this
More informationChern Classes and the Chern Character
Chern Classes and the Chern Character German Stefanich Chern Classes In this talk, all our topological spaces will be paracompact Hausdorff, and our vector bundles will be complex. Let Bun GLn(C) be the
More information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationLECTURES ON ORBIFOLDS AND GROUP COHOMOLOGY
LECTURES ON ORBIFOLDS AND GROUP COHOMOLOGY ALEJANDRO ADEM AND MICHELE KLAUS Abstract. The topics discussed in these notes include basic properties and definitions of orbifolds, and aspects of their cohomology
More informationCyclic homology of deformation quantizations over orbifolds
Cyclic homology of deformation quantizations over orbifolds Markus Pflaum Johann Wolfgang Goethe-Universität Frankfurt/Main CMS Winter 2006 Meeting December 9-11, 2006 References N. Neumaier, M. Pflaum,
More informationThe Differential Structure of an Orbifold
The Differential Structure of an Orbifold AMS Sectional Meeting 2015 University of Memphis Jordan Watts University of Colorado at Boulder October 18, 2015 Introduction Let G 1 G 0 be a Lie groupoid. Consider
More informationA homotopy theory of diffeological spaces
A homotopy theory of diffeological spaces Dan Christensen and Enxin Wu MIT Jan. 5, 2012 Motivation Smooth manifolds contain a lot of geometric information: tangent spaces, differential forms, de Rham cohomology,
More informationDifferentiable Stacks, Gerbes, and Twisted K-Theory. Ping Xu, Pennsylvania State University
Differentiable Stacks, Gerbes, and Twisted K-Theory Ping Xu, Pennsylvania State University 4 septembre 2017 2 Table des matières 1 Lie Groupoids and Differentiable Stacks 5 1.1 Groupoids.....................................
More informationA classification of equivariant gerbe connections
A classification of equivariant gerbe connections Byungdo Park (KIAS) joint work with Corbett Redden (LIU Post) Topology in Australia and South Korea IBS Center for Geometry and Physics 24.04.2018 Outline
More informationDifferential Equivariant Cohomology
Differential Equivariant Cohomology Corbett Redden Long Island University CW Post Union College Mathematics Conference December 3, 2016 Corbett Redden (LIU Post) Differential Equivariant Cohomology December
More informationPatrick Iglesias-Zemmour
Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries
More informationAFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.
More informationWe then have an analogous theorem. Theorem 1.2.
1. K-Theory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.
More informationGK-SEMINAR SS2015: SHEAF COHOMOLOGY
GK-SEMINAR SS2015: SHEAF COHOMOLOGY FLORIAN BECK, JENS EBERHARDT, NATALIE PETERNELL Contents 1. Introduction 1 2. Talks 1 2.1. Introduction: Jordan curve theorem 1 2.2. Derived categories 2 2.3. Derived
More informationVECTOR FIELDS AND FLOWS ON DIFFERENTIABLE STACKS
Theory and Applications of Categories, Vol. 22, No. 21, 2009, pp. 542 587. VECTOR FIELDS AND FLOWS ON DIFFERENTIABLE STACKS RICHARD HEPWORTH Abstract. This paper introduces the notions of vector field
More informationMath 440 Problem Set 2
Math 440 Problem Set 2 Problem 4, p. 52. Let X R 3 be the union of n lines through the origin. Compute π 1 (R 3 X). Solution: R 3 X deformation retracts to S 2 with 2n points removed. Choose one of them.
More informationLecture 4 Super Lie groups
Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is
More informationThe Fundamental Gerbe of a Compact Lie Group
The Fundamental Gerbe of a Compact Lie Group Christoph Schweigert Department of Mathematics, University of Hamburg and Center for Mathematical Physics, Hamburg Joint work with Thomas Nikolaus Sophus Lie
More informationEtale cohomology of fields by Johan M. Commelin, December 5, 2013
Etale cohomology of fields by Johan M. Commelin, December 5, 2013 Etale cohomology The canonical topology on a Grothendieck topos Let E be a Grothendieck topos. The canonical topology T on E is given in
More informationLifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions
Journal of Lie Theory Volume 15 (2005) 447 456 c 2005 Heldermann Verlag Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions Marja Kankaanrinta Communicated by J. D. Lawson Abstract. By
More information7. Homotopy and the Fundamental Group
7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
More informationFormal Homotopy Quantum Field Theories and 2-groups.
Formal Homotopy Quantum Field Theories and 2-groups. ex-university of Wales, Bangor; ex-univertiy of Ottawa; ex-nui Galway, still PPS Paris, then...? All have helped! June 21, 2008 1 Crossed Modules, etc
More informationTopological K-theory, Lecture 3
Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ
More informationEQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms
EQUIVARIANT COHOMOLOGY MARTINA LANINI AND TINA KANSTRUP 1. Quick intro Let G be a topological group (i.e. a group which is also a topological space and whose operations are continuous maps) and let X be
More informationDEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS
DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS NORBIL CORDOVA, DENISE DE MATTOS, AND EDIVALDO L. DOS SANTOS Abstract. Yasuhiro Hara in [10] and Jan Jaworowski in [11] studied, under certain
More information1 Motivation. If X is a topological space and x X a point, then the fundamental group is defined as. the set of (pointed) morphisms from the circle
References are: [Szamuely] Galois Groups and Fundamental Groups [SGA1] Grothendieck, et al. Revêtements étales et groupe fondamental [Stacks project] The Stacks Project, https://stacks.math.columbia. edu/
More informationC n.,..., z i 1., z i+1., w i+1,..., wn. =,..., w i 1. : : w i+1. :... : w j 1 1.,..., w j 1. z 0 0} = {[1 : w] w C} S 1 { },
Complex projective space The complex projective space CP n is the most important compact complex manifold. By definition, CP n is the set of lines in C n+1 or, equivalently, CP n := (C n+1 \{0})/C, where
More informationQUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS
QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a D-module of differential operators on a smooth stack and construct a symbol map when
More informationGeometry 2: Manifolds and sheaves
Rules:Exam problems would be similar to ones marked with! sign. It is recommended to solve all unmarked and!-problems or to find the solution online. It s better to do it in order starting from the beginning,
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationON THE HOMOTOPY TYPE OF LIE GROUPOIDS
ON THE HOMOTOPY TYPE OF LIE GROUPOIDS HELLEN COLMAN Abstract. We propose a notion of groupoid homotopy for generalized maps. This notion of groupoid homotopy generalizes the notions of natural transformation
More informationGrothendieck duality for affine M 0 -schemes.
Grothendieck duality for affine M 0 -schemes. A. Salch March 2011 Outline Classical Grothendieck duality. M 0 -schemes. Derived categories without an abelian category of modules. Computing Lf and Rf and
More informationTHE LUSTERNIK-SCHNIRELMANN CATEGORY FOR A DIFFERENTIABLE STACK
THE LUSTERNIK-SCHNIRELMANN CATEGORY FOR A DIFFERENTIABLE STACK SAMIRAH ALSULAMI, HELLEN COLMAN, AND FRANK NEUMANN Abstract. We introduce the notion of Lusternik-Schnirelmann category for differentiable
More informationFactorization of birational maps for qe schemes in characteristic 0
Factorization of birational maps for qe schemes in characteristic 0 AMS special session on Algebraic Geometry joint work with M. Temkin (Hebrew University) Dan Abramovich Brown University October 24, 2014
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationOperads. Spencer Liang. March 10, 2015
Operads Spencer Liang March 10, 2015 1 Introduction The notion of an operad was created in order to have a well-defined mathematical object which encodes the idea of an abstract family of composable n-ary
More informationHodge Structures. October 8, A few examples of symmetric spaces
Hodge Structures October 8, 2013 1 A few examples of symmetric spaces The upper half-plane H is the quotient of SL 2 (R) by its maximal compact subgroup SO(2). More generally, Siegel upper-half space H
More informationCoarse Moduli Spaces of Stacks over Manifolds
Coarse Moduli Spaces of Stacks over Manifolds (joint work with Seth Wolbert) Jordan Watts (CMS Summer Meeting 2014) University of Illinois at Urbana-Champaign June 8, 2014 Introduction Let G be a Lie group,
More informationEuler Characteristics of Categories and Homotopy Colimits
Euler Characteristics of Categories and Homotopy Colimits Thomas M. Fiore joint work with Wolfgang Lück and Roman Sauer http://www-personal.umd.umich.edu/~tmfiore/ Outline 1 2 3 4 5 6 I.. The most basic
More informationD-manifolds and derived differential geometry
D-manifolds and derived differential geometry Dominic Joyce, Oxford University September 2014 Based on survey paper: arxiv:1206.4207, 44 pages and preliminary version of book which may be downloaded from
More informationALGEBRAIC GROUPS JEROEN SIJSLING
ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined
More informationON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS
ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical
More informationHigher Categories, Homotopy Theory, and Applications
Higher Categories, Homotopy Theory, and Applications Thomas M. Fiore http://www.math.uchicago.edu/~fiore/ Why Homotopy Theory and Higher Categories? Homotopy Theory solves topological and geometric problems
More informationMotivic integration on Artin n-stacks
Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of
More informationManifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds
MA 755 Fall 05. Notes #1. I. Kogan. Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds Definition 1 An n-dimensional C k -differentiable manifold
More information(iv) Whitney s condition B. Suppose S β S α. If two sequences (a k ) S α and (b k ) S β both converge to the same x S β then lim.
0.1. Stratified spaces. References are [7], [6], [3]. Singular spaces are naturally associated to many important mathematical objects (for example in representation theory). We are essentially interested
More informationModel Structures on the Category of Small Double Categories
Model Structures on the Category of Small Double Categories CT2007 Tom Fiore Simona Paoli and Dorette Pronk www.math.uchicago.edu/ fiore/ 1 Overview 1. Motivation 2. Double Categories and Their Nerves
More informationDeformation groupoids and index theory
Deformation groupoids and index theory Karsten Bohlen Leibniz Universität Hannover GRK Klausurtagung, Goslar September 24, 2014 Contents 1 Groupoids 2 The tangent groupoid 3 The analytic and topological
More informationFUNDAMENTAL GROUPS OF TOPOLOGICAL STACKS WITH SLICE PROPERTY
FUNDAMENTAL GROUPS OF TOPOLOGICAL STACKS WITH SLICE PROPERTY BEHRANG NOOHI Abstract. The main result of the paper is a formula for the fundamental group of the coarse moduli space of a topological stack.
More informationClassification of definable groupoids and Zariski geometries
and Zariski geometries Dmitry Sustretov Ben Gurion University sustreto@mathbguacil February 26, 2014 1 Motivation: Azumaya algebras An Azumaya algebra is a generalisation of a central simple algebra for
More informationWeil-étale Cohomology
Weil-étale Cohomology Igor Minevich March 13, 2012 Abstract We will be talking about a subject, almost no part of which is yet completely defined. I will introduce the Weil group, Grothendieck topologies
More information10. The subgroup subalgebra correspondence. Homogeneous spaces.
10. The subgroup subalgebra correspondence. Homogeneous spaces. 10.1. The concept of a Lie subgroup of a Lie group. We have seen that if G is a Lie group and H G a subgroup which is at the same time a
More informationBredon-style homology, cohomology and Riemann-Roch for algebraic stacks
Bredon-style homology, cohomology and Riemann-Roch for algebraic stacks Roy Joshua Department of Mathematics, Ohio State University, Columbus, Ohio, 43210, USA joshua@math.ohio-state.edu Abstract One of
More informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
More information1.1 Definition of group cohomology
1 Group Cohomology This chapter gives the topological and algebraic definitions of group cohomology. We also define equivariant cohomology. Although we give the basic definitions, a beginner may have to
More informationThe d-orbifold programme. Lecture 5 of 5: D-orbifold homology and cohomology, and virtual cycles
The d-orbifold programme. Lecture 5 of 5: and cohomology, and virtual cycles Dominic Joyce, Oxford University May 2014 Work in progress, no papers yet. However, you can find a previous version of this
More informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationTopological Groupoids and Exponentiability
Topological Groupoids and Exponentiability Susan Niefield (joint with Dorette Pronk) July 2017 Overview Goal: Study exponentiability in categories of topological groupoid. Starting Point: Consider exponentiability
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationRELATIVE GROUP COHOMOLOGY AND THE ORBIT CATEGORY
RELATIVE GROUP COHOMOLOGY AND THE ORBIT CATEGORY SEMRA PAMUK AND ERGÜN YALÇIN Abstract. Let G be a finite group and F be a family of subgroups of G closed under conjugation and taking subgroups. We consider
More informationSTEENROD OPERATIONS IN ALGEBRAIC GEOMETRY
STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the i-th singular cohomology group
More informationStacks in Representation Theory.
What is a representation of an algebraic group? Joseph Bernstein Tel Aviv University May 22, 2014 0. Representations as geometric objects In my talk I would like to introduce a new approach to (or rather
More informationLectures on Galois Theory. Some steps of generalizations
= Introduction Lectures on Galois Theory. Some steps of generalizations Journée Galois UNICAMP 2011bis, ter Ubatuba?=== Content: Introduction I want to present you Galois theory in the more general frame
More informationSyzygy Order of Big Polygon Spaces
Western University Scholarship@Western Electronic Thesis and Dissertation Repository September 2018 Syzygy Order of Big Polygon Spaces Jianing Huang The University of Western Ontario Supervisor Franz,
More informationOn Properly Discontinuous Actions and Their Foliations
International Mathematical Forum, Vol. 12, 2017, no. 19, 901-913 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/imf.2017.7872 On Properly Discontinuous Actions and Their Foliations N. O. Okeke and
More informationMath 754 Chapter III: Fiber bundles. Classifying spaces. Applications
Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle
More informationA Crash Course in Topological Groups
A Crash Course in Topological Groups Iian B. Smythe Department of Mathematics Cornell University Olivetti Club November 8, 2011 Iian B. Smythe (Cornell) Topological Groups Nov. 8, 2011 1 / 28 Outline 1
More informationTHE GROUPOID STRUCTURE OF GROUPOID MORPHISMS 1. INTRODUCTION
THE ROUPOID STRUCTURE OF ROUPOID MORPHISMS BOHUI CHEN, CHEN-YON DU, AND RUI WAN ABSTRACT. In this paper we construct two groupoids from morphisms of groupoids, with one from a categorical viewpoint and
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationMath Homotopy Theory Hurewicz theorem
Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S
More information7.3 Singular Homology Groups
184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the
More informationBredon finiteness properties of groups acting on CAT(0)-spaces
Bredon finiteness properties of groups acting on CAT(0)-spaces Nansen Petrosyan KU Leuven Durham 2013 1 Goal: Discuss finiteness properties for E FIN G and E VC G when G acts isometrically and discretely
More informationarxiv: v1 [math.at] 2 Sep 2017
arxiv:1709.00569v1 [math.at] 2 Sep 2017 An elementary proof of Poincare Duality with local coefficients 1 Introduction Fang Sun September 5, 2017 The statement and proof of the Poincare Duality for (possibly
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
More informationLecture on Equivariant Cohomology
Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove
More informationH(G(Q p )//G(Z p )) = C c (SL n (Z p )\ SL n (Q p )/ SL n (Z p )).
92 19. Perverse sheaves on the affine Grassmannian 19.1. Spherical Hecke algebra. The Hecke algebra H(G(Q p )//G(Z p )) resp. H(G(F q ((T ))//G(F q [[T ]])) etc. of locally constant compactly supported
More informationGROUP ACTIONS AND THE SINGULAR SET by DANIEL H. GOTTLIEB and MURAD OZAYDIN
GROUP ACTIONS AND THE SINGULAR SET by DANIEL H. GOTTLIEB and MURAD OZAYDIN 1. Introduction Suppose a compact Lie group G is acting on a G CW complex X. Thesingular set X S consists of all points in X with
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More informationDerived Differential Geometry
Derived Differential Geometry Lecture 1 of 3: Dominic Joyce, Oxford University Derived Algebraic Geometry and Interactions, Toulouse, June 2017 For references, see http://people.maths.ox.ac.uk/ joyce/dmanifolds.html,
More informationMTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch
MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories
More informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
More informationMath 210B. Profinite group cohomology
Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the
More informationEQUIVARIANT ALGEBRAIC TOPOLOGY
EQUIVARIANT ALGEBRAIC TOPOLOGY JAY SHAH Abstract. This paper develops the introductory theory of equivariant algebraic topology. We first define G-CW complexes and prove some basic homotopy-theoretic results
More informationAbstract Algebra II Groups ( )
Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition
More information