Multiplicative properties of Atiyah duality
|
|
- Bathsheba Cannon
- 5 years ago
- Views:
Transcription
1 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. A well nown theorem of Atiyah states that M is homotopy equivalent to the Spanier-Whitehead dual of M with a disjoint basepoint, M +. This dual can be viewed as the function spectrum, F (M, S), where S is the sphere spectrum. F (M, S) has the structure of a commutative, symmetric ring spectrum in the sense of [7], [11]. In this paper we prove that M also has a natural, geometrically defined, structure of a commutative, symmetric ring spectrum, in such a way that the classical duality maps of Alexander, Spanier-Whitehead, and Atiyah define an equivalence of symmetric ring spectra, α : M F (M, S). We discuss applications of this to Hochshield cohomology representations of the Chas-Sullivan loop product in the homology of the free loop space of M. Introduction Throughout this paper M n will denote a fixed, closed, connected n-manifold. Let e : M R be an embedding into Euclidean space, and let η e be the normal bundle. A well nown theorem of Atiyah [1] states that the Thom space, M ηe, is a - Spanier - Whitehead dual of M. One can normalize with respect to in the following way. Let M denote the spectrum, M = Σ M ηe. The homotopy type of this spectrum is well defined, in that it is independent of the embedding e. Atiyah s theorem can be restated as saying that there is a homotopy equivalence of spectra, α : M F (M, S) where S is the sphere spectrum, and F (M, S) is the spectrum whose th space is the based mapping space, F (M, S ). Recently, symmetric monoidal categories of spectra have been developed ([5], [7]). In these categories, the dual F (M, S) has the structure of a commutative ring spectrum. The goal of this The author was partially supported by a grant from the NSF 1
2 paper is to prove that the Thom spectrum M also has such a multiplicative structure via a natural geometric construction. Moreover we will show that the classical duality maps of Alexander, Spanier-Whitehead, and Atiyah define an equivalence of ring spectra, α : M F (M, S). For our purposes the most convenient category of spectra will be the category of symmetric spectra of [7], [6]. The following is the main result of this paper. Theorem 1. The Thom spectrum M has the structure of a a commutative, symmetric ring spectrum with unit. Furthermore, the duality map α : M F (M, S) is a π -equivalence of symmetric ring spectra. That is, α is a ring map that induces an isomorphism on stable homotopy groups. The study of the multiplicative properties of M and the Atiyah duality map were motivated by its use in string topology [3], and the question of whether the Chas-Sullivan string topology operations defined on the homology of the loop space, H (LM), are homotopy invariants [2]. An important step in this investigation is the relationship between the Chas-Sullivan loop homology algebra H (LM) and the Hochshield cohomology H (C (M), C (M)). We will use the multiplicative properties of Atiyah duality proven here to fill in details of the argument given in [3] showing that these algebras are isomorphic, when M is simply connected. While the algebra H (C (M), C (M)) is clearly a homotopy invariant of M, the ring isomorphism between H (LM) and H (C (M), C (M)) uses embeddings of manifolds and the Thom- Pontrjagin construction, and hence depends a priori on the smooth structure of M. The question of the homotopy invariance of the string topology operations will be the subject of a future paper by the author, J. Klein, and D. Sullivan [4]. The organization of this paper is as follows. In section 1 we describe the geometric construction of the symmetric spectrum M using Thom spaces parameterized by spaces of embeddings and tubular neighborhoods. We then describe the ring structure. It turns out that this spectrum does not naturally have a unit, essentially because there is no canonical choice of embedding. We address this issue in section 2 by showing that by choosing a fixed embedding e : M R one can construct an equivalent symmetric ring spectrum M (e) that does admit a unit. This ring spectrum will be in the sense of [6] where the underlying sphere spectrum is made out of iterated smash products of S, rather than S 1 as in [7]. We then complete the proof of theorem 1 in section 2. We end by giving the applications to Hochshield cohomology mentioned above. The author would lie to than G. Carlsson, B. Dundas, Dennis Sullivan, Christian Schlichtrull, and Thomas Tradler for many helpful conversations related to this wor. 2
3 1 The Thom spectrum M Let M n be a closed n-manifold. The homotopy type of the spectrum M is the desuspension of the Thom space Σ M ηe, where η e is the normal bundle of an embedding, e : M n R. In order to describe M as a symmetric ring spectrum we need to deal with the ambiguities in this description, such as choices embeddings, tubular neighborhoods, etc. We do this by eeping trac of all such choices in our definition of M. Let e : M R be an embedding. Recall that the tubular neighborhood theorem says that for ɛ small enough, there is an open set ν ɛ (e) containing e(m) and a retraction r : ν ɛ (e) e(m) satisfying the following properties: 1. x r(x) x e(y) for any y M, with equality holding if and only if r(x) = e(y). 2. For all y M, r 1 (e(y)) is a ball of radius ɛ in the affine space e(y) + T e(y) e(m), with center at e(y). 3. The closure ν ɛ (e) is a smooth manifold with boundary. See [8] for this version of the tubular neighborhood theorem. Let L e > 0 be the minimum of 1 and the least upper bound of those ɛ satisfying this theorem. M For > 0, define the space as follows. point if Emb(M, R ) =, M = {(e, ɛ, x) : e : M R is an embedding, 0 < ɛ < L e, and x R /(R ν ɛ (e))} if Emb(M, R ) Let E = {(e, ɛ) : e Emb(M, R ), and ɛ (0, L e )}. This space is topologized as a subspace of Emb(M, R ) (0, ). Notice that M can be topologized as the total space of a fiber bundle (1) p : M E (2) whose fiber over (e, ɛ) is R /(R ν ɛ (e)), which by the tubular neighborhood theorem is homeomorphic to the Thom space of the normal bundle, η e. Notice also that there is a canonical section of this bundle σ : E given by (e, ɛ) (e, ɛ, ), where is the basepoint in R /(R ν ɛ (e)). We now define M M = M /(σ (E ). (3) A point in M is an embedding with tubular neighborhood, together with a point in the Thom space R /(R ν ɛ (e)). 3
4 Now let (e, ɛ) E be fixed. Let φ : M ηe R /(R ν ɛ (e)) be the homeomorphism given by the tubular neighborhood theorem. This defines an inclusion j e : M ηe φ R /(R ν ɛ (e)) x (e,ɛ,x) M. The following states that through a range of dimensions that increases with, M is just the Thom space M ηe. Proposition 2. The inclusion j e : M ηe M through dimension 2 n 2. induces an isomorphism in homotopy groups Proof. This follows from fibration (2) and the Whitney embedding theorem which states that Emb(M, R ) is ( 2 n 1)-connected, and therefore so is E. Notice that the permutation action of the symmetric group Σ on R induces a Σ -action on E, and on M. This gives {M } the structure of a symmetric sequence in the sense of [7]. Let S be the unit sphere, S = R /(R B 1 (0)), where B 1 (0) is the unit ball around the origin. The Σ -action on R induces a Σ -action on S. We define structure maps s r, : S r M M r+ (4) t (e, ɛ, x) (0 e, ɛ, t x) where t x R r+ /(R r+ ν ɛ (0 e)) is the image of the smash product of t and x under the projection map R r /(R r B 1 (0)) R /(R ν ɛ (e)) = R r+ /(R r+ (B 1 (0) ν ɛ (e))) R r+ /(R r+ ν ɛ (0 e)). Clearly the maps s r, are Σ r Σ -equivariant. They also satisfy the appropriate compatibility conditions to allow us to therefore mae the following definition. Definition 1. The symmetric spectrum M is defined by the collection {M, s r, : S r M M r+ }. Notice that by proposition 2, the spectrum M has the right homotopy type. That is, given an embedding e : M R then there is an equivalence of spectra, Σ M ηe Σ M. We now examine the multiplicative structure of M. Recall from [11] that a (commutative) symmetric ring spectrum is a (commutative) monoid in the symmetric monoidal category of symmetric spectra. The spectrum M as we have defined it will have an associative, commutative product structure, but it does not have a unit. This is essentially because there is no canonical choice of embedding of M in R. We will deal with issues regarding the unit in the next section. (5) 4
5 Theorem 3. M is a commutative symmetric ring spectrum without unit. That is, it is a commutative monoid without unit,(i.e commutative semigroup ) in the category of symmetric spectra. Proof. We define associative pairings µ,r : M M r M +r by the formula µ,r ((e 1, ɛ 1, x 1 ), (e 2, ɛ 2, x 2 )) = (e 1 e 2, ɛ 1,2, x 1 x 2 ) (6) where e 1 e 2 is the embedding M M M e1 e2 R R r, ɛ 1,2 = min{ɛ 1, ɛ 2, L e1 e 2 }, and x 1 x 2 is the image of the smash product under the obvious projection map, R /(R ν ɛ1 (e 1 )) R r /(R r ν ɛ2 (e 2 )) = R +r /(R +r (ν ɛ1 (e 1 ) ν ɛ2 (e 2 ))) R +r /(R +r ν ɛ1.2 (e 1 e 2 )). (7) The map µ,r is clearly Σ Σ r -equivariant, and the collection {µ,r } is associative. Furthermore a chec of definition of the structure maps (4) shows that these pairings respect the structure maps, and so define a pairing on the external tensor product of spectra ([7]) µ : M M M. In order to show that the pairing µ defines a ring structure, we need to show that it factors through the smash product, M M, defined to be the coequalizer of r 1 and 1 l : M S M M M where l : S M M is the map induced by the structure map s r, : S r M M r+, and r : M S M is induced by the maps r p,q : Mp S q switch S q Mp s q,p M τ p,q p+q M p+q, where τ p,q Σ p+q is the shuffle permutation, q + i, i i p τ p,q (i) = i p, p + 1 i p + q. This fact can now be immediately checed from the definitions. To show that the ring structure is commutative, we need to verify that the following diagrams commute, for every p and q. M p switch M q µ p,q Mq M M p p+q τp,q µ q,p M p+q Again, this can be seen by a quic chec of the definitions. 5
6 We now use this ring spectrum to study the Atiyah duality map. We begin by recalling the classical map inducing Alexander duality in homology. Namely, let e : M R be an embedding with tubular neighborhood ν ɛ (e). Consider the map α : ( R ν ɛ (e) ) M R B ɛ (0) S 1 (v, y) v e(y). (8) This map induces the Alexander duality isomorphism H q (R e(m)) = H q (R ν ɛ (e)) = H q 1 (M). Atiyah duality [1] is induced by the same map: M ηe M + = (R M)/ ( (R ν ɛ (e)) M ) R /(R B ɛ (0)) S (v, y) v e(y). (9) The adjoint of this map gives a map α : M ηe Atiyah duality homotopy equivalence, F (M, S ) which defines, up to homotopy, the α : M F (M, S). (10) To see this map as a map of symmetric ring spectra, we introduce a function spectrum F (M, S M ), where S M is a symmetric ring spectrum (without unit), equivalent to the sphere spectrum S. Define ( S M ) = {(e, ɛ, t) : (e, ɛ) E, and t R /(R B ɛ (0))}. (11) ( S M ) is topologized as a fiber bundle over E, with fiber over (e, ɛ, v) equal to R /(R B ɛ (0)). The bundle p : ( S M ) E has a canonical section σ (e, ɛ) = (e, ɛ, ). We then define the space (S M ) to be the cofiber, (S M ) = ( S M ) /σ (E ). (12) (S M ) has the Σ -action induced by the permutation action on R. We define structure maps β r, : S r (S M ) (S M ) r+ by s (e, ɛ; t) (0 e, ɛ, s t), where 0 e is the embedding y (0, e(y)) R r R. This gives S M the structure of a symmetric spectrum. The ring structure on S M is given by the pairings m r,s : (S M ) r (S M ) s (S M ) r+s defined by (e 1, ɛ 1, t 1 ) (e 2, ɛ 2, t 2 ) (e 1 e 2, ɛ 1,2, t 1 t 2 ). (13) 6
7 It is straightforward to chec that these pairings give S M the structure of a commutative, symmetric ring spectrum (without unit). Furthermore, there is an obvious map S M S which is a π - equivalence of symmetric ring spectra. We now consider the symmetric ring spectrum F (M, S M ). (Its ring structure is induced by that of S M.) Notice that the Atiyah duality map defines a map M M + (S M ) (14) (e, ɛ, x) y (e, ɛ, x e(y)) (15) where, as above, x R /(R ν ɛ (e)), and so x e(y) R /(R B ɛ (0)). A quic chec of definitions verifies that the adjoint of this map defines a map of symmetric ring spectra realizing the Atiyah homotopy equivalence. α : M F (M, S M ) Unfortunately there are no good unital properties of this equivalence of ring spectra. problem will be dealt with in the next section. This 2 Unital symmetric ring spectra and a proof of theorem 1 In this section we use a fixed embedding e : M R to modify the definitions of M and F (M, S) to obtain symmetric ring spectra with units, and use it to prove theorem 1. To do this we use the machinery of [6], which defines symmetric spectra in general model categories. If C is a symmetric, monoidal, model category, and K is a cofibrant object of C, then Hovey defined a category Sp Σ (C, K) of symmetric spectra. These are symmetric sequences {X n } together with Σ n Σ m -equivariant structure maps, ɛ n,m : X n K m X n+m. In the standard setting considered above, C is the category of based topological spaces, and K = S 1. For our purposes below, we will continue to let C be the category of based topological spaces, but we now let K = S, where is the ambient dimension of our fixed embedding, e : M R, and S = R is the one point compactification. We now define a symmetric ring spectrum M (e) in this category. In the definition of the spaces Mn, we considered all possible embeddings of M in R n together with tubular neighborhoods. In our present situation, the fact that we have a fixed embedding e : M R, allows us to restrict the general embeddings we consider to those of the form φ e, where φ : R R n is a linear, isometric embedding. Let 0 < ɛ < L e be fixed, and ν ɛ (e) R be the corresponding tubular neighborhood. V (R m ) be the Stiefel manifold of -frames in R m, or equivalently, linear isometric embeddings of R in R m. This Stiefel manifold has a natural action of the symmetric group Σ m given by permuting the factors of (R ) m = R m. Notice that V (R m ) has a natural basepoint defined by the m-fold diagonal embedding, m : R (R ) m. Let 7
8 Define the spaces M m(e) τ = {(φ, x) : φ V (R m ), and x R m /(R m ν ɛ (φ e))}. This is topologized as a fiber bundle over V (R m τ ), with fiber the appropriate Thom space. M m (e) has an action of Σ m induced by the permutation action on R m, maing this bundle Σ m -equivariant. As before, let R /(R ν ɛ (φ e))} denote the basepoint. We can then define the quotient M τ m(e) = M τ m(e)/{(φ, ) : φ V (R m )}. (16) This now defines is a symmetric sequence in the category C of based topological spaces. (For this we tae M0 τ (e) = S 0.) Notice that one may consider Mm(e) τ to be a subspace of Mm in the last section. This symmetric sequence is multiplicative, in the sense that we have associative pairings µ m,n : M τ m(e) M τ n(e) M τ m+n(e) (φ 1, x 1 ) (φ 2, x 2 ) (φ 1 φ 2, x 1 x 2 ) defined where φ 1 φ 2 V (R m R n) is the product of the linear embeddings φ 1 and φ 2. The element x 1 x 2 is the image of the smash product under the projection map R m R n /(R m R n (ν ɛ (φ 1 e) ν ɛ (φ 2 e)) R (m+n) /(R (m+n) ν ɛ ((φ 1 φ 2 ) e)). Notice that these pairings are also commutative in the sense that µ n,m switch = τ n,m µ m,n : M τ m(e) M τ n(e) M τ m+n(e) where τ m,n is the shuffle permutation described in the last section. Now consider the symmetric sequence S(), defined by S() m = (S ) m. Since tensor product in the category C is given by smash product, these spaces are just spheres. This sequence has, by its definition, an associative product structure, which is commutative in the above sense. We now construct a multiplicative map of symmetric sequences, which will serve as the unit. Define u : S() M (e) (17) u : S m M τ m(e) t ( m, τ(t)) where Thom map τ : S m = R m R m /(R m ν ɛ ( n e)) is the projection. An easy chec of the definitions verifies that u : S() M (e) is a multiplicative map of symmetric sequences. This in particular defines a bimodule structure of M (e) over S(). These definitions yield the following. 8
9 Proposition 4. The bimodule structure of the symmetric sequence M (e) over S(), and the pairings µ m,n : Mm(e) τ Mn(e) τ Mm+n(e) τ define a symmetric ring spectrum in the category Sp Σ (C, S ). u : S() M (e) is the unit in this ring structure. Notice that since the connectivity of the Stiefel manifold V (R m ) goes up with m, the homotopy type of the spectrum M (e) is the same as the homotopy type of the desuspension of the Thom spectrum of the normal bundle, Σ M ηe. This in turn is the same as the homotopy type of the spectrum M defined in the last section. We now go about defining a variant of the Spanier-Whitehead dual of M in the category Sp Σ (C, S ). Consider the closure of the tubular neighborhood ν ɛ (e) R, and its boundary, ν ɛ (e). For x ν ɛ (e), define d x to be the distance from the boundary, d x = d(x, ν ɛ (e)). Notice that 0 < d x ɛ, and that for x M ν ɛ (e), d x = ɛ. For φ V (R m ), define a fiber bundle over the (open) tubular neighborhood, π φ : B φ ν ɛ (e) where the fiber over x ν ɛ (e), is the sphere, Bdx (x)/ B dx (x). Here B dx (x) is the ball in R m of radius d x around φ(x), and B dx (x) is its closure. The permutation action on R m induces a Σ m action on this bundle, where Σ m acts trivially on the base. Notice that this is a trivial sphere bundle with an explicit trivialization given by ρ : B φ ν ɛ (e) S m (18) ( ) z φ(x) (x, z) x, d x z φ(x) Let Γ(B φ ) be the space of sections of this sphere bundle. This trivialization induces a Σ m - equivariant homeomorphism ρ : Γ(B φ ) = F (ν ɛ (e), S m ). Restriction defines an equivariant homotopy equivalence, F (ν ɛ (e), S m ) F (M, S m ). Now define F m (e) = {(φ, σ) : φ V (R m ), σ Γ(B φ )}/{(φ, σ )}, (19) where we are dividing out by all pairs (φ, σ ), where σ is the constant section at the basepoint. Notice that the trivialization ρ defines an Σ m -equivariant homeomorphism, ρ : F m (e) = V (R m ) + F (ν ɛ (e), S m ), (20) which in turn is equivariantly homotopy equivalent to V (R m ) + F (M, S m ). We now have constructed a symmetric sequence F (e) = {F m (e)}. This sequence is multiplicative, in that it has an associative multiplication, µ m,n : F m (e) F n (e) F m+n (e) (21) (φ 1, σ 1 ) (φ 2, σ 2 ) (φ 1 φ 2, σ 1,2 ) 9
10 where σ 1,2 (x) = σ 1 (x) σ 2 (x). This multiplication is also commutative in the sense that µ n,m switch = τ n,m µ m,n : F m (e) F n (e) F m+n (e). Consider the Atiyah duality map, viewed as a map between symmetric sequences, α : M F (e), defined as follows. Let φ V (R m ). For x R m write x = φ(x 1 ) x 2, where x 1 ν ɛ (e) and x 2 is perpendicular to the image φ(r ). With this notation, we define α : M τ m(e) F m (e) (22) (φ, x) (φ, σ x ) (23) where σ x (y) is defined to be the basepoint if x =, or if d(x, φ(y)) > d y. Otherwise σ x (y) = [x] B dy (y)/ B dy (y). One immediately checs that this is a map of symmetric sequences (i.e is equivariant at each stage), and preserves the multiplicative structure. The composition with the unit, S() u M α F (e) defines a bialgebra structure of F (e) over S(), giving F (e) the structure of a symmetric ring spectrum in Sp Σ (C, S ). This composition defines a unit for F (e). Thus the Atiyah duality map α : Mm(e) τ F (e) is a map of (unital) symmetric ring spectra. Furthermore, with this ring spectrum structure, the map on the space level, ρ : F m (e) F (M, S m ) induces an equivalence of symmetric ring spectra, ρ : F (e) F (M, S). By comparing formulas (18) and (22), the composition ρ with α is precisely the classical Atiyah duality equivalence described in the last section. Since these are both equivalences of symmetric ring spectra, so is their composition, which proves theorem 1. We now apply these results to Hochschield homology questions. Since α : Mm(e) τ F (e) is an equivalence of symmetric ring spectra, then they induce equivalences of their topological Hochschield homologies, and cohomologies: T HH (Mm(e)) τ T HH (F (e)) T HH (F (M, S)) T HH (Mm(e)) τ T HH (F (e)) T HH (F (M, S)). Furthermore, by results of McClure and Smith [9], the topological Hochschield cohomology of a symmetric ring spectrum has the structure of an algebra over the little dis operad C 2, and hence the equivalence above, preserves this multiplicative structure. This has the following consequence when we apply singular chains functor, C ( ). 10
11 Since the evaluation map induces an chain homotopy equivalence of differential graded algebras, ev : C (F (M, S)) = C (M), we have that there is an isomorphism of Hochschield cohomologies as algebras over the chains of the little cubes operad, C (C 2 )), H (C (M ), C (M )) = H (C (M), C (M)). (24) (We are surpressing the embedding e from this notation, since the chain homotopy type of C (Mm(e)) τ is clearly independent of the embedding e. ) The differential graded algebra C (M (e)) is also a bimodule over C (ν ɛ (e)). This is seen as follows. Consider the diagonal maps r : M (e) M (e) ν ɛ (e) + and l : M (e) ν ɛ (e) + M (e) defined by sending (φ, x) to x x 1 and x 1 x respectively. Here, as above, if x ν ɛ (φ e) R m, then x = φ(x 1 ) x 2 is the unique decomposition where x 1 ν ɛ (e) and x 2 φ(r ). By applying chains and composing with the evaluation map, C (ν ɛ (e)) C (ν ɛ (e)) Z, we have a bimodule structure of C (M (e)) over C (ν ɛ (e)). Notice that by composing the evaluation map with the map ρ described above, we have maps ẽv : F m (e) ν ɛ (e) + S m which gives a map of symmetric spectra ẽv : F (e) ν ɛ (e) + S(). Composing with the maps r and l, we obtain maps M τ m(e) F n (e) M τ m+n(e) and F n (e) M τ m(e) M τ m+n(e) (25) for m 1, which define a bimodule structure of the chains, C (M (e)) over C (F (e)) with the property that with respect to the chain equivalences, C (F (e)) ρ C (F (ν ɛ (e), S)) ev C (ν ɛ (e)) this bimodule structure extends the bimodule structure of C (M (e)) over C (ν ɛ (e)) described above. By considering this module action applied to the unit in C (M (e)), one has a map β : C (F (e)) C (M (e)), which by a chec of definitions (17), (22), and (25) is immediately seen to be a ring homomorphism which is a left inverse to the Atiyah duality map, β α = id : C (M (e)) C (F (e)) C (M (e)). As a consequence of these observations, we can draw the following conclusion. Proposition 5. The Hochshield cohomology H (C (ν ɛ (e)), C (M (e))) = H (C (F (e)), C (M (e))) is an algebra isomorphic (as algebras) via the Atiyah duality map to H (C (M (e)), C (M (e))), which in turn is isomorphic as algebras to H (C (M), C (M)). We use this result to fill in details of the proof of the following theorem [3]. 11
12 Theorem 6. Let M be a simply connected closed manifold, LM its free loop space, and H (LM) = H +d (LM) the loop homology algebra of Chas-Sullivan [2]. Then there is an isomorphism of algebras, H (C (M), C (M)) = H (LM), In [3], the authors described a ring spectrum LM T M defined as the Thom spectrum of the pull-bac of the virtual bundle T M M over the loop space LM via the map e : LM M which evaluates a loop at the basepoint 1 S 1. It was shown that upon application of the Thom isomorphism in homology, τ : H (LM T M ) H d (LM), the ring structure of LM T M corresponds to the Chas-Sullivan product. Furthermore, for M simply connected, a cosimplicial spectrum model (L M ) for LM T M was described in section 3 of [3] whose spectrum of -cosimplices of L M was given by (L M ) == M (M ) +. For the purposes of this note we replace this by the homotopy equivalent spectrum of cosimplices, (L M ) = M (e) (ν ɛ (e) + ) (). As in [3], the coface and codegeneracy maps are defined in terms of the diagonal maps described above. homotopy equivalence was given in [3], The chains of the -cosimplices are given by f : LM T M T ot(lm ). C (M ) C (M) = Hom(C (M), C (M )) = Hom(C (ν ɛ (e)), C (M (e))), and for simply connected M there is a resulting chain equivalence (corollary 11 of [3]) f : C (LM T M ) CH (C (ν ɛ (e)), C (M (e))), A specific where CH (A, B) is the Hochshield cochain complex of a (differential graded) algebra A with coefficients in the bimodule B. Furthermore, as argued in the proof of theorem 13 of [3], f : C (LM T M ) CH (C (ν ɛ (e)), C (M (e))) taes the product coming from the ring spectrum structure of LM T M to the cup product in the Hochshield cochain complex. We therefore have a ring isomorphism H (LM) = H (LM T M ) f H (C (ν ɛ (e)), C (M (e))) = H (C (M), C (M )). Now on p. 794 of [3] it was stated without proof that by S-duality one can replace the coefficients C (M ) by C (M). Proposition 5 above supplies the justification for this assertion. Therefore we have a ring isomorphism, as claimed. H (LM) = H (C (M), C (M)) 12
13 References [1] M.F. Atiyah, Thom complexes, Proc. London Math. Soc. (3), no. 11 (1961), [2] M. Chas and D. Sullivan, String Topology, ArXiv: math.gt/ , (1999). [3] R.L. Cohen and J.D.S. Jones, A homotopy theoretic realization of string topology, Math. Ann. 324, (2002). ArXiv: math.gt/ [4] R.L. Cohen, J. Klein, and D. Sullivan, On the homotopy invariance of string topology, in preparation [5] A.D. Elmendorf, I. Kriz, M.A. Mandell, and J.P. May, Rings, modules, and algebras in stable homotopy theory, Math. Surveys and Monographs, 47 A.M.S. (1997). [6] M. Hovey, Spectra and symmetric spectra in general model categories, J. Pure and Applied Algebra, 165 issue 1 (2001), [7] M. Hovey, B. Shipley, and J. Smith, Symmetric spectra, J. Amer. Math. Soc. 13 (2000), [8] I. Madsen and J. Tornehave From Calculus to Cohomology, Camb. Univ. Press, (1997). [9] J.E. McClure and J.H. Smith, Cosimplicial objects and little n-cubes I, ArXiv:math.QA/ [10] C. Schlichtrull, Units of ring spectra and their trace in algebraic K-theory, preprint, Stanford Univ. (2003). [11] B. Shipley, Symmetric ring spectra and topological Hochshield homology ArXiv: math.at/
Homotopy 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 informationOn the homotopy invariance of string topology
On the homotopy invariance of string topology Ralph L. Cohen John Klein Dennis Sullivan August 25, 2005 Abstract Let M n be a closed, oriented, n-manifold, and LM its free loop space. In [3] a commutative
More informationMathematische Annalen
Math. Ann. (2002) DOI: 10.1007/s00208-002-0362-0 Mathematische Annalen A homotopy theoretic realization of string topology Ralph L. Cohen John D. S. Jones Received: 31 July 2001 / Revised version: 11 September
More informationThom Thom Spectra and Other New Brave Algebras. J.P. May
Thom Thom Spectra and Other New Brave Algebras J.P. May November 5, 2007 The Thom spectrum MU was the motivating example that led to the definition of an E ring spectrum in 1972 [MQR]. The definition proceeded
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 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 informationStabilization as a CW approximation
Journal of Pure and Applied Algebra 140 (1999) 23 32 Stabilization as a CW approximation A.D. Elmendorf Department of Mathematics, Purdue University Calumet, Hammond, IN 46323, USA Communicated by E.M.
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 informationThe Goodwillie-Weiss Tower and Knot Theory - Past and Present
The Goodwillie-Weiss Tower and Knot Theory - Past and Present Dev P. Sinha University of Oregon June 24, 2014 Goodwillie Conference, Dubrovnik, Croatia New work joint with Budney, Conant and Koytcheff
More informationarxiv:math/ v1 [math.at] 6 Oct 2004
arxiv:math/0410162v1 [math.at] 6 Oct 2004 EQUIVARIANT UNIVERSAL COEFFICIENT AND KÜNNETH SPECTRAL SEQUENCES L. GAUNCE LEWIS, JR. AND MICHAEL A. MANDELL Abstract. We construct hyper-homology spectral sequences
More informationThe relationship between framed bordism and skew-framed bordism
The relationship between framed bordism and sew-framed bordism Pyotr M. Ahmet ev and Peter J. Eccles Abstract A sew-framing of an immersion is an isomorphism between the normal bundle of the immersion
More informationTHE CELLULARIZATION PRINCIPLE FOR QUILLEN ADJUNCTIONS
THE CELLULARIZATION PRINCIPLE FOR QUILLEN ADJUNCTIONS J. P. C. GREENLEES AND B. SHIPLEY Abstract. The Cellularization Principle states that under rather weak conditions, a Quillen adjunction of stable
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationCompactifying string topology
Compactifying string topology Kate Poirier UC Berkeley Algebraic Topology: Applications and New Developments Stanford University, July 24, 2012 What is the algebraic topology of a manifold? What can we
More information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More 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 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 informationMULTIPLE DISJUNCTION FOR SPACES OF POINCARÉ EMBEDDINGS
MULTIPLE DISJUNCTION FOR SPACES OF POINCARÉ EMBEDDINGS THOMAS G. GOODWILLIE AND JOHN R. KLEIN Abstract. Still at it. Contents 1. Introduction 1 2. Some Language 6 3. Getting the ambient space to be connected
More informationWe have the following immediate corollary. 1
1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E
More informationGraph stable equivalences and operadic constructions in equivariant spectra
Graph stable equivalences and operadic constructions in equivariant spectra Markus Hausmann, Luís A. Pereira October 23, 2015 Abstract One of the key insights of the work of Blumberg and Hill in [2] is
More informationIterated Bar Complexes of E-infinity Algebras and Homology Theories
Iterated Bar Complexes of E-infinity Algebras and Homology Theories BENOIT FRESSE We proved in a previous article that the bar complex of an E -algebra inherits a natural E -algebra structure. As a consequence,
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 informationMODEL CATEGORIES OF DIAGRAM SPECTRA
MODEL CATEGORIES OF DIAGRAM SPECTRA M. A. MANDELL, J. P. MAY, S. SCHWEDE, AND B. SHIPLEY Abstract. Working in the category T of based spaces, we give the basic theory of diagram spaces and diagram spectra.
More informationModuli spaces of graphs and homology operations on loop spaces of manifolds
Moduli spaces of graphs and homology operations on loop spaces of manifolds Ralph L. Cohen Stanford University July 2, 2005 String topology:= intersection theory in loop spaces (and spaces of paths) of
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 informationHomological mirror symmetry via families of Lagrangians
Homological mirror symmetry via families of Lagrangians String-Math 2018 Mohammed Abouzaid Columbia University June 17, 2018 Mirror symmetry Three facets of mirror symmetry: 1 Enumerative: GW invariants
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More informationSpectra and the Stable Homotopy Category
Peter Bonventre Graduate Seminar Talk - September 26, 2014 Abstract: An introduction to the history and application of (topological) spectra, the stable homotopy category, and their relation. 1 Introduction
More informationPRODUCT AND COPRODUCT IN STRING TOPOLOGY
PRODUCT AND COPRODUCT IN STRING TOPOLOGY NANCY HINGSTON AND NATHALIE WAHL Abstract. Let M be a closed Riemannian manifold. We extend the product of Goresky- Hingston, on the cohomology of the free loop
More informationBERTRAND GUILLOU. s G q+r
STABLE A 1 -HOMOTOPY THEORY BERTRAND GUILLOU 1. Introduction Recall from the previous talk that we have our category pointed A 1 -homotopy category Ho A 1, (k) over a field k. We will often refer to an
More informationEILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY
EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY CHRIS KOTTKE 1. The Eilenberg-Zilber Theorem 1.1. Tensor products of chain complexes. Let C and D be chain complexes. We define
More informationOperads. Spencer Liang. March 10, 2015
Operads Spencer Liang March 10, 2015 1 Introduction The notion of an operad was created in order to have a well-defined mathematical object which encodes the idea of an abstract family of composable n-ary
More informationTHE DIAGONAL COHOMOLOGY CLASS OF VERTICAL BUNDLES
THE DIAGONAL COHOMOLOGY CLASS OF VERTICAL BUNDLES SPUR FINAL PAPER, SUMMER 2017 JUAN CARLOS ORTIZ MENTOR: JACKSON HANCE Abstract Given a manifold M, Milnor and Stasheff studied in [1] the diagonal cohomology
More informationLECTURE 2: THE THICK SUBCATEGORY THEOREM
LECTURE 2: THE THICK SUBCATEGORY THEOREM 1. Introduction Suppose we wanted to prove that all p-local finite spectra of type n were evil. In general, this might be extremely hard to show. The thick subcategory
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationarxiv: v1 [math.at] 13 Nov 2007
SMOOTH PARAMETRIZED TORSION A MANIFOLD APPROACH arxiv:0711.1911v1 [math.at] 13 Nov 2007 BERNARD BADZIOCH, WOJCIECH DORABIA LA, AND BRUCE WILLIAMS Abstract. We give a construction of a torsion invariant
More informationUsing transversality arguments, Thom analyzed the sequence of homotopy groups,
REVIEW OF BOOKS BY J.P. MAY John McCleary Rings, Modules, and Algebras in Stable Homotopy Theory, by A. D. Elmendorf, I. Kriz, M. A. Mandell, and J. P. May, with an Appendix by M. Cole, Mathematical Surveys
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 informationarxiv: v1 [math.gt] 23 Apr 2014
THE NUMBER OF FRAMINGS OF A KNOT IN A 3-MANIFOLD PATRICIA CAHN, VLADIMIR CHERNOV, AND RUSTAM SADYKOV arxiv:1404.5851v1 [math.gt] 23 Apr 2014 Abstract. In view of the self-linking invariant, the number
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 informationKOSZUL DUALITY COMPLEXES FOR THE COHOMOLOGY OF ITERATED LOOP SPACES OF SPHERES. Benoit Fresse
KOSZUL DUALITY COMPLEXES FOR THE COHOMOLOGY OF ITERATED LOOP SPACES OF SPHERES by Benoit Fresse Abstract. The goal of this article is to make explicit a structured complex computing the cohomology of a
More informationEquivariant orthogonal spectra and S-modules. M.A. Mandell J.P. May
Equivariant orthogonal spectra and S-modules Author address: M.A. Mandell J.P. May Department of Mathematics, The University of Chicago, Chicago, IL 60637 E-mail address: mandell@math.uchicago.edu, may@math.uchicago.edu
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 informationThe Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016
The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 January 3, 2017 This is an introductory lecture which should (very roughly) explain what we
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 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 informationSTABLE ALGEBRAIC TOPOLOGY AND STABLE TOPOLOGICAL ALGEBRA
STABLE ALGEBRAIC TOPOLOGY AND STABLE TOPOLOGICAL ALGEBRA J. P. MAY Algebraic topology is a young subject, and its foundations are not yet firmly in place. I shall give some history, examples, and modern
More informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More 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 informationTopological equivalences of differential graded algebras (Joint work with D. Dugger)
Topological equivalences of differential graded algebras (Joint work with D. Dugger) Abelian groups up to homotopy spectra generalized cohomology theories Examples: 1. Ordinary cohomology: For A any abelian
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 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 informationCohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions
Cohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions by Shizuo Kaji Department of Mathematics Kyoto University Kyoto 606-8502, JAPAN e-mail: kaji@math.kyoto-u.ac.jp Abstract
More informationCobordant differentiable manifolds
Variétés différentiables cobordant, Colloque Int. du C. N. R. S., v. LII, Géométrie différentielle, Strasbourg (1953), pp. 143-149. Cobordant differentiable manifolds By R. THOM (Strasbourg) Translated
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 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 informationTHE FUNDAMENTAL GROUP OF A p-compact GROUP
THE FUNDAMENTAL GROUP OF A p-compact GROUP W. G. DWYER AND C. W. WILKERSON 1. Introduction The notion of p-compact group [10] is a homotopy theoretic version of the geometric or analytic notion of compact
More informationare equivalent in this way if K is regarded as an S-ring spectrum, but not as an E-ring spectrum. If K is central in ß (K ^E K op ), then these Ext gr
A 1 OBSTRUCTION THEORY AND THE STRICT ASSOCIATIVITY OF E=I VIGLEIKANGELTVEIT Abstract. We prove that for a ring spectrumk with a perfect universalcoefficientformula,theobstructionstoextendingthemultiplication
More informationTHE TOTAL SURGERY OBSTRUCTION III
THE TOTAL SURGERY OBSTRUCTION III TIBOR MACKO Abstract. The total surgery obstruction s(x) of a finite n-dimensional Poincaré complex X is an element of a certain abelian group S n(x) with the property
More informationEQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY APPENDIX A: ALGEBRAIC TOPOLOGY
EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY APPENDIX A: ALGEBRAIC TOPOLOGY WILLIAM FULTON NOTES BY DAVE ANDERSON In this appendix, we collect some basic facts from algebraic topology pertaining to the
More informationBetti numbers of abelian covers
Betti numbers of abelian covers Alex Suciu Northeastern University Geometry and Topology Seminar University of Wisconsin May 6, 2011 Alex Suciu (Northeastern University) Betti numbers of abelian covers
More informationMODERN FOUNDATIONS FOR STABLE HOMOTOPY THEORY. Contents
MODERN FOUNDATIONS FOR STABLE HOMOTOPY THEORY A.D. ELMENDORF, I. KRIZ, M. A. MANDELL, AND J. P.MAY Contents Introduction 1 1. Spectra and the stable homotopy category 6 2. Smash products and twisted half-smash
More informationORDINARY i?o(g)-graded COHOMOLOGY
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 4, Number 2, March 1981 ORDINARY i?o(g)-graded COHOMOLOGY BY G. LEWIS, J. P. MAY, AND J. McCLURE Let G be a compact Lie group. What is
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 informationLecture 8: More characteristic classes and the Thom isomorphism
Lecture 8: More characteristic classes and the Thom isomorphism We begin this lecture by carrying out a few of the exercises in Lecture 1. We take advantage of the fact that the Chern classes are stable
More informationA geometric solution of the Kervaire Invariant One problem
A geometric solution of the Kervaire Invariant One problem Petr M. Akhmet ev 19 May 2009 Let f : M n 1 R n, n = 4k + 2, n 2 be a smooth generic immersion of a closed manifold of codimension 1. Let g :
More informationSTABLE SPLITTINGS OF CLASSIFYING SPACES OF COMPACT LIE GROUPS
STABLE SPLITTINGS OF CLASSIFYING SPACES OF COMPACT LIE GROUPS 1. Introduction The goal of this talk is to provide a proof of the following result, following [Sna79]. Theorem 1.1. Let G n denote one of
More informationLECTURE 3: EXAMPLES OF GOODWILLIE CALCULUS
LECTURE 3: EXAMPLES OF GOODWILLIE CALCULUS In these notes, we ll (subconsciously) switch between saying -category and category Feel free to generously pour or rip out, whatever you fancy the prefix - throughout
More informationA DECOMPOSITION FORMULA FOR EQUIVARIANT STABLE HOMOTOPY CLASSES
A DECOMPOSITION FORMULA FOR EQUIARIANT STABLE HOMOTOPY CLASSES WAC LAW MARZANTOWICZ AND CARLOS PRIETO Dedicated to Albrecht Dold and Ed Fadell Abstract. For any compact Lie group G, we give a decomposition
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 informationRTG Mini-Course Perspectives in Geometry Series
RTG Mini-Course Perspectives in Geometry Series Jacob Lurie Lecture IV: Applications and Examples (1/29/2009) Let Σ be a Riemann surface of genus g, then we can consider BDiff(Σ), the classifying space
More informationBordism and the Pontryagin-Thom Theorem
Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such
More informationRESEARCH STATEMENT RUIAN CHEN
RESEARCH STATEMENT RUIAN CHEN 1. Overview Chen is currently working on a large-scale program that aims to unify the theories of generalized cohomology and of perverse sheaves. This program is a major development
More informationGrothendieck duality for affine M 0 -schemes.
Grothendieck duality for affine M 0 -schemes. A. Salch March 2011 Outline Classical Grothendieck duality. M 0 -schemes. Derived categories without an abelian category of modules. Computing Lf and Rf and
More 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 informationTHE BORSUK-ULAM THEOREM FOR GENERAL SPACES
THE BORSUK-ULAM THEOREM FOR GENERAL SPACES PEDRO L. Q. PERGHER, DENISE DE MATTOS, AND EDIVALDO L. DOS SANTOS Abstract. Let X, Y be topological spaces and T : X X a free involution. In this context, a question
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 informationManifolds and Poincaré duality
226 CHAPTER 11 Manifolds and Poincaré duality 1. Manifolds The homology H (M) of a manifold M often exhibits an interesting symmetry. Here are some examples. M = S 1 S 1 S 1 : M = S 2 S 3 : H 0 = Z, H
More informationDEFINITIONS: OPERADS, ALGEBRAS AND MODULES. Let S be a symmetric monoidal category with product and unit object κ.
DEFINITIONS: OPERADS, ALGEBRAS AND MODULES J. P. MAY Let S be a symmetric monoidal category with product and unit object κ. Definition 1. An operad C in S consists of objects C (j), j 0, a unit map η :
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 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 informationOrthogonal Spectra. University of Oslo. Dept. of Mathematics. MAT2000 project. Author: Knut Berg Supervisor: John Rognes
University of Oslo Dept. of Mathematics MAT2000 project Spring 2007 Orthogonal Spectra Author: Knut Berg knube@student.matnat.uio.no Supervisor: John Rognes 29th May 2007 Contents 1 Inner product spaces
More informationLECTURE 3: EXAMPLES OF GOODWILLIE CALCULUS
LECTURE 3: EXAMPLES OF GOODWILLIE CALCULUS SANATH DEVALAPURKAR In these notes, we ll (subconsciously) switch between saying -category and category. Feel free to generously pour or rip out, whatever you
More informationDERIVED STRING TOPOLOGY AND THE EILENBERG-MOORE SPECTRAL SEQUENCE
DERIVED STRING TOPOLOGY AND THE EILENBERG-MOORE SPECTRAL SEQUENCE KATSUHIKO KURIBAYASHI, LUC MENICHI AND TAKAHITO NAITO Abstract. Let M be a simply-connected closed manifold of dimension m. Chas and Sullivan
More informationBRAVE NEW WORLDS IN STABLE HOMOTOPY THEORY
BRAVE NEW WORLDS IN STABLE HOMOTOPY THEORY J. P. MAY I will give a broad survey of the general area of structured ring spectra in modern constructions of the stable homotopy category. I will give some
More informationOVERVIEW OF SPECTRA. Contents
OVERVIEW OF SPECTRA Contents 1. Motivation 1 2. Some recollections about Top 3 3. Spanier Whitehead category 4 4. Properties of the Stable Homotopy Category HoSpectra 5 5. Topics 7 1. Motivation There
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationPBW for an inclusion of Lie algebras
PBW for an inclusion of Lie algebras Damien Calaque, Andrei Căldăraru, Junwu Tu Abstract Let h g be an inclusion of Lie algebras with quotient h-module n. There is a natural degree filtration on the h-module
More informationMath 550 / David Dumas / Fall Problems
Math 550 / David Dumas / Fall 2014 Problems Please note: This list was last updated on November 30, 2014. Problems marked with * are challenge problems. Some problems are adapted from the course texts;
More informationRational maps and string topology
1579 1606 1579 arxiv version: fonts, pagination and layout may vary from GT published version Rational maps and string topology SADOK KALLEL PAOLO SALVATORE We apply a version of the Chas Sullivan Cohen
More informationarxiv: v1 [math.co] 25 Jun 2014
THE NON-PURE VERSION OF THE SIMPLEX AND THE BOUNDARY OF THE SIMPLEX NICOLÁS A. CAPITELLI arxiv:1406.6434v1 [math.co] 25 Jun 2014 Abstract. We introduce the non-pure versions of simplicial balls and spheres
More informationA UNIVERSAL PROPERTY FOR Sp(2) AT THE PRIME 3
Homology, Homotopy and Applications, vol. 11(1), 2009, pp.1 15 A UNIVERSAL PROPERTY FOR Sp(2) AT THE PRIME 3 JELENA GRBIĆ and STEPHEN THERIAULT (communicated by Donald M. Davis) Abstract We study a universal
More informationAndré Quillen spectral sequence for THH
Topology and its Applications 29 (2003) 273 280 www.elsevier.com/locate/topol André Quillen spectral sequence for THH Vahagn Minasian University of Illinois at Urbana-Champaign, 409 W. Green St, Urbana,
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 informationPatrick Iglesias-Zemmour
Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries
More informationIntroduction to surgery theory
Introduction to surgery theory Wolfgang Lück Bonn Germany email wolfgang.lueck@him.uni-bonn.de http://131.220.77.52/lueck/ Bonn, 17. & 19. April 2018 Wolfgang Lück (MI, Bonn) Introduction to surgery theory
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 informationAn introduction to stable homotopy theory. Abelian groups up to homotopy spectra ()generalized cohomology theories
An introduction to stable homotopy theory Abelian groups up to homotopy spectra ()generalized cohomology theories Examples: 1. Ordinary cohomology: For A any abelian group, H n (X; A) =[X +,K(A, n)]. Eilenberg-Mac
More informationLECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More information30 Surfaces and nondegenerate symmetric bilinear forms
80 CHAPTER 3. COHOMOLOGY AND DUALITY This calculation is useful! Corollary 29.4. Let p, q > 0. Any map S p+q S p S q induces the zero map in H p+q ( ). Proof. Let f : S p+q S p S q be such a map. It induces
More information