Multiplicative properties of Atiyah duality

Size: px
Start display at page:

Download "Multiplicative properties of Atiyah duality"

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 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 information

On the homotopy invariance of string topology

On 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 information

Mathematische Annalen

Mathematische 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 information

Thom Thom Spectra and Other New Brave Algebras. J.P. May

Thom 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 information

EQUIVARIANT AND NONEQUIVARIANT MODULE SPECTRA

EQUIVARIANT 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 information

BEN KNUDSEN. Conf k (f) Conf k (Y )

BEN 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 information

Stabilization as a CW approximation

Stabilization 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 information

The Ordinary RO(C 2 )-graded Cohomology of a Point

The 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 information

The Goodwillie-Weiss Tower and Knot Theory - Past and Present

The 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 information

arxiv:math/ v1 [math.at] 6 Oct 2004

arxiv: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 information

The relationship between framed bordism and skew-framed bordism

The 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 information

THE CELLULARIZATION PRINCIPLE FOR QUILLEN ADJUNCTIONS

THE 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 information

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and

More information

Compactifying string topology

Compactifying 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 information

121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality

121B: 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 information

ALGEBRAS OVER EQUIVARIANT SPHERE SPECTRA

ALGEBRAS 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 information

p,q H (X), H (Y ) ), where the index p has the same meaning as the

p,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 information

MULTIPLE DISJUNCTION FOR SPACES OF POINCARÉ EMBEDDINGS

MULTIPLE 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 information

We have the following immediate corollary. 1

We 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 information

Graph stable equivalences and operadic constructions in equivariant spectra

Graph 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 information

Iterated Bar Complexes of E-infinity Algebras and Homology Theories

Iterated 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 information

Nonabelian Poincare Duality (Lecture 8)

Nonabelian 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 information

MODEL CATEGORIES OF DIAGRAM SPECTRA

MODEL 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 information

Moduli spaces of graphs and homology operations on loop spaces of manifolds

Moduli 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 information

Introduction (Lecture 1)

Introduction (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 information

Homological mirror symmetry via families of Lagrangians

Homological 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 information

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1

ALGEBRAICALLY 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 information

Spectra and the Stable Homotopy Category

Spectra 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 information

PRODUCT AND COPRODUCT IN STRING TOPOLOGY

PRODUCT 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 information

BERTRAND GUILLOU. s G q+r

BERTRAND 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 information

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY

EILENBERG-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 information

Operads. Spencer Liang. March 10, 2015

Operads. 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 information

THE DIAGONAL COHOMOLOGY CLASS OF VERTICAL BUNDLES

THE 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 information

LECTURE 2: THE THICK SUBCATEGORY THEOREM

LECTURE 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 information

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

De 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 information

arxiv: v1 [math.at] 13 Nov 2007

arxiv: 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 information

Using transversality arguments, Thom analyzed the sequence of homotopy groups,

Using 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 information

Lecture on Equivariant Cohomology

Lecture 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 information

arxiv: v1 [math.gt] 23 Apr 2014

arxiv: 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 information

32 Proof of the orientation theorem

32 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 information

KOSZUL 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. 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 information

Equivariant orthogonal spectra and S-modules. M.A. Mandell J.P. May

Equivariant 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 information

Lecture 4: Stabilization

Lecture 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 information

The 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 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 information

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )

Eilenberg-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 information

AXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY

AXIOMS 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 information

STABLE ALGEBRAIC TOPOLOGY AND STABLE TOPOLOGICAL ALGEBRA

STABLE 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 information

LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY

LECTURE 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 information

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

LECTURE: 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 information

Topological equivalences of differential graded algebras (Joint work with D. Dugger)

Topological 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 information

Duality, Residues, Fundamental class

Duality, 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 information

Math Homotopy Theory Hurewicz theorem

Math 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 information

Cohomology 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 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 information

Cobordant differentiable manifolds

Cobordant 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 information

SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS

SECTION 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 information

LECTURE 3: RELATIVE SINGULAR HOMOLOGY

LECTURE 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 information

THE FUNDAMENTAL GROUP OF A p-compact GROUP

THE 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 information

are 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

are 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 information

THE TOTAL SURGERY OBSTRUCTION III

THE 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 information

EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY APPENDIX A: ALGEBRAIC TOPOLOGY

EQUIVARIANT 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 information

Betti numbers of abelian covers

Betti 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 information

MODERN FOUNDATIONS FOR STABLE HOMOTOPY THEORY. Contents

MODERN 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 information

ORDINARY i?o(g)-graded COHOMOLOGY

ORDINARY 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 information

Topological K-theory, Lecture 3

Topological 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 information

Lecture 8: More characteristic classes and the Thom isomorphism

Lecture 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 information

A geometric solution of the Kervaire Invariant One problem

A 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 information

STABLE SPLITTINGS OF CLASSIFYING SPACES OF COMPACT LIE GROUPS

STABLE 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 information

LECTURE 3: EXAMPLES OF GOODWILLIE CALCULUS

LECTURE 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 information

A DECOMPOSITION FORMULA FOR EQUIVARIANT STABLE HOMOTOPY CLASSES

A 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 information

arxiv: v1 [math.at] 2 Sep 2017

arxiv: 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 information

RTG Mini-Course Perspectives in Geometry Series

RTG 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 information

Bordism and the Pontryagin-Thom Theorem

Bordism 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 information

RESEARCH STATEMENT RUIAN CHEN

RESEARCH 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 information

Grothendieck duality for affine M 0 -schemes.

Grothendieck 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 information

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

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 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 information

THE BORSUK-ULAM THEOREM FOR GENERAL SPACES

THE 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 information

1 Categorical Background

1 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 information

Manifolds and Poincaré duality

Manifolds 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 information

DEFINITIONS: OPERADS, ALGEBRAS AND MODULES. Let S be a symmetric monoidal category with product and unit object κ.

DEFINITIONS: 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 information

1. Classifying Spaces. Classifying Spaces

1. 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 information

Deformation groupoids and index theory

Deformation 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 information

Orthogonal Spectra. University of Oslo. Dept. of Mathematics. MAT2000 project. Author: Knut Berg Supervisor: John Rognes

Orthogonal 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 information

LECTURE 3: EXAMPLES OF GOODWILLIE CALCULUS

LECTURE 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 information

DERIVED STRING TOPOLOGY AND THE EILENBERG-MOORE SPECTRAL SEQUENCE

DERIVED 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 information

BRAVE NEW WORLDS IN STABLE HOMOTOPY THEORY

BRAVE 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 information

OVERVIEW OF SPECTRA. Contents

OVERVIEW 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 information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 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 information

PBW for an inclusion of Lie algebras

PBW 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 information

Math 550 / David Dumas / Fall Problems

Math 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 information

Rational maps and string topology

Rational 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 information

arxiv: v1 [math.co] 25 Jun 2014

arxiv: 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 information

A UNIVERSAL PROPERTY FOR Sp(2) AT THE PRIME 3

A 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 information

André Quillen spectral sequence for THH

André 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 information

MTH 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 MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories

More information

Patrick Iglesias-Zemmour

Patrick 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 information

Introduction to surgery theory

Introduction 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 information

FINITE SPECTRA CARY MALKIEWICH

FINITE 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 information

An 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 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 information

LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES

LECTURE 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 information

30 Surfaces and nondegenerate symmetric bilinear forms

30 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