The homotopy type of a topological stack
|
|
- Stuart Cook
- 5 years ago
- Views:
Transcription
1 The homotopy type of a topological stack Johannes Ebert, Mathematisches Institut der Universität Bonn Beringstraße Bonn, Germany ebert@math.uni-bonn.de January 12, 2009 Abstract The notion of the homotopy type of a topological stack has been around in the literature for some time. The basic idea is that an atlas X X of a stack determines a topological groupoid X with object space X. The homotopy type of X should be the classifying space BX. The choice of an atlas is not part of the data of a stack and hence it is not immediately clear why this construction of a homotopy type is well-defined, let alone functorial. The purpose of this note is to give an elementary construction of such a homotopy-type functor. 1 Introduction The concept of a stack (which originated in algebraic geometry) plays an increasingly important role in geometric topology, see for example [2], [5], [3], [4]. In this note we show how a stack defines an object of homotopy theory. We assume that the reader is familiar with the terminology of stacks. Therefore we will not spell out the basic definitions here. A stack over the site Top of topological spaces is a lax sheaf of groupoids on the site of topological spaces; we refer the reader to the excellent [8] an explanation of this definition. Stacks over Top form a 2-category all of whose 2-morphisms are isomorphisms. There are several possible notions of topological stacks. Our notion is made explicit in 2.3. Essentially, a topological stack is a stack over Top which can be represented by a topological groupoid. Let TopStacks denote the 2-category of topological stacks. For any 2-category S, we denote the underlying ordinary category by the symbol τ 1 S. We would like to construct a functor Ho : τ 1 TopStacks Top which assigns to a stack its homotopy type. For set-theoretical reasons, we need to restrict to small subcategories of S TopStacks. This level of sophistication is certainly sufficient for all applications of our construction to concrete mathematical problems. Furthermore, it turns out that we need to restrict to stacks which admit a presentation by a paracompact groupoid (see below for details). This is a rather mild condition, which is satisfied by virtually all stacks of interest in geometric topology. In the sequel, we assume that S is a small 2-category and there is a fixed 2-functor J : S TopStacks such that all stacks in the image of this functor admit a presentation by a paracompact groupoid. The first main result of this note is Theorem 1.1. There exists a functor Ho : τ 1 S Top, which assigns to s Ob(S) a topological space Ho(X) which is homotopy equivalent to BX, when X is a groupoid presenting the topological X = J (s). If f,g are two 1-morphisms with the same source and target, then Ho(f) and Ho(g) are homotopic if f and g are 2-isomorphic or if J (f) and J (g) are concordant (see Definition 2.10 below). 1
2 Let π 0 (S) be the category which is obtained from τ 1 S by identification of 2-isomorphic 1- morphisms; there is a quotient functor τ 1 S π 0 (S). Note that the fully faithful Yoneda embedding st : Top TopStacks defines a fully faithful functor Top π 0 TopStacks - homotopic but different maps of spaces do not yield 2-isomorphic morphisms of stacks. Furthermore, let HoTop be the homotopy category of topological spaces. As a corollary of Theorem 1.1, we obtain the existence of a homotopy type functor π 0 (S) HoTop. This homotopy type functor extends both, the obvious functor Top HoTop and the functor from topological groups to HoTop sending G to BG. There is an essential feature of homotopy types which is abandoned in Theorem 1.1. Let us describe what is missing. Let X be a space. Then we denote, as usual, the stack st(x) by the symbol X; there is no danger of confusion. The space Ho(X) should come with a map η X : Ho(X) X which should be a universal weak equivalence, i.e. for any space Y and any Y X, the pullback Y X Ho(X) Y is a weak homotopy equivalence (the morphism Y X is automatically representable by [11], Corollary 7.3; thus Y X Ho(X) is a topological space). The map η X is a generalization of the map BG /G given by the universal principal G-bundle. Obviously, it is desirable that the maps η X assemble to a natural transformation η : st Ho τ 1 J of functors τ 1 S τ 1 TopStacks. We were not able to construct such a natural transformation on the nose, but only up to contractible choice and up to 2-isomorphism. The following two definition make these notions precise. Definition 1.2. Let C be a (discrete, small) category. A functor defined up to contractible choice is a triple ( C,p,F), where C is a topological category which has the same objects as C, p : C C is a functor which is the identity on objects and a weak homotopy equivalence on morphism spaces (i.e. C is a thickening of C in the sense that the morphisms in C are replaced by contractible spaces of morphisms) and F : C Top is a continuous functor. Definition 1.3. Let A be a topological category with discrete object set and B be a discrete 2- category all of whose 2-morphisms are isomorphisms. Let F 0,F 1 : A B be two functors. A pseudo-natural transformation η assigns to every object a A a 1-morphism η a : F 0 (a) F 1 (a) and to every morphism f : a a of A a 2-isomorphism η f : F 1 (f) η a η a F 0 (f) such that η ida = id ηa and such that for any pair f,f of composable morphisms, the 2-isomorphisms η f,η f and η f f are compatible. For most (but not all) constructions of homotopy theory, a functor defined up to contractible choice is as good as an honest functor. Therefore the following theorem should be a satisfactory result for many purposes. Theorem 1.4. Let S be as above. Then there exists a functor defined up to contractible choice ( τ 1 S,p, Ho). The functor Ho is related to the functor Ho p from Theorem 1.1 by a zig-zag of natural transformations which are weak homotopy equivalences on each object. Moreover, there exists a pseudo-natural transformation η : st Ho J p of functors τ 1 S TopStacks. For any stack X S, the morphism η X : Ho(X) X is a universal weak equivalence, in the sense that for any space Y and any Y X, the pullback Y X Ho(X) Y is a weak homotopy equivalence. The results of the present paper are very similar to those of Behrang Noohi s recent paper [12] (in fact, they are slightly weaker). Proposition 11.2 in [12] implies 1.4. On the other hand our treatment is more elementary. Therefore we claim that the present paper should be useful for anyone whose main interest is in the applications of topological stacks to problems in geometry. However, there is a flaw in the theory (also in [12]) which we will describe now. Given a homotopy invariant functor F from spaces to groups (or any other discrete category), we can extend F to stacks via ˆF(X) := F(Ho(X)). (1.5) 2
3 It follows that ˆF(η X ) is an isomorphism. For many of the functors of algebraic topology, including singular (co)homology or homotopy groups, this is a reasonable definition. But there are important homotopy-invariant functors on spaces for which 1.5 is not a good definition. The prime example is complex K-theory. Any reasonable definition of the K-theory of a stack should satisfy K 0 ( /G) = RG for a compact Lie group G (RG is the representation ring). In fact the definition of the K- theory of a stack given in [5] satisfies this condition. On the other hand, the celebrated Atiyah-Segal completion theorem [1] shows, among other things, that the natural map RG K 0 (BG) is not an isomorphism. It follows that, in the present setup, K-theory of a stack is not homotopy-invariant. Gepner and Henriques [6] developed a finer homotopy theory of stacks in which K-theory is homotopy invariant. On the other hand, their theory is much more involved than ours. Here is a brief outline of the paper. In section 2, we discuss the notion of a principal X-bundle for an arbitrary topological groupoid X and define the stack X 0 /X 1 of principal X-bundles, which is the prototype of a topological stack. Then we construct the universal principal X-bundle. The material in this section is a rather straightforward generalization of the classical theory of classifying spaces for topological groups. However, we need to be precise on the point-set level, and Theorem 2.7 is stronger than what is standard in the theory of fibre bundles. Section 3 contains the proofs of Theorem 1.1 and 1.4. In an appendix A, we show a technical result which guarantees the paracompactness of the classifying space of a paracompact groupoid. Acknowledgements The author was supported by a postdoctoral grant from the German Academic Exchange Service (DAAD). He enjoyed the hospitality of the Mathematical Institute of the University of Oxford. He is particularly grateful to Jeff Giansiracusa for numerous discussions about stacks. He also wants to thank the anonymous referee who pointed out a mistake at a crucial step of the argument in an earlier version of this paper. 2 Groupoids and stacks Principal bundles for groupoids Let X = (X 0, X 1,s,t,e,m,ι) be a topological groupoid: X 0 is the object space, X 1 the morphism space, s,t : X 1 X 0 are source and target maps, m : X 1 X0 X 1 X 1 is the multiplication, e : X 0 X 1 is the unit map and ι : X 1 X 1 sends a morphism to its inverse. The maps s,t,e,m,ι are continuous and satisfy the usual identities. We use the following convention: the product xy = m(x,y) of x,y X 1 is defined if (and only if) t(x) = s(y). We say that an X-space over a space X consists of a space E, two maps p : E X and q : E X 0 and an action α : E X0 X 1 = {(e,γ) E X 1 q(e) = s(γ)} E over X which is compatible with the projection to X and the multiplication in X. In other words, the diagrams E X0 X 1 α E (P 1 is the projection onto the first factor) and E p 1 p X p E X0 X 1 X0 X 1 (id,m) E X0 X 1 (α,id) E X0 X 1 α E α 3
4 are required to commute. Isomorphisms, pullbacks and restrictions of X-spaces over X are defined in the obvious way. We will often write an X-space shortly as p : E X, with the maps q and α understood. To define principal X-bundles, we start with trivial bundles. The diagram X 1 t X 0 (2.1) s X 0 defines an X-space over X 0 (p := s, q := t, α := m). This serves as the local model for a principal X-bundle. Definition 2.2. Let X be a topological groupoid and let X be a topological space. A principal X-bundle on X is an X-space (E;p,q,α) over X which is locally trivial in the sense that each x X has an open neighborhood U X which admits a map h : U X 0 and an isomorphism of the restriction E U with the pullback of 2.1 via h. There is an equivalent notion which is more abstract but also more common in the theory of stacks. It is the notion of X-torsors. We will not use this notion, but we explain it briefly. Given any map T X of spaces, we can form the groupoid X T with object space T and morphism space T X T. We say that a morphism of topological groupoids X Y is called cartesian if the diagrams X 1 Y 1 X 1 Y 1 s s X 0 Y 0 X 0 Y 0 are cartesian. An X-torsor on a space X is a map p : T X which admits local sections together with a cartesian morphism of groupoids φ : X T X. Given such an X-torsor, a principal X-bundle is given as follows: The total space E is just T and φ 0 gives a map E X 0. The action α is the composition T X0 X 1 = T X T T (projection onto the first factor). Conversely, let (E,p,q,α) be a principal X-bundle. Put T := E. The map p has local sections by the definition of a principal bundle 1. Let e 1,e 2 E be two points in the same fibre, p(e 1 ) = p(e 2 ), i.e. (e 1,e 2 ) E X E. There exists a unique γ (e1,e 2) X 1 such that α(e 1,γ (e1,e 2)) = e 2. Assigning (e 1,e 2 ) γ (e1,e 2) defines a map φ 1 : E X E X 1 which is continuous by the local triviality of a principal bundle. This map fits into a commutative diagram t t T X T φ X 1 T s,t which is easily seen to be cartesian. We will not use the concept of a torsor any more in this note. One can also describe principal X-bundles in terms of transition functions, see [7]. It is worth to spell out what a principal X-bundle is for familiar groupoids. Let Y be a space, considered as a groupoid X without nontrivial morphisms. Let (E, p, q, α) be a principal X-bundle on X. The maps in 2.1 are identities; thus p : E X is a homeomorphism; q p 1 is a map X Y, and under these identifications α is the canonical homeomorphism X X X X. Thus a principal bundle for the trivial groupoid is the same as a continuous map X Y. 1 Note that ι : X 0 X 1 is a section to the map s. q X 0, s,t 4
5 A similar situation is met when X = Y U is the groupoid associated to an open cover U of the space Y (see [13]). The map E X is then an open cover of X, q is a collection of locally defined maps to Y (in fact, to the elements of the original open cover). The map α is precisely the information that all these locally defined maps fit together to form a globally defined map X Y. If G is a topological group, considered as a groupoid with one object, then the notion of principal G-bundle from Definition 2.2 agrees with the traditional notion of a principal bundle, with the exception that we assume that G acts from the left on the total space. Similarly, if G acts on the space Y from the left, we form the groupoid G Y : the object space is Y, the morphism space is G Y and the action is used for the structural map of a groupoid. A principal G Y -bundle on a space X consists of a principal G-bundle P X and an G-equivariant map q : P Y. The stack of principal X-bundles The collection of all principal X-bundles on a space X, together with their isomorphisms, forms a groupoid which we denote by X 0 /X 1 (X). The functor X X 0 /X 1 (X) is a (lax) presheaf of groupoids on the site of topological spaces. The local nature of principal bundles shows that this is actually a sheaf of groupoids, in other words, a stack, which we denote by X 0 /X 1. Clearly, morphisms of groupoids yield morphisms of stacks and natural transformations of morphisms give 2-morphisms of stacks. Thus there is a 2-functor from topological groupoids to stacks, sending X to X 0 /X 1. This 2-functor is far from being an equivalence of categories. There can be a morphism φ : X Y of groupoids such that the induced morphism φ : X 0 /X 1 Y 0 /Y 1 is an equivalence, but φ does not have an inverse. This is not particularily exotic: given a topological group G and a principal G-bundle P X, then the obvious groupoid morphism G P X induces an equivalence of stacks P /G = X, but there is no inverse unless P is trivial. A similar situation is met when U is an open cover of the space X which defines a groupoid X U and an equivalence X U X. It is essential for the theory of stacks to allow for inverses of these morphisms. It may seem that the stacks X 0 /X 1 are quite special, but this is not the case. The data of a stack X, a space X and a representable map ϕ : X X determines a topological groupoid X. Namely, X 0 = X, X 1 = X X X; the structure maps for a groupoid are easy to find and the proof of the groupoid axioms is easy as well. Moreover, the map ϕ determines a morphism ˆϕ : X 0 /X 1 X of stacks. It is easy to see that ϕ is a chart (in the sense of [11], Def. 7.1) if and only if ˆϕ is an equivalence of stacks. Definition 2.3. A stack X over the site Top is a topological stack if there exists a topological groupoid X and an equivalence of stacks X 0 /X 1 X. This notion agrees with the notion of a pretopological stack defined in [11], Def The universal principal bundle We now want to define the universal principal X-bundle. The topological category X X is the category of arrows in X; more precisely, an object is an arrow γ : x y in X and a morphism from (γ : x y) to (γ : x y) is a morphism δ : x x with 2 δγ := m(δ,γ ) = γ; there is no morphism (γ : x y) (γ : x y ) if y y. There is a topology on X X induced from the topology on X and the functor p : X X X; p(γ : x y) = x, p(δ) = δ is continuous. Similarly, the functor ζ : X X X 0 (the trivial groupoid with object space X 0 ) which sends γ : x y to y is continuous. In this note we say that the classifying space of a topological category C is the thick geometric realization N C of the nerve N C of the category. The thick realization X of a simplicial space X is the space X := n 0 X n n /, 2 Sic; remember our convention about multiplication in a groupoid. 5
6 where is the equivalence relation generated by (ϕ x,t) (x,ϕ t) for any injective map ϕ in the simplex category. We apply the classifying space construction to the functors p and ζ and obtain a diagram B(X X) Bζ X 0 (2.4) BX Bp and, furthermore, a map B(X X) X0 X 1 B(X X) which is given by multiplication. We will abbreviate EX := B(X X). In the appendix, we shall describe two other convenient models for the spaces BX and EX. Proposition 2.5. The diagram 2.4 is a principal X-bundle. The proof is a straightforward generalization of Milnor s construction of classifying spaces for topological groups. It is given in [7] and also in [12]. The proofs uses a different description of the topological space BX. We say a few words about the latter point in the appendix. Proposition 2.6. There exists a section σ : X 0 EX of Bζ and a deformation retraction of EX onto σ(x 0 ) over X 0. Consequently, the space of sections of Bζ is contractible. Proof. Let σ : X 0 X X be the functor which sends x to id : x x. Clearly ζ σ = id and there is an evident natural transformation T : id X X σ ζ. The composition T σ is the identity transformation. So after realization, σ defines the desired section and T defines the deformation retraction. The well-known theorem that a continuous natural transformation between two functors of topological categories defines a homotopy between the maps on classifying spaces still holds if the geometric realization of the nerve is replaced by the thick geometric realization, except that we now get a contractible space of preferred homotopies instead of just one (combine the standard proof of the theorem in [13] with [14], Prop. A.1 (iii) and an explicit computation of N (0 1) ). Theorem 2.7. Let E univ B univ be a principal X-bundle such that the space of sections to the structure map q : E univ X 0 is contractible. Then for any principal X-bundle E X on a paracompact space X, the space of bundle morphisms E E univ is weakly contractible. In particular, this applies to the bundle EX constructed above. Proof. Let us begin with the trivial principal X-bundle X 1 X 0 from 2.1. It is easy to see that the space of bundle morphisms from X 1 X 0 to E univ B univ is homeomorphic to the space of sections s : X 0 E univ of q. Thus, by assumption, the space of bundle morphisms is contractible in this case. The same argument applies for a trivial principal bundle over a space different from X 0. To achieve the global statement, we apply a trick, which ought to be standard in the theory of fibre bundles. Let p : E X (plus the additional data) be a principal X-bundle. Choose an open covering (U i ) i I of X, so that E Ui is trivial. For any finite nonempty S I, let U S := i S U i. Clearly, E US is trivial as well. Let F S := map X (E US,E univ ) be the space of bundle maps from E US to E univ. We have seen that F S is weakly contractible. For any T S, there is a restriction map r T S : F T F S. Let S be the S 1-dimensional simplex { i S t ii R S i t i = 1;t i 0}. We now claim that we can choose maps c S : S F S whenever T S. This is done by induction on S, using the con- such that rs T c T = c S T tractibility of F S. 6
7 Finally, let (λ i ) i I be a locally finite partition of unity subordinate to (U i ). For any point x X, let S(x) I be the (finite) set of all i I with x supp(λ i ). The formula c(y) = c S(p(y)) ( λ i (p(y))i)(y) i S(p(y)) defines a global bundle morphism. This shows that the space F of bundle morphisms is nonempty. A straightforward version of the preceding reasoning shows a relative version of it: if A X is a cofibrant inclusion, then any bundle map E A E univ extends to X. Thus F is connected. A parameterized version of these arguments shows that for any compact K, map(k; F) is nonempty and connected. Thus F is weakly contractible. Proposition 2.8. The map ν X : BX X 0 /X 1 given by the principal X-bundle 2.4 is a universal weak equivalence. For the proof of 2.8, we shall need a little lemma. Lemma 2.9. Let f : Z Y be a map between topological spaces. Suppose that for any map p : U Y, the space of sections to f U : U Y Z U is weakly contractible. Then f is a homotopy equivalence. Proof. We only need that the space is nonempty when p = id Y and path-connected when p = f. The assumptions imply that there exists a section s : Y Z. We have to show that s f : Z Z is homotopic to the identity. The space of sections to the map f Z : Z Y Z Z; (z 1,z 2 ) z 1 is homeomorphic to the space of maps g : Z Z with f g = f. The maps id Z and s f both belong to that space and by assumption they are connected by a homotopy. Proof of Proposition 2.8. Let Y be a paracompact space and let P be a principal X-bundle on Y, which gives a map Y X 0 /X 1. We have to show that ν X;Y : Y X0 /X 1 BX Y is a weak homotopy equivalence. Note that the space of sections to ν X;Y can be identified with the space of bundle maps P EX, which is weakly contractible by Theorem 2.7. Likewise, let p : Z Y be any map and let Q := p P. The space of sections to Z X0 /X 1 BX = Z Y Y X0 /X 1 BX Z is homeomorphic to the space of bundle maps from Q to EX, which is again contractible. Therefore Lemma 2.9 can be applied. The classical theorem that for a topological group G, the set of isomorphism classes of principal G-bundles on a space Y is in bijective correspondance to the set of homotopy classes of maps Y BG admits a generalization. Definition Let X and Y be stacks. Let h i : X Y be two morphisms. A concordance between h 0 and h 1 is a triple (h,β 0,β 1 ), where h : X [0,1] Y and β i is a 2-isomorphism h i j i h for i = 0,1 (j i denotes the inclusion X = X {i} X [0,1]). Let X[Y ] be the set of concordance classes of elements in X(Y ). The following is an immediate consequence of Proposition 2.8. Corollary Let X be represented by the groupoid X. Then there is a natural bijection X[Y ] = [Y ;BX]. An appropriate relative version is also true; we leave this to the reader. The last thing we want to show in this section is that Proposition 2.8 actually characterizes EX and BX up to homotopy. Let X be a groupoid presenting the stack X. Let p : X X be a universal weak equivalence, which gives rise to a principal X-bundle E X. We have seen that the space of bundle maps E EX is contractible. Any such bundle map gives rise to a map X BX. This map is a homotopy equivalences, which follows immediately from 2.8 and from the 2-commutativity of the diagram BX X X. 7
8 Paracompact groupoids Later on, we shall need a technical result. Slightly differing from standard terminology, we say that a topological space X is paracompact if any open covering of X admits a subordinate locally finite partition of unity. If X is Hausdorff and paracompact in the usual sense (i.e. any covering admits a locally finite refinement), then X is paracompact in the present sense, see [10], p We say that a topological groupoid X is paracompact and Hausdorff if all spaces X n of the nerve are paracompact and Hausdorff. In general, the paracompactness of X 0 and X 1 does not imply the paracompactness of X. However, there are quite large classes of groupoids which are paracompact and Hausdorff. Examples of stacks which are presentable by paracompact and Hausdorff groupoids include 1. All differentiable stacks modeled on finite-dimensional manifolds 3 : If X is a manifold and X X a representable surjective submersion, then all fibred products X n = X X X X...X are manifolds and hence they are paracompact. 2. More generally, differentiable stacks modeled on Fréchet manifolds (under some countability conditions) 3. All topological stacks obtained by taking complex points of algebraic stacks (some finiteness condition is involved). 4. Quotient stacks X/G if G and X are metrizable 4. Proposition A.3 says that the classifying space BX = N X of a paracompact and Hausdorff groupoid is paracompact. This is discussed in the appendix. 3 Proof of the main results We shall first prove Theorem 1.4 and then 1.1. Let us set up notation. First of all, let S be a small 2-category and J : S TopStacks be a 2-functor, such that any stack in the image of J admits a presentation by a paracompact groupoid. To simplify notation, we assume that J is the inclusion of a small subcategory; the argument in the general case is the same. Stacks will be denoted by German letters X,Y,Z and they are tacitly assumed to be in S; likewise for morphisms and 2-morphisms. By the corresponding symbols X, Y, Z we will denote paracompact groupoids representing the stacks. For any stack in S we choose a presentation by a paracompact groupoid 5, denoted by ϕ X : X 0 /X 1 X. We can view ϕ 1 X as a principal X-bundle on the stack X, denoted by U X. In section 2, we constructed a map ν X : BX X 0 /X 1. We consider the composition η X = ϕ X ν X : BX X. Consider a morphism f : X Y of stacks. There is a diagram BX BY ν X X 0 /X 1 ν Y Y 0 /Y 1 X ϕ X f Y, ϕ Y and the vertical maps are universal weak equivalences by Proposition 2.8. The pullback η X f U Y is a principal Y-bundle on BX. Let E f be the space of bundle morphisms from η X f U Y to the 3 As usual, we assume manifolds to be second countable. 4 It seems unlikely that the paracompactness of both G and X implies the paracompactness of the translation groupoid, because the product of two paracompact spaces is in general not paracompact. 5 Here we need the axiom of choice, hence we use that S is small. 8
9 universal Y-bundle EY BY. By Proposition A.3 BX is paracompact and therefore, by Theorem 2.7, E f is weakly contractible. Thus we get a 2-commutative diagram E f BX ǫ f BY (3.1) X η X p 2 f Y, η Y in TopStacks; ǫ f is the evaluation map and p 2 denotes the projection onto the second factor. If f : X Y and g : Y Z are morphisms, then there is a composition map c g,f : E g E f E g f which makes the diagram E gf BX ǫ gf BZ c g,f id ǫ g E g E f BX id ǫ f E g BY commutative. The map c g,f arises in the following way. There is a specified map EY U Y of Y-bundles. Thus any element of E f defines a map η X f U Y η Y U Y of Y-bundles and therefore, after application of the morphism g of stacks, a map η X f g U Z η Y g U Z of Z-bundles, which can be composed with any element of E g. The collection of these maps is associative in the sense that c h g,f (c h,g id) = c h,g f (id c g,f ) : E h E g E f E h g f when h,g,f are composable morphisms. Also, id E id. Any 2-isomorphism φ : f g yields an isomorphism η X f U Y = η X g U Y and hence a homeomorphism φ : E g E f. Moreover, the diagram E g BX ǫ f BY (3.2) φ id E f BX ǫg BY is commutative. Now we define an topological category τ 1 S. It has the same objects as S (and the discrete topology on the object set). The morphism spaces are τ 1 S(X;Y) := S(X;Y) with the composition described above. The morphism spaces have contractible components (one for each 1-morphism in S). There is an obvious functor p : τ 1 S τ 1 (S). The classifying space construction determines a continuous functor Ho : τ 1 S Top, which sends a stack X to the space BX and which is the identity on morphism spaces. The universal weak equivalences η X assemble to a pseudo-natural transformation of functors η : st Ho J p of functors τ 1 S τ 1 TopStacks (use 3.1 to verify this). This finishes the proof of Theorem 1.4. Theorem 1.1 follows from Theorem 1.4 and a rectification procedure for homotopy-commutative diagrams which is proven in Nathalie Wahl s paper [15], following ideas of Dwyer, Kan and G. Segal. Roughly, she proves that a functor which is defined up to contractible choices can be strictified. More precisely, Proposition 2.1. of loc. cit can be reformulated as follows. E f 9
10 Proposition 3.3. [15] Let C be a discrete small 6 category and let ( C,p,F) be a functor to Top which is defined up to contractible choice. Then there exists a functor p F : C Top and a zigzag of natural transformations, which are weak homotopy equivalences on all objects, connecting p p F and F. To finish the proof of Theorem 1.1, take the functor Ho from Theorem 1.4 and put Ho(X) := p Ho(X). The additional assertions about 2-isomorphic and concordant morphisms of stacks follow from diagram 3.2 and 2.11, respectively. Uniqueness of the homotopy type functor So far, we have not addressed the question whether our construction is unique. Here is a uniqueness result which seems to be satisfactory enough. Let S be a small category of stacks, all of whose objects can be presented by paracompact groupoids. Let ( τ 1 S,p, Ho) be the homotopy type functor and η : st Ho J p be the natural transformation constructed in Theorem 1.4. Let ( τ 1 S,p, Ho ) be a functor τ 1 S Top, defined up to contractible choice and let η : st Ho J p be a natural transformation of functors such that η X is a universal weak equivalence for any object X of S. These two functors together yield a functor defined up to contractible choice on the category S {0,1}. Using the arguments from the proof of Theorem 1.4, one can easily show: Proposition 3.4. Under the circumstances above, there exists a functor Ho : S (0 1) Top, defined up to contractible choice which agrees with ( τ 1 S,p, Ho) on S {0} and with ( τ 1 S,p, Ho ) on S {1}. The natural transformations η and η yield a natural transformation. A Appendix: Point-set-topology of classifying spaces Let X be a topological groupoid. There are three different descriptions of the universal X-bundle each of which has some advantages. The first model, which was used in section 2 is the thick geometric realization of the categories X X and X. The use of this model makes the proofs of Lemma 2.6 and hence Theorem 2.7 particularly transparent. Another description goes back to Haefliger [7]; it is a generalization of Milnor s classical construction [9]. Let E Mil X be the space consisting of sequences (t 0 f 0,t 1 f 1,...), where f i X 1 all have the same target; t i [0,1], t i = 0 for all but finitely many i N, i t i = 1. Two sequences (t 0 f 0,t 1 f 1,...) and (t 0f 0,t 1f 1,...) are equivalent if t i = t i for each i and f i = f i whenever t i 0. The topology on E Mil X is the weakest topology such that the maps t i : E Mil X [0,1] and (0,1] X 1 are continuous. To obtain the space B Mil X, we divide by the following equivalence relation. Two sequences (t 0 f 0,t 1 f 1,...) and (t 0f 0,t 1f 1,...) are identified if t i = t i for each i and if there exists an f X 1 such that f i = f if for all i. A map E Mil X X 0 is defined by sending (t 0 f 0,t 1 f 1,...) to the common target of the f i s, and the action of X is equally easy to define. This description is convenient for the proof of Proposition 2.5, see [12]. f i : t 1 i Lemma A.1. [13] There are natural homeomorphisms N X = B Mil X and N X X = E Mil X. There is a slightly different description of N X which helps to show Proposition A.3 below. Let X be an arbitrary simplicial space. Let sk n X := k n X k k /. Then 6 This is an essential assumption. X = colim n sk n X 10
11 and furthermore sk n X is the pushout X n n sk n 1 X (A.2) X n n sk n X, where sk 1 X =. Thus, sk n X is the double mapping cylinder of a map X n X n n sk n 1 X. Therefore sk n X sk n+1 X is a neighborhood retract, as X n+1 n+1 is a neighborhood retract in X n+1 n+1. Proposition A.3. Let X be a simplicial topological space such that all X n are paracompact and Hausdorff. Then the thick realization X is paracompact (but not necessarily Hausdorff). A sketch of the proof of Proposition A.3 can be found in [6], p. 14. Here are the details. First note that X n n is paracompact by [10], p.223. Therefore, the proof of Lemma A.3 is accomplished by the following two lemmata. Lemma A.4. Let X be a paracompact Hausdorff space, A X be a closed neighborhood retract, Y a paracompact space and let f : X Y be a continuous map. Then X A Y is paracompact. Lemma A.5. Let Y be the colimit of the sequence Y 1 Y 2... Assume that Y n is paracompact and closed in Y ; assume that Y n Y n+1 is a neighborhood retract and assume that Y n+1 \ Y n is paracompact and Hausdorff. Then Y is paracompact. Proof of Lemma A.4. Denote the quotient map by q = q X qy : X Y X A Y. Let B X A Y be an open neighborhood of q(y ) with a retraction map by r : B Y. Let (U i ) i I be an open covering of X A Y. Let (µ k ) k K be a locally finite partition of unity on Y which is subordinate to q 1 Y (U i). Clearly, r µ k is a locally finite partition of unity on B, but it is not subordinate to (U i ) i I B. Because X is paracompact and Hausdorff, it is normal ([10], p. 94, 99) and therefore Urysohn s lemma applies to it. Namely, we can find a function c k : X [0,1] such that supp(c k ) q 1 X (U i(k)) and such that c k (a) = 1 if a A and µ k (f(a)) > 0. Define a function ν k : X A Y [0,1] by ν k = µ k on q(y ) and ν k = c k r µ k on q(x). Clearly, ν k is a locally finite family of functions and the function ν = ν k is equal to 1 on q(y ). On the other hand, the space Z := ν 1 [0, 2 3 ] is a closed subspace of the paracompact Hausdorff space X and therefore also paracompact. Then take a partition of unity subordinate to (Z U i ) i I and use a bump function b with b = 0 if ν 1 3 and b = 1 if ν 2 3 to glue both partitions of unity together. Proof of Lemma A.5. To simplify notation, we shall talk about locally finite families of nonnegative functions without mentioning their individual members. If f is a locally finite family of nonnegative functions, we denote the sum of its members by f and the support of f simply by supp(f). Let U be an open covering of Y. Any locally finite family f of nonnegative functions on Y n which is subordinate to U Y n admits an extension to a locally finite family of nonnegative functions on all of Y, subordinate to U. This follows from an iterated application of Urysohn s lemma, using the retraction maps. Nowstart with a partition of unity µ (1) on Y 1 which is subordinate to U Y 1. Extend it as above to a locally finite family on Y, also denoted µ (1). Then choose a subordinate locally finite family µ (2) on Y 2 whose support is contained in { µ (1) 1 2 } and which is equal to 1 on { µ (1) 1 4 }. The sum µ (1) + µ (2) is a locally finite family of functions which is subordinate to U and whose support contains Y 2. We repeat this process: Assume that locally finite families of nonnegative functions µ (1),...µ (n) on Y are chosen, such that the support of n k=1 µ (k) contains Y n. We can define a new locally finite family µ (n+1) with support contained in { n k=1 µ (k) 1 n+1 } and whose sum is equal to 1 on { µ (1) +...µ (n) 1 2(n+1) }. These conditions guarantee that the union n=1µ (n) of these 11
12 families of functions is locally finite and that the union of the supports covers Y. An obvious formula produces a partition of unity out of this family. References [1] M. Atiyah, G. Segal: Equivariant K-theory and completion. J. Differential Geometry 3 (1969) p [2] K. Behrend, G. Ginot, B. Noohi, P. Xu: String topology for stacks, preprint arxiv: [3] J. Ebert, J. Giansiracusa: Pontrjagin-Thom maps and the homology of the moduli stack of stable curves arxiv: [4] J. Ebert, J. Giansiracusa: On the homotopy type of the Deligne-Mumford compactification, Algebraic & Geometric Topology 8 (2008) [5] D. Freed, M. Hopkins, C. Teleman: Loop groups and twisted K-theory I, preprint, arxiv (2007). [6] D. Gepner, A. Henriques: Homotopy theory of orbispaces, preprint, arxiv (2007). [7] A. Haefliger: Homotopy and integrability, Manifolds - Amsterdam 1970, Springer Lecture Notes in Mathematics 197 (1971), p [8] J. Heinloth: Some notes on differentiable stacks, Mathematisches Institut, Seminars 2004/05, Universität Göttingen (2005), p [9] J. Milnor: Construction of universal bundles II, Ann. of Math. 63 (1956), p [10] J. Nagata: Modern general topology. Second edition. North-Holland Mathematical Library, 33. North-Holland Publishing Co., Amsterdam, (1985). [11] B. Noohi: Foundations of topological stacks I, preprint, arxiv (2005). [12] B. Noohi: Homotopy types of stacks, preprint, arxiv: [13] G. Segal: Classifying spaces and spectral sequences. Inst. Hautes Études Sci. Publ. Math. IHES, 34 (1968), p [14] G. Segal: Categories and cohomology theories. Topology 13 (1974), p [15] N. Wahl: Infinite loop space structure(s) on the stable mapping class group, Topology 43 (2004), p
Three 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 informationDerived Algebraic Geometry IX: Closed Immersions
Derived Algebraic Geometry I: Closed Immersions November 5, 2011 Contents 1 Unramified Pregeometries and Closed Immersions 4 2 Resolutions of T-Structures 7 3 The Proof of Proposition 1.0.10 14 4 Closed
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 informationBUNDLES, STIEFEL WHITNEY CLASSES, & BRAID GROUPS
BUNDLES, STIEFEL WHITNEY CLASSES, & BRAID GROUPS PETER J. HAINE Abstract. We explain the basics of vector bundles and principal G-bundles, as well as describe the relationship between vector bundles and
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 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 informationBEN KNUDSEN. Conf k (f) Conf k (Y )
CONFIGURATION SPACES IN ALGEBRAIC TOPOLOGY: LECTURE 2 BEN KNUDSEN We begin our study of configuration spaces by observing a few of their basic properties. First, we note that, if f : X Y is an injective
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 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 informationDerived Algebraic Geometry I: Stable -Categories
Derived Algebraic Geometry I: Stable -Categories October 8, 2009 Contents 1 Introduction 2 2 Stable -Categories 3 3 The Homotopy Category of a Stable -Category 6 4 Properties of Stable -Categories 12 5
More informationLecture 4: Stabilization
Lecture 4: Stabilization There are many stabilization processes in topology, and often matters simplify in a stable limit. As a first example, consider the sequence of inclusions (4.1) S 0 S 1 S 2 S 3
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 informationTHE H-PRINCIPLE, LECTURE 14: HAEFLIGER S THEOREM CLASSIFYING FOLIATIONS ON OPEN MANIFOLDS
THE H-PRINCIPLE, LECTURE 14: HAELIGER S THEOREM CLASSIYING OLIATIONS ON OPEN MANIOLDS J. RANCIS, NOTES BY M. HOYOIS In this lecture we prove the following theorem: Theorem 0.1 (Haefliger). If M is an open
More informationGroupoids and Orbifold Cohomology, Part 2
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 Motivation Orbifolds:
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 informationEquivalence of the Combinatorial Definition (Lecture 11)
Equivalence of the Combinatorial Definition (Lecture 11) September 26, 2014 Our goal in this lecture is to complete the proof of our first main theorem by proving the following: Theorem 1. The map of simplicial
More informationPART IV.2. FORMAL MODULI
PART IV.2. FORMAL MODULI Contents Introduction 1 1. Formal moduli problems 2 1.1. Formal moduli problems over a prestack 2 1.2. Situation over an affine scheme 2 1.3. Formal moduli problems under a prestack
More informationThe moduli stack of vector bundles on a curve
The moduli stack of vector bundles on a curve Norbert Hoffmann norbert.hoffmann@fu-berlin.de Abstract This expository text tries to explain briefly and not too technically the notions of stack and algebraic
More information1. Introduction. Let C be a Waldhausen category (the precise definition
K-THEORY OF WLDHUSEN CTEGORY S SYMMETRIC SPECTRUM MITY BOYRCHENKO bstract. If C is a Waldhausen category (i.e., a category with cofibrations and weak equivalences ), it is known that one can define its
More informationh M (T ). The natural isomorphism η : M h M determines an element U = η 1
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli
More informationCohomology and Vector Bundles
Cohomology and Vector Bundles Corrin Clarkson REU 2008 September 28, 2008 Abstract Vector bundles are a generalization of the cross product of a topological space with a vector space. Characteristic classes
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 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 informationL E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S
L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy
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 informationPICARD GROUPS OF MODULI PROBLEMS II
PICARD GROUPS OF MODULI PROBLEMS II DANIEL LI 1. Recap Let s briefly recall what we did last time. I discussed the stack BG m, as classifying line bundles by analyzing the sense in which line bundles may
More informationin path component sheaves, and the diagrams
Cocycle categories Cocycles J.F. Jardine I will be using the injective model structure on the category s Pre(C) of simplicial presheaves on a small Grothendieck site C. You can think in terms of simplicial
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 informationAXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY
AXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY JOHN R. KLEIN Abstract. In [Kl] we defined a variant of Farrell-Tate cohomology for a topological group G and any naive G-spectrum E by taking the homotopy
More informationEXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B
EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B SEBASTIAN GOETTE, KIYOSHI IGUSA, AND BRUCE WILLIAMS Abstract. When two smooth manifold bundles over the same base are fiberwise tangentially homeomorphic,
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 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 informationLECTURE 3 Functional spaces on manifolds
LECTURE 3 Functional spaces on manifolds The aim of this section is to introduce Sobolev spaces on manifolds (or on vector bundles over manifolds). These will be the Banach spaces of sections we were after
More informationThe Fundamental Group
The Fundamental Group Renzo s math 472 This worksheet is designed to accompany our lectures on the fundamental group, collecting relevant definitions and main ideas. 1 Homotopy Intuition: Homotopy formalizes
More informationAlgebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität
1 Algebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität Corrections for the first printing Page 7 +6: j is already assumed to be an inclusion. But the assertion
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 information14 Lecture 14: Basic generallities on adic spaces
14 Lecture 14: Basic generallities on adic spaces 14.1 Introduction The aim of this lecture and the next two is to address general adic spaces and their connection to rigid geometry. 14.2 Two open questions
More informationDerived Algebraic Geometry III: Commutative Algebra
Derived Algebraic Geometry III: Commutative Algebra May 1, 2009 Contents 1 -Operads 4 1.1 Basic Definitions........................................... 5 1.2 Fibrations of -Operads.......................................
More informationSOME EXERCISES. This is not an assignment, though some exercises on this list might become part of an assignment. Class 2
SOME EXERCISES This is not an assignment, though some exercises on this list might become part of an assignment. Class 2 (1) Let C be a category and let X C. Prove that the assignment Y C(Y, X) is a functor
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 information1 Categorical Background
1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
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 information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
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 informationEQUIVARIANT AND NONEQUIVARIANT MODULE SPECTRA
EQIVARIANT AND NONEQIVARIANT MODLE SPECTRA J. P. MAY Abstract. Let be a compact Lie group, let R be a commutative algebra over the sphere -spectrum S, and let R be its underlying nonequivariant algebra
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationHomotopy and geometric perspectives on string topology
Homotopy and geometric perspectives on string topology Ralph L. Cohen Stanford University August 30, 2005 In these lecture notes I will try to summarize some recent advances in the new area of study known
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 informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
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 information1 Differentiable manifolds and smooth maps
1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set
More informationJournal of Pure and Applied Algebra
Journal of Pure and Applied Algebra 214 (2010) 1384 1398 Contents lists available at ScienceDirect Journal of Pure and Applied Algebra journal homepage: www.elsevier.com/locate/jpaa Homotopy theory of
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 informationWhat are stacks and why should you care?
What are stacks and why should you care? Milan Lopuhaä October 12, 2017 Todays goal is twofold: I want to tell you why you would want to study stacks in the first place, and I want to define what a stack
More informationABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY
ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY ARDA H. DEMIRHAN Abstract. We examine the conditions for uniqueness of differentials in the abstract setting of differential geometry. Then we ll come up
More informationTHE ADAMS CONJECTURE, AFTER EDGAR BROWN. 1. Introduction
THE ADAMS CONJECTURE, AFTER EDGAR BROWN JOHANNES EBERT 1. Introduction Let X be a finite CW-complex. Denote by Sph(X) the abelian group of stable fibre-homotopy classes of spherical fibrations on X. Let
More informationNonabelian Poincare Duality (Lecture 8)
Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any
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 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 informationThe d-orbifold programme. Lecture 3 of 5: D-orbifold structures on moduli spaces. D-orbifolds as representable 2-functors
The d-orbifold programme. Lecture 3 of 5: D-orbifold structures on moduli spaces. D-orbifolds as representable 2-functors Dominic Joyce, Oxford University May 2014 For the first part of the talk, see preliminary
More informationIntroduction to Chiral Algebras
Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument
More informationMultiplicative properties of Atiyah duality
Multiplicative properties of Atiyah duality Ralph L. Cohen Stanford University January 8, 2004 Abstract Let M n be a closed, connected n-manifold. Let M denote the Thom spectrum of its stable normal bundle.
More informationThe topology of path component spaces
The topology of path component spaces Jeremy Brazas October 26, 2012 Abstract The path component space of a topological space X is the quotient space of X whose points are the path components of X. This
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 informationON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES
ON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES CLEMENS BERGER AND IEKE MOERDIJK Abstract. We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given
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 informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationarxiv:math/ v1 [math.ag] 24 Nov 1998
Hilbert schemes of a surface and Euler characteristics arxiv:math/9811150v1 [math.ag] 24 Nov 1998 Mark Andrea A. de Cataldo September 22, 1998 Abstract We use basic algebraic topology and Ellingsrud-Stromme
More informationMODEL STRUCTURES ON PRO-CATEGORIES
Homology, Homotopy and Applications, vol. 9(1), 2007, pp.367 398 MODEL STRUCTURES ON PRO-CATEGORIES HALVARD FAUSK and DANIEL C. ISAKSEN (communicated by J. Daniel Christensen) Abstract We introduce a notion
More informationThe maximal atlas of a foliation. 1 Maximal atlas, isonomy, and holonomy
The maximal atlas of a foliation Talk at 62. PSSL, Utrecht Oct. 1996 Anders Kock We shall describe such maximal atlas and provide it with an algebraic structure that brings along the holonomy groupoid
More informationLecture 6: Classifying spaces
Lecture 6: Classifying spaces A vector bundle E M is a family of vector spaces parametrized by a smooth manifold M. We ask: Is there a universal such family? In other words, is there a vector bundle E
More informationNOTES ON GEOMETRIC LANGLANDS: STACKS
NOTES ON GEOMETRIC LANGLANDS: STACKS DENNIS GAITSGORY This paper isn t even a paper. I will try to collect some basic definitions and facts about stacks in the DG setting that will be used in other installments
More informationCLASS NOTES MATH 527 (SPRING 2011) WEEK 5
CLASS NOTES MATH 527 (SPRING 2011) WEEK 5 BERTRAND GUILLOU 1. Mon, Feb. 14 The same method we used to prove the Whitehead theorem last time also gives the following result. Theorem 1.1. Let X be CW and
More informationFINITE SPECTRA CARY MALKIEWICH
FINITE SPECTRA CARY MALKIEWICH These notes were written in 2014-2015 to help me understand how the different notions of finiteness for spectra are related. I am usually surprised that the basics are not
More informationNOTES ON FIBER BUNDLES
NOTES ON FIBER BUNDLES DANNY CALEGARI Abstract. These are notes on fiber bundles and principal bundles, especially over CW complexes and spaces homotopy equivalent to them. They are meant to supplement
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 informationIntroduction (Lecture 1)
Introduction (Lecture 1) February 2, 2011 In this course, we will be concerned with variations on the following: Question 1. Let X be a CW complex. When does there exist a homotopy equivalence X M, where
More information32 Proof of the orientation theorem
88 CHAPTER 3. COHOMOLOGY AND DUALITY 32 Proof of the orientation theorem We are studying the way in which local homological information gives rise to global information, especially on an n-manifold M.
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationA CLOSED MODEL CATEGORY FOR (n 1)-CONNECTED SPACES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 11, November 1996 A CLOSED MODEL CATEGORY FOR (n 1)-CONNECTED SPACES J. IGNACIO EXTREMIANA ALDANA, L. JAVIER HERNÁNDEZ PARICIO, AND M.
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 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 2 Sheaves and Functors
Lecture 2 Sheaves and Functors In this lecture we will introduce the basic concept of sheaf and we also will recall some of category theory. 1 Sheaves and locally ringed spaces The definition of sheaf
More informationDuality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
More informationMath 231b Lecture 16. G. Quick
Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector
More informationSECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES
SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there
More informationPOSTNIKOV EXTENSIONS OF RING SPECTRA
POSTNIKOV EXTENSIONS OF RING SPECTRA DANIEL DUGGER AND BROOKE SHIPLEY Abstract. We give a functorial construction of k-invariants for ring spectra, and use these to classify extensions in the Postnikov
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationMini-Course on Moduli Spaces
Mini-Course on Moduli Spaces Emily Clader June 2011 1 What is a Moduli Space? 1.1 What should a moduli space do? Suppose that we want to classify some kind of object, for example: Curves of genus g, One-dimensional
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 informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
More informationAn Outline of Homology Theory
An Outline of Homology Theory Stephen A. Mitchell June 1997, revised October 2001 Note: These notes contain few examples and even fewer proofs. They are intended only as an outline, to be supplemented
More informationPART II.1. IND-COHERENT SHEAVES ON SCHEMES
PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image
More informationALGEBRAS OVER EQUIVARIANT SPHERE SPECTRA
ALGEBRAS OVER EQUIVARIANT SPHERE SPECTRA A. D. ELMENDORF AND J. P. MAY Abstract. We study algebras over the sphere spectrum S G of a compact Lie group G. In particular, we show how to construct S G -algebras
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 informationThe equivalence axiom and univalent models of type theory.
The equivalence axiom and univalent models of type theory. (Talk at CMU on February 4, 2010) By Vladimir Voevodsky Abstract I will show how to define, in any type system with dependent sums, products and
More informationGroup actions on stacks and applications to equivariant string topology for stacks
Group actions on stacks and applications to equivariant string topology for stacks Grégory Ginot Behrang Noohi July 13, 2012 Abstract This paper is a continuations of the project initiated in [BGNX]. We
More information