Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
SUBDIVISIONS OF SMALL CATEGORIES NOTES FOR REU BY J.P. MAY Let A be a (small) category. For example, monoids (sets with associative and unital products) can be identified with categories with a single object. Analogously, posets can be identified with those categories A with at most one arrow between any two objects by defining x ≤ y if there is an arrow x −→ y between the objects x and y of A . In particular, we write [n] for the poset {0 < 1 · · · < n}. If we think of [n] as a finite space, then a continuous map f : [m] −→ [n] is a monotonic, or nondecreasing, function, f (i) ≤ f (j) if i ≤ j. We can equally well regard such a function as a functor [m] −→ [n]. We are perilously close to defining the fundamental notion of a simplicial object in a possibly large category C , so let’s do so. Let ∆ denote the category of posets [n] and monotonic maps between them. This category is generated by certain canonical monotonic maps. We have the “face map” δi : [n] −→ [n + 1] which is the monomorphism that misses i. That is δi (j) = j if j < i and δi (j) = j + 1 if j ≥ i. We also have the surjection σi : [n + 1] −→ [n] that hits i twice. That is, σi (j) = j if j ≤ i and σi (j) = j − 1 if j > i. Every morphism in ∆ is a composite of these morphisms, and they satisfy certain easily determined identities. A simplicial object in C is a contravariant functor ∆ −→ C . In detail, it is a sequence of objects Cn ∈ C together with face maps di : Cn −→ Cn−1 and degeneracy maps si : Cn −→ Cn+1 , 0 ≤ i ≤ n, such that di ◦ dj = dj−1 ◦ di if i < j if i < j sj−1 ◦ di di ◦ sj = id if i = j or i = j + 1 sj ◦ di−1 if i > j + 1. si ◦ sj = sj+1 ◦ si if i ≤ j. When C = Set is the category of sets, we obtain sSet, the category of simplicial sets. For example, if S is a topological space, we obtain the simplicial set SX such that Sn X is the set of all continuous maps from the standard topological n-simplex ∆n to X. Explicitly, P ∆n = {(t0 , . . ., tn )|0 ≤ ti ≤ 1, ti = 1} ⊂ Rn+1 . We have the “face maps” δi : ∆n−1 −→ ∆n , 0 ≤ i ≤ n, specified by δi (t0 , . . ., tn−1 ) = (t0 , . . ., ti−1 , 0, ti , . . ., tn−1 ) and “degeneracy maps” σi : ∆n+1 −→ ∆n , 0 ≤ i ≤ n, Date: Summer, 2008. 1 2 NOTES FOR REU BY J.P. MAY specified by σi (t0 , . . ., tn+1 ) = (t0 , . . ., ti−1 , ti + ti+1 , ti+2 , . . ., tn+1 ). Precomposing with these maps, we obtain the maps di and si that make SX into a simplicial set. It has long been known that we can use simplicial sets pretty much interchangeably with topological spaces when studying homotopy theory. For a simplicial set K, we define a space |K|, called the “geometric realization” of K, as follows. As a set ` |X| = n≥0 (Kn × ∆n )/(∼), where the equivalence relation ∼ is generated by (k, δi u) ∼ (di (k), u) for k ∈ Kn and u ∈ ∆n−1 and (k, σi v) ∼ (si (k), v) for K ∈ Kn and v ∈ ∆n+1 . Topologize |K| by giving ` |K|n ≡ 0≤q≤n (Kq × ∆q )/(∼) the quotient topology and then giving |K| the topology of the union, so that a subset is closed if it intersects each |K|n in a closed subset. Write |k, u| for points of |K|. Say that (k, u) is nondegenerate if k ∈ Kn is not of the form si j for any i and any j ∈ Kn−1 and if u ∈ ∆n is an interior point. Every (k, u) is equivalent to one and only one nondegerate point. Define γ : |SX| −→ X by γ|f, u| = f (u) for f : ∆n −→ X and u ∈ ∆n . It is a fact that γ is a weak homotopy equivalence for every space X, although we shall not prove that. There is also a map ι : K −→ S|K| of simplicial sets specified by ι(k)(u) = |k, u| for k ∈ Kn and u ∈ ∆n . Again, as we also shall not prove, |ι| : |K| −→ |S|K|| is a homotopy equivalence. There is a neat relationship between | − | and S. They are left and right adjoint functors, meaning that there is a bijection, natural in both variables, between morphism sets: Top(|K|, X) ∼ = sSet(K, SX). It is specified by letting f correspond to g if f (|k, u|) = g(k)(u). There is also a construction that assigns a simplicial set K s to a simplicial complex K. The idea is to allow repeated elements in the sets of simplices. It is easiest to define K (X)s for a poset X, and then the construction gives a functor, but one can use any arbitrarily chosen ordering of the set of vertices to apply the definition more generally. One lets the set K (X)sn of n-simplices be the set of sequences x0 ≤ x1 ≤ · · · ≤ xn . Deleting xi gives di , and repeating xi gives si . The geometric realization gives the geometric realization |K (X)s |. When X is finite this is homeomorphic to any choice of geometric realization as we defined it earlier, but the definition |K (X)| = |K (X)s | works in general and gives a functor of X. With this as background, we turn to the homotopy theory of small categories A . We construct a simplicial set N A called the nerve of A . Regarding [n] as a category, we define the set Nn A of n-simplices to be the set of functors [n] −→ A . Regarding a monotonic function f : [m] −→ [n] as a functor, precomposition with f gives us the required contravariant functoriality on ∆. The definition should SUBDIVISIONS OF SMALL CATEGORIES 3 look very similar to the definition of the total singular functor S from spaces to simplicial sets. It gives us a functor N from Cat, the category of small categories and functors between them, to simplicial sets. We define BA = |N A |. This is called the classifying space of the category A . When G is a group regarded as a category with a single object, BG is called the classsifying space of the group G. The space BG is often written as K(G, 1) and called an Eilenberg-Mac Lane space. It is characterized (up to homotopy type) as a connected space with π1 (K(G, 1)) = G and with all higher homotopy groups πq (K(G, 1)) = 0. These are fundamentally important constructions in topology and its applications. The nerve functor N is accompanied by a functor τ1 : sSets −→ Cat, called the “fundamental category” functor. It is left adjoint to N , meaning that ∼ sSet(K, N A ). Cat(τ1 K, A ) = This means that it is conceptually sensible, but it does not have good homotopical properties. For a simplicial set K, the objects of the category τ1 K are the vertices (= 0-simplices) of K. To construct the morphisms, one starts by thinking of the 1-simplices y as maps d1 y −→ d0 y. One forms all words (formal composites) that make sense, that is, whose targets and sources match up. Then one imposes the relations on morphisms determined by s0 x = idx for x ∈ K0 and d1 z = d0 z ◦ d2 z for z ∈ K2 . This makes good sense since if K = N A , then a 0-simplex is an object x of A , a 1-simplex y is a map d1 y −→ d0 y and s0 x = idx , and a 2-simplex z is given by a pair of composable morphisms d2 z and d0 z together with their composite d1 z. Therefore there is a natural map τ1 N A −→ A that is the identity on zero simplices and is induced by the identity on 1-simplices. In fact, it is an isomorphism of categories: it is the identity on objects, and it presents the category in terms of generators given by the morphism sets modulo relations determined by the category axioms. For the adjunction, a functor F : τ1 K −→ A is constructed from a map of simplicial sets g : K −→ N A by letting F be the unique functor that agrees with g on objects (= 0-simplices) and equivalence classes of morphisms (= 1-simplices). Applying the adjunction to the identity map of τ1 K, we obtain a natural map η : K −→ N τ1 K. Backing up, we define the standard simplicial n-simplex ∆[n] to be the simplicial set whose q-simplices are the monotonic functions σ : [q] −→ [n]; precomposition with monotonic functions ξ : [p] −→ [q] gives the required contravariant functoriality on ∆. The nondegenerate q-simplices in ∆[n] are the monomorphisms (= strictly monotonic functions) [q] −→ [n], and there is one for each subset of [n] of cardinality q + 1. We may identify the set of all non-degenerate simplices with the poset of non-empty subsets of the set [n] of n + 1 elements, ordered by inclusion. In other words, ∆[n] = (K ([n])s is the simplicial set determined by the simplicial complex K ([n]). A monotonic function α : [m] −→ [n] gives a map α : ∆[m] −→ ∆[n] of simplicial sets that sends σ : [q] −→ [m] to α ◦ σ. Thus ∆[−] is a covariant functor from ∆ to simplicial sets. The n-skeleton K n of a simplicial set K is the subsimplicial set generated by the q-simplices for all q ≤ n. Visibly, τ1 K depends only on the 2-skeleton K 2 . Therefore the inclusion K 2 −→ K of simplicial sets induces an isomorphism of categories τ1 K 2 −→ τ1 K for any K. In particular, τ1 takes the inclusion ι : ∂∆[n] −→ ∆[n] of the boundary of the n-simplex to the identity functor when n > 2. Thus τ1 loses homotopical information: upon realization, |ι| is equivalent to the inclusion 4 NOTES FOR REU BY J.P. MAY S n−1 −→ Dn . What is amazing is that this extreme loss of information disappears after subdividing twice. This is something I am trying to better understand myself. The reader will find it easy to believe that there is a subdivision functor on simplicial sets that generalizes the subdivision functor Sd on simplicial complexes in the sense that (SdK)s ∼ = Sd(K s ) for a simplicial complex K. This allows one to define a subdivision functor on categories by setting SdA = τ1 SdN A . One can iterate subdivision, forming functors Sd2 on both simplicial sets and categories. What is mind blowing at first is that the iterated subdivision Sd2 A is actually a poset whose classifying space BSd2 A is homotopy equivalent to BA . I will explain at least the construction in a slow way to try to make the idea transparent. However, before heading for that, let us summarize a schematic and technically oversimplified global picture of all of the big categories we are constructing and comparing by functors. There is an interesting picture of lots of kinds of mathematics that come together with a focus on simplicial sets. Spaces oooo7 O o o o o oooooo K(−,1) ooooooo ooooo |−| S ooooooooπ1 o o o o o o o o owooooooo Groups Simp. SetsS 7 iSSSS S oooooo o SSS S S o o o SSS S o o oo oo SSS S SSd2 N oooooo SSS S o o o SSS S S o i o o oooo τ1 SSS S o i o SSS S S o o o o o o SSS S o o o o SSS S) o o owooo S Categories Simp. Complexes u _????? uuuuu: ???? u u ???? 2 uu uu ????Sd X uuuuu u ??? uu uu i ?? uuuuuu K ????? u ???? uu u zuuuuuu ? ∼ = / T A − spaces P osets o 0 ∼ = Our earlier talks focused on finite spaces, but the basic theory generalizes with the finiteness removed, provided we understand simplicial complexes to mean abstract simplicial complexes. As noted above, we didn’t define geometric realization in general earlier, but we have done so now. The equivalence of posets with T0 Alexandroff spaces and the constructions K and X that we worked out in detail for finite spaces work in exactly the same way when we no longer restrict ourselves to the finite case. The functors i in the diagram are thought of as inclusions of categories. We have defined all of the categories and functors exhibited in the diagram except for Sd2 . As very often, there are two ways to define subdivision, a conceptual one and a concrete combinatorial one. Which one prefers is a matter of taste. We will start conceptually and then come back down to earth. For a set C and a simplicial set L, one can form a new simplicial set C × L by letting (C × L)q = C × Lq , and similarly letting the faces and degeneracies be SUBDIVISIONS OF SMALL CATEGORIES 5 induced by those of L. A simplicial set K can be reconstructed from the disjoint union over n of the simplicial sets Kn × ∆[n] for n ≥ 0 by taking equivalence classes under the equivalence relation generated by (1) (α∗ (k), σ) ≃ (k, α∗ (σ)) for k ∈ Kn , σ ∈ ∆[m]q , and α : [m] −→ [n]. Here α∗ (k) ∈ Km is given by the fact that K is a contravariant functor from ∆ to sets and α∗ (σ) ∈ ∆[n]q is given by the fact that ∆[−] is a covariant functor from ∆ to simplicial sets. The simplicial structure is induced from the simplicial structure on the ∆[n]. The point is that an arbitrary pair (k, τ ) in Kn × ∆[n]q is equivalent to the pair (τ (k), ιq ) in Kq × ∆[q]q , where ιq : [q] −→ [q] is the identity map viewed as a canonical q-simplex in ∆[q], and τ : [q] −→ [n] is viewed as a morphism of ∆, so that τ = τ∗ (ιq ). Identifying equivalence classes of q-simplices with elements of Kq in this faction, we find that the faces and degeneracies agree. Indeed, for ξ : [p] −→ [q], ξ ◦ ιp = ιq ◦ ξ and (k, ξ ∗ (ιq )) = (k, ξ∗ (ιp )) ≃ (ξ ∗ (k), ιp ). We define Sd∆[n] = (K ′ [n])s . That is, we take the simplicial set associated to the barycentric subdivision of the simplicial complex K [n], where we again regard [n] as a poset. Just like ∆[−], this gives a covariant functor Sd∆[−] from ∆ to simplicial sets. We use it in exactly the same way as above to construct SdK as a quotient of the disjoint union of the K [n] × Sd∆[n] by the equivalence relation of the same form as (1). This is obviously sensible! We then define SdA = τ1 SdN A . MORE TO COME.