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.2.1 2017-09-16 2017-09-16
%% Author: Hood Chatham
%% Email: hood@mit.edu
%% Date: 2018-10-08
%% 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}
|
