FormalGeomNotes/ass.tex at master · ecpeterson/FormalGeomNotes · GitHub

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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
% -*- root: main.tex -*-

\begin{sseqpage}[
    degree={-1}{#1},
    classes={circle,fill,inner sep=0.3ex},
    differentials={-{>[width=4]}, target anchor=-35},
    class labels={left=0.2em},
    %edge labels=description,
    math nodes,
    y range={0}{10},
    x range={0}{17},
    xscale=0.8,
    yscale=0.7,
    above left label distance={0em},
    label distance={0.2em},
]

\class(0,0)

% multiples of eta
\etaclass["{\eta = h_1}" {below, xshift=0.25cm}]
\etaclass["\eta^2" above]
\etaclass["\eta^3" above]

% h0 tower
\foreach \y in {1,...,12} {
    \class(0,\y)
    \structline(0,\y-1)(0,\y)
}

% divisibilities of nu
\class(3,2) \structline(3,2)(3,3)
\class["{\nu = h_2}" below](3,1) \structline(3,1)(3,2)

\class["\nu^2"](6,2)

\class["{\sigma = h_3}" below](7,1)
\etaclass
\etaclass["\nu^3" right]
\class(7,2) \structline(7,2)(7,1)
\class(7,3) \structline(7,3)(7,2)
\class(7,4) \structline(7,4)(7,3)

\class["P h_1"](9,5)
\etaclass
\etaclass

\sseqset{above left label distance=0.3em}

\class["c_0" above](8,3)
\etaclass

\class(11,6) \structline(11,6)(11,7)
\class["P h_2"](11,5) \structline(11,5)(11,6)

\class["\sigma^2"](14,2)
\class(14,3) \structline(14,3)(14,2)

\class["h_4" below](15,1)
\etaclass
\etaclass
\etaclass
\tower(15,2){6} \structline(15,2)(15,1)

\class["d_0"](14,4)
\etaclass
\etaclass
\etaclass
\class(14,5) \structline(14,5)(14,4)
\class(14,6) \structline(14,6)(14,5)

\class["P c_0" {above, xshift=-0.2cm}](16,7)
\etaclass
\structline[densely dotted](16,7)(15,4)

\class["e_0"](17,4)
\class(17,5)
\class(17,6)
\structline(17,5)(17,4)
\class["P^2 h_1" {above, xshift=-0.2cm}](17,9)
\etaclass
\structline(17,6)(17,5)
\structline(17,7)(17,6)

% off the page classes

\class(18,4)
\class(18,5)


% differentials
\d2(15,1)
\d3(15,2)
\d3(15,3)
\d2(17,4)

% off the page differentials
\d2(18,4,-1)
\d2(18,5)
\end{sseqpage}