THE CHROMATIC EXT GROUPS Ext 0 Γ(m+1)(BP, M 1 2 ) (DRAFT VERSION) June 12, 2001
|
|
- Marilynn Snow
- 5 years ago
- Views:
Transcription
1 THE CHROMATIC EXT GROUPS Ext Γm+BP M DRAFT VERSION IPPEI ICHIGI HIROFUMI NAKAI AND DOUGLAS C RAVENEL June Contents Introduction Preliminaries Elementary calculations 6 d x k for k Some lemmas 8 6 d x k for k 6 7 Proof of Lemma 68 for m Proof of Lemma 68 for m = 8 9 Proof of Lemma 68 for m = Proof of Lemma 68 for m = Proof of the main theorem References 5 Introduction Let BP be the Brown-Peterson spectrum for a fixed prime p In [Rav86 65] the third author has introduced the spectrum T m which has BP -homology BP T m = BP [t t m ] and is homotopy equivalent to BP below dimension p m+ Then the Adams- Novikov E -term converging to the homotopy groups of T m E T m = Ext BP BP BP BP T m is isomorphic by [Rav86] Corollary 7 to where Ext Γm+ BP BP Γm + = BP BP / t t m = BP [t m+ t m+ ] In particular Γ = BP BP by definition To get the structure of this Ext group we can use the chromatic method introduced in [MRW77] Define the chromatic ule M s n by M s n = v n+sbp /p v v n v n v n+s The third author acknowledges support from NSF grant DMS-9856
2 IPPEI ICHIGI HIROFUMI NAKAI AND DOUGLAS C RAVENEL and consider the chromatic spectral sequence converging to Ext Γm+ BP /I n with E st = Ext t Γm+M s n Shimomura calls this Ext group the general chromatic E -term In this paper we will determine the ule structure of Ext Γm+M The analogous result for m = was obtained long ago by Miller-Wilson in [MW76] and is as follows Theorem [Miller-Wilson] As a k -ule Ext ΓM is the direct sum of a the cyclic subules generated by x s k /vak for k and s Z pz where x = v x = v p vp v v x p k for k even and for k x k = x p k p /p vpk v pk p k + for k odd and a = a = p pak for k even and for k ak = pak + p for k odd; and b K /k generated by /v j for j Before this result was proved the naive conjecture about this group would have had the exponents ak being p k for all k It was clear that v spk Ext ΓBP M v pk but the existence of deeper elements such as x v a = vp vp v p v p vp v p p + v p +p came as a surprise as did the fact that the limiting value as k of ak/p k is p + p + /p + p instead of Our result Theorem 69 below has the same form as Theorem but with x k and ak replaced by x k and 67 and âk and 6 and with k replaced by a larger ring k defined in In order to avoid the excessive appearance of the index m we will use the following notation v i = v m+i t i = t m+i Kn = Kn [v n+ v n+m ] ĥ ij = h m+ij kn = kn [v n+ v n+m ] and ω = p m
3 THE CHROMATIC EXT GROUPS Ext Γm+ BP M DRAFT VERSION In 7 we will define elements x k v BP /I and integers âk whenever the condition < p m + /p of Theorem is satisfied and compute the reduced right unit d on x k These will depend on m Using these computations we can obtain the structure of the target Ext group In particular for large m we have Theorem Assume that p = and m 6 or that p > and m 5 As a k -ule Ext Γm+ M is the direct sum of a the cyclic subules generated by x s k /vbak for k and s Z pz where x k = v for k = x p vp v p v p vp v pω p bv for k = x p 5 + vp+p5 v p5 W for k = 6 x p 8 ba6 vp v p b b6 X p v p ba6 v p b b6+p ω p 6 x 6 for k = 9 x p k for k 8 x p k + vbak bak v b bk b bk x p k x k x p k 5 for k ; see Lemma 5 and Proposition 59 for definitions of W and X and and âk = p k for k p + p k for k 5 p + p + p k for 6 k 8 p â6 + â5 for k = 9 p k 9 â9 â5 + âk for k ; b K / k generated by /v j for j This is a part of our main result Theorem 69 In fact we have determined the structure of Ext Γm+ M for p = and m or p > and m In JAMI conference held at Johns Hopkins University in March Shimomura reported that he extended our result and obtained the structure of Ext Γm+M n for m n n For n = this result coincides to our Theorem Recently he also determined the structure of higher Ext groups [Shi] In the above case the assymptotic behavor of the exponents is given by âk lim k p k = p + p + p p a slightly larger value than for the case m = In addition there is a new form of periodicity in our statement with no precedent in Theorem namely for all k 9 we have x k x p k = vpk +p k +p k v pm+k p k p k p k x p k x k x p k 5
4 IPPEI ICHIGI HIROFUMI NAKAI AND DOUGLAS C RAVENEL and âk = p k + p k + p k + âk For lower m the period is 6 instead of A similar result for the chromatic ule M is obtained in [NR] or [Shi] in which the period is instead of Preliminaries For a Γm + -coule M consider the cobar complex C Γm+ M } where C n Γm+ M = Γm + BP BP Γm + BP M with n factors of Γm + Then Ext Γm+ BP M is the cohomology of this chain complex We will abbreviate Ext Γm+ BP M to Ext Γm+ M as usual By the change-of-ring isomorphism [Rav86 Theorem 6] we have Ext Γm+ M n = Ext BP BP M n BP T m = Ext Σn Kn Kn T m This object is already known by [Rav86] Corollary 656: Theorem If n < p m + /p then Ext Γm+ M n = Kn E ĥij : i n j Z/n In particular we have Ext Γm+ M = K E ĥij : i j Z/ From this information we can get the structure of Ext Γm+ M using the Bockstein spectral sequence Lemma cf [MRW77] Remark Assume that there exists a k -subule B t of Ext t Γm+ M for each t < N such that the following sequence is exact: Ext Γm+ M B v B δ Ext Γm+ M /v /v /v B N v B N δ Ext N Γm+ M where δ is the restriction of the coboundary map δ : Ext t Γm+ M Ext t+ Γm+ M Then the inclusion map i t : B t Ext t Γm+ M is an isomorphism between k -ules for each t < N Proof Because Ext t Γm+ M is a v -torsion ule we can filter B t and Ext t Γm+ M as } P t j = x B t : v j x = and Q t j = x Ext t } Γm+ M : v j x = Assume that the inclusion i k is an isomorphism for k t the t = case is obvious and consider the following commutative ladder diagram:
5 THE CHROMATIC EXT GROUPS Ext Γm+ BP M DRAFT VERSION 5 B t δ Ext t Γm+ M /v Pt j Pt j Ext t+ = i t i t i t M δ Ext t Γm+ M /v v Qt j Qt j Ext t Γm+ Using the Five Lemma we can show that P t j is isomorphic to Q t j j by induction on j v δ Γm+ M δ Ext t+ Γm+ M In and 67 we will define elements x k of v BP /I which is congruent to v spk ulo v and integers âk in and 6 such that each x s k /vl is a cycle of Ext Γm+ M for all l âk Then the structure of B is expressed as follows: Lemma As a k -ule B = k x s k v bak : k s > and p s } K / k is isomorphic to Ext Γm+ M if the set } x s k δ : k s > and p s v bak Ext Γm+ M is linearly independent where δ is a coboundary map in Lemma Proof We will show that the following sequence is exact Ext Γm+ M B v B δ Ext Γm+ M /v The only part of this that is not obvious is that Ker δ Im v To show this separate the Z/p-basis of B into two parts } x s k A = : k s > and p s and v bak } x s } B = k v l : k s > p s and l < âk v j : j > Then it is obvious that δx λ Ext Γm+ M for xλ A and that δy µ = Ext Γm+ M for yµ B Thus for any element z = λ a λx λ + µ b µy µ of B a λ b µ Z/p we have δz = λ a λδx λ The condition implies that all a λ are zero when δz = and so v µ b µy µ /v = z This completes the proof
6 6 IPPEI ICHIGI HIROFUMI NAKAI AND DOUGLAS C RAVENEL Elementary calculations In this section we will introduce elements ŵ and ŵ 5 which we need to define our x k First we recall the right unit on v i Lemma Assume that p and m In Γm + /p v the right unit map η R : Â Γ on the element v i is given by η v i = v i for i η v = v + v t p vpω t η v = v + v t p + v t p vpω t v p ω t and η v 5 v 5 + v + v t p + v t p v pω t v p ω t v p+ v pp add v t 7 when p m = Moreover when p and m we have η v 6 v 6 + v 5 t p5 + v + v t p vpω t 5 v p ω t p v p+ t v p ω t v Define elements ŵ i for i 5 by ŵ = v v and ŵ 5 = v v 5 v ŵ p + vp+ v p p ŵ Then we have the following lemma Lemma For any prime p we have dŵ = t p + v v dŵ 5 t p + v v +v p+ v p t vpω p t v vωp t v p ω v t for m t v p ω t v p v p v t p + ω p vp v t p t p t for m vp p vp+ v pω v p p add vv 7 t when p m = v p+ Proof dŵ is easily computed using Lemma For ŵ 5 we find that d v 5 v + v t p + v t p vpω t v p ω t v p+ add v t 7 for p m = v pp t p v p+ We can read off the fact that dv = for m and d v v from Lemma We have
7 THE CHROMATIC EXT GROUPS Ext Γm+ BP M DRAFT VERSION 7 d v ŵ p v dv p+ v pp ŵ v p+ v pp t p + vp v p p t vpω p p t vpω + v v t p v p ω t v p+ Summing these congruences and multiplying v gives dŵ 5 d x k for k 5 For all p and m we can construct x k k 5 and compute differentials on these one at a time Lemma Define integers âk as in Theorem and bk for k 5 by âk = p k if k p + p k if k 5 and bk = if k p k if k 5 Define elements as in Theorem x k for k 5 by x = v x = x p vp ŵp vp v pω p x and x k = x p k for k Lemma Assume that p and m In the ule M Γm + we have d x k v bak t pk+ t pk+ v bak v b bk v pk+ ω v pk p pω In particular these equivalences hold ulo v +bak for k for k 5 Proof We obtain d x k for k from η R v Lemma For d x we have d x p vp p5 t d v p ŵp v p p5 t + vp d v p v pω p x = v p vpω p t p v p vpω p vpω t t p Notice that p + pω < minp ω pω + p } = p ω for all p and m Summing congruences in we have d x v p +p v p + vp +pω v pω p t v p ω v pω+p v p ω
8 8 IPPEI ICHIGI HIROFUMI NAKAI AND DOUGLAS C RAVENEL Noticing that the inequality p + pω > p + p holds only if m we find that d x v p +p v p p v p +p v p t v p +p v p +pω for m = for m By assumption we may consider only for the case that m and set â = p + p The formulas for k 5 are obvious To define x k for higher k we will prepare some lemmas in the next section The definitions of x k k 6 and computations of the chromatic differential d on x k are separated into sections 7 according to the value of m The results are stated in section 6 5 Some lemmas Here we will prove some lemmas for later use In the rest of this paper we will treat Ext Γm+M whenever the condition in Theorem 5 < p m + /p is satisfied This is equivalent to m for p m for p = Lemma 5 There is an element W such that dw + vp v p vp v p v p p5 d x 5 v pω p v p ω p +p ω t v epm where p p if m = e p m = p p if p m = p + p p otherwise Proof We find the following congruences:
9 THE CHROMATIC EXT GROUPS Ext Γm+ BP M DRAFT VERSION 9 dŵ p 5 + vp dv ba v p v p5 ω x v p v p v p v p5 ω ω p vp v p p7 t + ω p p vp v p p5 t v p p5 vp+p v pω p v p p5 v p+p v p5 v p p +v p+p v p v p5 ω d v ba v p ω p +p x v p ω p d v p5 pba5 v p v p xp 5 v p5 v p p v p d v pba v p ω p p v p xp v p ω p p vpω p v p dv p+p ba v pω p v p p5 x v p+p v pω p v p ω p +p ω t t p7 v p p5 t p5 v pω p v p ω p p v pω p v pω p v p+p p Summing these congruences gives the desired formula The integer e p m is the minimum exponent of v in these indeterminacies Lemma 5 There is an element Y such that dy v pωp + t v p vp v p p d x + v pω ω vp t v e pm where e p m = p p for p m = p + p otherwise Proof We find the following congruences:
10 IPPEI ICHIGI HIROFUMI NAKAI AND DOUGLAS C RAVENEL dŵ t p + v v p t vpω t d v p x t p dv v p ω p ŵ p 5 v v p ω p v p v p p +v p+p v p dv ba v p p ω p x v v p ω p t p5 + vp v p dv p ω v p ω x = v p ω v p ω v t p vpω t dv +p ba v p ω v p x v +p v pω+p d v p v p v p x v v p v p t p5 + vp ω p p v p ω v pω p v p ω t p ω p vp v p v p v p p vp+p v pω p v p p t p v +p+p v p v p dv p+p v p ω p p v p p x v +p+p v p ω p p The sum of the right sides is v pω t +v p + v p ω t p t p5 p5 t p t v p p +vp+p + v p ω+p t p v p p t p v +pω p p v +pω p v +pω p v p+p vpω v p ω v p ω Multiplying v p ω+ gives the desired formula The integer e p m is the minimium exponent of v in these indeterminacies ŵ 6 = Now we define ŵ 6 by v 6 v pba v 5 x p + v ba v b b v x for m above expression + v p v p ωp + x p Y p v pωp + x p Y for m = Lemma 5 In the ule v BP /I Γm + we have dŵ 6 t p v vpω 5 t v ω vp t v p ω t v t Proof We find that 55 d v 6 v 5 t p5 + v + v t p dv ba v b b v x v vp 5 t v p ω v v pω p t v p ω t
11 THE CHROMATIC EXT GROUPS Ext Γm+ BP M DRAFT VERSION Notice that η R v 5 = v 5 for m and so we have 56 d v pba v 5 x p = v pba dv 5 x p + ηv 5d x p = v pba v 5 d x p v 5 t p5 v pω p Multiplying the sum of 55 and 56 by v we obtain the desired formula for m For m = we know that η R v 5 = η R v = v 5 + v t p t vp and so we have d v p v 5 x p v p v t p v p t vp x p + v 5 + v t p v t p t vp x p + vp v 5 t p5 vp t v p p5 t 57 v p x p t p + xp t v 5 t p5 v We also find that 58 dv p v p ωp + x p Y p v p x p t p d v pωp + x p Y xp t v Multiplying the sum of and 58 by v gives the desired formula for m = Using this ŵ 6 we define X by X = ŵ p 6 v ba v p v p5 ω 5 x v ba v p +p v p6 ω x +v pω p v ω pp pωp + v p6 ω Y Then we have Proposition 59 For m dx ω p vp v p Proof We find the following congruences
12 IPPEI ICHIGI HIROFUMI NAKAI AND DOUGLAS C RAVENEL 5 dŵ p 6 v p dv ba v p v p5 ω 5 x v p v p5 ω 5 v p5 ω 5 v p v p6 ω ω p vp d v ba v p +p v p6 ω x v ba v p +p v p6 ω v ba dv pω p v ω pp pωp + v p6 ω Y v pω p v ω pp v p6 ω t v p v pω p v p + +pω vp v pω p v p ω p p v pω t Summing these congruences gives the desired formula In case that m = we have the following analogy instead Proposition 5 For m = there is an element X such that d X ω p vp vp vpωp p p 6 v p6 ω Proof Instead of the last congruence of 5 we find that v p p dv pω p v ω pp pωp + v p6 ω Y v p p v ω pp pωp + v p6 ω This gives dx ω p vp Then define X by v pωp + vpω vω pp pωp + v p6 ω t v p + v pω p v p p This gives the desired formula X = X v p vpωp p p 6 v p6 ω X Define integers a i 6 and b i 6 for i = by and the element M by a 6 = p p + p + a 6 = p + p 5 + pω b 6 = p + p b 6 = p + p + pωp p + M = x p 5 + vp+p5 v p5 W + v a6 p v b6 Y v a6+pω p v b6 pωp + v p ω Y
13 THE CHROMATIC EXT GROUPS Ext Γm+ BP M DRAFT VERSION Proposition 5 For m we have dm v a 6 v b 6 xp 5 d x 5 +v a 6+pω v b 6 pωp + v p ω v a 6 v a 6+pω p v b 6 pωp + v b 6 v p ω xp d x t d x xp v epm where ep m = p + p 5 + min pω p p e p m pω p + e p m Proof We find that d x p 5 vp+p5 dv p+p5 v p5 W v p5 v p+p5 v p5 dv a 6 p v b 6 Y v p +pω p + va6 v b6 vp p5 d x 5 v a 6 p v p ω p p +p ω v a6 p v b6+pωp + v a6 v b6 t t vp p d x d v a6+pω p v b6 pωp + v p ω Y v a 6+pω p v b 6 v p ω t +v a 6+pω v b 6 pωp + v p ω v a 6+pω p v b 6 pωp + v p ω v p+p5 +e pm + v a6+pω p v b6 v p ω v a 6 p +e pm vp p d x t Summing these congruences gives the desired formula 6 d x k for k 6 Define integers c i and d i for i = by t v a 6+pω p +e pm 6 c = a 6 + â5 c = a 6 + â d = b 6 + b5 d = b 6 + b and integers li for i = by
14 IPPEI ICHIGI HIROFUMI NAKAI AND DOUGLAS C RAVENEL 6 l = l = if a 6 a 6 if a 6 > a 6; if c c if c > c Then we define âk and bk for k 6 they were defined for k 5 in by 6 p k 6 a l 6 for all m and 6 k 8 p âk = â6 + c l for all m and k = 9 p k 9 â9 â5 + âk for m 5 and k p k 9 â9 â + âk 6 for m and k ; bk = p k 6 b l 6 for m and 6 k 8 p b6 + p ω p 6 + d l for m and k = 9 p k 6 b 6 p ω p for m = and 6 k 7 p b 6 for m = and k = 8 p b6 + p ω p + b for m = and k = 9 p k 9 b9 b5 + bk for m 5 and k p k 9 b9 b + bk 6 for m and k ; Define ŷ i for i by ŷ = v p ba6 v p b b6 X p v p ba6 v p b b6+p ω p 6 x 6 ŷ = v p ba6+a 6 v p b b6+p ω p 6 +b 6 p ω p X v ba7 v b b7 x 7 ŷ = v p ba6 v p b b6 X ŷ = v p ba6 v p b b6+p ω p x 6 For m 5 define x k v BP for k 6 by M pk 6 for 6 k 8 x p 8 + ŷ for k = 9 unless p m = 5 6 x k = x p 8 + ŷ + ŷ for k = 9 and p m = 5 x p k + vbak bak v b bk b bk x p k x k x p k 5 for k For m = define x k for k 6 by 65 x k = M pk 6 for 6 k 8 x p 8 + ŷ + ŷ for k = 9 x p k vbak bak 6 v b bk b bk 6 x p k 6 x k 6 x p k 7 for k
15 THE CHROMATIC EXT GROUPS Ext Γm+ BP M DRAFT VERSION 5 For m = define x k for k 6 by M v ba6 v b6 p ω p X for k = 6 x p 6 for k = 7 66 x k = M p for k = 8 x p 8 + ŷ + ŷ for k = 9 x p k vbak bak 6 v b bk b bk 6 x p k 6 x k 6 x p k 7 for k For m = define x k for k 6 by M v ba6 v b b6 p ω p X + v p p p 6 vpωp v p6 ω for k = 6 x p 6 for k = 7 67 x k = M p for k = 8 x p 8 + ŷ for k = 9 x p k vbak bak 6 v b bk b bk 6 x p k 6 x k 6 x p k 7 for k Then we have Lemma 68 Assume that p and m satisfy 5 Modulo the differential on x k k 6 is expressed as v bak v b bk t pk v bak v b bk t pk vbak v pk 6 b 6 p ω p k v ba8 v b b8 t p8 vba8 v p b 6 v bak v b bk t pk+ v bak v b bk v +bak for m and 6 k 8 t pk+ for m = and 6 k 7 for m = and k = 8 for m = and 6 k 7 for m = and k = 8 v bak bak v b bk b bk x p k d x k for m 5 and k 9 v bak bak 6 v b bk b bk 6 x p k 6 d x k 6 for m and k 9 We will prove this lemma in Sections and Then our main result is Theorem 69 As a k -ule Ext Γm+ M is the direct sum of a the cyclic subules generated by x s k /vbak for k and s Z pz where x k and âk are elements defined in section and this section b K / k generated by /v j for j 7 Proof of Lemma 68 for m 5 Notice that the exponent ep m in Proposition 5 is pω p p p + p 5 + min p + p p pω + p = p + p5 + p + p p which is always larger than a 6 + â5 + p + p + = p + p 5 + p 5 + p + p + p +
16 6 IPPEI ICHIGI HIROFUMI NAKAI AND DOUGLAS C RAVENEL for all primes p By Proposition 5 we have d x 6 v a6 v b6 xp 5 d x 5 v a6 v b6 if p m = 5 v a 6 v b 6 xp 5 d x 5 otherwise v a6+ba5+p +p+ In particular we have d x 6 v ba6 v b b6 v ba6+ba5 in both cases For d x 9 we find that 7 d x p 8 vp ba6 v p b b6 t p9 Assume that p m 5 For dŷ we find that v p ba6+ba5 7 d v p ba6 v p b b6 X p v p ba6 v p b b6 t p9 ω p 6 vp d v p ba6 v p b b6+p ω p 6 x 6 v p ba6 v p b b6+p ω p 6 xp 5 d x 5 v p ba6+p 6 v ba9+p +p+ Notice that the second formula fails if p m = 5 This gives 7 dŷ v p ba6 v p b b6 t p9 + ba6 vp v p b b6+p ω p 6 x p v ba9+p +p+ Summing 7 and 7 we obtain d x 9 v ba9 ba5 v b b9 b b5 x p 5 d x 5 5 d x 5 v ba9+p +p+ unless p m = 5 We will see that a similar congruence holds even for p m = 5 after an appropriate change of x 9 Define integers nk by p + p + for k p + p for k nk = p + p for k p + p for k Instead of 6 we may define integers âk for k 9 inductively on k by pâk + p 5 + p for k âk = pâk + p for k pâk for k and
17 THE CHROMATIC EXT GROUPS Ext Γm+ BP M DRAFT VERSION 7 This suggests that we may compute d x k ulo v bak+nk inductively on k Assume that the congruence 7 d x k v pk ba9 ba5 v pk b b9 b b5 x p k 5 d x k 5 holds ulo v bak +nk For k it follows by direct calculations Moreover this gives d x k whenever k or since x k = x p k In other cases we denote x k x p k by ẑ k Notice that ẑ k is related with ẑ k by Then dẑ k is dẑ k = v bak bak v b bk b bk ẑ k = v bak bak v b bk b bk x p k ẑk d = v bak bak v b bk b bk d x p k ẑk x p k ẑ k + η R x p k d ẑ k Notice that ẑ k divided by âk âk 8 so that we can ignore d x p k because âk + nk âk âk âk âk 8 Thus we have 75 d ẑ k v bak bak v b bk b bk x p k dẑ k On the other hand by assumption 7 we have = nk + âk 8 < âk d x p k ba9 ba5 vpk 9 v pk 9 b b9 b b5 x p p k 5 d x p k 5 v bak bak v b bk b bk 76 x p k d xp k 5 v bak+nk v bak+nk Summing 75 and 76 we obtain as desired d x k v bak bak v b bk b bk x p k d x k v bak+nk Now we consider the p m = 5 case instead of the second one in 7: We have the following congruence 77 d v p ba6 v p b b6+p ω p 6 x 6 v p ba6 v p b b6+p ω p 6 xp 5 d x 5 +v p ba6+a 6 v p b b6+p ω p 6 +b 6 v ba9+p +p+
18 8 IPPEI ICHIGI HIROFUMI NAKAI AND DOUGLAS C RAVENEL Define ŷ by ŷ = v p ba6+a 6 v p b b6+p ω p 6 +b 6 p ω p X v ba7 v b b7 x 7 We see that the differential on X v ba7 v b b7 x 7 is expressed as This gives dx v ba7 v b b7 x 7 v p ω p v p 78 dŷ v p ba6+a 6 v p b b6+p ω p 6 +b 6 v p ba6+a 6+p Summing 77 and 78 we have the same one as the second of 7 8 Proof of Lemma 68 for m = Notice that the exponent ep m in Proposition 5 is p 5 p p p + p 5 + min p + p p p 5 + p = p + p5 + p 5 + p which is always greater than or equal to a 6 + â + p + = p + p 5 + p 5 + p + p + p + for all primes p By Proposition 5 we have d x 6 v a 6 v b 6 va 6 v b 6 v a 6+ba+p+ In particular we have d x 6 v ba6 for any prime p For d x 9 we have 8 d x p 8 vp ba6 Instead of 7 we have v b b6 v p b b6 t p9 xp v a 6 d x v p a 6 8 dŷ v p ba6 v p b b6 t p9 + vba9 ba v b b9 b b v ba9+p+ Moreover as same as 78 we have 8 dŷ v ba9 ba v b b9 b b Summing 8 8 and 8 we obtain xp v ba9 ba+p d x
19 THE CHROMATIC EXT GROUPS Ext Γm+ BP M DRAFT VERSION 9 d x 9 v ba9 ba v b b9 b b x p d x v ba9+p+ for any prime p Define integers nk by 8 nk = p + for k 6 p + p for k 6 p + p for k 5 6 p p + for k 6 p p + p for k 6 p p + p for k 6 Instead of 6 we may define integers âk for k 9 inductively on k by pâk + p 5 p + p + p for k 6 âk = pâk + p for k 6 pâk for k This suggests that we may compute d x k ulo v bak+nk inductively on k Assume that the congruences 85 d x k v pk ba9 ba v pk b b9 b b x p k 7 d x k 7 holds ulo v bak +nk For k 6 case it follows by direct calculations Moreover this gives d x k whenever k since x k = x p k In other cases we denote x k x p k by ẑ k Notice that ẑ k is related with ẑ k 6 by ẑ k = v bak bak 6 v b bk b bk 6 x p k 6ẑk 6 Then dẑ k is expressed as d ẑ k = v bak bak 6 v b bk b bk 6 d = v bak bak 6 v b bk b bk 6 d x p k 6ẑk 6 x p k 6 ẑ k 6 + η R x p k 6 Notice that ẑ k 6 is divided by v bak 6 bak so that we can ignore d because } d ẑ k 6 x p k 6 Thus we have âk + nk âk âk 6 âk 6 âk = nk + âk < âk 6 86 d ẑ k v bak bak 6 v b bk b bk 6 x p k 6 dẑ k 6 v bak+nk
20 IPPEI ICHIGI HIROFUMI NAKAI AND DOUGLAS C RAVENEL On the other hand by assumption 85 we have d x p k vbak bak 6 v b bk b bk 6 x p p k 7 d x p k 7 v bak bak 6 v b bk b bk 6 87 x p k 6 d xp k 7 v bak+nk Summing 86 and 87 we obtain as desired d x k v bak bak 6 v b bk b bk 6 x p k 6 d x k 6 v bak+nk 9 Proof of Lemma 68 for m = Notice that the exponent ep m in Proposition 5 is p p p p + p 5 + min gp p + p = p + p5 + p + p which is always greater than or equal to a 6 + â + p + = p 6 + p 5 + p + p + p + p + for all primes p By Proposition 5 and 68 we have dm v a 6 v b 6 va 6 v b 6 xp d x 9 d v a 6 v b 6 p ω p X v a6 v b6 p ω p ω p vp v ba6+p This gives d x 6 v a 6 v b 6 + va 6 v b 6 x p v a 6+ba+p+ In particular we have d x 6 v ba6 d x v a 6 v b b6 ω p vb6 p v a6+ba+p+ v b 6 p ω p v ba6+ba Using the first congruence in 9 we find that d x 8 v p ba6 v p ba6+ba For d x 9 we have 9 d x p 8 vp ba6 dŷ v p ba6 v p b b6 t p8 b 6 vp v p b b6 t p9 b 6 vp v p b b6 t p9 + vba9 ba v b b9 b b v p ba6+ba xp v ba9+p+ d x
21 THE CHROMATIC EXT GROUPS Ext Γm+ BP M DRAFT VERSION Moreover we find that 9 dŷ v p ba6 v p b 6 Summing 9 and 9 we have ω p vp d x 9 v ba9 ba v b b9 b b x p d x for all primes p Define integers nk by 9 nk = p + for k 6 p + p for k 6 p + p for k 5 6 p for k 6 p for k 6 p 5 for k 6 v p ba6+p v ba9+p+ Instead of 6 we may define integers âk for k 9 inductively on k by pâk + p + p for k 6 âk = pâk + p for k 6 pâk for k This suggests that we may compute dx k ulo v bak+nk inductively on k We can prove this proposition in the same fashion as in case that m = Proof of Lemma 68 for m = Notice that the exponent ep m in Proposition 5 is p p p p + p 5 + min p p p p + fp which is larger than a 6 + â + = p + p 5 + p + p + p + only if p > We define N by N = M v a 6 v b 6 p ω p X By Proposition 5 we have This gives dm v a 6 v b 6 xp d x d v a 6 v b 6 p ω p X v a6 v b6 p ω p ω p vp vp v a 6+ba+ p p 6 vpωp v p6 ω v a 6+p p
22 IPPEI ICHIGI HIROFUMI NAKAI AND DOUGLAS C RAVENEL dn v a 6 v b 6 x p d x v a6 v b6 p ω p p p 6 vp vpωp v a6+ba+ Then it is easy to see that v p6 ω d x 6 v a 6 v b 6 x p for p > In particular we have d x v p ω p v a 6+ba+ d x 6 v ba6 v b b6 v ba6+ba for p > Using the first congruence in we find that For d x 9 we have d x 8 v p ba6 v p b 6 v p ba6+p d x p 8 vp ba6 v p b 6 dŷ v ba9 ba v b b9 b b x p v p ba6+p d x v p ω p v ba9+ Summing we obtain d x 9 v ba9 ba v b b9 b b x p d x for p > Define integers nk by nk = for k 6 p for k 6 p for k 5 6 p for k 6 p for k 6 p 5 for k 6 v p ba6+ba+ Instead of 6 we may define integers âk for k 9 inductively on k by pâk + p + p for k 6 âk = pâk + p for k 6 pâk for k This suggests that we may compute dx k ulo v bak+nk inductively on k We can prove this proposition in the same fashion as in case that m =
23 THE CHROMATIC EXT GROUPS Ext Γm+ BP M DRAFT VERSION Proof of the main theorem Here we will prove Theorem 69 First we consider the case that m 5 Theorem included By Lemma it suffices to show that the set δ x s k/v bak in linearly independent over } : k s > and p s k /v = Z/p[v v m v ] Ext Γm+ M It follows from that this group is the free K -ule on the nine classes represented by } t t p t p t t p t p t t p t p In Γm + /I we have η R v = v + v t p vpω t η R v 5 = v 5 + v + v t p vpω t v p ω t and η R v 6 = v 6 + v 5 t p5 + v + v t p vpω so in Ext Γm+M we have t 5 v p ω t v p ω t and t p = v pω t t p = v p ω t + v v pω t v t p = v p ω t + v v p ω t + v pω t 5 v v 5 t p5 This means that for m we can replace the K -basis of Ext of with } t p t p t p5 t p8 so its basis over k /v is } v t t p vt t p vt vt vt t p5 vt vt vt vt t p8 : t Now define integers ĉk for k by for k 8 ĉ k = p p k + ĉk for k 9 For k > write k = k + k with 5 k 8 Then the above is equivalent to ĉk = p p k p k p
24 IPPEI ICHIGI HIROFUMI NAKAI AND DOUGLAS C RAVENEL Then Lemmas and 68 imply that ulo that d x k ±v bak v b bk v bck v +ak x s k δ v bak t p+k for k t p+k for k for k > and k for k > and k for k > and k t p8 for k > and k This and the multiplicative property of the right unit imply = ±sv b bk v s pk +bck t p+k for k t p+k for k for k > and k for k > and k for k > and k t p8 for k > and k By Lemma it suffices to show that these elements with k and s > not divisible by p are linearly independent over k The ones for k are clearly independent of those for k > so it suffices to consider the exponents of v above for k > ie to show that the set } v s pk +bck : k > s > p s is linearly independent over k /v For a fixed value of k the exponents appearing in are congruent to ĉk ulo p k but not congruent since p s to p k + ĉk ulo p k+ Now implies that for k > ĉk p k p pk p p k+ so s p k + ĉk sp k p pk p p k+ Hence our condition is that the exponents associated with k are congruent to p pk p ulo p k but not ulo p k+ and these conditions are mutually exclusive for differing k Proof for m The argument is the same subject to the following changes The integers ĉk are defined by ĉk = for k 8 p p k 6 + ĉk 6 for k 9 For k > write k = k + 6k with k 8 Then the above is equivalent to
25 THE CHROMATIC EXT GROUPS Ext Γm+ BP M DRAFT VERSION 5 Then gets replaced by x s k δ = ±sv b bk v bak ĉk = p p k v s pk +bck p 6k p 6 t p+k for k t p+k for k 5 and t pk for 6 k 8 and Notice that there is another term for m = and 6 k 8 We can ignore it because it is linear independent with the above coboundary We can argue for linear independence as before References [MRW77] H R Miller D C Ravenel and W S Wilson Periodic phenomena in the Adams- Novikov spectral sequence Annals of Mathematics 6: [MW76] H R Miller and W S Wilson On Novikov s Ext ulo an invariant prime ideal Topology 5: 976 [NR] H Nakai and D C Ravenel The structure of the general chromatic E -term Ext Γm+ m preprint [Rav] D C Ravenel The microstable Adams-Novikov spectral sequence Contemp Math 65:9 9 [Rav86] D C Ravenel Complex Cobordism and Stable Homotopy Groups of Spheres Academic Press New York 986 [Shi] KShimomura The homotopy groups π L T n V To appear [Shi] KShimomura The homotopy groups π L nt m V n To appear Kochi University Japan Himeji Institute of Technology Japan and University of Rochester Rochester NY 67
THE CHROMATIC EXT GROUPS Ext 0 Γ(m+1) (BP,M 1 2 )
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 5 Number 9 Pages 789 8 S -99799- Article electronically publishe on April THE CHROMATIC EXT GROUPS Ext Γm+ BP M IPPEI ICHIGI HIROFUMI NAKAI AND
More informationOn the chromatic Ext 0 (Mn 1 1 ) on Γ(m + 1) for an odd prime
On the chromatic Ext 0 Mn 1 1 on Γm + 1 for an odd prime Rié Kitahama and Katsumi Shimomura Received Xxx 00, 0000 Abstract. Let Mn 1 1 denote the coernel of the localization map BP /I v 1 n 1 BP /I, here
More informationTHE FIRST ADAMS-NOVIKOV DIFFERENTIAL FOR THE SPECTRUM T (m)
THE FIRST ADAMS-NOVIKOV DIFFERENTIAL FOR THE SPECTRUM T (m) DOUGLAS C. RAVENEL Abstract. There are p-local spectra T (m) with BP (T (m)) = BP [t,..., t m]. In this paper we determine the first nontrivial
More informationAN ELEMENTARY GUIDE TO THE ADAMS-NOVIKOV EXT. The Adams-Novikov spectral sequence for the Brown-Peterson spectrum
AN ELEMENTARY GUIDE TO THE ADAMS-NOVIKOV EXT MICHA L ADAMASZEK The Adams-Novikov spectral sequence for the Brown-Peterson spectrum E s,t = Ext s,t BP BP (BP, BP ) = π S s t(s 0 ) (p) has been one of the
More informationThe 3-primary Arf-Kervaire invariant problem University of Virginia
The 3-primary Arf-Kervaire invariant problem Mike Hill Mike Hopkins Doug Ravenel University of Virginia Harvard University University of Rochester Banff Workshop on Algebraic K-Theory and Equivariant Homotopy
More informationBackground Toward the homotopy... Construction of the... Home Page. Title Page. Page 1 of 20. Go Back. Full Screen. Close. Quit
Page 1 of 20 THE HOMOTOPY GROUPS RELATED TO L 2 T (m)/(v 1 ) Zihong Yuan joint with Xiangjun Wang and Xiugui Liu School of Mathematical Sciences Nankai University Dec.16, 2008 The Second East Asia Conference
More informationTHE GENERALIZED HOMOLOGY OF PRODUCTS
THE GENERALIZED HOMOLOGY OF PRODUCTS MARK HOVEY Abstract. We construct a spectral sequence that computes the generalized homology E ( Q X ) of a product of spectra. The E 2 -term of this spectral sequence
More informationSEQUENCE October 20, 2008
ON β-elements IN THE ADAMS-NOVIKOV SPECTRAL SEQUENCE October 0, 008 HIROFUMI NAKAI AND DOUGLAS C RAVENEL Dedicated to Professor Takao Matumoto on his sixtieth birthday The second author acknowledges support
More information2 ANDREW BAKER b) As an E algebra, E (MSp) = E [Q E k : k > ]; and moreover the natural morphism of ring spectra j : MSp?! MU induces an embedding of
SOME CHROMATIC PHENOMENA IN THE HOMOTOPY OF MSp Andrew Baker Introduction. In this paper, we derive formul in Brown-Peterson homology at the prime 2 related to the family of elements ' n 2 MSp 8n?3 of
More informationCohomology: A Mirror of Homotopy
Cohomology: A Mirror of Homotopy Agnès Beaudry University of Chicago September 19, 1 Spectra Definition Top is the category of based topological spaces with based continuous functions rx, Y s denotes the
More informationC(K) = H q+n (Σ n K) = H q (K)
Chromatic homotopy theory Haynes Miller Copenhagen, May, 2011 Homotopy theory deals with spaces of large but finite dimension. Chromatic homotopy theory is an organizing principle which is highly developed
More informationNotes on Systems of Linear Congruences
MATH 324 Summer 2012 Elementary Number Theory Notes on Systems of Linear Congruences In this note we will discuss systems of linear congruences where the moduli are all different. Definition. Given the
More informationLECTURE 2: THE THICK SUBCATEGORY THEOREM
LECTURE 2: THE THICK SUBCATEGORY THEOREM 1. Introduction Suppose we wanted to prove that all p-local finite spectra of type n were evil. In general, this might be extremely hard to show. The thick subcategory
More informationNew York Journal of Mathematics
New York Journal of Mathematics New York J. Math. 6 (000) 54. The Chromatic E -term H 0 M for p>3 Hirofumi Nakai Abstract. In this paper, study the module structure of Ext 0 BP (BP,BP /(p, BP v,v )), which
More informationOn the Hurewicz image of the cokernel J spectrum
F U N D A M E N T A MATHEMATICAE 155 (1998) On the Hurewicz image of the cokernel J spectrum by Norihiko M i n a m i (Tuscaloosa, Ala.) Dedicated to Professor Mark Mahowald on the occasion of his retirement
More informationPublications of Douglas C. Ravenel
ix Publications of Douglas C. Ravenel Books 1. Complex Cobordism and Stable Homotopy Groups of Spheres, Academic Press, New York, 1986. 2. Nilpotence and periodicity in stable homotopy theory, Annals of
More informationAsymptotic of Enumerative Invariants in CP 2
Peking Mathematical Journal https://doi.org/.7/s4543-8-4-4 ORIGINAL ARTICLE Asymptotic of Enumerative Invariants in CP Gang Tian Dongyi Wei Received: 8 March 8 / Revised: 3 July 8 / Accepted: 5 July 8
More informationExotic spheres and topological modular forms. Mark Behrens (MIT) (joint with Mike Hill, Mike Hopkins, and Mark Mahowald)
Exotic spheres and topological modular forms Mark Behrens (MIT) (joint with Mike Hill, Mike Hopkins, and Mark Mahowald) Fantastic survey of the subject: Milnor, Differential topology: 46 years later (Notices
More informationEquivalent statements of the telescope conjecture
Equivalent statements of the telescope conjecture Martin Frankland April 7, 2011 The purpose of this expository note is to clarify the relationship between various statements of the telescope conjecture.
More informationIn the index (pages ), reduce all page numbers by 2.
Errata or Nilpotence and periodicity in stable homotopy theory (Annals O Mathematics Study No. 28, Princeton University Press, 992) by Douglas C. Ravenel, July 2, 997, edition. Most o these were ound by
More informationp-divisible Groups and the Chromatic Filtration
p-divisible Groups and the Chromatic Filtration January 20, 2010 1 Chromatic Homotopy Theory Some problems in homotopy theory involve studying the interaction between generalized cohomology theories. This
More informationRESEARCH STATEMENT. 1. Introduction
RESEARCH STATEMENT EVA BELMONT. Introduction One of the most fundamental problems in stable homotopy theory is calculating the stable homotopy groups of spheres, πns s = lim n π n+k S n. The simplest theorem
More informationCOMPLEX COBORDISM THEORY FOR NUMBER THEORISTS. Douglas C. Ravenel Department of Mathematics University of Washington Seattle, WA 98195
COMPLEX COBORDISM THEORY FOR NUMBER THEORISTS Douglas C. Ravenel Department of Mathematics University of Washington Seattle, WA 98195 1. Elliptic cohomology theory The purpose of this paper is to give
More informationQuadratic Congruences, the Quadratic Formula, and Euler s Criterion
Quadratic Congruences, the Quadratic Formula, and Euler s Criterion R. C. Trinity University Number Theory Introduction Let R be a (commutative) ring in which 2 = 1 R + 1 R R. Consider a quadratic equation
More informationBROWN-PETERSON COHOMOLOGY FROM MORAVA K-THEORY, II
BROWN-PETERSON COHOMOLOGY FROM MORAVA K-THEORY, II W. STEPHEN WILSON Abstract. We improve on some results with Ravenel and Yagita in a paper by the same name. In particular, we generalize when injectivity,
More informationWilson s Theorem and Fermat s Little Theorem
Wilson s Theorem and Fermat s Little Theorem Wilson stheorem THEOREM 1 (Wilson s Theorem): (p 1)! 1 (mod p) if and only if p is prime. EXAMPLE: We have (2 1)!+1 = 2 (3 1)!+1 = 3 (4 1)!+1 = 7 (5 1)!+1 =
More informationx y B =. v u Note that the determinant of B is xu + yv = 1. Thus B is invertible, with inverse u y v x On the other hand, d BA = va + ub 2
5. Finitely Generated Modules over a PID We want to give a complete classification of finitely generated modules over a PID. ecall that a finitely generated module is a quotient of n, a free module. Let
More informationOn some properties of elementary derivations in dimension six
Journal of Pure and Applied Algebra 56 (200) 69 79 www.elsevier.com/locate/jpaa On some properties of elementary derivations in dimension six Joseph Khoury Department of Mathematics, University of Ottawa,
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationRAVENEL S ALGEBRAIC EXTENSIONS OF THE SPHERE SPECTRUM DO NOT EXIST. Contents. 1. Introduction.
RAVENEL S ALGEBRAIC EXTENSIONS OF THE SPHERE SPECTRUM DO NOT EXIST ANDREW SALCH Abstract. In this paper we prove a topological nonrealizability theorem: certain classes of graded BP -modules are shown
More informationA CANONICAL LIFT OF FROBENIUS IN MORAVA E-THEORY. 1. Introduction
A CANONICAL LIFT OF FROBENIUS IN MORAVA E-THEORY NATHANIEL STAPLETON Abstract. We prove that the pth Hecke operator on the Morava E-cohomology of a space is congruent to the Frobenius mod p. This is a
More informationON THE MORAVA K-THEORY OF SOME FINITE 2-GROUPS. Björn Schuster
ON THE MORAVA K-THEORY OF SOME FINITE 2-GROUPS Björn Schuster Abstract. We compute the Morava K-theories of finite nonabelian 2-groups having a cyclic maximal subgroup, i.e., dihedral, quaternion, semidihedral
More informationPeriodic Cyclic Cohomology of Group Rings
Periodic Cyclic Cohomology of Group Rings Alejandro Adem (1) and Max Karoubi Department of Mathematics University of Wisconsin Madison WI 53706 Let G be a discrete group and R any commutative ring. According
More informationSection II.2. Finitely Generated Abelian Groups
II.2. Finitely Generated Abelian Groups 1 Section II.2. Finitely Generated Abelian Groups Note. In this section we prove the Fundamental Theorem of Finitely Generated Abelian Groups. Recall that every
More informationThe chromatic tower. Aaron Mazel-Gee
The chromatic tower Aaron Mazel-Gee Abstract Much of chromatic homotopy theory organizes around the chromatic tower, a tower of certain Bousfield localizations of a given spectrum; the chromatic convergence
More informationINJECTIVE COMODULES AND LANDWEBER EXACT HOMOLOGY THEORIES
INJECTIVE COMODULES AND LANDWEBER EXACT HOMOLOGY THEORIES MARK HOVEY Abstract. We classify the indecomposable injective E(n) E(n)-comodules, where E(n) is the Johnson-Wilson homology theory. They are suspensions
More informationSOME EXERCISES. By popular demand, I m putting up some fun problems to solve. These are meant to give intuition for messing around with spectra.
SOME EXERCISES By popular demand, I m putting up some fun problems to solve. These are meant to give intuition for messing around with spectra. 1. The algebraic thick subcategory theorem In Lecture 2,
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationChromatic unstable homotopy, plethories, and the Dieudonné correspondence
Chromatic unstable homotopy, plethories, and the Dieudonné correspondence Alpine Algebraic and Applied Topology Conference Tilman Bauer, KTH Stockholm August 18, 2016 Tilman Bauer, KTH Stockholm Unstable
More informationTHE ROOT INVARIANT IN HOMOTOPY THEORY. Mark E. Mahowald Douglas C. Ravenel. Northwestern University University of Rochester
THE ROOT INVARIANT IN HOMOTOPY THEORY Mark E. Mahowald Douglas C. Ravenel Northwestern University University of Rochester For the last thirty years the EHP sequence has been a major conceptual tool in
More informationThe structure of the general chromatic E 1 -term Ext 0 Gð2Þ ðbp ; M 1 2 Þ at the prime 2
Hiroshima Math. J. 33 (003), 137 156 The structure of the general chromatic E 1 -term Ext 0 GðÞ ðbp ; M 1 Þ at the prime (Received March, 00) (Revised August 0, 00) Abstract. Ravenel [8] has introduced
More informationApplications of the Serre Spectral Sequence
Applications of the Serre Spectral Seuence Floris van Doorn November, 25 Serre Spectral Seuence Definition A Spectral Seuence is a seuence (E r p,, d r ) consisting of An R-module E r p, for p, and r Differentials
More informationSome root invariants at the prime 2
40 arxiv version: fonts, pagination and layout may vary from GTM published version Some root invariants at the prime 2 MARK BEHRENS The first part of this paper consists of lecture notes which summarize
More informationChromatic homotopy theory at height 1 and the image of J
Chromatic homotopy theory at height 1 and the image of J Vitaly Lorman Johns Hopkins University April 23, 2013 Key players at height 1 Formal group law: Let F m (x, y) be the p-typification of the multiplicative
More informationKnow the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element.
The first exam will be on Monday, June 8, 202. The syllabus will be sections. and.2 in Lax, and the number theory handout found on the class web site, plus the handout on the method of successive squaring
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationMath 752 Week s 1 1
Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following
More informationChapter 5. Modular arithmetic. 5.1 The modular ring
Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence
More informationThe Chromatic Splitting Conjecture at p n 2
The at p n Agnès Beaudry University of Chicago AMS Joint Meetings in San Antonio, January 13, 015 Mathematics is not like a suspense novel. You have to start with the punchline. Peter May Theorem (B.)
More informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationAN UNSTABLE CHANGE OF RINGS FOR MORAVA E-THEORY
AN UNSTABLE CHANGE OF RINGS FOR MORAVA E-THEORY ROBERT THOMPSON Abstract. The Bousfield-Kan (or unstable Adams) spectral sequence can be constructed for various homology theories such as Brown-Peterson
More informationOn the non-existence of elements of Kervaire invariant one
On the non-existence of elements of Kervaire invariant one Michael University of Virginia ICM Topology Session, Seoul, Korea, 2014 Poincaré Conjecture & Milnor s Question Milnor s Questions How many smooth
More informationTHE TRIPLE LOOP SPACE APPROACH TO THE TELESCOPE CONJECTURE. August 24, 2000
THE TRIPLE LOOP SPACE APPROACH TO THE TELESCOPE CONJECTURE MARK MAHOWALD, DOUGLAS RAVENEL AND PAUL SHICK August 24, 2000 Contents 1. The telescope conjecture and Bousfield localization 4 1.1. Telescopes
More informationIdentification of the graded pieces Kęstutis Česnavičius
Identification of the graded pieces Kęstutis Česnavičius 1. TP for quasiregular semiperfect algebras We fix a prime number p, recall that an F p -algebra R is perfect if its absolute Frobenius endomorphism
More informationON THE HOMOTOPY TYPE OF INFINITE STUNTED PROJECTIVE SPACES FREDERICK R. COHEN* AND RAN LEVI
ON THE HOMOTOPY TYPE OF INFINITE STUNTED PROJECTIVE SPACES FREDERICK R. COHEN* AND RAN LEVI 1. introduction Consider the space X n = RP /RP n 1 together with the boundary map in the Barratt-Puppe sequence
More informationLIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM
Proceedings of the Edinburgh Mathematical Society Submitted Paper Paper 14 June 2011 LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM MICHAEL C. CRABB AND PEDRO L. Q. PERGHER Institute of Mathematics,
More informationThe primitive root theorem
The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under
More informationNumber Theory Homework.
Number Theory Homewor. 1. The Theorems of Fermat, Euler, and Wilson. 1.1. Fermat s Theorem. The following is a special case of a result we have seen earlier, but as it will come up several times in this
More informationCourse 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography
Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography David R. Wilkins Copyright c David R. Wilkins 2006 Contents 9 Introduction to Number Theory and Cryptography 1 9.1 Subgroups
More informationCOHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9
COHEN-MACAULAY RINGS SELECTED EXERCISES KELLER VANDEBOGERT 1. Problem 1.1.9 Proceed by induction, and suppose x R is a U and N-regular element for the base case. Suppose now that xm = 0 for some m M. We
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More informationarxiv: v1 [math.ac] 8 Jun 2010
REGULARITY OF CANONICAL AND DEFICIENCY MODULES FOR MONOMIAL IDEALS arxiv:1006.1444v1 [math.ac] 8 Jun 2010 MANOJ KUMMINI AND SATOSHI MURAI Abstract. We show that the Castelnuovo Mumford regularity of the
More informationarxiv:math/ v1 [math.at] 30 Oct 1998
ON THE NONEXISTENCE OF SMITH-TODA COMPLEXES arxiv:math/9810178v1 [math.at] 30 Oct 1998 LEE S. NAVE Abstract. Let p be a prime. The Smith-Toda complex V(k) is a finite spectrum whose BP-homology is isomorphic
More informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
More informationReal K-Theory. Michael J. Hopkins 1 Mark A. Hovey. MIT and Yale University. July 25, 1995
Spin Cobordism Determines Real K-Theory Michael J. Hopkins 1 Mark A. Hovey MIT and Yale University Cambridge, MA New Haven, CT 1 Introduction July 25, 1995 It is a classic theorem of Conner and Floyd [CF]
More informationA global perspective on stable homotopy theory
A global perspective on stable homotopy theory February 9, 018 The goal of this lecture is to give a high-level overview of the chromatic viewpoint on stable homotopy theory, with the Ravenel conjectures
More informationDEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS
DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS NORBIL CORDOVA, DENISE DE MATTOS, AND EDIVALDO L. DOS SANTOS Abstract. Yasuhiro Hara in [10] and Jan Jaworowski in [11] studied, under certain
More informationProof of a conjecture by Ðoković on the Poincaré series of the invariants of a binary form
Proof of a conjecture by Ðoković on the Poincaré series of the invariants of a binary form A. Blokhuis, A. E. Brouwer, T. Szőnyi Abstract Ðoković [3] gave an algorithm for the computation of the Poincaré
More informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More informationOn a conjecture of Vorst
On a conjecture of Vorst Thomas Geisser Lars Hesselholt Abstract Let k be an infinite perfect field of positive characteristic and assume that strong resolution of singularities holds over k. We prove
More informationINVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II J. M.
More informationCENTRAL COHOMOLOGY OPERATIONS AND K-THEORY
CENTRAL COHOMOLOGY OPERATIONS AND K-THEORY IMMA GÁLVEZ-CARRILLO AND SARAH WHITEHOUSE Abstract. For stable degree zero operations, and also for additive unstable operations of bidegree (0, 0), it is known
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationA connection between number theory and linear algebra
A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.
More informationRational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley
Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley Reference. Halperin-Stasheff Obstructions to homotopy equivalences Question. When can a given
More informationA POSITIVE PROPORTION OF THUE EQUATIONS FAIL THE INTEGRAL HASSE PRINCIPLE
A POSITIVE PROPORTION OF THUE EQUATIONS FAIL THE INTEGRAL HASSE PRINCIPLE SHABNAM AKHTARI AND MANJUL BHARGAVA Abstract. For any nonzero h Z, we prove that a positive proportion of integral binary cubic
More informationRealizing Families of Landweber Exact Theories
Realizing Families of Landweber Exact Theories Paul Goerss Department of Mathematics Northwestern University Summary The purpose of this talk is to give a precise statement of 1 The Hopkins-Miller Theorem
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationRings With Topologies Induced by Spaces of Functions
Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,
More informationEXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS
EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS FRANK IMSTEDT AND PETER SYMONDS Abstract. We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group.
More informationNORMS ON SPACE OF MATRICES
NORMS ON SPACE OF MATRICES. Operator Norms on Space of linear maps Let A be an n n real matrix and x 0 be a vector in R n. We would like to use the Picard iteration method to solve for the following system
More informationA note on Samelson products in the exceptional Lie groups
A note on Samelson products in the exceptional Lie groups Hiroaki Hamanaka and Akira Kono October 23, 2008 1 Introduction Samelson products have been studied extensively for the classical groups ([5],
More informationSome remarks on the root invariant
Contemporary Mathematics Volume 00, 0000 Some remarks on the root invariant ROBERT R. BRUNER Abstract. We show how the root invariant of a product depends upon the product of the root invariants, give
More informationThe Kervaire invariant in homotopy theory
The Kervaire invariant in homotopy theory Mark Mahowald and Paul Goerss June 20, 2011 Abstract In this note we discuss how the first author came upon the Kervaire invariant question while analyzing the
More informationIsogeny invariance of the BSD formula
Isogeny invariance of the BSD formula Bryden Cais August 1, 24 1 Introduction In these notes we prove that if f : A B is an isogeny of abelian varieties whose degree is relatively prime to the characteristic
More informationThe Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016
The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 January 3, 2017 This is an introductory lecture which should (very roughly) explain what we
More informationNew York Journal of Mathematics. Cohomology of Modules in the Principal Block of a Finite Group
New York Journal of Mathematics New York J. Math. 1 (1995) 196 205. Cohomology of Modules in the Principal Block of a Finite Group D. J. Benson Abstract. In this paper, we prove the conjectures made in
More informationOn LS-Category of a Family of Rational Elliptic Spaces II
E extracta mathematicae Vol. 31, Núm. 2, 235 250 2016 On LS-Category of a Family of Rational Elliptic Spaces II Khalid Boutahir, Youssef Rami Département de Mathématiques et Informatique, Faculté des Sciences,
More information12x + 18y = 50. 2x + v = 12. (x, v) = (6 + k, 2k), k Z.
Math 3, Fall 010 Assignment 3 Solutions Exercise 1. Find all the integral solutions of the following linear diophantine equations. Be sure to justify your answers. (i) 3x + y = 7. (ii) 1x + 18y = 50. (iii)
More information2 so Q[ 2] is closed under both additive and multiplicative inverses. a 2 2b 2 + b
. FINITE-DIMENSIONAL VECTOR SPACES.. Fields By now you ll have acquired a fair knowledge of matrices. These are a concrete embodiment of something rather more abstract. Sometimes it is easier to use matrices,
More informationFor the Ausoni-Rognes conjecture at n = 1, p > 3: a strongly convergent descent spectral sequence
For the Ausoni-Rognes conjecture at n = 1, p > 3: a strongly convergent descent spectral sequence Daniel G. Davis University of Louisiana at Lafayette June 2nd, 2015 n 1 p, a prime E n is the Lubin-Tate
More informationEQUIVARIANT AND NONEQUIVARIANT MODULE SPECTRA
EQIVARIANT AND NONEQIVARIANT MODLE SPECTRA J. P. MAY Abstract. Let be a compact Lie group, let R be a commutative algebra over the sphere -spectrum S, and let R be its underlying nonequivariant algebra
More informationFIXED-POINT FREE ENDOMORPHISMS OF GROUPS RELATED TO FINITE FIELDS
FIXED-POINT FREE ENDOMORPHISMS OF GROUPS RELATED TO FINITE FIELDS LINDSAY N. CHILDS Abstract. Let G = F q β be the semidirect product of the additive group of the field of q = p n elements and the cyclic
More informationSOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 1. I. Foundational material
SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 1 Fall 2014 I. Foundational material I.1 : Basic set theory Problems from Munkres, 9, p. 64 2. (a (c For each of the first three parts, choose a 1 1 correspondence
More informationMULTIPLICATIVE FIBRE MAPS
MULTIPLICATIVE FIBRE MAPS BY LARRY SMITH 1 Communicated by John Milnor, January 9, 1967 In this note we shall outline a result concerning the cohomology of a multiplicative fibre map. To fix our notation
More informationRational Hopf G-spaces with two nontrivial homotopy group systems
F U N D A M E N T A MATHEMATICAE 146 (1995) Rational Hopf -spaces with two nontrivial homotopy group systems by Ryszard D o m a n (Poznań) Abstract. Let be a finite group. We prove that every rational
More informationThe Lie module and its complexity
Bull. London Math. Soc. 48 (2016) 109 114 C 2015 London Mathematical Society doi:10.1112/blms/bdv081 The Lie module and its complexity Frederick R. Cohen, David J. Hemmer and Daniel K. Nakano Abstract
More informationBP*(BP) AND TYPICAL FORMAL GROUPS
Landweber, P.S. Osaka J. Math. 12 (1975), 357-363 BP*(BP) AND TYPICAL FORMAL GROUPS PETER S. LANDWEBER 1 ' (Received July 22, 1974) 1. Introduction. D. Quillen showed in [6] that the formal group law of
More informationCOMMUTATORS ON (Σ l q ) p. 1. Introduction
COMMUTATORS ON (Σ l q ) p DONGYANG CHEN, WILLIAM B. JOHNSON, AND BENTUO ZHENG Abstract. Let T be a bounded linear operator on X = (Σ l q ) p with 1 q < and 1 < p
More information