Simplicial Objects and Homotopy Groups
|
|
- Emil Webster
- 5 years ago
- Views:
Transcription
1 Simplicial Objects and Homotopy Groups Jie Wu Department of Mathematics National University of Singapore July 8, 2007
2 Simplicial Objects and Homotopy Groups -Objects and Homology Simplicial Sets and Homotopy Simplicial Groups Braids and Homotopy Groups
3 Definitions A -set means a sequence of sets X = {X n } n 0 with faces d i : X n X n 1, 0 i n, such that for i j, which is called the -identity. d i d j = d j d i+1 (1) One can use coordinate projections for catching -identity: d i : (x 0,..., x n ) (x 0,..., x i 1, x i+1,..., x n ). A -map f : X Y means a sequence of functions f : X n Y n for each n 0 such that f d i = d i f. A -set G = {G n } n 0 is called a -group if each G n is a group, and each face d i is a group homomorphism.
4 -set is a contravariant functor Let O + be the category whose objects are finite ordered sets and whose morphisms are functions f : X Y such that f (x) < f (y) if x < y. The objects in O + are given by [n] = {0, 1,..., n} for n 0 and the morphisms in O + are generated by d i : [n 1] [n] the ordered embedding missing i. Proposition. Let S denote the category of sets. -sets are one-to-one correspondent to contravariant functors from O + to S. a -group means a contravariant functor from O + to the category of groups. More abstractly, for any category C, a -object over C means a contravariant functor from O + to C. In other words, a -object over C means a sequence of objects over C, X = {X n } n 0 with faces d i : X n X n 1 as morphisms in C.
5 Example of -sets The n-simplex + [n], as a -set, is as follows: + [n] k = {(i 0, i 1,..., i k ) 0 i 0 < i 1 < < i k n} for k n and + [n] k = for k > n. The face d j : + [n] k + [n] k 1 is given by d j (i 0, i 1,..., i k ) = (i 0, i 1,..., îj,..., i k ), that is deleting i j. Let σ n = (0, 1,..., n). Then any elements in [n] can be written an iterated face of σ n. Proposition. Let X be a -set and let x X n be an element. Then there exists a unique -map, called the representing map of x, such that f x (σ n ) = x. f x : + [n] X
6 Abstract Simplicial Complexes An abstract simplicial complex K is a collection of finite nonempty sets, such that if A is an element in K, so is every nonempty subset of A. The element A of K is called a simplex of K; its dimension is one less than the number of its elements. Each nonempty subset of A is called a face of A. Let K be an abstract simplicial complex with vertices ordered. Let K n be the set of n-simplices of K. Define the faces d i : K n K n 1, 0 i n, as follows. If {a 0, a 1,..., a n } is an n-simplex of K with a 0 < a 1 < < a n, then define d i {a 0, a 1,..., a n } = {a 0, a 1,..., a i 1, a i+1,..., a n }. Proposition. Let K = {K n } n 0 with faces defined as above. Then K is a -set.
7 Polyhedral A -set X is called polyhedral if there exists an abstract simplicial complex K such that X = K. Theorem. Let X be a -set. Then X is polyhedral if and only if the following holds: 1. There exists an order of X 0 such that, for each x X n, f x (0) f x (1) f x (n). 2. The function φ: n 0 X n 2 X 0 is one-to-one.
8 -complex The standard geometric n-simplex n is defined by n n = {(t 0, t 1,..., t n ) t i 0 and t i = 1}. Define d i : n 1 n by setting i=0 d i (t 0, t 1,..., t n 1 ) = (t 0,..., t i 1, 0, t i,..., t n 1 ). A -complex structure on a space X is a collection of maps C(X) = {σ α : n X α J n n 0}. such that 1. σ α Int( n ) : Int( n ) X is injective, and each point of X is in the image of exactly one such restriction σ α Int( n ). 2. For each σ α C(X), each face σ α d i C(X). 3. A set A X is open if and only if σ 1 α (A) is open in n for each σ α C(X).
9 -set from -complex Let X be a -complex. Define C n (X) = {σ α : n X α J n } C(X) with d i : Cn (X) Cn 1 (X) given by for 0 i n. d i (σ α ) = σ α d i C (X) = {C n (X)} n 0 is a -set.
10 Geometric Realization of -sets Let K be a -set. The geometric realization K of K is defined to be K = x K n n 0 ( n, x)/ = n K n /, n=0 where ( n, x) is n labeled by x K n and is generated by (z, d i x) (d i z, x) for any x K n and z n 1 labeled by d i x. For any x K n, let σ x : n = ( n, x) K be the canonical characteristic map. The topology on K is defined by A K is open if and only if the pre-image σx 1 (A) is open in n for any x K n and n 0. Proposition. Let K be a -set. Then K is -complex.
11 Homology of -sets a chain complex of groups means a sequence C = {C n } of groups with differential n : C n C n 1 such that n n+1 is trivial, that is Im( n+1 ) Ker( n ) and so the homology is defined by H n (C) = Ker( n )/Im( n+1 ), which is a coset in general. Proposition. Let G be a -abelian group. Define n n = ( 1) i d i : G n G n 1. i=0 Then n 1 n = 0, that is, G is a chain complex under. Let X be a -set. The homology H (X; G) of X with coefficients in an abelian group G is defined by H (X; G) = H (Z(X) G, ), where Z(X) = {Z(X n )} n 0 and Z(X n ) is the free abelian group generated by X n.
12 Simplicial and Singular Homology Let X be a -complex. Then simplicial homology of X with coefficients in an abelian group G is defined by For any space X, define H (X; G) = H (C (X); G). S n (X) = Map( n, X) be the set of all continuous maps from n to X with d i = d i : S n (X) = Map( n, X) S n 1 (X) = Map( n 1, X). for 0 i n. Then S (X) = {S n (X)} n 0 is a -set. The singular homology H (X; G) = H (S (X); G).
13 Definition A simplicial set means a -set X together with a collection of degeneracies s i : X n X n+1, 0 i n, such that for j < i, for j i and d j d i = d i 1 d j (2) s j s i = s i+1 s j (3) s i 1 d j j < i d j s i = id j = i, i + 1 s i d j 1 j > i + 1. The three identities for d i d j, s j s i and d i s j are called the simplicial identities. A simplicial map f means a sequence of functions f : X n Y n such that d i f = fd i and s i f = fs i. One can use deleting-doubling coordinates for catching simplicial identities. (4)
14 Simplicial Set is a Functor Let O be the category whose objects are finite ordered sets and whose morphisms are functions f : X Y such that f (x) f (y) if x < y. The objects in O are given by [n] = {0,..., n} for n 0, which are the same as the objects in O +. The morphisms in O are generated by d i, which is defined in O +, and the following morphism ( s i : [n+1] [n] s i 0 1 i 1 i i + 1 i + 2 = 0 1 i 1 i i i + 1 for 0 i n, that is, s i hits i twice. Exercise. simplicial sets are one-to-one correspondent to contravariant functors from O to S. Let C be a category. A simplicial object over C means a contravariant functor from O to C, i.e. a sequence of objects X = {X n } n 0 with face morphisms d i : X n X n 1 and degeneracy morphisms s i : X n X n+1, 0 i n, such that the three simplicial identities hold.
15 Geometric Realization Let X be a simplicial set. Then its geometric realization X is a CW -complex defined by X = ( n, x)/ = n X n /, x X n n 0 n=0 where ( n, x) is n labeled by x X n and is generated by (z, d i x) (d i z, x) for any x X n and z n 1 labeled by d i x, and (z, s i x) (s i z, x) for any x X n and z n+1 labeled by s i x. Note that the points in ( n+1, s i x) and ( n 1, d i x) are identified with the points in ( n, x). X is a CW -complex.
16 n-simplex The n-simplex [n], as a simplicial set, is as follows: [n] k = {(i 0, i 1,..., i k ) 0 i 0 i 1 i k n} for k n. The face d j : [n] k [n] k 1 is given by d j (i 0, i 1,..., i k ) = (i 0, i 1,..., îj,..., i k ), that is deleting i j. The degeneracy s j : [n] k [n] k+1 is defined by s j (i 0, i 1,..., i k ) = (i 0, i 1,..., i j, i j,..., i k ), that is doubling i j. Let σ n = (0, 1,..., n) [n] n. Then any elements in [n] can be written as iterated compositions of faces and degeneracies of σ n. Let X be a simplicial set and let x X n be an element. Then there exists a unique simplicial map, called representing map of x, f x : [n] X
17 Basic Constructions Cartesian Product: (X Y ) n = X n Y n. X Y = X Y under compact generated topology. The geometric realization of a simplicial group is a topological group (under compactly generated topology). Wedge: (X Y ) n = X n Y n, union at the basepoint. X Y = X Y. Smash Product: X Y = (X Y )/(X Y ). X Y = X Y under compactly generated topology.
18 Mapping Space Let σ n = (0, 1,..., n) [n] be the nondegenerate element. d i = f di σ n : [n 1] [n] s i = f si σ n : [n + 1] [n] Let Map(X, Y ) n = Hom S (X [n], Y ) and let d i = (id X d i ) : Map(X, Y ) n = Hom S (X [n], Y ) Hom S (X [n 1], Y ) = Map(X, Y ) n 1, s i = (id X s i ) : Map(X, Y ) n = Hom S (X [n], Y ) Hom S (X [n + 1], Y ) = Map(X, Y ) n+1 for 0 i n. Map(X, Y ) = {Map(X, Y ) n } n 0 with d i and s i is a simplicial set, which is called the mapping space from X to Y.
19 Homotopy Let I = [1]. As a simplicial set, n+1 i {}}{{}}{ I n = {t i = ( 0,..., 0, 1,..., 1) 0 i n + 1} n+1 Given a simplicial set X, the simplicial subsets X 0 and X 1 of X I are given by (X 0) n = {(x, t 0 ) x X n }, (X 1) n = {(x, t 1 ) x X n }. Let f, g : X Y be simplicial maps. We call f homotopic to g if there is a simplicial map F : X I Y such that F X 0 = f and F X 1 = g in which case write f g. If A is a simplicial subset of X and f, g : X Y are simplicial maps such that f A = g A, we callf homotopic to g relative to A, denoted by f g rel A, if there is a homotopy F : X I Y such that F X 0 = f, F X 1 = g and F A I = f. i
20 Fibrant Simplicial Set Let X be a simplicial set. The elements x 0,..., x i 1, x i+1,..., x n X n 1 are called matching faces with respect to i if d j x k = d k x j+1 for j k and k, j + 1 i. A simplicial set X is called fibrant (or Kan complex) if it satisfies the following homotopy extension condition for each i: Let x 0,..., x i 1, x i+1,..., x n X n 1 be any elements that are matching faces with respect to i. Then there exists an element w X n such that d j w = x j for j i. Theorem. Let X and Y be simplicial sets. If Y is fibrant, then [X, Y ] = Hom S (X, Y )/ is the same as [ X, Y ].
21 Simplicial Fibration A simplicial map p : E B is called a (Kan) fibration if for every commutative diagram of simplicial maps Λ k [n] i E p [n] B there is a simplicial map θ : [n] X (the dotted arrow) making the diagram commute, where i is the inclusion of Λ k [n] in [n]. Let v B 0 be a vertex. Then F = p 1 (v), that is F = {p 1 (s n v} n 0 is called a fibre of p over v. Let p : E B be a fibration and let F = p be the fibre. Suppose that E or B is fibrant. Then there is a long exact sequence on homotopy groups.
22 Moore Paths and Moore Loops Let X be a pointed simplicial set. The Moore Path is defined by setting (PX) n = {x X n+1 d 1 d 2 d n+1 x = } with faces di P = di+1 X (PX) n : (PX) n (PX) n 1 and degeneracies si P = si+1 X (PX) n : (PX) n (PX) n+1 for 0 i n. Proposition. PX is contractible. If X is fibrant, PX X is a fibration. Let X be a pointed fibrant simplicial set. The Moore loop ΩX is defined to be the fibre of p X : PX X. More precisely, (ΩX) n = {x X n+1 d 1 d 2 d n+1 x = and d 0 x = } with faces di Ω 0 i n. = d X i+1 and degeneracies sω i = s X i+1 for
23 Moore Postnikov System Let X be a simplicial set. For each n 0, define the equivalence relation n on X as follows: For x, y X q, we call x n y if each iterated face of x of dimension n agrees with the correspondent iterated face of y. Define P n X = X/ n for each n 0. Then we have the tower X P n X P n 1 X P 0 X called Moore-Postnikov system of X or coskeleton filtration of X.
24 Theorem Let X be a pointed fibrant simplicial set and let be the projection. Then p n : X P n (X) each p n : X P n X is a fibration, each P n X is fibrant, and for each n m, the projection P n X P m X is a fibration. p n : π q (X) π q (P n X) is an isomorphism for q n. Let q > n and let x be a spherical element in (P n X) q. Then x =. In particular, π q (P n X) = 0 for q > n. Let E n X be the fibre of the projection P n X P n 1 X. Then E n X is an Eilenberg-MacLane complex of K (π n (X), n).
25 Moore Chain Complex Let G be a simplicial group. Define N n G = n Ker(d j : G n G n 1 ). j=1 Then NG = {N n G, d 0 } is a chain complex. Moore Theorem. H n (NG) = π n (G) = π n ( G ). Moore cycles: Z n G = n j=0 Ker(d j : G n G n 1 ). Moore boundaries: B n G = d 0 (N n+1 G). π n ( G ) = Z n G/B n G.
26 Abelian Simplicial Groups Let G be a simplicial abelian groups. Define by setting n : G n G n 1 n (x) = n ( 1) j d j x. j=0 As we have seen for abelian -groups, (G, ) becomes a chain complex. Thus for a simplicial abelian group G we have two chain complexes (NG, d 0 ) and (G, ). Let x N n G. Then (x) = d 0 x because d j x = 0 for j > 0, and so (NG, d 0 ) is a chain subcomplex of (G, ). Theorem. Let G be a simplicial abelian group. Then the inclusion (NG, d 0 ) (G, ) induces an isomorphism on homology H (NG, d 0 ) = H (G, ).
27 Hurewicz Theorem Let X be a simplicial set. Let Z(X) = {Z(X n )} n 0 be the sequence of the free abelian group generated by X n. Then Z(X) is a simplicial abelian group. The integral homology of X is defined by H (X) = π (Z(X)) = H (Z(X), ). Hurewicz homomorphism The map j : X Z(X), x x induces a group homomorphism h n = j : π n (X) π n (Z(X)) = H n (X) for any fibrant simplicial set X and n 1. Let X be a fibrant simplicial set with π i (X) = 0 for i < n with n 2. Then H i (X) = 0 for i < n and is an isomorphism. h n : π n (X) H n (X)
28 Group Homology Let G be a monoid. Let WG be the simplicial set given by (WG) n = {(g 0, g 1,..., g n ) g i G} = G n+1 with faces and degeneracies given by d i (g 0,..., g n ) = { (..., gi 1, g i g i+1, g i+2,...) if i < n (g 0,..., g n 1 ) if i = n s i (g 0,..., g n ) = (g 0, g 1,..., g i, e, g i+1..., g n ). Let R be a commutative ring and let M be an R(G)-module. Then we have the simplicial abelian group R(WG) R(G) M. The homology of G with coefficients in M is then defined by H (G; M) = π (R(WG) R(G) M) = H (R(WG) R(G) M, ).
29 Milnor s Construction A pointed set S means a set S with a basepoint. Denote by F[S] the free group generated by S subject to the relation = 1. Let X be a pointed simplicial set. Milnor s construction is the simplicial group F[X], where F[X] n = F[X n ] with face and degeneracy homomorphisms induced by the faces and degeneracies of X. Theorem. F[X] ΩΣ X. The loop space of the suspension of X. James Construction. J(X) is the free monoid generated by X subject to the relation = 1. Theorem. If X is path-connected, then the inclusion J(X) F[X] is a homotopy equivalence.
30 Kan s Construction For a reduced simplicial set X, let GX be the simplicial group defined by 1. (GX) n is the quotient group of X n+1 subject to the relations: s 0 x = 1 for every x X n. Thus, as a group, (GX) n is the free group generated by X n+1 s 0 (X n ); or (GX) n = F[X n+1 /s 0 (X n )]. 2. The face and degeneracy operators are the group homomorphisms such that for x X n+1. d GX 0 x = (d 1 x)(d 0 x) 1, d GX i x = d i+1 x for i > 0, s GX i x = s i+1 x Theorem. GX Ω X.
31 Central Extension Theorem Proposition. The action of G 0 on G by conjugation induces an action of π 0 (G) on π n (G) for each n 0. We call a simplicial group G n-simple if π 0 (G) acts trivially on π n (G). A simplicial group G is called simple if it is n-simple for every n. Theorem. Let G be a simplicial group and let n 0. Suppose that G is n-simple. Then the homotopy group π n (G) is contained in the center of G n /B n G. Theorem. Let G be a reduced simplicial group such that G n is a free group for each n. Then there exits a unique integer γ G > 0 such that G n = {1} for n < γ G and rank(g n ) 2 for n > γ G. Furthermore, for n γ G + 1. π n (G) = Z (G n /B n G)
32 Abelianization of Moore Chains Let G be a group. Write G ab = G/[G, G] for the abelianization of the group G. Now given a simplicial group G, we have a chain complex of (non-abelian in general) groups (NG, d 0 ). Take the abelianization (N n G) ab of N n G for each n, the differential d 0 : N n G N n 1 G induces a homomorphism d0 ab : (N ng) ab (N n 1 G) ab and so a chain complex of abelian groups ((NG) ab, d0 ab). Theorem. Let G be a simplicial group such that (1) each G n is a free group and (2) π 0 (G) acts trivially on each π n (G). Then there is a decomposition H n ((NG) ab ) = π n (G) A n, where A n is a free abelian group. In particular, Tor(H ((NG) ab )) = Tor(π (G)).
33 Simplicial Group F [S 1 ] ΩS 2 Let S 1 be the simplicial 1-sphere. The elements in Sn 1 can be listed as follows. S0 1 = { }, S1 1 = {s 0, σ}, S2 1 = {s2 0, s 0σ, s 1 σ}, S3 1 = {s3 0, s 2s 1 σ, s 2 s 0 σ, s 1 s 0 σ}, and in general Sn+1 1 = {sn+1 0, x 0,..., x n }, where x j = s n ŝ j s 0 σ. The face d i : S 1 n+1 = {, x 0,..., x n } S 1 n = {, x 0,..., x n 1 } is given by d i s n+1 0 = s0 n and s0 n if j = i = 0 or i = j + 1 = n + 1 d i x j = x j if j < i x j 1 if j i. Similarly, s i x j = s i s n ŝ j s 0 σ = { xj if j < i x j+1 if j i.
34 Simplicial Group F [S 1 ] ΩS 2 F[S 1 ] is a simplicial group model for ΩS 2. As a sequence of groups, the group F[S 1 ] n is the free group of rank n generated by x 0, x 1,..., x n 1 with faces as above. Let y 0 = x 0 x 1 1,..., y n 1 = x n 1 xn 1 and y n = x n in F[S 1 ] n+1. Clearly {y 0, y 1,..., y n } is a set of free generators for F[S 1 ] n+1 with d i y j (0 i n + 1, 1 j n) given by d i y j = d i (x j x 1 j+1 ) = y j if j < i 1 1 if j = i 1 y j 1 if j i, y j if j < i 1 s i y j = y j y j+1 if j = i 1 y j+1 if j i, where y 1 = (y 0 y 1 y n 1 ) 1 and in this formula x n+1 = 1.
35 Simplicial Group F [S 1 ] ΩS 2 To describe all faces d i systematically in terms of projections, consider the free group of rank n in the following way. Let ˆF n+1 be the quotient of the free group F(z 0, z 1,..., z n ) subject to the single relation z 0 z 1 z n = 1. Let ẑ j be the image of z j in ˆF n+1. The group ˆF n+1 is written ˆF(ẑ 0, ẑ 1,..., ẑ n ) in case the generators ẑ j are used. Clearly ˆF n+1 = F(ẑ0, ẑ 1,..., ẑ n 1 ) is a free group of rank n. ˆF n+1 = π 1 (S 2 Q n+1 ). Define the faces d i and degeneracies s i on {ˆF n+1 } n 0 as follows: d i ẑ j = ẑ j if j < i 1 if j = i ẑ j 1 if j > i, s i ẑ j = ẑ j if j < i ẑ i ẑ i+1 if j = i ẑ j+1 if j > i. ˆF = {ˆFn+1 } n 0 with d i and s i defined as above is isomorphic to F[S 1 ].
36 Combinatorial Description of π (S 2 ) The Group G(n): generated by x 1, x 2,..., x n subject to the relations: 1) the ordered product of the generators x 1 x 2 x n = 1 and 2) the iterated commutators on the generators with the property that each generator occurs at least once in the commutator bracket. Theorem. For each n, the homotopy group π n (S 2 ) is isomorphic to the center of G(n). Fixed-point Set Theorem. The Artin representation induces an action of the braid group B n on G(n). Moreover the homotopy group π n (S 2 ) is isomorphic to the fixed set of the pure braid group action on G(n).
37 Example Let S = {S n+1 } n 0 be the sequence of symmetric groups of degree n + 1. Then S is a simplicial set in the following way: [n 1] d i σ [n] d i (σ) [n 1] [n + 1] d i s i σ σ [n] [n] s i (σ) [n + 1] s i σ [n]
38 Crossed Simplicial Groups A crossed simplicial group is a simplicial set G = {G n } n 0 for which each G n is a group, together with a group homomorphism µ: G n S n+1, g µ g for each n, such that (i) µ is a simplicial map, and (ii) for 0 i n, d i (gg ) = d i (g)d i µg (g ) and s i (gg ) = s i (g)s i µg (g ). An important example is that the sequence of Artin braid groups B = {B n+1 } n 0 is a crossed simplicial group with the faces and degeneracies described as follows: Given an (n + 1)-strand braid β B n+1, d i β is obtained by removing (i + 1) st strand braid and s i β is obtained by doubling (i + 1)-strand for 0 i n, where the stands are counted from initial points. Since the restriction of d i and s i to the pure braid groups are group homomorphisms, the sequence of groups P = {P n+1 } is a simplicial group.
39 Simplicial Structure on Configurations Let (M, d) be a metric space with basepoint w and let R + denote [0, ). A steady flow over M is a (continuous) map θ : R + M M such that (1) for any x M, θ(0, x) = x and for t > 0 0 < d(θ(t, x), x) t; (2) θ R+ {w} : R + {w} M is one-to-one; (3) there exists a function ɛ: R + (0, + ), t ɛ t, such that θ([0, ɛ t ) {θ(t, w)}) θ([t, ) {w}) for any t R +. Let M be a metric space with a steady flow. Then the sequence of groups B(M) π 1 = {π 1 (B(M, n + 1))} n 0 is a crossed simplicial group. Let M be a metric space with a steady flow. Then the sequence of groups F(M) π 1 = {π 1 (F(M, n + 1))} n 0 is a simplicial group.
40 -groups A -group G = {G n } n 0 consists of a -set G for which each G n is a group and each d i is a group homomorphism. The Moore complex NG = {N n G} n 0 of a -group G is defined by N n G = n Ker(d i : G n G n 1 ). i=1 Let G be a -group. Then d 0 (N n G) N n 1 G and NG with d 0 is a chain complex of groups. Let G be a -group. An element in B n G = d 0 (N n+1 G) is called a Moore boundary and an element in Z n G = Ker(d 0 : N n G N n 1 G) is called a Moore cycle. The nth homotopy π n (G) is defined to be the coset π n (G) = H n (NG) = Z n G/B n G.
41 -groups Induced by Configurations A crossed -group is a -set G = {G n } n 0 for which each G n is a group, together with a group homomorphism µ: G n S n+1, g µ g for each n, such that (i) µ is a -map and (ii) for 0 i n, d i (gg ) = d i (g)d i µg (g ). A space M is said to have a good basepoint w 0 if there is a continuous injection θ : R + M with θ(0) = w 0. Let M be a space with a good basepoint. Then (1) B(M) π 1 is a crossed -group, (2) F(M) π 1 is a -group,
42 Brunnian Braids An element in π 1 (B(M, n)) is called a braid of n strings over M. A pure braid of n strings over M means an element in π 1 (F(M, n)). A braid is called Brunnian if it becomes a trivial braid when any one of its strings is removed. In the terminology of -groups, a braid β π 1 (B(M, n + 1)) = B(M) π 1 n is Brunnian if and only if d i β = 1 for 0 i n. In other words, the Brunnian braids over M are the Moore cycles in the -group B(M) π 1. The group of Brunnian braids of n strings over M is denoted by Brun n (M). Proposition. Let β be a Brunnian braid of n strings over a space M with a good basepoint. If n 3, then β is a pure braid.
43 Theorems There is an exact sequence of groups 1 Brun n+1 (S 2 ) Brun n (D 2 ) f Brun n (S 2 ) π n 1 (S 2 ) 1 for n 5, where f is induced from the canonical embedding f : D 2 S 2. Let F(S 2 ) π 1 be the -group defined above. Then, for each n 1, the Moore homotopy group π n (F(S 2 ) π 1) is a group, and there is an isomorphism of groups for n 4. π n (F(S 2 ) π 1 ) = π n (S 2 )
44 Theorem Let AP = {P n+1 } be the sequence of classical Artin pure braid groups with the simplicial structure given by deleting/doubling braids. Then AP is a reduced simplicial group because AP 0 = P 1 = 1. Since AP 1 = P 2 = Z, there is a unique simplicial homomorphism Θ: F[S 1 ] AP that sends the non-degenerate 1-simplex of S 1 to the generator of AP 1 = Z, where F[S 1 ] is Milnor s F[K ]-construction on S 1. The morphism of simplicial groups Θ : F[S 1 ] AP is an embedding. Hence the homotopy groups of F[S 1 ] are natural sub-quotients of AP, and the geometric realization of quotient simplicial set AP /F[S 1 ] is homotopy equivalent to the 2-sphere. Furthermore, the image of Θ is the smallest simplicial subgroup of AP which contains A 1,2.
45 The -group P Let δ : F(C, n + 1) F(C, n) be the map defined by ( ) δ(z 1, z 2,..., z n ) =,,...,, z 2 z 1 z 3 z 1 z n z 1 corresponding geometrically to the reflection map in C about the unit circle centered at z 0. Then δ induces a group homomorphism : P n+1 P n. Proposition. Let χ: B n B n be the mirror reflection, that is, χ is an automorphism of B n such that χ(σ i ) = σ 1 i for all i. Let = χ : P n+1 P n. Then P = {P n } n 0 is -group with d 0 = and d 1,..., d n : P n P n 1 are given by deleting strands. Theorem. The -group P is fibrant, and there is an isomorphism π n (P) = π n (S 2 ) for every n.
46 Boundary Brunnian Braids The boundary Brunnian braid is defined to be Bd n = B n P = (Brun n+1 )) = (Brun n+1 )) as the subgroup of P n. Proposition. Bd n is a normal subgroup of B n. Theorem. The quotient groups P n /Bd n and B n /Bd n are finitely presented. Questions: Two questions then arise naturally: 1) Is the group P n /Bd n torsion free? 2) What is the center of B n /Bd n? The second question is a special case of the conjugation problem on braids. Namely, how to determine a braid β B n such that the conjugation σ i βσ 1 i lies in the coset βbd n for each 1 i n 1.
47 Theorem For a subgroup H of G, let (H, G) = {x G x q H for some q Z} denote the set of the roots of H in G. Then (Bdn, P n )/Bd n is the set of torsion elements in P n /Bd n. Let n 4. 1) (Bd n, P n )/Bd n = πn (S 2 ). 2) There are isomorphisms of groups Center(P n /Bd n ) = π n (S 2 ) Z Center(B n /Bd n ) = {α π n (S 2 ) 2α = 0} Z. This result gives a connection between the general higher homotopy groups of S 2 and the (special cases) of the conjugation problem on braids.
48 Mirror Reflection Theorem By moving our steps to the next, the mirror reflection χ: B n B n is a canonical operation on braids. Given a subgroup G of B n, one may ask whether there is a mirror symmetric braid β subject to G, that is, the braids β satisfying the equation of cosets χ(β)g = βg. The answer to this question becomes very nontrivial. In the case G = Bd n, the answer is again given in term of the homotopy group π n (S 2 ). Let Fix φ (G) denote the subgroup of the fixed-point of an automorphism φ of a group G. Theorem. The subgroup Bd n is invariant under the mirror reflection χ. Moreover there is an isomorphism of groups for n 3. Fix χ (B n /Bd n ) = π n (S 2 )
Lecture 0: Reivew of some basic material
Lecture 0: Reivew of some basic material September 12, 2018 1 Background material on the homotopy category We begin with the topological category TOP, whose objects are topological spaces and whose morphisms
More informationTHE DOLD-KAN CORRESPONDENCE
THE DOLD-KAN CORRESPONDENCE 1. Simplicial sets We shall now introduce the notion of a simplicial set, which will be a presheaf on a suitable category. It turns out that simplicial sets provide a (purely
More informationLecture 008 (November 13, 2009)
Lecture 008 (November 13, 2009) 17 The Dold-Kan correspondence Suppose that A : op R Mod is a simplicial R-module. Examples to keep in mind are the free simplicial objects R(X) associated to simplicial
More informationSimplicial Objects and Homotopy Groups. J. Wu
Simplicial Objects and Homotopy Groups J. Wu Department of Mathematics, National University of Singapore, Singapore E-mail address: matwuj@nus.edu.sg URL: www.math.nus.edu.sg/~matwujie Partially supported
More informationAn introduction to simplicial sets
An introduction to simplicial sets 25 Apr 2010 1 Introduction This is an elementary introduction to simplicial sets, which are generalizations of -complexes from algebraic topology. The theory of simplicial
More informationClassifying Spaces and Spectral Sequences
Classifying Spaces and Spectral Sequences Introduction Christian Carrick December 2, 2016 These are a set of expository notes I wrote in preparation for a talk given in the MIT Kan Seminar on December
More informationTHE REALIZATION SPACE OF A Π-ALGEBRA: A MODULI PROBLEM IN ALGEBRAIC TOPOLOGY
THE REALIZATION SPACE OF A Π-ALGEBRA: A MODULI PROBLEM IN ALGEBRAIC TOPOLOGY D. BLANC, W. G. DWYER, AND P. G. GOERSS Contents 1. Introduction 1 2. Moduli spaces 7 3. Postnikov systems for spaces 10 4.
More informationLecture 18: Groupoids and spaces
Lecture 18: Groupoids and spaces The simplest algebraic invariant of a topological space T is the set π 0 T of path components. The next simplest invariant, which encodes more of the topology, is the fundamental
More information4. Simplicial Complexes and Simplicial Homology
MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 4. Simplicial Complexes and Simplicial Homology Geometric simplicial complexes 4.1 Definition. A finite subset { v 0, v 1,..., v r } R n
More informationA MODEL CATEGORY STRUCTURE ON THE CATEGORY OF SIMPLICIAL CATEGORIES
A MODEL CATEGORY STRUCTURE ON THE CATEGORY OF SIMPLICIAL CATEGORIES JULIA E. BERGNER Abstract. In this paper we put a cofibrantly generated model category structure on the category of small simplicial
More informationCell-Like Maps (Lecture 5)
Cell-Like Maps (Lecture 5) September 15, 2014 In the last two lectures, we discussed the notion of a simple homotopy equivalences between finite CW complexes. A priori, the question of whether or not a
More informationMATH 215B MIDTERM SOLUTIONS
MATH 215B MIDTERM SOLUTIONS 1. (a) (6 marks) Show that a finitely generated group has only a finite number of subgroups of a given finite index. (Hint: Do it for a free group first.) (b) (6 marks) Show
More informationSmall CW -models for Eilenberg-Mac Lane spaces
Small CW -models for Eilenberg-Mac Lane spaces in honour of Prof. Dr. Hans-Joachim Baues Bonn, March 2008 Clemens Berger (Nice) 1 Part 1. Simplicial sets. The simplex category is the category of finite
More informationAlgebraic Topology: A brief introduction
Algebraic Topology: A brief introduction Harish Chintakunta This chapter is intended to serve as a brief, and far from comprehensive, introduction to Algebraic Topology to help the reading flow of this
More informationCombinatorics I (Lecture 36)
Combinatorics I (Lecture 36) February 18, 2015 Our goal in this lecture (and the next) is to carry out the combinatorial steps in the proof of the main theorem of Part III. We begin by recalling some notation
More informationGeom/Top: Homework 1 (due Monday, 10/08/12)
Geom/Top: Homework (due Monday, 0/08/2). Read Farb notes. 2. Read Hatcher, Intro to Chapter 2 and Section 2.. 3. (Do not hand this in) Let φ : A B and ψ : B A be group homomorphisms. Suppose that φ ψ =
More informationSolutions to Selected Exercises
Solutions to Selected Exercises Chapter 2 2.1. For x (2, 3), let δ x = min(x 2, 3 x). 2.3. R {x} =(,x) (x, ). If y (,x), then let δ y = x y so that δ y > 0 and (y δ y,y+ δ y ) (,x). Hence (,x) is open,
More informationin simplicial sets, or equivalently a functor
Contents 21 Bisimplicial sets 1 22 Homotopy colimits and limits (revisited) 10 23 Applications, Quillen s Theorem B 23 21 Bisimplicial sets A bisimplicial set X is a simplicial object X : op sset in simplicial
More informationPERSISTENT HOMOLOGY OF FINITE TOPOLOGICAL SPACES
PERSISTENT HOMOLOGY OF FINITE TOPOLOGICAL SPACES HANEY MAXWELL Abstract. We introduce homology and finite topological spaces. From the basis of that introduction, persistent homology is applied to finite
More informationON THE UBIQUITY OF SIMPLICIAL OBJECTS
ERASMUS MUNDUS MASTER ALGANT UNIVERSITÀ DEGLI STUDI DI PADOVA FACOLTÀ DI SCIENZE MM. FF. NN. CORSO DI LAUREA IN MATEMATICA ELABORATO FINALE ON THE UBIQUITY OF SIMPLICIAL OBJECTS RELATORE: PROF. B. CHIARELLOTTO
More informationConstructive Homological Algebra V. Algebraic Topology background
0 Constructive Homological Algebra V. Algebraic Topology background Francis Sergeraert, Institut Fourier, Grenoble, France Genova Summer School, 2006 1 General topological spaces cannot be directly installed
More information4. Definition: topological space, open set, topology, trivial topology, discrete topology.
Topology Summary Note to the reader. If a statement is marked with [Not proved in the lecture], then the statement was stated but not proved in the lecture. Of course, you don t need to know the proof.
More informationSPECTRAL SEQUENCES FROM CO/SIMPLICIAL OBJECTS
SPECTRAL SEQUENCES FROM CO/SIMPLICIAL OBJECTS ERIC PETERSON Abstract. Simplicial complexes are much more useful and versatile than mere combinatorial models for topological spaces, the first context they
More informationPoint-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS
Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS Definition 1.1. Let X be a set and T a subset of the power set P(X) of X. Then T is a topology on X if and only if all of the following
More informationLecture 11 COVERING SPACES
Lecture 11 COVERING SPACES A covering space (or covering) is not a space, but a mapping of spaces (usually manifolds) which, locally, is a homeomorphism, but globally may be quite complicated. The simplest
More informationThe language of categories
The language of categories Mariusz Wodzicki March 15, 2011 1 Universal constructions 1.1 Initial and inal objects 1.1.1 Initial objects An object i of a category C is said to be initial if for any object
More informationLecture 009 (November 25, 2009) Suppose that I is a small category, and let s(r Mod) I be the category of I-diagrams in simplicial modules.
Lecture 009 (November 25, 2009) 20 Homotopy colimits Suppose that I is a small category, and let s(r Mod) I be the category of I-diagrams in simplicial modules. The objects of this category are the functors
More informationAlgebra II: Review Exercises
: Review Exercises These notes reflect material from our text, A First Course in Abstract Algebra, Seventh Edition, by John B. Fraleigh, published by Addison-Wesley, 2003. Chapter 7. Advanced Group Theory
More information4.2 Simplicial Homology Groups
4.2. SIMPLICIAL HOMOLOGY GROUPS 93 4.2 Simplicial Homology Groups 4.2.1 Simplicial Complexes Let p 0, p 1,... p k be k + 1 points in R n, with k n. We identify points in R n with the vectors that point
More informationON THE FUNDAMENTAL GROUP OF CERTAIN POLYHEDRAL PRODUCTS
ON THE FUNDAMENTAL GROUP OF CERTAIN POLYHEDRAL PRODUCTS MENTOR STAFA Abstract. Let K be a finite simplicial complex, and (X, A) be a pair of spaces. The purpose of this article is to study the fundamental
More informationHOMOLOGY. Equivalently,
HOMOLOGY JOHN ROGNES 1. Homology 1.1. The Euler characteristic. The Euler characteristic of a compact triangulated surface X is defined to be the alternating sum χ(x) = V E + F where V, E and F are the
More informationCOMBINATORIAL METHODS IN ALGEBRAIC TOPOLOGY
COMBINATORIAL METHODS IN ALGEBRAIC TOPOLOGY 1. Geometric and abstract simplicial complexes Let v 0, v 1,..., v k be points in R n. These points determine a hyperplane in R n, consisting of linear combinations
More informationHomotopical algebra and higher categories
Homotopical algebra and higher categories Winter term 2016/17 Christoph Schweigert Hamburg University Department of Mathematics Section Algebra and Number Theory and Center for Mathematical Physics (as
More informationCohomology Theory for Digital Images
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY Volume 16, Number 1, 2013, 10 28 Cohomology Theory for Digital Images Ozgur EGE, Ismet KARACA Department of Mathematics, Celal Bayar University, 45140
More informationHomework 6: Excision for homotopy groups
Homework 6: Excision for homotopy groups Due date: Friday, October 18th. 0. Goals and Assumptions: The homotopy excision theorem Definition 5. Let A X. Thepair(X, A) is said to be n-connected if π i (X,
More informationHomology cycle bases from acyclic matchings
Homology cycle bases from acyclic matchings Dmitry Feichtner-Kozlov University of Bremen Kyoto Workshop, January 019 What is... Applied Topology? studying global features of shapes applications in other
More informationDERIVED DEFORMATION RINGS FOR GROUP REPRESENTATIONS
DERIVED DEFORMATION RINGS FOR GROUP REPRESENTATIONS LECTURES BY SOREN GALATIUS, NOTES BY TONY FENG Contents 1. Homotopy theory of representations 1 2. The classical theory 2 3. The derived theory 3 References
More information751 Problem Set I JWR. Due Sep 28, 2004
751 Problem Set I JWR Due Sep 28, 2004 Exercise 1. For any space X define an equivalence relation by x y iff here is a path γ : I X with γ(0) = x and γ(1) = y. The equivalence classes are called the path
More informationINTRODUCTION TO THE HOMOLOGY GROUPS OF COMPLEXES
INTRODUCTION TO THE HOMOLOGY GROUPS OF COMPLEXES RACHEL CARANDANG Abstract. This paper provides an overview of the homology groups of a 2- dimensional complex. It then demonstrates a proof of the Invariance
More informationRational Homotopy Theory
Yves Felix Stephen Halperin Jean-Claude Thomas Rational Homotopy Theory Springer Contents Introduction Table of Examples vii xxvii I Homotopy Theory, Resolutions for Fibrations, and P- local Spaces 0 Topological
More informationSimplicial Complexes: Second Lecture
Simplicial Complexes: Second Lecture 4 Nov, 2010 1 Overview Today we have two main goals: Prove that every continuous map between triangulable spaces can be approximated by a simplicial map. To do this,
More information1.1 Topological Representatives for Automorphisms
Chapter 1 Out(F n ) and Aut(F n ) 1.1 Topological Representatives for Automorphisms Definition 1.1.1. Let X be a topological space with base point P. A self-homotopy equivalence is a base point preserving
More informationHomotopy theory of higher categorical structures
University of California, Riverside August 8, 2013 Higher categories In a category, we have morphisms, or functions, between objects. But what if you have functions between functions? This gives the idea
More informationTopology Hmwk 3 All problems are from Allen Hatcher Algebraic Topology (online) ch 1
Topology Hmwk 3 All problems are from Allen Hatcher Algebraic Topology (online) ch Andrew Ma December 23, 203 This assignment has been corrected post - grading...6 (a) Proof. Assume for a contradiction
More informationLectures on topology. S. K. Lando
Lectures on topology S. K. Lando Contents 1 Reminder 2 1.1 Topological spaces and continuous mappings.......... 3 1.2 Examples............................. 4 1.3 Properties of topological spaces.................
More informationCategories, posets, Alexandrov spaces, simplicial complexes, with emphasis on finite spaces. J.P. May
Categories, posets, Alexandrov spaces, simplicial complexes, with emphasis on finite spaces J.P. May November 10, 2008 K(,1) Groups i Cats π 1 N Spaces S Simp. Sets Sd Reg. Simp. Sets Sd 2 τ Sd 1 i Simp.
More informationSOCIAL CHOICE AMONG COMPLEX OBJECTS:MATHEMATICAL TOOLS
SOCIAL CHOICE AMONG COMPLEX OBJECTS:MATHEMATICAL TOOLS SIMONA SETTEPANELLA Abstract. Here the reader can find some basic definitions and notations in order to better understand the model for social choise
More informationADDING INVERSES TO DIAGRAMS ENCODING ALGEBRAIC STRUCTURES
Homology, Homotopy and Applications, vol. 10(1), 2008, pp.1 26 ADDING INVERSES TO DIAGRAMS ENCODING ALGEBRAIC STRUCTURES JULIA E. BERGNER (communicated by Name of Editor) Abstract We modify a previous
More informationConstructive Homological Algebra VI. Constructive Spectral Sequences
0 Constructive Homological Algebra VI. Constructive Spectral Sequences Francis Sergeraert, Institut Fourier, Grenoble, France Genova Summer School, 2006 1 [F F τ B B] Key tools for effective spectral sequences
More informationEG and BG. Leo Herr CU Boulder PhD Program
EG and BG Leo Herr CU Boulder PhD Program Simplicial sets are supposedly useful, and we will now see an application. Let π be an abelian group. View it as a discrete topological group whenever necessary
More informationReflection groups 4. Mike Davis. May 19, Sao Paulo
Reflection groups 4 Mike Davis Sao Paulo May 19, 2014 https://people.math.osu.edu/davis.12/slides.html 1 2 Exotic fundamental gps Nonsmoothable aspherical manifolds 3 Let (W, S) be a Coxeter system. S
More informationLecture notes for Topology MMA100
Lecture notes for Topology MMA100 J A S, S-11 1 Simplicial Complexes 1.1 Affine independence A collection of points v 0, v 1,..., v n in some Euclidean space R N are affinely independent if the (affine
More informationFundamental Properties of Digital Simplicial Homology Groups
Vol., No. 2, March 23, PP: 25-42, ISSN: 2327-2325 (Online) Research article Fundamental Properties of Digital Simplicial Homology Groups Ozgur Ege*, Ismet Karaca *Department of Mathematics, Celal Bayar
More informationEQUIVARIANT COMPLETE SEGAL SPACES
EQUIVARIANT COMPLETE SEGAL SPACES JULIA E. BERGNER AND STEVEN GREG CHADWICK Abstract. In this paper we give a model for equivariant (, 1)-categories. We modify an approach of Shimakawa for equivariant
More informationCUBICAL SIMPLICIAL VOLUME OF SURFACES
CUBICAL SIMPLICIAL VOLUME OF SURFACES CLARA LÖH AND CHRISTIAN PLANKL ABSTRACT. Cubical simplicial volume is a variation on simplicial volume, based on cubes instead of simplices. Both invariants are homotopy
More informationHo(T op) Ho(S). Here is the abstract definition of a Quillen closed model category.
7. A 1 -homotopy theory 7.1. Closed model categories. We begin with Quillen s generalization of the derived category. Recall that if A is an abelian category and if C (A) denotes the abelian category of
More informationA MODEL STRUCTURE FOR QUASI-CATEGORIES
A MODEL STRUCTURE FOR QUASI-CATEGORIES EMILY RIEHL DISCUSSED WITH J. P. MAY 1. Introduction Quasi-categories live at the intersection of homotopy theory with category theory. In particular, they serve
More informationModuli Spaces of Commutative Ring Spectra
Moduli Spaces of Commutative Ring Spectra P. G. Goerss and M. J. Hopkins Abstract Let E be a homotopy commutative ring spectrum, and suppose the ring of cooperations E E is flat over E. We wish to address
More informationTHE RISE, FALL AND RISE OF SIMPLICIAL COMPLEXES. Andrew Ranicki (Edinburgh) aar Warwick 2nd February, 2018
1 THE RISE, FALL AND RISE OF SIMPLICIAL COMPLEXES Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Warwick 2nd February, 2018 2 Simplicial complexes A simplicial complex is a combinatorial scheme
More informationHomological and Combinatorial Proofs of the Brouwer Fixed-Point Theorem
Homological and Combinatorial Proofs of the Brouwer Fixed-Point Theorem Everett Cheng June 6, 2016 Three major, fundamental, and related theorems regarding the topology of Euclidean space are the Borsuk-Ulam
More informationIndependence Complexes of Certain Families of Graphs
Independence Complexes of Certain Families of Graphs Rickard Fors rifo0@kth.se Master thesis in Mathematics at KTH Presented August 19, 011 Supervisor: Jakob Jonsson Abstract The focus of this report
More informationGeneralized Moment-Angle Complexes
Generalized Moment-Angle Complexes Fred Cohen 1-5 June 2010 joint work with Tony Bahri, Martin Bendersky, and Sam Gitler The setting and the problems: This report addresses joint work with Tony Bahri,
More informationarxiv:math/ v2 [math.at] 28 Nov 2006
Contemporary Mathematics arxiv:math/0609537v2 [math.at] 28 Nov 2006 Model Categories and Simplicial Methods Paul Goerss and Kristen Schemmerhorn Abstract. There are many ways to present model categories,
More informationThe Cyclic Cycle Complex of a Surface
The Cyclic Cycle Complex of a Surface Allen Hatcher A recent paper [BBM] by Bestvina, Bux, and Margalit contains a construction of a cell complex that gives a combinatorial model for the collection of
More informationarxiv: v2 [math.gt] 15 Jan 2014
Finite rigid sets and homologically non-trivial spheres in the curve complex of a surface Joan Birman, Nathan Broaddus and William Menasco arxiv:1311.7646v2 [math.gt] 15 Jan 2014 January 15, 2014 Abstract
More informationUncountably many groups of type F P
Uncountably many groups of type F P Ian J. eary December 21, 2015 Abstract We construct uncountably many discrete groups of type F P ; in particular we construct groups of type F P that do not embed in
More informationMonads T T T T T. Dually (by inverting the arrows in the given definition) one can define the notion of a comonad. T T
Monads Definition A monad T is a category C is a monoid in the category of endofunctors C C. More explicitly, a monad in C is a triple T, η, µ, where T : C C is a functor and η : I C T, µ : T T T are natural
More information! B be a covering, where B is a connected graph. Then E is also a
26. Mon, Mar. 24 The next application is the computation of the fundamental group of any graph. We start by specifying what we mean by a graph. Recall that S 0 R is usually defined to be the set S 0 =
More informationExact discrete Morse functions on surfaces. To the memory of Professor Mircea-Eugen Craioveanu ( )
Stud. Univ. Babeş-Bolyai Math. 58(2013), No. 4, 469 476 Exact discrete Morse functions on surfaces Vasile Revnic To the memory of Professor Mircea-Eugen Craioveanu (1942-2012) Abstract. In this paper,
More informationNotes on categories, the subspace topology and the product topology
Notes on categories, the subspace topology and the product topology John Terilla Fall 2014 Contents 1 Introduction 1 2 A little category theory 1 3 The subspace topology 3 3.1 First characterization of
More informationBraid groups and Curvature Talk 2: The Pieces
Braid groups and Curvature Talk 2: The Pieces Jon McCammond UC Santa Barbara Regensburg, Germany Sept 2017 Rotations in Regensburg Subsets, Subdisks and Rotations Recall: for each A [n] of size k > 1 with
More informationCOVERING SPACES, GRAPHS, AND GROUPS
COVERING SPACES, GRAPHS, AND GROUPS CARSON COLLINS Abstract. We introduce the theory of covering spaces, with emphasis on explaining the Galois correspondence of covering spaces and the deck transformation
More informationTHE BASIC THEORY OF PERSISTENT HOMOLOGY
THE BASIC THEORY OF PERSISTENT HOMOLOGY KAIRUI GLEN WANG Abstract Persistent homology has widespread applications in computer vision and image analysis This paper first motivates the use of persistent
More informationDiscrete Morse Theory on Simplicial Complexes
Discrete Morse Theory on Simplicial Complexes August 27, 2009 ALEX ZORN ABSTRACT: Following [2] and [3], we introduce a combinatorial analog of topological Morse theory, and show how the introduction of
More informationOn The Algebraic L-theory of -sets
Pure and Applied Mathematics Quarterly Volume 8, Number 2 (Special Issue: In honor of F. Thomas Farrell and Lowell E. Jones, Part 2 of 2 ) 423 449, 2012 On The Algebraic L-theory of -sets Andrew Ranicki
More informationIntroduction to -categories
Introduction to -categories Paul VanKoughnett October 4, 2016 1 Introduction Good evening. We ve got a spectacular show for you tonight full of scares, spooks, and maybe a few laughs too. The standard
More informationGeometric structures on manifolds
CHAPTER 3 Geometric structures on manifolds In this chapter, we give our first examples of hyperbolic manifolds, combining ideas from the previous two chapters. 3.1. Geometric structures 3.1.1. Introductory
More informationarxiv: v2 [math-ph] 10 Sep 2013
Algebraic Topology arxiv:1304.7846v2 [math-ph] 10 Sep 2013 Abstract Vanessa Robins Department of Applied Mathematics Research School of Physics and Engineering The Australian National University Canberra
More informationGeometric structures on manifolds
CHAPTER 3 Geometric structures on manifolds In this chapter, we give our first examples of hyperbolic manifolds, combining ideas from the previous two chapters. 3.1. Geometric structures 3.1.1. Introductory
More informationDUALITY, TRACE, AND TRANSFER
DUALITY, TRACE, AND TRANSFER RUNE HAUGSENG ABSTRACT. For any fibration of spaces whose fibres are finite complexes there exists a stable map going the wrong way, called a transfer map. A nice way to construct
More informationSurfaces Beyond Classification
Chapter XII Surfaces Beyond Classification In most of the textbooks which present topological classification of compact surfaces the classification is the top result. However the topology of 2- manifolds
More informationor else take their intersection. Now define
Samuel Lee Algebraic Topology Homework #5 May 10, 2016 Problem 1: ( 1.3: #3). Let p : X X be a covering space with p 1 (x) finite and nonempty for all x X. Show that X is compact Hausdorff if and only
More informationThe virtual cohomology dimension of Teichmüller modular groups: the first results and a road not taken
The virtual cohomology dimension of Teichmüller modular groups: the first results and a road not taken To Leningrad Branch of Steklov Mathematical Institute, with gratitude for giving me freedom to pursue
More informationTopological Invariance under Line Graph Transformations
Symmetry 2012, 4, 329-335; doi:103390/sym4020329 Article OPEN ACCESS symmetry ISSN 2073-8994 wwwmdpicom/journal/symmetry Topological Invariance under Line Graph Transformations Allen D Parks Electromagnetic
More informationThe Borsuk-Ulam theorem- A Combinatorial Proof
The Borsuk-Ulam theorem- A Combinatorial Proof Shreejit Bandyopadhyay April 14, 2015 1 Introduction The Borsuk-Ulam theorem is perhaps among the results in algebraic topology having the greatest number
More informationDavid Penneys. Temperley Lieb Diagrams and 2-Categories 4/14/08
Temperley Lieb iagrams and 2-ategories avid Penneys 4/14/08 (1) Simplicial Resolutions. Let : be a left adjoint to U :, and denote by σ (respectively δ) the unit (respectively counit) of the adjunction.
More informationA GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY
A GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY KARL L. STRATOS Abstract. The conventional method of describing a graph as a pair (V, E), where V and E repectively denote the sets of vertices and edges,
More informationA Brisk Jaunt To Motivic Homotopy
A Brisk Jaunt To Motivic Homotopy Kyle Ferendo April 2015 The invariants employed by algebraic topology to study topological spaces arise from certain qualities of the category of topological spaces. Homotopy
More informationRIEMANN SURFACES. matrices define the identity transformation, the authomorphism group of Ĉ is
RIEMANN SURFACES 3.4. Uniformization theorem: Advertisement. The following very important theorem firstly formulated by Riemann has a tremendous impact on the theory. We will not prove it in this course.
More informationHomotopy theories of dynamical systems
University of Western Ontario July 15, 2013 Dynamical systems A dynamical system (or S-dynamical system, or S-space) is a map of simplicial sets φ : X S X, giving an action of a parameter space S on a
More informationThe Simplicial Lusternik-Schnirelmann Category
Department of Mathematical Science University of Copenhagen The Simplicial Lusternik-Schnirelmann Category Author: Erica Minuz Advisor: Jesper Michael Møller Thesis for the Master degree in Mathematics
More informationQuasi-categories vs Simplicial categories
Quasi-categories vs Simplicial categories André Joyal January 07 2007 Abstract We show that the coherent nerve functor from simplicial categories to simplicial sets is the right adjoint in a Quillen equivalence
More informationToric Cohomological Rigidity of Simple Convex Polytopes
Toric Cohomological Rigidity of Simple Convex Polytopes Dong Youp Suh (KAIST) The Second East Asian Conference on Algebraic Topology National University of Singapore December 15-19, 2008 1/ 28 This talk
More informationABSTRACT. We prove that cubical simplicial volume of oriented closed 3-manifolds is equal to one fifth of ordinary simplicial volume.
CUBICAL SIMPLICIAL VOLUME OF 3-MANIFOLDS CLARA LÖH, CRISTINA PAGLIANTINI, AND SEBASTIAN WAEBER ABSTRACT. We prove that cubical simplicial volume of oriented closed 3-manifolds is equal to one fifth of
More informationCOMMENSURABILITY FOR CERTAIN RIGHT-ANGLED COXETER GROUPS AND GEOMETRIC AMALGAMS OF FREE GROUPS
COMMENSURABILITY FOR CERTAIN RIGHT-ANGLED COXETER GROUPS AND GEOMETRIC AMALGAMS OF FREE GROUPS PALLAVI DANI, EMILY STARK AND ANNE THOMAS Abstract. We give explicit necessary and sufficient conditions for
More informationA new homology for infinite graphs and metric continua
A new homology for infinite graphs and metric continua Technische Universität Graz and Mathematisches Seminar Universität Hamburg Bremen, 10.11.09 Cycle Space The cycle space C(G) of a finite graph: A
More informationRigidification of quasi-categories
Rigidification of quasi-categories DANIEL DUGGER DAVID I. SPIVAK We give a new construction for rigidifying a quasi-category into a simplicial category, and prove that it is weakly equivalent to the rigidification
More informationRelative Homology Groups of Digital Images
Appl. Math. Inf. Sci. 8, No. 5, 2337-2345 (2014) 2337 Applied Mathematics & Information Sciences An International Journal http://dx.doi.org/10.12785/amis/080529 Relative Homology Groups of Digital Images
More informationReferences: Hatcher is our text. Lee1 means Lee s Intro to Topological Manifolds. Lee2 means Lee s Intro to Smooth Manifolds.
Lecture on CW-complexes References: Hatcher is our text. Lee1 means Lee s Intro to Topological Manifolds. Lee2 means Lee s Intro to Smooth Manifolds. 1 Discs and spheres Disks and spheres are the basic
More informationTopology. Dmitri Pavlov. Contents 1. Preface
Contents 1. Preface 1.1. Applications 1.2. Hyperlinks 1.3. Table of notation 2. Supplementary sources 3. Timeline of early homotopy theory Elementary theory of simplicial sets 4. Simplices 5. Geometric
More information