I'm trying to prove the following proposition from Kochman's book. For completion I will write it here the relevant part:

Let $E$ be an oriented spectrum with orientation class $x\in E^2(\mathbb{C}P^{infty})$, then $$ E^*(\mathbb{C}P^n)\cong \pi_*E [i_n(x)] /(i_n(x)^{n+1})$$ as $\pi_*E$-modules.

The proof goes as follows: use AHSS with $E^{p,q}_2=H^p(\mathbb{C}P^n; \pi_q E)$, notice that it collapses at the second page ($\pi_*E$-linearity of differentials + multiplicativity) and then conclude.

What I don't understand is the "and then conclude". I mean, there is the entire extension problem to deal with. The fact that the spectral sequence collapses only means that the stable page is isomorphic to $\pi_*E [i_n(x)] /(i_n(x)^{n+1})$ but then I've to compute the "limit". The same result is stated in several other books: Rudyak's book just refer to the proof here, or the one in Adams' Stable homotopy and generalised homology Lemma $2.5$ page $39$ which simply doesn't prove anything more that the triviality of the SSeq.

My Idea:I think the key to prove the assertion is that the stable page (i.e. the second page in this case) is a free $\pi_*E$-module, whose generators are $i_n(x),i_n(x^2),i_n(x^3),\dots, i_n(x^n)$. I found the following lemma-example in McCleary's UGtSS page $25$ enter image description here

which seems to suggest that something similarly is true, albeit on seemingly stronger hypothesis: I think a verbatim proof should generalise the reasoning to my situation, but I may have overlooked something, namely maybe somewhere it can have been used that we are working with vector space and therefore the extensions are trivial. I can't spot any error thought.

Then using multiplicativity of the AHSS I should be able to find the right ring-structure of $E^*(\mathbb{C}P^n)$.

In conclusion, the fact that no one seems to prove this result in full details (I'm referring to the proposition at the beginning of the question), leads me to think that there is some folklore result which applies here. If that the case, I'd like to get some reference for it in order to see it once and for all.

  • $\begingroup$ I wondered the same thing about the same proof in Adams when I came across it a few years ago. Did you ever figure out what was going on? $\endgroup$ – jdc Jun 11 '16 at 6:07
  • $\begingroup$ Dear @jdc yes, more or less I figure out why. It's somewhat long but I planned to write down a little note and drop it here since it might be of interest. $\endgroup$ – Riccardo Jun 11 '16 at 7:48
  • $\begingroup$ Dear @Riccardo thank you, I eagerly await this explanation. $\endgroup$ – jdc Jun 15 '16 at 1:41
  • $\begingroup$ @jdc posted it! :) $\endgroup$ – Riccardo Jun 17 '16 at 17:10
  • $\begingroup$ thank you! I have some questions, probably naive. $\endgroup$ – jdc Jun 18 '16 at 0:51

I think I was able to solve my doubt. I wrote the answer here, but I'll type it down here:

So first of all the difficult point is to show that the AHSS collapses at the second page. After that it is almost trivial. In order to prove it, the hypothesis on orientation will be of main importance.

Let me fix some notation: $ i_n \colon \mathbb{C}P^n \to \mathbb{C}P^{\infty}$ is the usual inclusion, and $ y_E$ is the image of the orientation class in the unreduced second cohomology group of $\mathbb{C}P^{\infty}$.

The first step is to identify a certain element in the AHSS for $ \mathbb{C}P^1$ with the orientation $ i_1^* y_E$. Recall that $ H^*(\mathbb{C}P^n)\cong \mathbb{Z}[y]/(y^{n+1})$

Claim 1: The element $ y \otimes \imath \in E^{2,0}$ represents the orientation class $ i_1^*(y_E)$.

Proof of Claim 1: Consider the AHSS for $\mathbb{C}P^1$: enter image description here Since the edge homomorphism for the AHSS is always surjective, we have that the only possible non-zero differentials (the differentials of the 2nd page starting from the zero-th column to the second one) are trivial. This implies that the spectral sequence collapses. Since the second page is generated multiplicatively by $ y\otimes \imath \in E^{2,0}_2$ and it is a free graded $ \pi_*E$-module (i.e. the extension problem is trivial) the isomorphism $ E^2(\mathbb{C} P^1)\xrightarrow{\cong} E^{0,2}_2 \oplus E^{2,0}_2$ maps $ i_1^*(y_E) \mapsto y \otimes \imath$ ( $ E_2^{0,2} =E^2(\ast) $ and the other is the reduced cohomology group).

Claim 2: The AHSS for $ \mathbb{C} P^n$ collapses at the second page and we have that $ y \otimes \imath \in E_2^{2,0}$ represents the orientation class $ i_n^*(y_E)$

Proof of Claim 2: Let us have a look at the AHSS for $ \mathbb{C} P^n$: enter image description here

Since the AHSS is multiplicative and thanks to the ring structure of the second page, it's enough to show that the element $ y \otimes \imath \in E_2^{2,0}$ is an infinite cycle. In fact, one proceed inductively using the fact that any other element in the previous page (i.e. in the second page) is a $ \pi_*E$-linear combination of powers of $ y\otimes \imath$. Consider the inclusion $ i_1^n \colon \mathbb{C} P^1 \to \mathbb{C} P^n$. We know that $ i_n^*(y_E)$ is sent to $ i_1^*(y_E)$ by the fact that $ (i_1^n)^*i_n^*=i_1^*$. Now recall that $ i_1^n$ induces a map of spectral sequences. Since we know that AHSS for $ \mathbb{C} P^n$ converges a priori to $ E^*(\mathbb{C}P^n)$ ($ \pi_*E$ is required to be bounded below by Kochman and Adams in another chapter) there is an element in the stable page $ E_{\infty}^{p,q}$, for some $ p,q \in \mathbb{Z}$ which is a representative of $ i_n^*(y_E)$.

By Claim 1, we already know that the representative of $ i_1^*(y_E)$ lies in $$ E_{\infty}^{2,0}\cong F^2 E^2(\mathbb{C} P^1)/F^3 E^2(\mathbb{C} P^1)$$ Now suppose that the class of $$ i_n^*(y_E)\in F^p E^{p+q}(\mathbb{C} P^n)/F^{p+1} E^{p+q}(\mathbb{C} P^n)$$ since the inclusion preserves the filtration, it would send our class to an element lying in $ F^p E^{p+q}(\mathbb{C} P^1)/F^{p+1} E^{p+q}(\mathbb{C} P^1)$, but since we already established that the image of $$ i_n^*(y_E)\in F^2 E^2(\mathbb{C}P^1) / F^{3} E^2(\mathbb{C}P^1)$$ it must be that $ p\geq 2$ and $ q=0$ (Since $ F^pE^2(\mathbb{C} P^n)\subseteq F^{p-1}E^2(\mathbb{C} P^n)$). By definition of the filtration for the cohomological AHSS, if this element lies in $ F^p E^2(\mathbb{C}P^n) / F^{p+1} E^2(\mathbb{C}P^n)$ for $ p>2$ in particular its representatives lie in $$ F^2 E^2(\mathbb{C}P^n)$$ meaning that when restricted to $\mathbb{C}P^1$ they are all zero (it is crucial here that the inclusion identifies the 2 skeleton of $ \mathbb{C}P^n$ with $ \mathbb{C}P^1$). Since we know that the restriction to $ \mathbb{C}P^1$ of the orientation $ i_n^*(y_E)$ is a non-zero element, it must be $ p=2$ and $ q=0$. This shows that we have to look for a representative for $ i_n^*(y_E)$ in $E_{\infty}^{2,0}$. Consider the following diagram, where $ E_r'^{p,q}$ will denote the group in position p,q, page r of the AHSS for $ \mathbb{C}P^n$:

enter image description here

The lower map is an isomorphism since it is the map induced between the second singular cohomology groups of $ \mathbb{C} P^1$ and $ \mathbb{C} P^n$. The diagram implies that the unique preimage of the representative of $ i_1^*(y_E)\in E^2(\mathbb{C}P^1)$, which by Claim 1 is identified $ y \otimes \imath$, can only be the element $ y \otimes \imath$ in $ E_2'^{2,0}$, and therefore it has to be an element of $ E_{\infty}'^{2,0}$ i.e. an infinite cycle. This readily implies that the AHSS collapses at the second page, since it is multiplicative: the second page is generated multiplicatively by $ y \otimes \imath$, and we just showed that it is an infinite cycle, by an easy inductive reasoning we have that the differentials in every page must be zero since they are $ \pi_*E$-linear derivations.

In conclusion: Since the stable page is a free graduated $ \pi_*E$ module, the extension problem is trivial (all the s.e.s. splits). In fact one can organise all the s.e.s. in the following $$ 0 \to F^{p+1}E^{p+\bullet}\to F^pE^{p+\bullet} \to E^{p,\bullet}_{\infty} \to 0$$ (see here for example) and therefore if the latter is a free graded module, the s.e.s. splits.

Therefore we have an isomorphism of $ \pi_*E$-modules $ E^m(\mathbb{C}P^n) \cong \bigoplus_{p+q=m}E_{2}^{p, q}$.

Using the fact that AHSS is multiplicative, and the ring structure on the stable page is the one one would expect to have, by compatibility of the two product structures (by axiom of multiplicative spectral sequence) and the above iso we have the claim

Maybe it's not the most elegant solution but I think it does the job: it was not so obvious as many references claimed. I'd love to see if there are more elegant proofs

  • $\begingroup$ I believe I understand what you've written, but there's something else I'm missing. What I think this shows is that $\mathrm{gr}\ E^*(\mathbb C P^\infty) \cong E^*[[y]]$ on the level of rings, where the "gr" denotes the associated graded ring, but the claim is that $E^*(\mathbb C P^\infty) \cong E^*[[y]]$ without the associated grading, so implicitly that the passage from $E^*(\mathrm{pt})$ to its associated graded algebra doesn't change the multiplicative structure. My understanding of the lemma from McCleary's book has been that it works because the ring in question is free as a CGA ... $\endgroup$ – jdc Jun 18 '16 at 0:35
  • $\begingroup$ ... relying on the fact that a choice of lift of basis from the associated graded to the original ring extends uniquely and consistently to a ring homomorphism which is a module bijection. Without the freeness as a CGA, I don't understand why this proof (or any other I've seen), shows more than that this is an isomorphism for associated gradeds. $\endgroup$ – jdc Jun 18 '16 at 0:43
  • $\begingroup$ This might be a result of something else I'm missing. If everything is also $E^*(\mathrm{pt})$-linear, as you keep saying, I believe I understand, but this is not what I had understood. I had understood the filtration in this spectral sequence to be in the horizontal direction, as in the Serre spectral sequence, which induces a $H^*(\mathbb CP^\infty)$-structure on all pages. In the SSS case as applied to a fibration $F \to X \to B$, this induces isomorphic $H^*(B)$-module structures on $E_\infty$ and $H^*(X)$. $\endgroup$ – jdc Jun 18 '16 at 0:49
  • $\begingroup$ Questions: 1) Is there a similar $H^*(\mathbb C P^\infty)$-module isomorphism in this case? 2) Where does the $E^*(\mathrm{pt})$-module structure come from? $\endgroup$ – jdc Jun 18 '16 at 0:49
  • 1
    $\begingroup$ Hey, I looked through the sources you cite and believe I got it now. I was just relying excessively on an analogy that doesn't really extend very far. Thanks! $\endgroup$ – jdc Jul 12 '16 at 3:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.