* * * Stable Homotopy and the J-Homomorphism

Total Page:16

File Type:pdf, Size:1020Kb

* * * Stable Homotopy and the J-Homomorphism *** Stable Homotopy and the J-Homomorphism Eva Belmont Advisor: Prof. Michael Hopkins Submitted: March 19, 2012 Submitted to the Harvard University Department of Mathematics in partial fulfillment of the requirements for the degree of AB in Mathematics 2 Acknowledgements I would like to thank my advisor, Prof. Michael Hopkins, for introducing me to the beautiful world of stable homotopy theory. I am grateful for the wisdom he shared, and for the time and energy he took out of a busy life to start one student down the road of curiosity and amazement. I would also like to thank my parents for their unflagging moral support, and my friends for being there for me during this process. Contents Contents 3 1 Introduction to K-theory and the J-homomorphism4 1.1 The Hopf fibration................................. 4 1.2 Vector bundles ................................... 7 1.3 Definition of K-theory............................... 9 2 Some useful tools 11 2.1 The stable category ................................ 11 2.2 Adams operations ................................. 13 2.3 Localization..................................... 15 2.4 Thom complexes .................................. 16 3 The e-invariant 21 3.1 Bernoulli numbers ................................. 21 3.2 Defining the e-invariant .............................. 22 3.3 The image of e ................................... 23 s 4 A splitting for π2k−1 28 4.1 (Almost) surjectivity................................ 28 4.2 The groups Je(X).................................. 29 4.3 A special case of the Adams conjecture...................... 31 A Cannibalistic class computation 34 Bibliography 38 3 Chapter 1 Introduction to K-theory and the J-homomorphism One of topology's earliest goals was to study the degree of maps Sn ! Sn: the number of times that the first copy of Sn winds around the second. The dawn of algebraic topology brought the insight that this col- lection of maps could be given the structure of a group which is n n isomorphic to Z: each k 2 Z corresponds to a map S ! S of de- gree k. This is not hard to see, once the idea has been made precise, so now you may want to ask the natural follow-up question: how do we classify maps Sn ! Sm for any n; m? Half of this is again easy: if n < m, there are no such maps, other than (up to equivalence) the trivial map that collapses the entire domain to a point. Unfor- tunately, if n > m, this question is so hard that topologists are still stumped. n Our knowledge is frustratingly spotty. The groups πn+1S and n 2 πn+2S have been known since the 1940's (see [23]), but πnS remains unclassified. We know n 2n that πn+k(S ) are finite, except for π4m−1S , which are finitely generated. The groups up n through π19+nS are known in entirety; more have been calculated, and for still others, only certain prime components are known. n However, there is a range of groups that are more tractable. If n ≥ i + 1, then πi+nS is s independent of n; these are called the stable groups, and are denoted πi . We still do not know the full story of the stable groups, but we know a piece of it: this thesis tells part of that story. The exposition here is based primarily on Adams' papers [2]-[5], filtered through the insight of my advisor Prof. Michael Hopkins, who taught me this material. Using K-theory over R, it is possible to compute explicitly a cyclic group that is a direct s summand of every πi . Here we will work over C instead, which dodges some technicalities; the price is that we land a factor of 2 away in one computation from proving that there is a splitting. x1.1 The Hopf fibration m As a starting point for studying πn(S ), let us take a nontrivial example in low dimension: 4 Chapter 1. Introduction to K-theory and the J-homomorphism 5 3 2 3 4 ∼ 2 2 ∼ 1 the Hopf fibration S ! S . View S as a subset of R = C , and use the fact that S = CP . 2 1 3 2 The natural quotient map C ! CP induces a natural map S ! S . The preimage of 1 [x; y] 2 CP is the set f(λx, λy): j(λx, λy)j = 1g =∼ λ : jλj2 = (jxj2 + jyj2)−1 ∼ ∗ ∼ 1 = C = S : We say that S1 is the fiber, and S1 ! S3 ! S2 is a fibration; we will return to fiber maps later. 2 Alternatively, recall that we can decompose CP as the open 4-cell f[1; a; b]: a; b 2 Cg, the open 2-cell f[0; 1; c]: c 2 Cg, and the \point at infinity" [0; 0; 1]. The boundary of the 4-cell is the limit of circles f[1; Ra; Rb]: jaj2 + jbj2 = 1g =∼ f(Ra; Rb)g 2 R · S3 as R ! 1. So the attaching map A : @(4-cell) = @f (a; b): a; b 2 C g ! f[0; a; b]g is homotopic to the limit of the maps AR :(Ra; Rb) ! [0; Ra; Rb]. Each AR is homotopic to the Hopf fibration defined above, and so A = limR!1 AR is also just the Hopf fibration. n Other than being an easy example of a nontrivial element of πm(S ) for m > n, the Hopf fibration is also worthy of consideration because it is the n = 2 case of the Hopf construction, 2n−1 n n−1 a method for obtaining maps Hf : S ! S , given the initial data of a map f : S × Sn−1 ! Sn−1. The reason why anyone would care about maps Sn−1 × Sn−1 ! Sn−1 goes back to an old problem that asks which spheres Sn−1 are Hopf spaces { topological spaces with a monoid structure. Of course, the map Sn−1 × Sn−1 ! Sn−1 in question is just the monoid multiplication. (In addition to being of independent interest, this problem is also tied to the determination of the number of linearly independent vector fields on spheres, which Adams solved definitively in 1961 and laid out in [1].) Now we describe the Hopf construction itself. Note that a map Sn−1 × Sn−1 ! Sn−1 is equivalent to a map Sn−1 ! Maps(Sn−1;Sn−1); since rotations of Sn−1 can be naturally extended to rotations of Dn that leave the origin fixed, our H-space multiplication µ can be written as an assignment Sn−1 ! Maps(Dn;Dn). Equivalently, there are extensions n−1 n n n n−1 n 2n−1 µ+ : S × D ! D and µ− : D × S ! D . To describe a map out of S , treat S2n−1 as the boundary of a 2n-cell, and decompose as follows: S2n−1 = @D2n = @(Dn × Dn) = (@Dn × Dn) [ (Dn × @Dn) = (Sn−1 × Dn) [ (Dn × Sn−1) : 2n−1 If we use µ+ on the first piece and µ− on the second piece, then we have a map S ! n n n−1 n D [ D . But since µ+ and µ− are extensions of µ, they agree on S ⊂ D , and the hemispheres Dn [ Dn can be glued along Sn−1 to form Sn. n Having found a way to generate elements of the elusive group π2n−1S , we are now motivated n to aim higher and look for elements of any πmS . Happily, only a small modification of the Chapter 1. Introduction to K-theory and the J-homomorphism 6 above construction is necessary to produce useful results. Instead of the starting H-space n−1 n n multiplication S ! Maps(D ;D ), let us begin with any element f 2 πiO(n), which can i n n 2n−1 be written as a map S × R ! R . Then the decomposition of S can be imitated to write Sn+i = @Dn+i+1 = @(Di+1 × Dn) = (@Di+1 × Dn) [ (Di+1 × @Dn) = (Si × Dn) [ (Di+1 × Sn−1) Send the second piece to a point, and the first piece to Dn using the chosen map f. Gluing these together produces a map Sn+i ! Dn [ {∗} = Sn. One can show that this is a n homomorphism when regarded as a map of homotopy groups πiO(n) ! πn+iS . This is the J-homomorphism.1 In the rest of this thesis, we will be working over C instead of R, because it simplifies the arguments in several places. Going forward, the J-homomorphism will refer to the complex version n π2k−1U(n) ! π2k−1+nS which is constructed in an analogous manner. The beauty of this construction is that most of the groups πkU(n) are known: ( 0 if k is even πk(U(n)) = Z if k is odd for large enough n (in a way that is described more precisely in Section 2.1). Thus, we n know how to compute a subgroup Im(J) of π2k+n−1S . Understanding the image of the J-homomorphism will eventually allow us to prove that Im(J) is a direct summand of one n of the homotopy groups π2k+n−1S . This, in turn, will be accomplished by constructing a sequence J n π2k−1U(n) ! π2k+n−1S ! Q=Z ; (1.1.1) whose study will form the heart of this thesis. In the remainder of this chapter, we will introduce K-theory. In the second chapter, we lay out more background { constructions that will be invaluable to the rest of the discussion. In chapter 3, we will define the map n e : π2k+n−1S ! Q=Z and determine its image. In chapter 4, we will study the composition (1.1.1), and will discuss the ideas necessary to obtain a splitting of the (stable) homotopy groups of spheres.
Recommended publications
  • The Adams-Novikov Spectral Sequence for the Spheres
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 77, Number 1, January 1971 THE ADAMS-NOVIKOV SPECTRAL SEQUENCE FOR THE SPHERES BY RAPHAEL ZAHLER1 Communicated by P. E. Thomas, June 17, 1970 The Adams spectral sequence has been an important tool in re­ search on the stable homotopy of the spheres. In this note we outline new information about a variant of the Adams sequence which was introduced by Novikov [7]. We develop simplified techniques of computation which allow us to discover vanishing lines and periodic­ ity near the edge of the E2-term, interesting elements in E^'*, and a counterexample to one of Novikov's conjectures. In this way we obtain independently the values of many low-dimensional stems up to group extension. The new methods stem from a deeper under­ standing of the Brown-Peterson cohomology theory, due largely to Quillen [8]; see also [4]. Details will appear elsewhere; or see [ll]. When p is odd, the p-primary part of the Novikov sequence be­ haves nicely in comparison with the ordinary Adams sequence. Com­ puting the £2-term seems to be as easy, and the Novikov sequence has many fewer nonzero differentials (in stems ^45, at least, if p = 3), and periodicity near the edge. The case p = 2 is sharply different. Computing E2 is more difficult. There are also hordes of nonzero dif­ ferentials dz, but they form a regular pattern, and no nonzero differ­ entials outside the pattern have been found. Thus the diagram of £4 ( =£oo in dimensions ^17) suggests a vanishing line for Ew much lower than that of £2 of the classical Adams spectral sequence [3].
    [Show full text]
  • Poincar\'E Duality for $ K $-Theory of Equivariant Complex Projective
    POINCARE´ DUALITY FOR K-THEORY OF EQUIVARIANT COMPLEX PROJECTIVE SPACES J.P.C. GREENLEES AND G.R. WILLIAMS Abstract. We make explicit Poincar´eduality for the equivariant K-theory of equivariant complex projective spaces. The case of the trivial group provides a new approach to the K-theory orientation [3]. 1. Introduction In 1 well behaved cases one expects the cohomology of a finite com- plex to be a contravariant functor of its homology. However, orientable manifolds have the special property that the cohomology is covariantly isomorphic to the homology, and hence in particular the cohomology ring is self-dual. More precisely, Poincar´eduality states that taking the cap product with a fundamental class gives an isomorphism between homology and cohomology of a manifold. Classically, an n-manifold M is a topological space locally modelled n on R , and the fundamental class of M is a homology class in Hn(M). Equivariantly, it is much less clear how things should work. If we pick a point x of a smooth G-manifold, the tangent space Vx is a represen- tation of the isotropy group Gx, and its G-orbit is locally modelled on G ×Gx Vx; both Gx and Vx depend on the point x. It may happen that we have a W -manifold, in the sense that there is a single representation arXiv:0711.0346v1 [math.AT] 2 Nov 2007 W so that Vx is the restriction of W to Gx for all x, but this is very restrictive. Even if there are fixed points x, the representations Vx at different points need not be equivalent.
    [Show full text]
  • Higher Algebraic K-Theory I
    1 Higher algebraic ~theory: I , * ,; Daniel Quillen , ;,'. ··The·purpose of..thispaper.. is.to..... develop.a.higher. X..,theory. fpJ;' EiddUiy!!. categQtl~ ... __ with euct sequences which extends the ell:isting theory of ths Grothsndieck group in a natural wll7. To describe' the approach taken here, let 10\ be an additive category = embedded as a full SUbcategory of an abelian category A, and assume M is closed under , = = extensions in A. Then one can form a new category Q(M) having the same objects as ')0\ , = =, = but :in which a morphism from 101 ' to 10\ is taken to be an isomorphism of MI with a subquotient M,IM of M, where MoC 101, are aubobjects of M such that 101 and MlM, o 0 are objects of ~. Assuming 'the isomorphism classes of objects of ~ form a set, the, cstegory Q(M)= has a classifying space llQ(M)= determined up to homotopy equivalence. One can show that the fundamental group of this classifying spacs is canonically isomor- phic to the Grothendieck group of ~ which motivates dsfining a ssquenoe of X-groups by the formula It is ths goal of the present paper to show that this definition leads to an interesting theory. The first part pf the paper is concerned with the general theory of these X-groups. Section 1 contains various tools for working .~th the classifying specs of a small category. It concludes ~~th an important result which identifies ·the homotopy-theoretic fibre of the map of classifying spaces induced by a.functor. In X-theory this is used to obtain long exsct sequences of X-groups from the exact homotopy sequence of a map.
    [Show full text]
  • An Invitation to Toric Topology: Vertex Four of a Remarkable Tetrahedron
    An Invitation to Toric Topology: Vertex Four of a Remarkable Tetrahedron. Buchstaber, Victor M and Ray, Nigel 2008 MIMS EPrint: 2008.31 Manchester Institute for Mathematical Sciences School of Mathematics The University of Manchester Reports available from: http://eprints.maths.manchester.ac.uk/ And by contacting: The MIMS Secretary School of Mathematics The University of Manchester Manchester, M13 9PL, UK ISSN 1749-9097 Contemporary Mathematics An Invitation to Toric Topology: Vertex Four of a Remarkable Tetrahedron Victor M Buchstaber and Nigel Ray 1. An Invitation Motivation. Sometime around the turn of the recent millennium, those of us in Manchester and Moscow who had been collaborating since the mid-1990s began using the term toric topology to describe our widening interests in certain well-behaved actions of the torus. Little did we realise that, within seven years, a significant international conference would be planned with the subject as its theme, and delightful Japanese hospitality at its heart. When first asked to prepare this article, we fantasised about an authorita- tive and comprehensive survey; one that would lead readers carefully through the foothills above which the subject rises, and provide techniques for gaining sufficient height to glimpse its extensive mathematical vistas. All this, and more, would be illuminated by references to the wonderful Osaka lectures! Soon afterwards, however, reality took hold, and we began to appreciate that such a task could not be completed to our satisfaction within the timescale avail- able. Simultaneously, we understood that at least as valuable a service could be rendered to conference participants by an invitation to a wider mathematical au- dience - an invitation to savour the atmosphere and texture of the subject, to consider its geology and history in terms of selected examples and representative literature, to glimpse its exciting future through ongoing projects; and perhaps to locate favourite Osaka lectures within a novel conceptual framework.
    [Show full text]
  • Lecture Notes on Simplicial Homotopy Theory
    Lectures on Homotopy Theory The links below are to pdf files, which comprise my lecture notes for a first course on Homotopy Theory. I last gave this course at the University of Western Ontario during the Winter term of 2018. The course material is widely applicable, in fields including Topology, Geometry, Number Theory, Mathematical Pysics, and some forms of data analysis. This collection of files is the basic source material for the course, and this page is an outline of the course contents. In practice, some of this is elective - I usually don't get much beyond proving the Hurewicz Theorem in classroom lectures. Also, despite the titles, each of the files covers much more material than one can usually present in a single lecture. More detail on topics covered here can be found in the Goerss-Jardine book Simplicial Homotopy Theory, which appears in the References. It would be quite helpful for a student to have a background in basic Algebraic Topology and/or Homological Algebra prior to working through this course. J.F. Jardine Office: Middlesex College 118 Phone: 519-661-2111 x86512 E-mail: [email protected] Homotopy theories Lecture 01: Homological algebra Section 1: Chain complexes Section 2: Ordinary chain complexes Section 3: Closed model categories Lecture 02: Spaces Section 4: Spaces and homotopy groups Section 5: Serre fibrations and a model structure for spaces Lecture 03: Homotopical algebra Section 6: Example: Chain homotopy Section 7: Homotopical algebra Section 8: The homotopy category Lecture 04: Simplicial sets Section 9:
    [Show full text]
  • The Galois Group of a Stable Homotopy Theory
    The Galois group of a stable homotopy theory Submitted by Akhil Mathew in partial fulfillment of the requirements for the degree of Bachelor of Arts with Honors Harvard University March 24, 2014 Advisor: Michael J. Hopkins Contents 1. Introduction 3 2. Axiomatic stable homotopy theory 4 3. Descent theory 14 4. Nilpotence and Quillen stratification 27 5. Axiomatic Galois theory 32 6. The Galois group and first computations 46 7. Local systems, cochain algebras, and stacks 59 8. Invariance properties 66 9. Stable module 1-categories 72 10. Chromatic homotopy theory 82 11. Conclusion 88 References 89 Email: [email protected]. 1 1. Introduction Let X be a connected scheme. One of the basic arithmetic invariants that one can extract from X is the ´etale fundamental group π1(X; x) relative to a \basepoint" x ! X (where x is the spectrum of a separably closed field). The fundamental group was defined by Grothendieck [Gro03] in terms of the category of finite, ´etalecovers of X. It provides an analog of the usual fundamental group of a topological space (or rather, its profinite completion), and plays an important role in algebraic geometry and number theory, as a precursor to the theory of ´etalecohomology. From a categorical point of view, it unifies the classical Galois theory of fields and covering space theory via a single framework. In this paper, we will define an analog of the ´etalefundamental group, and construct a form of the Galois correspondence, in stable homotopy theory. For example, while the classical theory of [Gro03] enables one to define the fundamental (or Galois) group of a commutative ring, we will define the fundamental group of the homotopy-theoretic analog: an E1-ring spectrum.
    [Show full text]
  • 17 Oct 2019 Sir Michael Atiyah, a Knight Mathematician
    Sir Michael Atiyah, a Knight Mathematician A tribute to Michael Atiyah, an inspiration and a friend∗ Alain Connes and Joseph Kouneiher Sir Michael Atiyah was considered one of the world’s foremost mathematicians. He is best known for his work in algebraic topology and the codevelopment of a branch of mathematics called topological K-theory together with the Atiyah-Singer index theorem for which he received Fields Medal (1966). He also received the Abel Prize (2004) along with Isadore M. Singer for their discovery and proof of the index the- orem, bringing together topology, geometry and analysis, and for their outstanding role in building new bridges between mathematics and theoretical physics. Indeed, his work has helped theoretical physicists to advance their understanding of quantum field theory and general relativity. Michael’s approach to mathematics was based primarily on the idea of finding new horizons and opening up new perspectives. Even if the idea was not validated by the mathematical criterion of proof at the beginning, “the idea would become rigorous in due course, as happened in the past when Riemann used analytic continuation to justify Euler’s brilliant theorems.” For him an idea was justified by the new links between different problems which it illuminated. Our experience with him is that, in the manner of an explorer, he adapted to the landscape he encountered on the way until he conceived a global vision of the setting of the problem. Atiyah describes here 1 his way of doing mathematics2 : arXiv:1910.07851v1 [math.HO] 17 Oct 2019 Some people may sit back and say, I want to solve this problem and they sit down and say, “How do I solve this problem?” I don’t.
    [Show full text]
  • Curriculum Vitae (March 2016) Stefan Jackowski
    Curriculum Vitae (March 2016) Stefan Jackowski Date and place of birth February 11, 1951, Łódź (Poland) Home Address ul. Fausta 17, 03-610 Warszawa, Poland E-mail [email protected] Home page http://www.mimuw.edu.pl/˜sjack Education, academic degrees and titles 1996 Professor of Mathematical Sciences (title awarded by the President of Republic of Poland) 1987 Habilitation in Mathematics - Faculty MIM UW ∗ 1976 Doctoral degree in Mathematics, Faculty MIM UW 1970-73 Faculty MIM UW, Master degree in Mathematics 1973 1968-70 Faculty of Physics, UW Awards 1998 Knight’s Cross of the Order of Polonia Restituta 1993 Minister of Education Award for Research Achievements 1977 Minister of Education Award for Doctoral Dissertation 1973 I prize in the J. Marcinkiewicz nationwide competition of student mathematical papers organised by the Polish Mathematical Society 1968 I prize in XVII Physics Olympiad organised by the Polish Physical Society ∗Abbreviations: UW = University of Warsaw, Faculty MIM = Faculty of Mathematics, Informatics and Mechanics 1 Employment Since 1973 at University of Warsaw, Institute of Mathematics. Subsequently as: Asistant Professor, Associate Professor, and since 1998 Full Professor. Visiting research positions (selected) [2001] Max Planck Institut f¨ur Mathematik, Bonn, Germany, [1996] Centra de Recerca Matematica, Barcelona, Spain,[1996] Fields Institute, Toronto, Canada, [1990] Universite Paris 13, France, [1993] Mittag-Leffler Institute, Djursholm, Sweden, [1993] Purdue University, West Lafayette, USA, [1991] Georg-August-Universit¨at,G¨ottingen,Germany, [1990] Hebrew University of Jerusalem, Israel, [1989] Mathematical Sciences Research Institute, Berkeley, USA, [1988] Northwestern University, Evanston, IL, USA, [1987] University of Virginia, Charolottesvile, USA, [1986] Ohio State University, USA, [1985] University of Chicago, Chicago, USA [1983] Eidgen¨ossische Technische Hochschule, Z¨urich, Switzerland [1980] Aarhus Universitet, Danmark, [1979] University of Oxford, Oxford, Great Britain.
    [Show full text]
  • Calculus Redux
    THE NEWSLETTER OF THE MATHEMATICAL ASSOCIATION OF AMERICA VOLUME 6 NUMBER 2 MARCH-APRIL 1986 Calculus Redux Paul Zorn hould calculus be taught differently? Can it? Common labus to match, little or no feedback on regular assignments, wisdom says "no"-which topics are taught, and when, and worst of all, a rich and powerful subject reduced to Sare dictated by the logic of the subject and by client mechanical drills. departments. The surprising answer from a four-day Sloan Client department's demands are sometimes blamed for Foundation-sponsored conference on calculus instruction, calculus's overcrowded and rigid syllabus. The conference's chaired by Ronald Douglas, SUNY at Stony Brook, is that first surprise was a general agreement that there is room for significant change is possible, desirable, and necessary. change. What is needed, for further mathematics as well as Meeting at Tulane University in New Orleans in January, a for client disciplines, is a deep and sure understanding of diverse and sometimes contentious group of twenty-five fac­ the central ideas and uses of calculus. Mac Van Valkenberg, ulty, university and foundation administrators, and scientists Dean of Engineering at the University of Illinois, James Ste­ from client departments, put aside their differences to call venson, a physicist from Georgia Tech, and Robert van der for a leaner, livelier, more contemporary course, more sharply Vaart, in biomathematics at North Carolina State, all stressed focused on calculus's central ideas and on its role as the that while their departments want to be consulted, they are language of science. less concerned that all the standard topics be covered than That calculus instruction was found to be ailing came as that students learn to use concepts to attack problems in a no surprise.
    [Show full text]
  • Quillen's Work in Algebraic K-Theory
    J. K-Theory 11 (2013), 527–547 ©2013 ISOPP doi:10.1017/is012011011jkt203 Quillen’s work in algebraic K-theory by DANIEL R. GRAYSON Abstract We survey the genesis and development of higher algebraic K-theory by Daniel Quillen. Key Words: higher algebraic K-theory, Quillen. Mathematics Subject Classification 2010: 19D99. Introduction This paper1 is dedicated to the memory of Daniel Quillen. In it, we examine his brilliant discovery of higher algebraic K-theory, including its roots in and genesis from topological K-theory and ideas connected with the proof of the Adams conjecture, and his development of the field into a complete theory in just a few short years. We provide a few references to further developments, including motivic cohomology. Quillen’s main work on algebraic K-theory appears in the following papers: [65, 59, 62, 60, 61, 63, 55, 57, 64]. There are also the papers [34, 36], which are presentations of Quillen’s results based on hand-written notes of his and on communications with him, with perhaps one simplification and several inaccuracies added by the author. Further details of the plus-construction, presented briefly in [57], appear in [7, pp. 84–88] and in [77]. Quillen’s work on Adams operations in higher algebraic K-theory is exposed by Hiller in [45, sections 1-5]. Useful surveys of K-theory and related topics include [81, 46, 38, 39, 67] and any chapter in Handbook of K-theory [27]. I thank Dale Husemoller, Friedhelm Waldhausen, Chuck Weibel, and Lars Hesselholt for useful background information and advice. 1.
    [Show full text]
  • Spectra and Stable Homotopy Theory
    Spectra and stable homotopy theory Lectures delivered by Michael Hopkins Notes by Akhil Mathew Fall 2012, Harvard Contents Lecture 1 9/5 x1 Administrative announcements 5 x2 Introduction 5 x3 The EHP sequence 7 Lecture 2 9/7 x1 Suspension and loops 9 x2 Homotopy fibers 10 x3 Shifting the sequence 11 x4 The James construction 11 x5 Relation with the loopspace on a suspension 13 x6 Moore loops 13 Lecture 3 9/12 x1 Recap of the James construction 15 x2 The homology on ΩΣX 16 x3 To be fixed later 20 Lecture 4 9/14 x1 Recap 21 x2 James-Hopf maps 21 x3 The induced map in homology 22 x4 Coalgebras 23 Lecture 5 9/17 x1 Recap 26 x2 Goals 27 Lecture 6 9/19 x1 The EHPss 31 x2 The spectral sequence for a double complex 32 x3 Back to the EHPss 33 Lecture 7 9/21 x1 A fix 35 x2 The EHP sequence 36 Lecture 8 9/24 1 Lecture 9 9/26 x1 Hilton-Milnor again 44 x2 Hopf invariant one problem 46 x3 The K-theoretic proof (after Atiyah-Adams) 47 Lecture 10 9/28 x1 Splitting principle 50 x2 The Chern character 52 x3 The Adams operations 53 x4 Chern character and the Hopf invariant 53 Lecture 11 8/1 x1 The e-invariant 54 x2 Ext's in the category of groups with Adams operations 56 Lecture 12 10/3 x1 Hopf invariant one 58 Lecture 13 10/5 x1 Suspension 63 x2 The J-homomorphism 65 Lecture 14 10/10 x1 Vector fields problem 66 x2 Constructing vector fields 70 Lecture 15 10/12 x1 Clifford algebras 71 x2 Z=2-graded algebras 73 x3 Working out Clifford algebras 74 Lecture 16 10/15 x1 Radon-Hurwitz numbers 77 x2 Algebraic topology of the vector field problem 79 x3 The homology of
    [Show full text]
  • Algebraic Topology
    http://dx.doi.org/10.1090/pspum/022 PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS Volume XXII Algebraic Topology AMERICAN MATHEMATICAL SOCIETY Providence, Rhode Island 1971 Proceedings of the Seventeenth Annual Summer Research Institute of the American Mathematical Society Held at the University of Wisconsin Madison, Wisconsin June 29-July 17,1970 Prepared by the American Mathematical Society under National Science Foundation Grant GP-19276 Edited by ARUNAS LIULEVICIUS International Standard Book Number 0-8218-1422-2 Library of Congress Catalog Number 72-167684 Copyright © 1971 by the American Mathematical Society Printed in the United States of America All rights reserved except those granted to the United States Government May not be reproduced in any form without permission of the publishers CONTENTS Preface v Algebraic Topology in the Last Decade 1 BY J. F. ADAMS Spectra and T-Sets 23 BY D. W. ANDERSON A Free Group Functor for Stable Homotopy 31 BY M. G. BARRATT Homotopy Structures and the Language of Trees 37 BY J. M. BOARDMAN Homotopy with Respect to a Ring 59 BY A. K. BOUSFIELD AND D. M. KAN The Kervaire Invariant of a Manifold 65 BY EDGAR H. BROWN, JR. Homotopy Equivalence of Almost Smooth Manifolds 73 BY GREGORY W. BRUMFIEL A Fibering Theorem for Injective Toral Actions 81 BY PIERRE CONNER AND FRANK RAYMOND Immersion and Embedding of Manifolds 87 BY S. GITLER On Embedding Surfaces in Four-Manifolds 97 BY W. C. HSIANG AND R. H. SZCZARBA On Characteristic Classes and the Topological Schur Lemma from the Topological Transformation Groups Viewpoint 105 BY WU-YI HSIANG On Splittings of the Tangent Bundle of a Manifold 113 BY LEIF KRISTENSEN Cobordism and Classifying Spaces 125 BY PETER S.
    [Show full text]