8
$\begingroup$

as the title suggests I'm looking for some clarifications in the computations of the ext charts of some $A(1)$-modules arising as extensions of other modules. In particular, I've the following example I'd like to consider: $$0 \to \Sigma^3D \to \Bbb R P^{\infty} \to M \to 0$$

where $D$ is the $A(1)$-module described in Freed and Hopkins' paper at page 75 (table on the right), $M$ is the Moore space (whose $A(1)$-resolution can be found here, and $\Bbb R P^{\infty}$ is the infinite projective space. Here I draw the s.e.s with the usual convention for the action of $Sq^1$ and $Sq^2$:enter image description here

And here you can find what (according to me) is the situation at the level of ASS:

enter image description here

The green arrows should be the map representing the connecting homomorphisms in the l.e.s. of ext-groups induced by the above s.e.s.

Since we know what should be the stable page of the ASS for $\Bbb R P^{\infty}$, and there are no differentials for dimensions reason, we see that the only non-trivial green arrows are the one starting in position $(5,1)$ and $(6,2)$.

This is what I don't understand: If the arrows represent the maps induced by the l.e.s. of the ext's then at least the first one $$\delta \colon \hom_{A(1)}(\Sigma^3D, \Bbb F_2) \to Ext^1_{A(1)}(M, \Bbb F_2)$$ shouldn't be trivial, since the s.e.s. above is non-split. In particular this would be the green arrow starting from position $(1,0)$, which we observed that has to be zero.

So what am I missing?

I apologise in advance if the question is stupid.

$\endgroup$

1 Answer 1

4
$\begingroup$

The red dot in (3,0) comes from a map $\Sigma^3 D \to \mathbb{F}_2$, and this map is the image of a map $\mathbb{R}P^\infty \to \mathbb{F}_2$, so it goes to zero under the coboundary map. This agrees with your first claim.

I think the correct statement about splitting is: the s.e.s. is split if and only if, for all $A$-modules $N$, the coboundary map $\textrm{hom}_A(\Sigma^* D, N) \to \textrm{Ext}_A^1(M, N)$ is zero. (Is that right?) In particular, the coboundary map may be zero for some choices of $N$ even if the original s.e.s. is not split.

$\endgroup$
1
  • $\begingroup$ Ah, I think I get what I was doing wrong. Thanks for pointing me out this! I was applying the characterisation of the wrong coboundary map! $\endgroup$
    – Luigi M
    Commented Jun 24, 2017 at 21:28

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .