%%
%% Description: The Serre spectral sequence for $\HF_3$ cohomology of $K(\F_3,n-1)\to pt \to K(\F_3,n)$ for $n=2,3,4$, with Bockstein SS's for going up to $\Zbb_3$ coefficients.
%%
%%   This is a computation of the Z_3 cohomology of K(F_3,n). This was part of a way-too-hard problem on Haynes Algebraic Topology II problem set which asked to compute
%%   the smallest k>0 such that H_{n+k}(K(--,n);Z_p) : Ab --> Ab is not the zero functor and to compute what functor it is. One of the main ideas is to use the Bockstein
%%   spectral sequence, because it handles the badness of integral Kunneth for us too.
%%

\documentclass{article}
\usepackage[margin=0.2in,top=0.4in,landscape]{geometry}
\usepackage{spectralsequences}
\usepackage{amssymb}
\def\Z{\mathbb{Z}}
\begin{document}
\sseqset{
   cohomological Serre grading,
   title={Page \page},
   class placement transform={scale=1.3, rotate=90},
   class pattern=linear,
   classes={draw=none},
   class label handler = \SseqNormalizeMonomial,
   bocksteinSS/.style={
       page=0, y range={-1}{0},
       no differentials, no labels, no y ticks, no title,
       yscale=1.5, x axis extend end=40pt, y axis extend end = 40pt, x axis gap =50pt,
       class label handler = {},
   }
}

\begin{sseqdata}[name=K(Z/3;2),
   x range={0}{8}, xscale=2.2, yscale=1.5,
   x label={$H^*(K(\Z/3,2),\Z/3)$},
   y label={$H^*(K(\Z/3,1),\Z/3)$},
   right clip padding=20pt, x axis gap=20pt,
]
\foreach \x/\xlabel in
 { 0/1,  2/\iota_2, 3/\beta\iota_2, 4/\iota_2^2, 5/\iota_2\beta\iota_2, 6/\iota_2^3,
    7/\iota_2^2\beta\iota_2, 7/P^1\beta\iota_2, 8/\iota_2^4, 8/\beta P^1\beta\iota_2 }
\foreach \y/\ylabel in
 { 0/1, 1/\alpha, 2/x, 3/\alpha x, 4/x^2, 5/\alpha x^2, 6/x^3} {
   \class["\ylabel\xlabel"](\x,\y)
}

\class(9,0)\class(9,0)
\class(9,1)
\class(9,2)
\class(9,3)
\class(9,4)
\class(9,5)

\class(10,0)\class(10,0)\class(10,0)
\class(10,2)\class(10,2)
\class(10,4)\class(10,4)

\class(11,0)\class(11,0)
\class(11,2)

\class(12,0)
\class(13,0)
\class(14,0)
\class(15,0)
%\class["(\beta\iota_2)^2"](6,0)


\d2(0,1) %d2(a)=i



\d3(0,2) %d3(x) = b(i)
\d2(0,3) % d2(ax) = ix
\d3(0,4) % d2(x^2) = xb(i)
\d2(0,5) % d2(ax^2) = ix^2
%\d7


\d2(2,1) % d2(ai) = i^2
\d2(2,3) % d2(axi) = xi^2
\d2(2,5) % d2(ax^2i)=x^2i^2)

\d2(3,1) % d2(abi)=ib(i)
\d2(3,3)
\d2(3,5)

\d2(4,1) % d2(ai^2)=i^3
\d2(4,3)
\d2(4,5)

\d2(5,1,,1) %d2(ai_2bi_2) = i_2^2 bi_2
\d2(5,3,,1)
\d2(5,5,,1)

\d2(6,1,,1) %d2(ai_2^3) = i_2^4
\d2(6,3,,1)
\d2(6,5,,1)

\d2(7,1,1)  % d2(ai_2^2bi_2) = i_2^3 bi_2
\d2(7,3,1)
\d2(7,5,1)

\d2(7,1,2) % d2(aP^1bi_2) = i_2 P^1bi_2
\d2(7,3,2)
\d2(7,5,2)

\d3(7,2,2) % d3(x P^1bi_2) = bi_2 P^1bi_2
\d3(7,4,2)

\d2(8,1,1,2) % d2(a i_2^4) = i_2^5
\d2(8,3,1,2)
\d2(8,5,1,2)

\d2(8,1,2,2) % d2(a bP^1bi_2) = i_2 bP^1bi_2
\d2(8,3,2,2)
\d2(8,5,2,2)

\d3(8,2,2) % d3(x bP^1bi_2) = bi_2 bP^1bi_2
\d3(8,4,2)


\d5(3,4,,2) % d5(x^2i_2) = bP^1bi_2 -- Kudo differential

\d7(0,6,,2) % d7(x^3) = P^1bi_2
\d7(2,6,,2)
\d7(3,6,,3)
\d7(4,6,,2)
\d7(5,6)
\d7(6,6)
\d7(7,6,1)
\d7(7,6,2)
\d7(8,6,1)
\d7(8,6,2)


\end{sseqdata}

\printpage[name=K(Z/3;2),page=2]
\newpage
\printpage[name=K(Z/3;2),page=3]
\newpage
\printpage[name=K(Z/3;2),page=5]
\newpage
\printpage[name=K(Z/3;2),page=6]
\newpage
\printpage[name=K(Z/3;2),page=7]
\newpage

\begin{sseqpage}[
   name=K(Z/3;2), bocksteinSS,
   x axis extend end = 30pt, y axis gap=30pt,
]
\begin{scope}[background]
\node[anchor=west] at (-2,0) { H^*(K(\Z/3,2),\Z/3)};
\node[anchor=west] at (-2,-1) { H^*(K(\Z/3,2),\Z)};
\end{scope}

\draw[->]  (2,0) to[bend left=30, "\beta^1"] (3,0);
\draw[->]  (4,0) to[bend left=30, "\beta^1"{pos = 0.55}] (5,0);
\draw[->]  (6,0) to[bend right=30, "\beta^2"'] (7,0,1);
\draw[->]  (7,0,2) to[bend left=30, "\beta^1"] (8,0,2);
\draw[->]  (8,0,1) to[bend right=30, "\beta^1"' {pos = 0.46}] (9,0);

\class["\Z\{1\}"](0,-1)
\class["\Z/3\{\beta\iota_2\}"](3,-1)
\class["\Z/3\{\beta\iota_2^2\}"](5,-1)
\class["\Z/9\{\beta\iota_2^3\}"](7,-1)
\class["\Z/3\{\beta P^1\iota_2\}"](8,-1)
\end{sseqpage}


\newpage
\begin{sseqdata}[name=K(Z/3;3),xscale=2.2,yscale=1.7,y axis gap=40pt,x axis gap=30pt, x range={0}{9},
   x label={$H^*(K(\Z/3,2),\Z/3)$},
   y label={$H^*(K(\Z/3,1),\Z/3)$}
]

\foreach \x/\ymax/\xlabel in { 0/6/1, 3/6/\iota_3, 4/3/{{\beta\iota_3}} }
\foreach \y/\ylabel in { 0/1, 2/\iota_2, 3/{{\beta\iota_2}}, 4/\iota_2^2, 5/\iota_2{\beta\iota_2}, 6/\iota_2^3 } {
   \class["\ylabel\xlabel"](\x,\y)
}

\sseqset{class label handler = {}}

\class["P^1\beta\iota_2"](0,7)
\class["\iota_2^2\beta\iota_2"](0,7)
\class["\beta P^1\beta\iota_2"](0,8)
\class["\iota_2^4"](0,8)


\class["P^1\iota_3"](7,0)
\class["\iota_3\beta\iota_3"](7,0)
\class["\beta P^1\iota_3"](8,0)
\class["(\beta\iota_3)^2"](8,0)
\class["P^1\beta\iota_3"](8,0)
\class["\beta P^1\beta\iota_3"](9,0)


\d3(0,2)
\d4(0,3)
\d3(0,4)
\d3(0,5)
\d7(0,6,,1)
\d3(0,7,2)
\d8(0,7,1,3)
\d3(0,8,2)
\d9(0,8,1)
\d5(3,4,,1)

\d3(4,2,,2)
\d4(4,3,,2)
\end{sseqdata}

\printpage[name=K(Z/3;3),page=3]
\newpage
\printpage[name=K(Z/3;3),page=4]
\newpage
\printpage[name=K(Z/3;3),page=5]
\newpage
\printpage[name=K(Z/3;3),page=7]
\newpage
\printpage[name=K(Z/3;3),page=9]
\newpage

\begin{sseqpage}[ name=K(Z/3;3), bocksteinSS ]
\begin{scope}[background]
\node[anchor=west] at (-2.2,0) { H^*(K(\Z/3,3),\Z/3)};
\node[anchor=west] at (-2.2,-1) { H^*(K(\Z/3,3),\Z)};
\end{scope}

\draw[->]  (3,0) to[bend left=30, "\beta^1"] (4,0);
\draw[->]  (7,0,1) to[bend right=30, "\beta^1"' {pos=0.6}] (8,0,1);
\draw[->] (7,0,2) to[bend left=30, "\beta^1" {pos=0.43}] (8,0,2);
\draw[->] (8,0,3) to[bend left=30, "\beta^1"{pos=0.37}] (9,0);

\class["\Z\{1\}"](0,-1)
\class["\Z/3\{\beta\iota_3\}"](4,-1)
\class["\Z/3\{\beta P^1\iota_3\}"](8,-1)
\class["\Z/3\{\beta(\iota_3\beta\iota_3)\}"](8,-1)
\class["\Z/3\{\beta P^1\beta\iota_3\}"](9,-1)
\end{sseqpage}



\begin{sseqdata}[name=K(Z/3;4),
   xscale=2,yscale=1.5,y axis gap=20pt,x axis gap=30pt, x range={0}{10},
   x label = {$H^*(K(\Z/3,4),\Z/3)$},
   y label = {$H^*(K(\Z/3,3),\Z/3)$},
   class label handler = {}
]

\class["1"](0,0)
\class["\iota_3"](0,3)
\class["\beta\iota_3"](0,4)
\class["P^1\iota_3"](0,7)
\class["\beta P^1\iota_3"](0,8)
\class["\iota_3\beta\iota_3"](0,7)
\class["(\beta\iota_3)^2"](0,8)
\class["P^1\beta\iota_3"](0,8)
\class["\beta P^1\beta\iota_3"](0,9)


\class["\iota_4"](4,0)
\class["\iota_3\iota_4"](4,3)
\class["\beta\iota_3\iota_4"](4,4)

\class["\beta\iota_4"](5,0)
\class["\iota_3\beta\iota_4"](5,3)
\class["\beta\iota_3\beta\iota_4"](5,4)

\class["\iota_4^2"](8,0)
\class["P^1\iota_4"](8,0)

\class["\iota_4 \beta\iota_4"](9,0)
\class["P^1\beta\iota_4"](9,0)
\class["\beta P^1\iota_4"](9,0)

\class["\beta P^1\beta\iota_4"](10,0)

\d4(0,3) % d4(i_3) = i_4
\d4(0,7,2)
\d4(4,3,,1)
\d4(5,3,,1)

\d5(0,4)

\d8(0,7,1,2)

\d9(0,8,1,2)
\d5(0,8,2)
\d9(0,8,3,3)
\d10(0,9)

%\d
\end{sseqdata}

\printpage[name=K(Z/3;4),page=4]
\newpage
\printpage[name=K(Z/3;4),page=5]
\newpage
\printpage[name=K(Z/3;4),page=8]
\newpage
\printpage[name=K(Z/3;4),page=9]
\newpage
\printpage[name=K(Z/3;4),page=10]
\newpage

\begin{sseqpage}[ name=K(Z/3;4), bocksteinSS, yscale=1.3 ]
\begin{scope}[background]
\node[anchor=west] at (-2.2,0) { H^*(K(\Z/3,4),\Z/3)};
\node[anchor=west] at (-2.2,-1) { H^*(K(\Z/3,4),\Z)};
\end{scope}

\draw[->] (4,0)   to[bend left=30,  "\beta^1"] (5,0);
\draw[->] (8,0,1) to[bend right=30, "\beta^1"' {pos=0.6}] (9,0,1);
\draw[->] (8,0,2) to[bend left=30,  "\beta^1" {pos=0.6}]   (9,0,3);
\draw[->] (9,0,2) to[ "\beta^1"] (10,0);

\class["\Z\{1\}"](0,-1)
\class["\Z/3\{\beta\iota_4\}"](5,-1)
\class["\Z/3\{\beta P^1\iota_4\}"](9,-1)
\class["\Z/3\{\beta(\iota_4^2)\}"](9,-1)
\class["\Z/3\{\beta P^1\beta\iota_4\}"](10,-1)
\end{sseqpage}

\end{document}

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.