1 views

Uploaded by Epic Win

save

- Peter Ozsvath, Andras I. Stipsicz and Zoltan Szabo- Combinatorial Heegaard Floer homology and nice Heegaard diagrams
- Equivalency Checking Issues
- Algebraic Topology Whitehouse
- Lower Bounds
- putnam
- Tarasov Calculus
- R Notes
- Yan Deqin and Hou Qinghu- The Enumeration of Preimages and Gardens-of-Eden in Sequential Cellular Automata
- Crypto l
- NITK math sheet
- Macroeconomic Theory Notes
- Roll Activity Diagrams Write-up
- iiser8
- Analysis IA lecture notes(from Cambridge university)
- A Contest of Contest_Yufei Zhao
- Conditional and Marginal Distribution
- Category-Group Theory 2
- On various neutrosophic topologies
- Dede Kind
- satya_algebraic
- Fixture Mundial Rusia 2018 14062018
- 189777183-Teknologi-Pengolahan-Batubara.docx
- An Introduction to Qualitative Research SagePUB.pdf
- fd
- presentation com338
- Ronald Cancino S. y Hector Morales. (1995). Elementos para una Antropologia de la Tecnologia.pdf
- 5to-Grado-Bloque-1-Ejercicios-Complementarios.pdf
- Liquidacion Jp Electric
- USUARIOS DE INTERNET encuesta.docx
- Pakaian Adat Suku Makassar
- Dia Nacional Del Maiz
- Rar
- skrining IVA dan Pap Smear.ppt
- herpes zoster
- Publicdata22102018 Raksha
- é Por 349,99 Por Monografia e Tcc Whatsapp (21)974111465 (17)-
- artigo-bandas-1.pdf
- rpp
- Estrategias de Distribucion (1)
- yyyyyyyyyyyyyy
- 376372810-Instrumen-Evaluasi-Pasca-Survei-Akreditasi-Puskesmas-Mangaran.docx
- Black Magic Smith Chart.pdf
- Beginner Book Lesson 05.pptx
- Renal Colic
- 304-617-1-SM
- Consolidación del estado oligárquico en México: Régimen de Porfirio Díaz.
- CLASE 5 Excel Basico
- 1. Murid Abad ke-21.pdf
- Elementos Básicos Del Lenguaje Visual y Plástica
- Parting Words
- Inequalities
- ta
- Outline
- Ram Rec
- roma
- Warn
- New 18
- Talk
- s
- pa
- tokyo
- Rome
- rept-rus
- qf
- rimini
- e
- Hope
- Fog
- elem
- Int
- Flows
- Faith
- i
- ist
- cv
- 1
- bmotion
- hm
- appunti
- Nelson Bib

You are on page 1of 3

**AMERICAN MATHEMATICAL SOCIETY
**

Volume 83, Number 1, September 1981

**THE BOCKSTEIN AND THE ADAMS SPECI'RAL SEQUENCES
**

J. P. MAY AND R. J. MILGRAM

ABSTRACT. We show that, above the appropriate "vanishing line", the Adspectral sequence of a wmective spectrum can be read off from its Bockstein spectral sequence.

In this short note, we prove a basic folklore theorem which relates the modp homology Bockstein spectral sequence of X to the Adams spectral sequence {ErX) converging from E,X = ExtA(H*X, 2,) to a,X where X is a bounded below spectrum with integral homology of finite type. As usual, we grade {ErX) so that

'-I with dr : E?'X + E,S+','+ X, the total degree being t - s. We have a natural homomorphism EO;* X + H,X which factors the mod p Hurewicz homomorphism, and we shall sometimes identify elements of H,X with their inverse images in E ~ X We have a pairing of spectral sequences ErS @ ErX + ErX, where S is . the sphere spectrum. Finally, we have an infinite cycle a, E E;,'S such that if x E E2tX and if y E Fsr,-,X projects to x, then py E FS+'r,-,X and py projects to a& Our main theorem will be a consequence of the following vanishing theorem, which is due to Adams [I] when p = 2 and to Liulevicius [4] when p > 2. Let A, = E { p ) c A and recall that an A,-module M is free if and only if H(M; P) = 0.

**THEOREM Let M be an (m + 1)-connected Ao-free A-module. Then 1. ExCf(M, 2,) = 0 for s > 1 and t - s < m + f(s), where f(s) = 2(p - 1)s ifp > 2 and, if p = 2, f(4k) = 8k + 1, f(4k + 1) = 8k + 2, f(4k + 2) = 8k + 3, and f(4k + 3) = 8k + 5.
**

DEFINITION 2. Let M be an A-module. We say that x E ExtA(M,2,) generates a spike if x is not of the form aox' and if a h # 0 for all i . The set of spikes in ExtA(M,2,) has its evident meaning. The same language will be applied to each ErX. Let K(R, n) denote the nth Eilenberg-Mac Lane spectrum of R and abbreviate HR = K(R, 0). Let y denote the canonical generator of Ho(HZp,) and let Pr denote the rth modp Bockstein (in homology or cohomology according to context); let Y = PJ.

~ e c e i v e d the editors September 23, 1980. by 1980 Mgthematics Subject Classification Primary 55T15;Secondary 55P42. O American Mathematical Society

0002-9939/81/0000-0429/$0

1.75

BOCKSTEIN AND ADAMS SPECTRAL SEQUENCES

129

LEMMA (i) E2HZp = EmHZp is Zp in bidegree (0, 0). 3. (ii)For r > 2, E2HZp,is the sum of a spike generated by y E E ~ ~ O H Z , , and a spike generated by z E moreover, dr(ah) = a;+? and E,HZp, has basis {aAy10 < i < r). (iii)E2HZ = E m H Z is a spike generated by y E E ~ O H Z .

EP'Hz,,;

PROOF. H*(HZp)= A . 1, H*(HZp,) = ( A / AD) . 1 6 ( A/ A P ) fir& for r > 2, 3 and H * ( H Z ) = ( A / A P ) 1, where 1 denotes the fundamental class. The calculation o f the specified E2 terms is immediate by change o f rings [2, VI.4.131, and the differentials in (ii) follow (up to a nonzero constant) by convergence. That the constant is 1 can be checked b y a comparison o f the constructions of the Adams and the Bockstein spectral sequences. W e also record the following triviality.

**LEMMA Er(X V Y ) = ErX 63 Er Y , with dr = dr 63 dr. 4.
**

Here, now, is the main result. Its proof derives from a discussion of the edge theorem one o f us had with Mark Mahowald many years ago.

THEOREMLet X be an ( m - 1)-connected spectrum with integral homology of 5. finite type. Let Cr, r > 1, be a basis for the rth term ErX of the m o d p homology Bockstein spectral sequence of X and assume the Cr chosen so that

Cr = Dr U PrDr U Cr+l, where Dr, PrDr, and Cr+, are disjoint linearly independent subsets of ErX such that Pror= { Prdld E Dr) and Cr+, is a set of cycles under Pr which projects to the chosen basis for Er+'X. is (i) The set of spikes in ErX, 2 < r and r = a, in one-to-one correspondence with C,; if c E Cr has degree q and y E E,""X generates the corresponding spike, then f(s) + m < q = t - s. (ii) If d E Dr and if 6 E E>'X and & E E Y X , v - u = t - s - 1, generate the spikes corresponding to d and to Prd, then d r ( a i ~= ) & provided that m

+ f(i + s) > t - s.

PROOF. Modulo torsion prime t o p , H,(X; Z ) is the direct sum o f cyclic groups o f orderpr whose generators reduce m o d p to the elements o f PrDr and o f infinite cyclic groups whose generators reduce modp to the elements o f C,. By exploiting the universal coefficientstheorem and the representability o f integral and mod pr cohomology, we can use this decomposition to construct maps

(pi:

X + K(Hi(X;Z ) , i )

**which induce isomorphisms (modulo torsion prime to p) on integral homology in degree 5. The map
**

(p = X (pi:

X + V K(Hi(X;Z ) , i ) = Y

i

130

J. P. MAY AND R. J. MILGRAM

**induces a monomorphism on modpr homology for all r. In particular, we have a short exact sequence
**

(*)

o + H,(x;

M,

zp) + H,(Y; zp) + M* + 0,

and closer inspection of the construction of the cpi shows that

2

q>i+2

H,(K(H,(x; z), i ) ; 2,).

Since H(A/AP; P ) = 0, we find (from the proof of Lemma 3) that the dual M of M, is A,-free and (m + 1)-connected. The exact sequence (*) gives rise to a long exact sequence

. . + Exti-','(M,

2,) + E2'X + E2'Y + Ext;'(M, 2,) + . . . .

By Theorem 1, E2'X + E2'Y is an epimorphism if s > 1 and t - s < m f(s) and is an isomorphism if s > 2 and t - s < m + f(s - 1). The conclusions follow directly from Lemmas 3 and 4, by naturality. REMARK Spikes of E,X can be generated by elements lying in lower filtration 6. degree than the range of isomorphism. Such generators can have nontrivial differentials earlier than predicted by the theorem (jutting classes annihilated by appropriate powers of a,); in particular, such differentials can occur on the bottoms of spikes the top parts of which survive to E,X. When X is a ring spectrum, such anomalous behavior is sometimes prevented by the relationship between the algebra structure of H,X and its Bockstein spectral sequence. We shall apply Theorem 5 to the study of the Adams spectral sequence converging to T , M S Top in [3]. As will be illustrated there, the result can be a powerful tool for the computation of differentials in the A d a m spectral sequence.

+

1. J. F. Adams, Stable homoropy theory, Lecture Notes in Math., vol 3, Springer-Verlag, Berlin and New York, 1966. 2. H. Cartan and S. Eilenberg, Homological algebra, Princeton Univ. Press, Princeton, N.J., 1956. f 3. H. Ligaard, B. Mann, J. P. May and R. J. Milgram, The odd primary torsion o the topological cobordism ring (to appear). 4. A. ~iulevicius,~~eroes cohomology of the Steenrod algebra, Proc. Amer. Math. Soc. 14 (1%3), o the f 972-976.

- Peter Ozsvath, Andras I. Stipsicz and Zoltan Szabo- Combinatorial Heegaard Floer homology and nice Heegaard diagramsUploaded byCore0932
- Equivalency Checking IssuesUploaded byprahallad_reddy
- Algebraic Topology WhitehouseUploaded byancianitico2
- Lower BoundsUploaded byFajar Haifani
- putnamUploaded byPrashant
- Tarasov CalculusUploaded byaulus13
- R NotesUploaded byplanetpb
- Yan Deqin and Hou Qinghu- The Enumeration of Preimages and Gardens-of-Eden in Sequential Cellular AutomataUploaded byIrokk
- Crypto lUploaded bykekeke33
- NITK math sheetUploaded byakashrungta
- Macroeconomic Theory NotesUploaded byJorge Rojas-Vallejos
- Roll Activity Diagrams Write-upUploaded byUjvala Chinchole
- iiser8Uploaded byapi-3695829
- Analysis IA lecture notes(from Cambridge university)Uploaded byalphamale173
- A Contest of Contest_Yufei ZhaoUploaded byFernandoDiaz
- Conditional and Marginal DistributionUploaded bysaran
- Category-Group Theory 2Uploaded bymars
- On various neutrosophic topologiesUploaded byMia Amalia
- Dede KindUploaded by88915334
- satya_algebraicUploaded byJuanFelipeBuitragoVelez

- InequalitiesUploaded byEpic Win
- taUploaded byEpic Win
- OutlineUploaded byEpic Win
- Ram RecUploaded byEpic Win
- romaUploaded byEpic Win
- WarnUploaded byEpic Win
- New 18Uploaded byEpic Win
- TalkUploaded byEpic Win
- sUploaded byEpic Win
- paUploaded byEpic Win
- tokyoUploaded byEpic Win
- RomeUploaded byEpic Win
- rept-rusUploaded byEpic Win
- qfUploaded byEpic Win
- riminiUploaded byEpic Win
- eUploaded byEpic Win
- HopeUploaded byEpic Win
- FogUploaded byEpic Win
- elemUploaded byEpic Win
- IntUploaded byEpic Win
- FlowsUploaded byEpic Win
- FaithUploaded byEpic Win
- iUploaded byEpic Win
- istUploaded byEpic Win
- cvUploaded byEpic Win
- 1Uploaded byEpic Win
- bmotionUploaded byEpic Win
- hmUploaded byEpic Win
- appuntiUploaded byEpic Win
- Nelson BibUploaded byEpic Win