FormalGeomNotes/uass7.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
% -*- 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
\etaclass
\etaclass

% 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(3,1) \structline(3,1)(3,2)

\class(6,2)

\class(7,2)
\etaclass
\etaclass
\etaclass
\class(10,4) \structline(10,4)(10,5)
\class(10,3) \structline(10,3)(10,4)
\class(7,3) \structline(7,3)(7,2)
\class(7,4) \structline(7,4)(7,3)

\class(8,3)
\class(9,4)
\class(8,2)
\etaclass

\class(9,5)
\etaclass
\etaclass
\class(11,6) \structline(11,6)(11,7)
\class(11,5) \structline(11,5)(11,6)

\class(11,3)

\class(13,4)

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

\class(14,3)
\class(14,4) \structline(14,3)(14,4,-1)

\class(14,5) \structline(14,4)(14,5)
\class(14,6) \structline(14,5)(14,6)

\class(17,6) \structline(17,6)(17,7)
\class(17,5) \structline(17,5)(17,6)

\class(15,4)
\class(15,5) \class(16,6)

\class(15,8)
\class(15,7) \structline(15,7)(15,8)
\class(15,6) \structline(15,6)(15,7)
\etaclass
\etaclass
\etaclass

\class(16,7)
\class(17,8)
\class(17,9)
\etaclass

\end{sseqpage}