Math 6802 Algebraic Topology II

Total Page:16

File Type:pdf, Size:1020Kb

Math 6802 Algebraic Topology II Math 6802 Algebraic Topology II Nathan Broaddus Ohio State University February 11, 2015 Homotopy inverse of the cross product I We have the cross product chain map − × − : Cp(X ) ⊗ Cq(Y ) ! Cp+q(X × Y ) I and the Alexander-Whitney chain map A : Cn(X × Y ) ! (C(X ) ⊗ C(Y ))n I Thus we have chain maps A ◦ (− × −): Cp(X ) ⊗ Cq(Y ) ! (C(X ) ⊗ C(Y ))p+q I and (− × −) ◦ A : Cn(X × Y ) ! Cn(X × Y ) The acyclic models theorem Definition 1 (Category with models) A category with models is a category C with specified set of objects M ⊂ C called the models of C . Definition 2 (Free functor with respect to the models) Given a category C with models M a functor T : C ! Ab is free with respect to M if for each M 2 M there is eM 2 T (M) such that for all X 2 Ob(C ) T (f )(eM ) M 2 M ; f 2 Mor(M; X ) is a free basis for T (X ). Definition 3 (Free functor with respect to the models) Given a category C with models M = [nMn a functor T : C ! Chain is free with respect to M = [nMn if each Tn is free with respect to Mn Theorem 4 (Acyclic models theorem) I C a category with models M ⊂ C I S; T : C ! Chain functors with Sn = Tn = 0 for n < 0 I T is free with respect to the models M = [nMn I Hi (S(M)) = 0 for i > 0 for all models M 2 M (M is S-acyclic) I There is a natural transformation Φ: H0(T ) ! H0(S) Then there is a natural transformation ' : T ! S which induces Φ unique up to chain homotopy. Notation for product spaces For a product space X × Y we have continuous projection maps π0 = πX : X × Y ! X and π1 = πY : X × Y ! Y and given continuous f : W ! X and g : W ! Y let f × g : W ! X × Y be the continuous map f × g(w) = (f (w); g(w)) Observe that for any u : W ! X × Y we have u = (πX u) × (πY u) Category of ordered pairs of spaces Let Top × Top be the category of ordered pairs of spaces with morphisms from (X ; Y ) to (Z; W ) given by pairs of maps (f ; g) with f : X ! Z and g : Y ! W continuous. Proof of Eilenberg-Zilber. I For now assume Acyclic Models Theorem. I We have two functors S; T : Top × Top ! Chain where S(X ; Y ) = C(X ) ⊗ C(Y ) T (X ; Y ) = C(X × Y ) I Let T : Top × Top ! Chain be the functor T (X ; Y ) = C(X × Y ) and given a morphism (f ; g):(X ; Y ) ! (Z; W ) and a singular simplex σ : ∆n ! X × Y define T (f ; g): C(X × Y ) ! C(Z × W ) T (f ; g)(σ) = (f πX σ) × (gπY σ) I Can you show T (f ; g) is a chain map? Proof of Eilenberg-Zilber (continued). I Let S : Top × Top ! Chain be the functor S(X ; Y ) = C(X ) ⊗ C(Y ) and given a morphism (f ; g):(X ; Y ) ! (Z; W ) and a singular simplices σ : ∆p ! X and η : ∆q ! Y define S(f ; g): C(X ) ⊗ C(Y ) ! C(Z) ⊗ C(W ) S(f ; g)(σ ⊗ η) = (f σ) ⊗ (gη) I Can you show S(f ; g) is a chain map? Proof of Eilenberg-Zilber (continued). n n I Set Mn = (∆ ; ∆ ) I Choose models for Top × Top the singleton sets Mn = fMng n n I Choose en 2 Tn(Mn) = Cn(∆ × ∆ ) to be the n-chain 1 × 1 : ∆n ! ∆n × ∆n This is the diagonal map for ∆n. Note that π0en = π1en = 1∆n Proof of Eilenberg-Zilber (continued). I Claim that the functor Tn is free with models Mn I In other words, we must show that T (X ; Y ) = C(X × Y ) has free basis n n B = Tn(f ; g)(en) (f ; g) : (∆ ; ∆ ) ! (X ; Y ) I We claim that B is exactly the set of singular n-simplices of X × Y . n I Given a singular simplex σ : ∆ ! X × Y Tn(π0σ; π1σ)(en) = (π0σπ0en) × (π1σπ1en) = (π0σ1∆n ) × (π1σ1∆n ) = (π0σ) × (π1σ) = σ I Hence B contains the singular n-simplices of X × Y . n I Tn(f ; g)(en) = (f π0en) × (gπ1en) = f × g is a map from ∆ to X × Y so the set of singular simplices of X × Y contains B. 0 0 I Finally if (f ; g) 6= (f ; g ) then 0 0 0 0 Tn(f ; g)(en) = f × g 6= f × g = Tn(f ; g )(en) Proof of Eilenberg-Zilber (continued). I Claim that each Mn is S-acyclic I In other words, we must show that for k > 0 we have Hk (S(Mn)) = 0 I n n Hk (S(Mn)) = Hk (S(∆ ; ∆ )) n n = Hk (C(∆ ) ⊗ C(∆ )) M n n =∼ Hi (C(∆ )) ⊗ Hk−i (C(∆ )) i M n n ⊕ Tor(Hi (C(∆ )); Hk−i−1(C(∆ ))) i M n n =∼ Hi (∆ ) ⊗ Hk−i (∆ ) i M n n ⊕ Tor(Hi (∆ ); Hk−i−1(∆ )) i 0; k 6= 0 = Z; k = 0 Proof of Eilenberg-Zilber (continued). I Claim there is a natural isomorphism Φ : H0(T ) ! H0(S) I In other words for each (X ; Y ) we have an isomorphism Φ(X ;Y ) : H0(T (X ; Y )) ! H0(S(X ; Y )) such that for any morphism (f ; g):(X ; Y ) ! (Z; W ) we get commutative Φ(X ;Y ) H0(T (X ; Y )) / H0(S(X ; Y )) H0T (f ;g) H0S(f ;g) Φ(Z;W ) H0(T (Z; W )) / H0(S(Z; W )) I Set Φ(X ;Y ) = H0 ◦ A : H0(C(X × Y )) ! H0(C(X ) ⊗ C(Y )) where A : C(X × Y ) ! C(X ) ⊗ C(Y ) is the Alexander-Whitney chain map. Proof of Eilenberg-Zilber (continued). I First we address naturality of Φ = H0 ◦ A I We will actually show that A is natural and since H0 : Chain ! Ab is natural we get naturality of H0 ◦ A. I That is for any morphism (f ; g):(X ; Y ) ! (Z; W ) we get commutative C(X × Y ) A / C(X ) ⊗ C(Y ) (f ×g)∗ f∗⊗g∗ C(Z × W ) A / C(Z) ⊗ C(W ) Proof of Eilenberg-Zilber (continued). n I Let (f ; g):(X ; Y ) ! (Z; W ) be a morphism and σ : ∆ ! X × Y be a singular simplex. A(f × g)∗σ = A(f πX σ × gπY σ) Pn = i=0 πZ (f πX σ×gπY σ)◦fi ⊗πW (f πX σ×gπY σ)◦bn−i n X = f πX σ ◦ fi ⊗ gπY σ ◦ bn−i i=0 n X (f∗ ⊗ g∗)Aσ = (f∗ ⊗ g∗) πX σ ◦ fi ⊗ πY σ ◦ bn−i i=0 n X = f πX σ ◦ fi ⊗ gπY σ ◦ bn−i i=0 I Thus A : Top × Top ! Chain is natural. I Hence Φ = H0 ◦ A is natural. Proof of Eilenberg-Zilber (continued). I Next we claim that H0 ◦ A : H0(C(X × Y )) ! H0(C(X ) ⊗ C(Y )) is an isomorphism. 0 I For p a point in the space P let σp : ∆ ! P be the 0-simplex with σp(∗) = p. I Given a singular 0-simplex with σ(x;y) of X × Y Aσ(x;y) = πX σ(x;y)f0 ⊗ πY σ(x;y)b0 = = σx f0 ⊗ σy b0 = σx ⊗ σy I Let [σ] denote the class of σ in H0 I Then we've shown H0 ◦ A[σ(x;y)] = [Aσ(x;y)] = [σx ⊗ σy ] I [σ(x;y)] = [σ(x0;y 0)] in H0(X × Y ) 0 0 I iff there are paths from x to x in X and y to y in Y I iff [σx ] = [σx0 ] in H0(X ) and [σy ] = [σy 0 ] in H0(Y ) Proof of Eilenberg-Zilber (continued). I H0(S(X ; Y )) = H0(C(X ) ⊗ C(Y )) ∼ M = Hi (X ) ⊗ H−i (Y ) i M ⊕ Tor(Hi (X ); H−i−1(Y )) i = H0(X ) ⊗ H0(Y ) I H0(T (X ; Y )) = H0(C(X × Y )) = H0(X × Y ) I Thus H0 ◦ A[σ(x;y)] = [σx ⊗ σy ] = [σx ] ⊗ [σy ] is surjective and injective. I This isomorphism amounts to observation that path components of X × Y is (setwise) the cartesian product of path components of X with path components of Y . Proof of Eilenberg-Zilber (continued). I We've fulfilled hypotheses of Acyclic Models Theorem so we get a natural chain map A0 : C(X × Y ) ! C(X ) ⊗ C(Y ) defined up to chain homotopy inducing isomorphism H0 ◦ A. 0 I But A is such a natural chain map so A ' A . Proof of Eilenberg-Zilber (continued). I Now we need a futher chain homotopy γ : S ! T ∼ inducing the reverse isomorphism H0(S) = H0(T ). I Here we need larger set of models n o S p q Mn = (∆ ; ∆ ) p + q = n S p q L p q I Let ep;q 2 Sn(∆ ; ∆ ) = i2Z Ci (∆ ) ⊗ Cn−i (∆ ) be S ep;q = 1∆p ⊗ 1∆q S I Sn is free with models Mn (check this) Proof of Eilenberg-Zilber (continued). p q S I Claim that each (∆ ; ∆ ) 2 Mn is T -acyclic I In other words, we must show that for k > 0 we have p q Hk (T (∆ ; ∆ )) = 0 I p q p q Hk (T (∆ ; ∆ )) = Hk (C(∆ × ∆ )) p q = Hk (∆ × ∆ ) ∼ = Hk ({∗}) 0; k 6= 0 = Z; k = 0 I Cross product − × − is natural and induces isomorphism ∼ H0(C(X ) ⊗ C(Y )) = H0(C(X × Y )) I Thus it is unique such chain map (up to chain homotopy). Proof of Eilenberg-Zilber (continued).
Recommended publications
  • Arxiv:1511.02907V1 [Math.AT] 9 Nov 2015 Oal Cci Ope Fpoetvs Hs R Xc Complexes Exact Algebr Are Homological These Gorenstein Projectives
    THE PROJECTIVE STABLE CATEGORY OF A COHERENT SCHEME SERGIO ESTRADA AND JAMES GILLESPIE Abstract. We define the projective stable category of a coherent scheme. It is the homotopy category of an abelian model structure on the category of unbounded chain complexes of quasi-coherent sheaves. We study the cofibrant objects of this model structure, which are certain complexes of flat quasi- coherent sheaves satisfying a special acyclicity condition. 1. introduction Let R be a ring and R-Mod the category of left R-modules. The projective stable module category of R was introduced in [BGH13]. The construction provides a triangulated category Sprj and a product-preserving functor γ : R-Mod −→Sprj taking short exact sequences to exact triangles, and kills all injective and projective modules (but typically will kill more than just these modules). The motivation for this paper is to extend this construction to schemes, that is, to replace R with a scheme X and introduce the projective stable (quasi-coherent sheaf) category of a scheme X. Although we don’t yet understand the situation in full generality, this paper does make significant progress towards this goal. Let us back up and explain the projective stable module category of a ring R. The idea is based on a familiar concept in Gorenstein homological algebra, that of a totally acyclic complex of projectives. These are exact complexes P of projective R-modules such that HomR(P,Q) is also exact for all projective R-modules Q. Such complexes historically arose in group cohomology theory, since the Tate cohomology groups are defined using totally acyclic complexes of projectives.
    [Show full text]
  • Arxiv:1405.5768V1
    THE STABLE MODULE CATEGORY OF A GENERAL RING DANIEL BRAVO, JAMES GILLESPIE, AND MARK HOVEY Abstract. For any ring R we construct two triangulated categories, each ad- mitting a functor from R-modules that sends projective and injective modules to 0. When R is a quasi-Frobenius or Gorenstein ring, these triangulated cat- egories agree with each other and with the usual stable module category. Our stable module categories are homotopy categories of Quillen model structures on the category of R-modules. These model categories involve generalizations of Gorenstein projective and injective modules that we derive by replacing finitely presented modules by modules of type FP∞. 1. Introduction This paper is about the generalization of Gorenstein homological algebra to arbitrary rings. Gorenstein homological algebra first arose in modular representa- tion theory, where one looks at representations of a finite group G over a field k whose characteristic divides the order of G. In this case, the group ring k[G] is quasi-Frobenius, which means that projective and injective modules coincide. It is natural, then, to ignore them and form the stable module category Stmod(k[G]) by identifying two kG-module maps f,g : M −→ N when g − f factors through a projective module. The stable module category is the main object of study in modular representation theory. For example, the Tate cohomology of G is just Stmod(k[G])(k, k)∗. One could perform this construction for any ring R, but the resulting category only has good properties when the ring is quasi-Frobenius. In this case, the re- sulting category Stmod(R) is not abelian, but it is triangulated.
    [Show full text]
  • Cha Cheeger-Gromov CPAM.Pdf
    A topological approach to Cheeger-Gromov universal bounds for von Neumann rho-invariants Jae Choon Cha Abstract. Using deep analytic methods, Cheeger and Gromov showed that for any smooth (4k − 1)-manifold there is a universal bound for the von Neumann L2 ρ-invariants associated to arbitrary regular covers. We present a new simple proof of the existence of a universal bound for topological (4k − 1)-manifolds, using L2-signatures of bounding 4k-manifolds. For 3-manifolds, we relate the universal bound to triangulations, mapping class groups, and framed links, by giving explicit estimates. We show that our estimates are asymptotically optimal. As an application, we give new lower bounds of the complexity of 3-manifolds which can be arbitrarily larger than previously known lower bounds. As ingredients of the proofs which seem interesting on their own, we develop a geometric construction of efficient 4-dimensional bordisms of 3-manifolds over a group, and develop an algebraic notion of uniformly controlled chain homotopies. Contents 1. Introduction and main results 2 1.1. Background and motivation 2 1.2. MainresultsontheCheeger-Gromovuniversalbound 3 1.3. Applications to lower bounds of the complexity of 3-manifolds 6 1.4. Efficient 4-dimensional bordisms over a group 7 1.5. Controlled chain homotopy 9 2. Existence of universal bounds 11 2.1. A topological definition of the Cheeger-Gromov ρ-invariant 12 2.2. Existence of a universal bound 13 3. Construction of bordisms and 2-handle complexity 14 3.1. Geometric construction of bordisms 15 3.2. Simplicial-cellular approximations of maps into classifying spaces 17 3.3.
    [Show full text]
  • Chapter 1 Algebraic Künneth Formula
    Universitat de Barcelona GRAU DE MATEMATIQUES` Final year project Cohomology of Product Spaces from a Categorical Viewpoint Alvaro´ Torras supervised by Prof. Carles Casacuberta January 18, 2016 2 3 Introduction One of the aims of Algebraic Topology is to study complex problems within Topology by translating them into the more workable world of Algebra. This is usually done by defining invariants such as singular homology and singular cohomology. Both of them help us find properties of spaces. In many cases, homology is not enough and it is desirable to know the cohomology of spaces. For instance, although a product of two Klein Bottles and (S1 ∨ RP2) × (S1 ∨ RP2) have isomorphic homology modules, their respective cohomologies have different ring structures, as shown in Example 3.15, which can also be found in [8]. All other examples and counterexamples given in this project are due to the author. These invariants are very powerful since they contain much information of the spaces that are being studied. The first goal of the present work is to prove a formula that relates the homology of a product of spaces with the homologies of the factors. This formula was obtained in the first half of the past century after the work of H. K¨unneth, who found in 1923 a relation between the Betti numbers of the product of two spaces and the Betti numbers of each of its factors; see [3, Chapter II, Section 5]. In this work, we want to study K¨unneth formulas for both homology and cohomology. Although the homology K¨unneth formula is a very standard result, the cohomology K¨unneth formula is harder to be found in modern literature, and this is why its study is interesting.
    [Show full text]
  • [Math.AT] 3 Oct 2005 Enapwru Ehiu Nagbactplg N Oooia Alge Acyc Homological the and [EM1], Topology in Algebraic in Maclane Technique S
    MONOIDAL FUNCTORS, ACYCLIC MODELS AND CHAIN OPERADS F. GUILLEN´ SANTOS, V. NAVARRO, P. PASCUAL, AND A. ROIG ord Abstract. We prove that for a topological operad P the operad of oriented cubical chains, C∗ (P ), ord and the operad of singular chains, S∗(P ), are weakly equivalent. As a consequence, C∗ (P ; Q) is formal if and only if S∗(P ; Q) is formal, thus linking together some formality results that are spread out in the literature. The proof is based on an acyclic models theorem for monoidal functors. We give different variants of the acyclic models theorem and apply the contravariant case to study the cohomology theories for simplicial sets defined by R-simplicial differential graded algebras. 1. Introduction Since its introduction by S. Eilenberg and S. MacLane in [EM1], the acyclic models theorem has been a powerful technique in algebraic topology and homological algebra. It says that, if K∗, L∗ : A −→ C∗(Z) are functors from a category with models A to the category of non-negative chain complexes of abelian groups C∗(Z), such that K∗ is representable and L∗ is acyclic on models, then any morphism f−1 : H0(K∗) −→ H0(L∗) extends to a morphism f∗ : K∗ −→ L∗, and this extension is unique up to homotopy. In particular, if both K∗, L∗, are representable and acyclic ∼ on models, then any isomorphism f−1 : H0(K∗) = H0(L∗) extends to a homotopy equivalence f∗ : K∗ ≃ L∗, unique up to homotopy, thus defining an isomorphism Hf∗ : H(K∗) −→ H(L∗). In some elementary presentations, the representability hypothesis for K∗ is replaced by asking it to be free on models, see for instance [D].
    [Show full text]
  • Comparison of Homologies Annali Della Scuola Normale Superiore Di Pisa, Classe Di Scienze 3E Série, Tome 20, No 4 (1966), P
    ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze J. DUGUNDJI Comparison of homologies Annali della Scuola Normale Superiore di Pisa, Classe di Scienze 3e série, tome 20, no 4 (1966), p. 745-751 <http://www.numdam.org/item?id=ASNSP_1966_3_20_4_745_0> © Scuola Normale Superiore, Pisa, 1966, tous droits réservés. L’accès aux archives de la revue « Annali della Scuola Normale Superiore di Pisa, Classe di Scienze » (http://www.sns.it/it/edizioni/riviste/annaliscienze/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ COMPARISON OF HOMOLOGIES by J. DUGUNDJI (1) To Reinhold Baer for hi8 65th birthday Our purpose in this paper is to present a simple principle (3.1) for the comparison of homology theories. As applications, we will obtain elementary and particularly short (in fact, without computation) proofs of (1) the various invariance properties of the simplicial homology groups of a polytope, of (2) Serre’s « Vietoris mod e » theorem [3 ; 270] when the base is a finite polytope, and of (3) a special case of Leray’s theorem [3 ; 213] on nerves of coverings. Even though the principle itself (and its proof) is entirely elementary, the principle has apparently not been explicitly formulated or used before ; it is vaguely related to the acyclic model theorem [3 ;29] but it is generally easier to use and, as the above-mentioned applications will show, its use can give some deep results rather trivially.
    [Show full text]
  • CHANGING GROUND CATEGORY in OPERAD THEORY Contents 1
    CHANGING GROUND CATEGORY IN OPERAD THEORY JENNIFER SUN Abstract. Developed by J. Michael Boardman, Rainer M. Vogt, and J. Peter May, operads describe algebraic structure and abstract operations in symmet- ric monoidal categories. This expository paper aims to introduce operads and how the functors on ground categories induce maps among the operads. Changing ground category in operad theory has many applications such as the homology operads and the rise of some interesting spectra. Contents 1. Introduction 1 2. Definition of Operads 2 3. Simplicial Sets and Singular Complex Functor 4 4. Simplicial Abelian Groups and The Free Abelian Group Functor 5 5. Passage to Chain Complexes 6 6. Applications 10 6.1. Homology Operads 10 6.2. With Respect to Spectra 11 Acknowledgments 12 References 12 1. Introduction The concept of operads has arisen from the study of iterated loop spaces in algebraic topology. One of the first developers of operad theory, J Peter May created the word \operad" as a portmanteau of the words \operation" and \monad". An operad can be visualized with computational trees and interpreted as a collection of composable abstract operations each with a fixed number of inputs and a single output under conditions of associativity, unitality, and equivariance. We are going to define operads as collections of objects and maps in a ground category satisfying particular associativity, unitality, and commutativity conditions. We will be concerned with operads in topological spaces, simplicial sets, simplicial abelian groups, and chain complexes. There exist functors mapping between these underlying categories, but it is essential to show they preserve the property of operads to show that the functors induce operads on the respective categories.
    [Show full text]
  • On the Signature of Fibre Bundles and Absolute Whitehead Torsion
    On the signature of fibre bundles and absolute Whitehead torsion. Andrew John Korzeniewski Doctor of Philosophy University of Edinburgh 2005 Declaration I declare that this thesis was composed by myself and that the work contained therein is my own, except where explicitly stated otherwise in the text. (Andrew John Korzeniewski) Abstract In 1957 Chern, Hirzebruch and Serre proved that the signature of the total space of a fibration of manifolds is equal to the product of the signatures of the base space and the fibre space if the action of the fundamental group of the base space on the real cohomology of the fibre is trivial. In the late 1960s Kodaira, Atiyah and Hirzebruch independently discovered examples of fibrations of manifolds with non-multiplicative signature. These examples are in the lowest possible dimension where the base and fibre spaces are both surfaces. W. Meyer investigated this phenomenon further and in 1973 proved that every multiple of four occurs as the signature of the total space of a fibration of manifolds with base and fibre both surfaces. Then in 1998 H. Endo showed that the simplest example of such a fibration with non-multiplicative signature occurs when the genus of the base space is 111. We will prove two results about the signature of fibrations of Poincar´espaces. Firstly we show that the signature is always multiplicative modulo four, extending joint work with I. Hambleton and A. Ranicki on the modulo four multiplicativity of the signature in a PL-manifold fibre bundle. Secondly we show that if the action of the fundamental group of the base space on the middle-dimensional homology of the fibre with coefficients in Z2 is trivial, and that the dimension of the base space is a multiple of four, then the signature is multiplicative modulo eight.
    [Show full text]
  • • M.Sc. (2Yr & 5Yr) • M.A. • M.B.A. CURRICULA and SYLLABI
    CURRICULA AND SYLLABI • M.Sc. (2yr & 5yr) • M.A. • M.B.A. www.nitrkl.ac.in PREAMBLE The curriculum of an institution of higher learning is a living entity. It evolves with time; it reflects the ever changing needs of the society and keeps pace with the growing talent of the students and the faculty. The curriculum of the MSc, MA and MBA programmes of NIT Rourkela is no exception. Half a century of experience in preparing graduates in engineering and postgraduates in science for a wide variety of industries has led to creation of the new curriculum. I sincerely believe that it will meet the aspirations of all stake holders – students, faculty and the employers of the graduates and postgraduates of NIT Rourkela. In the old college – university system the curricula and syllabi represented the upper limit of the material to be covered, the teacher having no motivation for stepping outside the defined territory. In the autonomous institute system, the curriculum and syllabi only serve as a guideline. The teacher enjoys freedom to expand it in any direction he feels appropriate, incorporates his latest knowledge and stimulates the creative minds of the students. He experiments with new contents and new techniques. A new teaching-learning paradigm is born. This book of curricula is the culmination of the efforts of large number of faculty members and supporting staff. It also reflects the creative contribution of hundreds of teachers – both serving and retired, over the past five decades. In keeping with the demands of the changing times, it contains many innovative features.
    [Show full text]
  • Mathematische Zeitschrift © Springer-Verlag 1986
    Math. Z. 193, 527-536 (1986) Mathematische zeitschrift © Springer-Verlag 1986 The Kiinneth Formula in Cyclic Homology Dan Burghelea * and Crichton Ogle Department of Mathematics, Ohio State University, 231 West 18th Avenue, Columbus, Ohio 43210, USA Introduction The cyclic homology H C*(A) of an associative algebra with unit A over a field k of characteristic zero was introduced by A. Connes [C1], and extended to arbitrary commutative rings k in [LQ]. It comes equipped with a natural degree (-2) k-linear map S: HC*(A)~HC*_2(A). We will occasionally write S as SA to indicate dependence on the ring A; the map SA provides HC*(A) with a natural k[u] co-module structure (as described below) via the isomorphism HC*(k)~k[u], deg(u)~2. Throughout, k will be an arbitrary commutative ring with unit. The principal result of this paper is an Eilenberg-Zilber theorem for cyclic k-modules (Theorem 3.1) whose main applications are Theorem A and Theorem B. Theorem A. i) If A and B are two unital k-algebras with A and H C*(A) k-flat, then there exists a short exact sequence which is natural in A and B (where 0 denotes cotensor product). ii) If kis a field and HC*(B) is a quasi-free comodule (see Definition 2.1), HC*(B)=k[u](8)V* + W*, then HC*(A®B)=HC*(A)® W* +HH*(A)® V*, 1 where HH)A) is the Hochschild homology of A*. As an application one has the following calculation of the -cyclic and 1 periodic cyclic homology of A[t] and A[t, t- ]: Theorem B.
    [Show full text]
  • A Unifying Approach to the Acyclic Models Method and Other Lifting Lemmas
    Theory and Applications of Categories, Vol. 32, No. 25, 2017, pp. 823{834. A UNIFYING APPROACH TO THE ACYCLIC MODELS METHOD AND OTHER LIFTING LEMMAS LEONARD´ GUETTA Abstract. We prove a fundamental lemma of homological algebra and show how it sets a framework for many different lifting (or comparison) theorems of homological algebra and algebraic topology. Among these are different versions of the acyclic models method. Introduction Historical context. In [EM53], Eilenberg and Mac Lane introduced the method of acyclic models. This powerful tool was invented to compare the homology of different chain complex functors while avoiding lots of computations. Since then, several \acyclic models" theorem have been proved, as for example the one from Barr and Beck [BB66]. Even though both approaches can be used to prove some classical results of algebraic topology, it is not clear how they are logically related. Goal of this note. In this short note, I will show how these different situations (and many others) can be subsumed in a simple unifying approach. Note that this note is self-contained and no prior knowledge of the acyclic models method is required. This paper is more about a fundamental lemma of homological algebra than anything else. This note doesn't claim to prove any major new result. Actually, the lifting lemma at the heart of this paper can be found in [Bar02, Proposition 5.5, chapter 5]. However, it is used there only to prove a technical side result. The goal of this paper is to show that this lemma is central, as it can be used to recover many different lifting theorems (such as acyclic models theorems), hence the pompous name \general lifting lemma".
    [Show full text]
  • Solutions to Exercises from Kenneth Brown's Cohomology of Groups
    Solutions to Exercises from Kenneth Brown's Cohomology of Groups Christopher A. Gerig, Cornell University (College of Engineering) August 2008 - May 2009 I appreciate emails concerning any errors/corrections: [email protected]. Any errors would be due to solely myself, or at least the undergraduate-version of myself when I last looked over this. Remark made on 1/28/14. 1 major: Applied & Engineering Physics year: Sophomore Undergraduate Hey Ken, thanks for taking me under your wing. 2 Contents 0 Errata to Cohomology of Groups 4 1 Chapter I: Some Homological Algebra 5 2 Chapter II: The Homology of a Group 12 3 Chapter III: Homology and Cohomology with Coefficients 21 4 Chapter IV: Low-Dimensional Cohomology and Group Extensions 31 5 Chapter V: Products 41 6 Chapter VI: Cohomology Theory of Finite Groups 47 7 Chapter VII: Equivariant Homology and Spectral Sequences 55 8 Chapter VIII: Finiteness Conditions 58 9 Chapter IX: Euler Characteristics 59 10 Additional Exercises 61 11 References 76 3 0 Errata to Cohomology of Groups pg62, line 11 missing a paranthesis ) at the end. pg67, line 15 from bottom missing word, should say \as an abelian group". pg71, last line of Exercise 4 hint should be on a new line (for whole exercise). P −1 pg85, line 9 from bottom incorrect function, should be g2C=H g ⊗ gm. pg114, first line of Exercise 4 misspelled endomorphism with an extra r. pg115, line 5 from bottom missing word, should say \4.4 is a chain map". ∗ pg141, line 4 from bottom missing a hat b on the last H .
    [Show full text]