10_cohomology.tex
Paper X: Universal Residual Seeds and Conditional Occupied-System Completion
10_cohomology.tex
This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.
1 \begin{tikzpicture}[x=1cm,y=1cm,>=Stealth,line cap=round,line join=round]
2 \path[use as bounding box] (0,-.6) rectangle (14,4.8);
3 \node[font=\small,align=center,font=\small] at (2.06,4.65) {$d_0:C^0\to C^1$};
4 \path[draw=black!30,fill=black!8] (1.4,3.29) rectangle (2.06,3.95);
5 \node[font=\small,align=center,font=\small] at (1.73,3.62) {$1$};
6 \path[draw=black!30,fill=white] (2.06,3.29) rectangle (2.72,3.95);
7 \node[font=\small,align=center,font=\small] at (2.39,3.62) {$0$};
8 \path[draw=black!30,fill=white] (1.4,2.63) rectangle (2.06,3.29);
9 \node[font=\small,align=center,font=\small] at (1.73,2.96) {$0$};
10 \path[draw=black!30,fill=white] (2.06,2.63) rectangle (2.72,3.29);
11 \node[font=\small,align=center,font=\small] at (2.39,2.96) {$0$};
12 \path[draw=black!30,fill=white] (1.4,1.97) rectangle (2.06,2.63);
13 \node[font=\small,align=center,font=\small] at (1.73,2.3) {$0$};
14 \path[draw=black!30,fill=white] (2.06,1.97) rectangle (2.72,2.63);
15 \node[font=\small,align=center,font=\small] at (2.39,2.3) {$0$};
16 \path[draw=black!30,fill=white] (1.4,1.31) rectangle (2.06,1.97);
17 \node[font=\small,align=center,font=\small] at (1.73,1.64) {$0$};
18 \path[draw=black!30,fill=white] (2.06,1.31) rectangle (2.72,1.97);
19 \node[font=\small,align=center,font=\small] at (2.39,1.64) {$0$};
20 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (1.25,3.62) {$u_0$};
21 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (1.25,2.96) {$u_1$};
22 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (1.25,2.3) {$u_2$};
23 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (1.25,1.64) {$u_3$};
24 \node[font=\small,align=center,font=\scriptsize] at (1.73,4.18) {$e_0$};
25 \node[font=\small,align=center,font=\scriptsize] at (2.39,4.18) {$e_1$};
26 \node[font=\small,align=center,font=\small] at (6.48,4) {$d_1:C^1\to C^2$};
27 \path[draw=black!30,fill=white] (5.1,2.61) rectangle (5.79,3.3);
28 \node[font=\small,align=center,font=\small] at (5.445,2.955) {$0$};
29 \path[draw=black!30,fill=black!8] (5.79,2.61) rectangle (6.48,3.3);
30 \node[font=\small,align=center,font=\small] at (6.135,2.955) {$1$};
31 \path[draw=black!30,fill=white] (6.48,2.61) rectangle (7.17,3.3);
32 \node[font=\small,align=center,font=\small] at (6.825,2.955) {$0$};
33 \path[draw=black!30,fill=white] (7.17,2.61) rectangle (7.86,3.3);
34 \node[font=\small,align=center,font=\small] at (7.515,2.955) {$0$};
35 \path[draw=black!30,fill=white] (5.1,1.92) rectangle (5.79,2.61);
36 \node[font=\small,align=center,font=\small] at (5.445,2.265) {$0$};
37 \path[draw=black!30,fill=white] (5.79,1.92) rectangle (6.48,2.61);
38 \node[font=\small,align=center,font=\small] at (6.135,2.265) {$0$};
39 \path[draw=black!30,fill=white] (6.48,1.92) rectangle (7.17,2.61);
40 \node[font=\small,align=center,font=\small] at (6.825,2.265) {$0$};
41 \path[draw=black!30,fill=white] (7.17,1.92) rectangle (7.86,2.61);
42 \node[font=\small,align=center,font=\small] at (7.515,2.265) {$0$};
43 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (4.95,2.955) {$f_0$};
44 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (4.95,2.265) {$f_1$};
45 \node[font=\small,align=center,font=\scriptsize] at (5.445,3.53) {$u_0$};
46 \node[font=\small,align=center,font=\scriptsize] at (6.135,3.53) {$u_1$};
47 \node[font=\small,align=center,font=\scriptsize] at (6.825,3.53) {$u_2$};
48 \node[font=\small,align=center,font=\scriptsize] at (7.515,3.53) {$u_3$};
49 \node[font=\small,align=center] at (11,3.7) {$d_1d_0=0$};
50 \node[font=\small,align=center] at (11,2.65) {$H^0=\langle[e_1]\rangle$};
51 \node[font=\small,align=center] at (11,1.85) {$H^1=\langle[u_2],[u_3]\rangle$};
52 \node[font=\small,align=center] at (11,1.05) {$H^2=\langle[f_1]\rangle$};
53 \node[font=\small,align=center,font=\footnotesize] at (6.8,0.2) {Packet A is exact. Packet B has zero differentials and carries all cohomology.};
54 \end{tikzpicture}
Other PDFs for this work
Original file and source record
This copy matches the recorded source file. Its publication here does not change the work’s review status.
SHA-256: 42fab6504d2fb64d1f3f5e9b77d315dabec90f0279d7e01f4dbe19a575c770ee
Back to Paper X: Universal Residual Seeds and Conditional Occupied-System Completion