summaryrefslogtreecommitdiff
path: root/graphics/pgf/contrib/spectralsequences/examples/unstable_ASS_SO.tex
blob: 72101ebe4799c8c724f5af307b84a3d88e8e2a47 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
%%
%% Package: spectralsequences v1.3.2 2022-02-19
%% Author: Hood Chatham
%% Email: hood@mit.edu
%% Date: 2022-02-19
%% License: Latex Project Public License
%%
%% File: example_unstable_ASS_SO.tex
%%
%%    From Kathryn Lesh: A conjecture on the unstable Adams spectral sequences for SO and U top of page 21.
%%    http://hopf.math.purdue.edu//Lesh/uass-so-model.pdf
%%

\documentclass{spectralsequence-example}

\begin{document}
\sseqset{
    M3M2/.sseq style = { fill },
    M4M3/.sseq style = { circlen = 2, fill }
}
%\pgfkeys{/sseqpages/class/M4M3/.show code}

\NewSseqCommand \tower { O{} d() } {
    \IfNoValueF{#2}{\class(#2)}
    \savestack
    \begin{scope}[#1]
        \DoUntilOutOfBounds{
            \class(\lastx,\lasty+1)
            \structline(\lastclass1)(\lastclass)
        }
    \end{scope}
    \restorestack
}

\NewSseqCommand \etaclass {} {
    \class(\lastx+1,\lasty+1)
    \structline(\lastclass1)(\lastclass)
}

\NewSseqCommand \divtwoclass {} {
    \class(\lastx,\lasty-1)
    \structline(\lastclass1)(\lastclass)
}

\begin{sseqdata}[ name = SO_UASS, tick step = 5, x range = {0}{20}, Adams grading, y range={0}{10} ]
\class(1,0)
\tower(3,0)

\begin{scope}[M3M2]
\tower(7,0)
\etaclass\etaclass

\tower(11,3)

\class(14,4)
\divtwoclass\divtwoclass
\etaclass\etaclass\etaclass
\divtwoclass\divtwoclass

\class(16,5)\etaclass
\end{scope}

\begin{scope}[M4M3]
\tower(15,0)
\etaclass\etaclass\etaclass
\divtwoclass\divtwoclass
\end{scope}

\d2(15,0)\d2(15,1)\d2(15,2)
\d2(16,1)\d2(17,2)\d2(18,3)
\d2(18,2)\d2(18,1)
\end{sseqdata}


\printpage[ name = SO_UASS, page = 2 ]
\newpage
\printpage[ name = SO_UASS, page = 3 ]
\end{document}