DOCSLIB.ORG

Arxiv:2104.11409V1 [Math.AT]

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2104.11409V1 [Math.AT] THE C2n BOREL DUAL STEENROD ALGEBRA NICK GEORGAKOPOULOS Abstract. In this very short note, we expand the Hu-Kriz computation of the G-equivariant Borel dual Steenrod algebra in characteristic 2, from the group G = C2 to all power-2 cyclic groups G = C2n . Contents 1. Introduction 1 2. Conventions and notations 1 3. Borel cohomology 2 4. The Borel dual Steenrod algebra 3 5. Comparison with Greenlees’s description 4 References 5 1. Introduction In this companion piece to [Geo21a], we show that the C2-equivariant Borel dual Steenrod algebra computation in [HK96] generalizes to all groups G = C2n . More precisely, we give an explicit description of the RO(C2n )-graded ring of the F F hC2n F hC2n homotopy fixed points (H 2 ∧H 2)⋆ as a Hopf algebroid over (H 2)⋆ , F where 2 stands for the constant C2n -Green functor associated to the field of two elements. We also compare our description to the dual description of the Borel Steenrod algebra of [Gre88]. Acknowledgment. We would like to thank Peter May for his numerous editing suggestions, including the idea to split off this paper from [Geo21a]. arXiv:2104.11409v1 [math.AT] 23 Apr 2021 2. Conventions and notations F We will use the letter k to denote the field 2 with trivial G = C2n action, the F constant G-Mackey functor k = 2 and the corresponding equivariant Eilenberg- MacLane spectrum Hk. The meaning should always be clear from the context. Henceforth all our co/homology will be in k coefficients. We use k⋆(X) to denote the RO(G)-graded Mackey functor of G-equivariant homology in k- H coefficients. The value of k⋆(X) on the G/H orbit is denoted by k⋆(X). The real representation ring RO(C2n ) is spanned by the irreducible represen- tations 1, σ, λs,k where σ is the 1-dimensional sign representation and λs,m is the 2-dimensional representation given by rotation by 2πs(m/2n) degrees for 1 ≤ m dividing 2n−2 and odd 1 ≤ s < 2n/m. Note that 2-locally, Sλs,m ≃ Sλ1,m as 1 C2n -equivariant spaces, by the s-power map. Therefore, to compute k⋆(X) for ⋆ ⋆ ∈ RO(C2n ) it suffices to only consider in the span of 1, σ, λk := λ1,2k for 0 ≤ k ≤ n − 2(λn−1 = 2σ and λn = 2). C2n For V = σ or V = λm, denote by aV ∈ k−V the Euler class induced by the V C2n ֒ 0 inclusion of north and south poles S → S ; also denote by uV ∈ k|V|−V the orientation class generating the Mackey functor k|V|−V = k ([HHR16]). 3. Borel cohomology Let EG be a contractible free G-space and EG˜ be the cofiber of the collapse 0 h map EG+ → S . For a spectrum X we use the notation Xh = EG+ ∧ X, X = t h F(EG+, X) and X = EG˜ ∧ X ; there is a cofiber sequence h t Xh → X → X h t The G-fixed points of Xh, X , X are the nonequivariant spectra of homotopy or- hG tG bits XhG, homotopy fixed points X and Tate fixed points X respectively. |V| V The orientation classes uV : k ∧ S → k ∧ S are nonequivariant equivalences, h t hence induce G-equivalences in Xh, X , X for a k-module X, so they act invertibly h t on Xh⋆, X⋆ and X⋆. This implies that h h t t Xh⋆ ≈ Xh|⋆| , X⋆ = X|⋆| , X⋆ = X|⋆| and the RO(G) graded part is determined by the integer graded part. Proposition 3.1. For G = C2n and n > 1: hG ± ± ± 2 k = k[aσ, a , u , u ,..., u ]/a ⋆ λ0 σ λ0 λn−2 σ tG ± ± ± ± 2 k = k[aσ, a , u , u ,..., u ]/a ⋆ λ0 σ λ0 λn−2 σ −1 tG hG hG and khG⋆ = Σ k⋆ /k⋆ (forgetting the ring structure). The map khG⋆ → k⋆ is trivial. Proof. The homotopy fixed point spectral sequence becomes: H∗(G; k)[u±, u± ,..., u± ] =⇒ khG σ λ0 λn−2 ⋆ We have H∗(G; k) = k∗BG = k[a]/a2 ⊗ k[b] where |a| = 1 and |b| = 2. The −1 spectral sequence collapses with no extensions and we can identify a = aσuσ a a ∞ λ0 λ0 and b = a u−1. Finally, EG˜ = S λ0 = colim(Sλ0 −→ Sλ0 −→ ··· ) so to get ktG λ0 λ0 ⋆ we are additionally inverting aλ0 . For G = C2 we have hC2 ± k⋆ = k[aσ, uσ ] tC2 ± ± k⋆ = k[aσ , uσ ] Σ−1 tC2 hC2 hC2 and khC2⋆ = k⋆ /k⋆ (forgetting the ring structure). The map khC2⋆ → k⋆ is trivial. 2 4. The Borel dual Steenrod algebra The G-Borel dual Steenrod algebra is hG (k ∧ k)⋆ hG This is a Hopf algebroid over k⋆ . We will implicitly be completing it at the ideal generated by aσ for G = C2, n > and at the ideal generated by aλ0 for G = C2 , n 1 (see [HK96] pg. 373 for more details in the case of G = C2). With this convention, Hu-Kriz computed the C2-Borel dual Steenrod algebra to be hC2 hC2 (k ∧ k)⋆ = k⋆ [ξi] i for |ξi| = 2 − 1 (ξ0 = 1). The generators ξi restrict to the Milnor generators in the nonequivariant dual Steenrod algebra and 2k ∆(ξi) = ∑ ξj ⊗ ξk j+k=i ǫ(ξi) = 0, i ≥ 1 ηR(aσ) = aσ ∞ −1 2i−1 −2i ηR(uσ) = ∑ aσ uσ ξi i=0 Proposition 4.1. For G = C2n , n > 1, hG hG (k ∧ k)⋆ = k⋆ [ξi] i for |ξi| = 2 − 1 restricting to the C2n−1 generators ξi, with 2k ∆(ξi) = ∑ ξj ⊗ ξk j+k=i ǫ(ξi) = 0 , i ≥ 1 ηR(aσ) = aσ , ηR(aλ0 ) = aλ0 ηR(uσ) = uσ + aσξ1 > ηR(uλm ) = uλm ,m 0 i i η (u )−1 = a2 −1u−2 ξ2 R λ0 ∑ λ0 λ0 i i . hG ∗ Proof The computation of (k ∧ k)∗ = (k ∧ k) (BG) follows from the compu- hG ∗ 2 tation of k∗ = k (BG) = k[a]/a ⊗ k[b] and the fact that nonequivariantly, k ∧ k is a free k-module. To see that the homotopy fixed point spectral se- quence for k ∧ k converges strongly, let FiBG be the skeletal filtration on the Lens ∞ 1 ∗ i space BG = S /C2n ; we can then compute directly that limi (k ∧ k) (F BG) = 1 2 i limi (k[a]/a ⊗ k[b]/b ) = 0. hG hG Thus we get (k ∧ k)⋆ = k⋆ [ξi] and the diagonal ∆ and augmentation ǫ are the same as in the nonequivariant case. The Euler classes aσ, aλ0 are maps of spheres so they are preserved under ηR. The action of ηR on uσ, uλ0 can be 3 hG computed through the right coaction on k⋆ : The (completed) coaction of the nonequivariant dual Steenrod algebra on k∗(BG) = k[a]/a2 ⊗ k[b] is a 7→ a ⊗ 1 2i 2 b 7→ ∑ b ⊗ ξi i To verify the formula for the coaction on b we need to check that Sq1(b) = 0 (the alternative is Sq1(b) = ab). From the long exact sequence associated to 0 → Z /2 → Z /4 → Z /2 → 0, we can see that the vanishing of the Bockstein 2 Z Z on b follows from H (C2n ; /4) = /4 (n > 1). −1 −1 After identifying a = aσu and b = a u we get the formula for η (u ) σ λ0 λ0 R λ0 and also that ηR(uσ) = uσ + ǫaσξ1 where ǫ is either 0 or 1. This is equivalent to −1 −1 −2 ηR(uσ ) = uσ + ǫaσuσ ξ1 h(C n /C ) and to see that ǫ = 1 we use the map khC2 = k 2 2n−1 → khC2n that sends > aσ, uσ to aσ, uσ respectively. Finally, to compute ηR(uλm ) for m 0 note that hC hC n /C m hC n k 2n−m = k 2 2 → k 2 sends aλ0 , uλ0 to aλm = 0, uλm respectively. 5. Comparison with Greenlees’s description We now compare our result with the description of the Borel Steenrod algebra given in [Gre88], which is dual to our calculation. In our notation, the G-spectrum b of [Gre88] is b = kh and bV (X) corresponds h |V| h V to (k )G (X); to get (k )G(X) we need to multiply with the invertible element hG ⋆ h ⋆ h uV ∈ k|V|−V. The Borel Steenrod algebra is bG b = (k )G (k ) and the Borel dual G h G h hG Steenrod algebra is b⋆b =(k )⋆(k )=(k ∧ k)⋆ . Greenlees proves that the Borel Steenrod algebra is given by the Massey- Peterson twisted tensor product ([MP65]) of the nonequivariant Steenrod algebra ∗ h ⋆ hG k k and the Borel cohomology of a point (k )G = k−⋆. The twisting has to do h ⋆ with the fact that the action of the Borel Steenrod algebra on x ∈ (k )G (X) is given by: (θ ⊗ a)(x) = θ(ax) ∗ hG ′ ′ where θ ∈ k k and a ∈ k⋆ . The product of elements θ ⊗ a and θ ⊗ a in the Borel Steenrod algebra is not θθ′ ⊗ aa′, since θ does not commute with cup-products, but rather satisfies the Cartan formula: ′ ′′ ′ ′′ θ(ab) = ∑ θi(a)θi (b) , ∆θ = ∑ θi ⊗ θi i i Therefore: ′ ′ ′ ′ ′ ′′ ′ ′ (θ ⊗ a)(θ ⊗ a )(x) = θ(aθ (a x)) = ∑ θi(a)(θi θ )(a x) i 4 so ′ ′ ′ ′′ ′ ′ (θ ⊗ a)(θ ⊗ a ) = ∑ θi(a)(θi θ ⊗ a ) (1) i (we have ignored signs as we are working in characteristic 2). ∗ hG So the Borel Steenrod algebra is k k ⊗ k⋆ with twisted algebra structured defined by (1). ∗ h ⋆ Moreover, Greenlees expresses the action of k k on (k )G (X) in terms of the ∗ action of k k on the orientation classes uV and the usual (nonequivariant) action ∗ h ∗ ∗ of k k on (k )G(X) = k (X ∧G EG+).
Load more

Recommended publications
  • Homotopy Properties of Thom Complexes (English Translation with the Author’S Comments) S.P.Novikov1
    Homotopy Properties of Thom Complexes (English translation with the author’s comments) S.P.Novikov1 Contents Introduction 2 1. Thom Spaces 3 1.1. G-framed submanifolds. Classes of L-equivalent submanifolds 3 1.2. Thom spaces. The classifying properties of Thom spaces 4 1.3. The cohomologies of Thom spaces modulo p for p > 2 6 1.4. Cohomologies of Thom spaces modulo 2 8 1.5. Diagonal Homomorphisms 11 2. Inner Homology Rings 13 2.1. Modules with One Generator 13 2.2. Modules over the Steenrod Algebra. The Case of a Prime p > 2 16 2.3. Modules over the Steenrod Algebra. The Case of p = 2 17 1The author’s comments: As it is well-known, calculation of the multiplicative structure of the orientable cobordism ring modulo 2-torsion was announced in the works of J.Milnor (see [18]) and of the present author (see [19]) in 1960. In the same works the ideas of cobordisms were extended. In particular, very important unitary (”complex’) cobordism ring was invented and calculated; many results were obtained also by the present author studying special unitary and symplectic cobordisms. Some western topologists (in particular, F.Adams) claimed on the basis of private communication that J.Milnor in fact knew the above mentioned results on the orientable and unitary cobordism rings earlier but nothing was written. F.Hirzebruch announced some Milnors results in the volume of Edinburgh Congress lectures published in 1960. Anyway, no written information about that was available till 1960; nothing was known in the Soviet Union, so the results published in 1960 were obtained completely independently.
    [Show full text]
  • E Modules for Abelian Hopf Algebras 1974: [Papers]/ IMPRINT Mexico, D.F
    llr ~ 1?J STATUS TYPE OCLC# Submitted 02/26/2019 Copy 28784366 IIIIIII IIIII IIIII IIIII IIIII IIIII IIIII IIIII IIIII IIII IIII SOURCE REQUEST DATE NEED BEFORE 193985894 ILLiad 02/26/2019 03/28/2019 BORROWER RECEIVE DATE DUE DATE RRR LENDERS 'ZAP, CUY, CGU BIBLIOGRAPHIC INFORMATION LOCAL ID AUTHOR ARTICLE AUTHOR Ravenel, Douglas TITLE Conference on Homotopy Theory: Evanston, Ill., ARTICLE TITLE Dieudonne modules for abelian Hopf algebras 1974: [papers]/ IMPRINT Mexico, D.F. : Sociedad Matematica Mexicana, FORMAT Book 1975. EDITION ISBN VOLUME NUMBER DATE 1975 SERIES NOTE Notas de matematica y simposia ; nr. 1. PAGES 177-183 INTERLIBRARY LOAN INFORMATION ALERT AFFILIATION ARL; RRLC; CRL; NYLINK; IDS; EAST COPYRIGHT US:CCG VERIFIED <TN:1067325><0DYSSEY:216.54.119.128/RRR> MAX COST OCLC IFM - 100.00 USD SHIPPED DATE LEND CHARGES FAX NUMBER LEND RESTRICTIONS EMAIL BORROWER NOTES We loan for free. Members of East, RRLC, and IDS. ODYSSEY 216.54.119.128/RRR ARIEL FTP ARIEL EMAIL BILL TO ILL UNIVERSITY OF ROCHESTER LIBRARY 755 LIBRARY RD, BOX 270055 ROCHESTER, NY, US 14627-0055 SHIPPING INFORMATION SHIPVIA LM RETURN VIA SHIP TO ILL RETURN TO UNIVERSITY OF ROCHESTER LIBRARY 755 LIBRARY RD, BOX 270055 ROCHESTER, NY, US 14627-0055 ? ,I _.- l lf;j( T ,J / I/) r;·l'J L, I \" (.' ."i' •.. .. NOTAS DE MATEMATICAS Y SIMPOSIA NUMERO 1 COMITE EDITORIAL CONFERENCE ON HOMOTOPY THEORY IGNACIO CANALS N. SAMUEL GITLER H. FRANCISCO GONZALU ACUNA LUIS G. GOROSTIZA Evanston, Illinois, 1974 Con este volwnen, la Sociedad Matematica Mexicana inicia su nueva aerie NOTAS DE MATEMATICAS Y SIMPOSIA Editado por Donald M.
    [Show full text]
  • Subalgebras of the Z/2-Equivariant Steenrod Algebra
    Homology, Homotopy and Applications, vol. 17(1), 2015, pp.281–305 SUBALGEBRAS OF THE Z/2-EQUIVARIANT STEENROD ALGEBRA NICOLAS RICKA (communicated by Daniel Dugger) Abstract The aim of this paper is to study subalgebras of the Z/2- equivariant Steenrod algebra (for cohomology with coefficients in the constant Mackey functor F2) that come from quotient Hopf algebroids of the Z/2-equivariant dual Steenrod algebra. In particular, we study the equivariant counterpart of profile functions, exhibit the equivariant analogues of the classical A(n) and E(n), and show that the Steenrod algebra is free as a module over these. 1. Introduction It is a truism to say that the classical modulo 2 Steenrod algebra and its dual are powerful tools to study homology in particular and homotopy theory in general. In [2], Adams and Margolis have shown that sub-Hopf algebras of the modulo p Steenrod algebra, or dually quotient Hopf algebras of the dual modulo p Steenrod algebra have a very particular form. This allows an explicit study of the structure of the Steenrod algebra via so-called profile functions. These facts have both a profound and meaningful consequences in stable homotopy theory and concrete, amazing applications (see [13] for many beautiful results strongly relating to the structure of the Steenrod algebra). Using the determination of the structure of the Z/2-equivariant dual Steenrod algebra as an RO(Z/2)-graded Hopf algebroid by Hu and Kriz in [10], we show two kind of results: 1. One that parallels [2], characterizing families of sub-Hopf algebroids of the Z/2- equivariant dual Steenrod algebra, showing how to adapt classical methods to overcome the difficulties inherent to the equivariant world.
    [Show full text]
  • On Relations Between Adams Spectral Sequences, with an Application to the Stable Homotopy of a Moore Space
    Journal of Pure and Applied Algebra 20 (1981) 287-312 0 North-Holland Publishing Company ON RELATIONS BETWEEN ADAMS SPECTRAL SEQUENCES, WITH AN APPLICATION TO THE STABLE HOMOTOPY OF A MOORE SPACE Haynes R. MILLER* Harvard University, Cambridge, MA 02130, UsA Communicated by J.F. Adams Received 24 May 1978 0. Introduction A ring-spectrum B determines an Adams spectral sequence Ez(X; B) = n,(X) abutting to the stable homotopy of X. It has long been recognized that a map A +B of ring-spectra gives rise to information about the differentials in this spectral sequence. The main purpose of this paper is to prove a systematic theorem in this direction, and give some applications. To fix ideas, let p be a prime number, and take B to be the modp Eilenberg- MacLane spectrum H and A to be the Brown-Peterson spectrum BP at p. For p odd, and X torsion-free (or for example X a Moore-space V= So Up e’), the classical Adams E2-term E2(X;H) may be trigraded; and as such it is E2 of a spectral sequence (which we call the May spectral sequence) converging to the Adams- Novikov Ez-term E2(X; BP). One may say that the classical Adams spectral sequence has been broken in half, with all the “BP-primary” differentials evaluated first. There is in fact a precise relationship between the May spectral sequence and the H-Adams spectral sequence. In a certain sense, the May differentials are the Adams differentials modulo higher BP-filtration. One may say the same for p=2, but in a more attenuated sense.
    [Show full text]
  • Unstable Modules Over the Steenrod Algebra Revisited 1 Introduction
    Geometry & Topology Monographs 11 (2007) 245–288 245 arXiv version: fonts, pagination and layout may vary from GTM published version Unstable modules over the Steenrod algebra revisited GEOFFREY MLPOWELL A new and natural description of the category of unstable modules over the Steenrod algebra as a category of comodules over a bialgebra is given; the theory extends and unifies the work of Carlsson, Kuhn, Lannes, Miller, Schwartz, Zarati and others. Related categories of comodules are studied, which shed light upon the structure of the category of unstable modules at odd primes. In particular, a category of bigraded unstable modules is introduced; this is related to the study of modules over the motivic Steenrod algebra. 55S10; 18E10 1 Introduction The Steenrod algebra A over a prime field F of characteristic p is a fundamental mathematical object; it is defined in algebraic topology to be the algebra of stable cohomology operations for singular cohomology with coefficients in F. The algebra A is graded and acts on the cohomology ring of a space; the underlying graded A–module is unstable, a condition which is usually defined in terms of the Steenrod reduced power operations and the Bockstein operator. This paper shows that the well-known description of the dual of the Steenrod algebra, which is due to Milnor, has an extension which leads to an entirely algebraic description of the category U of unstable modules over the Steenrod algebra as a category of comodules (defined with respect to a completed tensor product) over a bialgebra, without imposing an external instability condition. The existence of such a description is implied by the general theory of tensor abelian categories at the prime two; in the odd prime case, the method requires the super-algebra setting, namely using Z=2–gradings to introduce the necessary sign conventions for commutativity.
    [Show full text]
  • Memoir About Frank Adams
    JOHN FRANK ADAMS 5 November 1930-7 January 1989 Elected F.R.S. 1964 By I.M. JAMES,F.R.S. FRANK ADAMS* was bor in Woolwich on 5 November 1930. His home was in New Eltham, about ten miles east of the centre of London. Both his parents were graduates of King's College London, which was where they had met. They had one other child - Frank's younger brotherMichael - who rose to the rankof Air Vice-Marshal in the Royal Air Force. In his creative gifts and practical sense, Franktook after his father, a civil engineer, who worked for the government on road building in peace-time and airfield construction in war-time. In his exceptional capacity for hard work, Frank took after his mother, who was a biologist active in the educational field. In 1939, at the outbreakof World War II, the Adams family was evacuated first to Devon, for a year, and then to Bedford, where Frankbecame a day pupil at Bedford School; one of a group of independent schools in that city. Those who recall him at school describe him as socially somewhat gauche and quite a daredevil; indeed there were traces of this even when he was much older. In 1946, at the end of the war, the rest of the family returnedto London while Frank stayed on at school to take the usual examinations, including the Cambridge Entrance Scholarship examination at which he won an Open Scholarship to Trinity College. The Head of Mathematics at Bedford, L.H. Clarke, was a schoolmaster whose pupils won countless open awards, especially at Trinity.
    [Show full text]
  • The Adams-Novikov Spectral Sequence and the Homotopy Groups of Spheres
    The Adams-Novikov Spectral Sequence and the Homotopy Groups of Spheres Paul Goerss∗ Abstract These are notes for a five lecture series intended to uncover large-scale phenomena in the homotopy groups of spheres using the Adams-Novikov Spectral Sequence. The lectures were given in Strasbourg, May 7–11, 2007. May 21, 2007 Contents 1 The Adams spectral sequence 2 2 Classical calculations 5 3 The Adams-Novikov Spectral Sequence 10 4 Complex oriented homology theories 13 5 The height filtration 21 6 The chromatic decomposition 25 7 Change of rings 29 8 The Morava stabilizer group 33 ∗The author were partially supported by the National Science Foundation (USA). 1 9 Deeper periodic phenomena 37 A note on sources: I have put some references at the end of these notes, but they are nowhere near exhaustive. They do not, for example, capture the role of Jack Morava in developing this vision for stable homotopy theory. Nor somehow, have I been able to find a good way to record the overarching influence of Mike Hopkins on this area since the 1980s. And, although, I’ve mentioned his name a number of times in this text, I also seem to have short-changed Mark Mahowald – who, more than anyone else, has a real and organic feel for the homotopy groups of spheres. I also haven’t been very systematic about where to find certain topics. If I seem a bit short on references, you can be sure I learned it from the absolutely essential reference book by Doug Ravenel [27] – “The Green Book”, which is not green in its current edition.
    [Show full text]
  • The $ P 2^ 1$ Margolis Homology of Connective Topological Modular Forms
    1 THE P2 MARGOLIS HOMOLOGY OF CONNECTIVE TOPOLOGICAL MODULAR FORMS PRASIT BHATTACHARYA, IRINA BOBKOVA, AND BRIAN THOMAS 1 Abstract. The element P2 of the mod 2 Steenrod algebra A has the property 1 2 1 F (P2) = 0. This property allows one to view P2 as a differential on H∗(X, 2) 1 for any spectrum X. Homology with respect to this differential, M(X, P2), 1 is called the P2 Margolis homology of X. In this paper we give a complete 1 calculation of the P2 Margolis homology of the 2-local spectrum of topological modular forms tmf and identify its F2 basis via an iterated algorithm. We 1 apply the same techniques to calculate P2 Margolis homology for any smash power of tmf . 1. Introduction 1 1 2. Action of P2 and the length spectral sequence 6 3. The reduced length 12 1 ∧r Z ×n 4. P2 Margolis homology of tmf and B( /2 )+ 20 References 23 Contents Convention. Throughout this paper we work in the stable homotopy category of spectra localized at the prime 2. 1. Introduction The connective E∞ ring spectrum of topological modular forms tmf has played a vital role in computational aspects of chromatic homotopy theory over the last two decades [Goe10], [DFHH14]. It is essential for detecting information about the chromatic height 2, and it has the rare quality of having rich Hurewicz image. arXiv:1810.05622v3 [math.AT] 1 Jun 2020 There is a K(2)-local equivalence [HM14] hG48 LK(2)tmf ≃ E2 where E2 is the second Morava E-theory at p = 2 and G48 is the maximal finite G hG48 subgroup of the Morava stabilizer group 2.
    [Show full text]
  • A Singer Construction in Motivic Homotopy Theory
    A Singer construction in motivic homotopy theory Thomas Gregersen December 2012 © Thomas Gregersen, 2012 Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo No. 1280 ISSN 1501-7710 All rights reserved. No part of this publication may be reproduced or transmitted, in any form or by any means, without permission. Cover: Inger Sandved Anfinsen. Printed in Norway: AIT Oslo AS. Produced in co-operation with Akademika publishing. The thesis is produced by Akademika publishing merely in connection with the thesis defence. Kindly direct all inquiries regarding the thesis to the copyright holder or the unit which grants the doctorate. 2 Several people should be thanked for their support. First of all, I would like to thank professor John Rognes without whom this work would never have materialized. My parents should be thanked for giving me the chance to be who I am. Oda for all those years that were very worthwile. Finally, I thank Eirik for the years we got to share while he was still here. I will truly miss him. Contents 1 The basic categories 9 2 Overview and the main argument 13 3 The algebra 17 3.1 The motivic Steenrod algebra and its dual ........... 17 3.2 Finitely generated subalgebras of A ............... 34 3.3 The motivic Singer construction ................ 48 4 Inverse limits of motivic spectra 53 4.1 Realization in the motivic stable category ........... 53 4.1.1 Preliminaries....................... 53 4.1.2 Thehomotopicalconstruction.............. 61 4.2 The motivic Adams spectral sequence ............. 79 5 Concluding comments 95 3 4 CONTENTS Introduction The work pursued in this thesis concerns two fields related inside homotopy theory.
    [Show full text]
  • A Theorem in Homological Algebra and Stable Homotopy of Projective Spaces
    A THEOREM IN HOMOLOGICAL ALGEBRA AND STABLE HOMOTOPY OF PROJECTIVE SPACES BY ARUNAS LIULEVICIUS(i) Introduction. The paper exhibits a general change of rings theorem in homo- logical algebra and shows how it enables to systematize the computation of the stable homotopy of projective spaces. Chapter I considers the following situation : R and S are rings with unit, h:R-+S is a ring homomorphism, M is a left S-module. If an S-free resolution of M and an R-free resolution of S are given, Theorem 1.1. shows how to construct an R-free resolution of M. Chapter II is devoted to computing the initial stable homotopy groups of projective spaces. Here the results of Chapter I are applied to the homomorphism tx:A-* A of the Steenrod algebra over Z2 (see 1.3). The main tool in computing stable homotopy is the Adams spectral sequence [1]. Let RPX, CP™, HPm be the real, complex, and quaternionic infinite-dimensional projective spaces, respec- tively. If X is a space, let n£(X) denote the mth stable homotopy group of X [1]. Part of the results of Chapter II can be presented as follows : m: 123456 7 8 RPœ: Z2 Z2 Z8 Z2 0 Z2 Zi60Z2 z2®z2®z2 CPœ: 0 Z 0 Z Z2 Z Z2 Z©Z2 7TP°°: 0 0 0 Z Z2 Z2 0 Z Chapter I. Homological algebra 1. A change of rings theorem. Let R and S be rings with unit, h : R-* S a homomorphism of rings ; under h, any left S-module can be considered as a left R-module.
    [Show full text]
  • Quillen Stratification for the Steenrod Algebra 423
    Annals of Mathematics, 149 (1999), 421–449 Quillen stratication for the Steenrod algebra By John H. Palmieri* Introduction Let A be the mod 2 Steenrod algebra. Its cohomology, H (A; F2)= ExtA(F2, F2), is the E2-term of the Adams spectral sequence converging to the s 0 2-component of S , the stable homotopy groups of spheres; as such, this co- homology algebra has been studied extensively for over thirty-ve years. There have been a number of nice structural results and degree-by-degree computa- s 0 tions, many of which have implications for S . Information about the ring structure of H (A; F2), though, has been harder to come by. Analogously, in the study of the stable homotopy groups of spheres, there were manyL stem-by-stem calculations before Nishida proved in [14] that every s 0 s 0 s 0 element in i>0 i S was nilpotent. Since 0S = Z and i S = 0 when i<0, s 0 then Nishida’s theorem identies the ring S modulo nilpotent elements. This result led eventually to the nilpotence theorem of Devinatz, Hopkins, and Smith [3], which has itself led to tremendous structural information about the stable homotopy category. For another analogy, let G be a compact group and let k be a eld of char- acteristic p>0. In his landmark 1971 paper [18], Quillen gave a description of the cohomology algebra H(G; k) modulo nilpotent elements as an inverse limit of the cohomology algebras of the elementary abelian p-subgroups of G. This has led, for instance, to the work of Benson, Carlson, et al.
    [Show full text]
  • A Novice's Guide to the Adams-Novikov Spectral Sequence
    A NOVICE'S GUIDE TO THE AD~MS-NOVIKOV SPECTRAL SEQUENCE Douglas C. Ravenel University of Washington Seattle, Washington 98195 Ever since its introduction by J. F. Adams [8] in 1958, the spectral sequence that bears his name has been a source of fascination to homotopy theorists. By glancing at a table of its structure in low dimensions (such have been published in [7], [i0] and [27]; one can also be found in ~2) one sees not only the values of but the structural relations among the corres- ponding stable homotopy groups of spheres. It cannot be denied that the determination of the latter is one of the central problems of algebraic topology. It is equally clear that the Adams spectral sequence and its variants provide us with a very powerful systematic approach to this question. The Adams spectral sequence in its original form is a device for converting algebraic information coming from the Steenrod algebra into geometric information, namely the structure of the stable homotopy groups of spheres. In 1967 Novikov [44] introduced an analogous spectral sequence (formally known now as the Adams- Novikov spectral sequence, and informally as simply the Novikov spectral sequence) whose input is a~ebraic information coming from MU MU, the algebra of cohomology operations of complex cobordism theory (regarded as a generalized cohomology theory (see [2])). This new spectral sequence is formally similar to the classical one. In both cases, the E2-term is computable (at least in principle) by purely algebraic methods and the E -term is the bigraded object associated to some filtration of the stable homo- topy groups of spheres (the filtrations are not the same for the *Partially supported by NSF 405 two spectral sequences>.
    [Show full text]