The whole fonds — the 60 richest commutative diagrams

The whole fonds · the 60 richest commutative diagrams · by nodes, arrows and distinct symbols
Édition de démonstration

n° 140-1 · batch 2 · p. 28 — read it beside the facsimile1 / 60 · 19 nodes, 29 arrows, 25 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
\mathbb{Z}(\frac{\omega}{2}) \arrow[r] \arrow[d, Rightarrow] & \widetilde{\Pi}^{\circ}_{0,3} \arrow[r, Rightarrow] \arrow[d] & \Pi_{0,3} \arrow[d, hook] & \\
\mathbb{Z}(\omega) \arrow[r] \arrow[d, no head, "\parallel" description] & \widetilde{\Pi}'_{0,3} \arrow[r] \arrow[d] & \Pi'_{0,3} = \Pi_{0,3} \times \{1, \dot\omega\} \arrow[r] \arrow[d] & \Pi_{03} \arrow[d, hook] \\
\mathbb{Z} \arrow[r] \arrow[d, no head, "\parallel" description] & \widetilde{\mathrm{SL}}(2, \mathbb{Z}) = \widetilde{\Pi}^{D}_{0,3} \arrow[r] \arrow[d] & \mathrm{SL}(2, \mathbb{Z}) \arrow[r] \arrow[d] & \Pi^{D}_{0,3} \arrow[d] \\
\mathbb{Z} \arrow[r] \arrow[d, no head, "\parallel" description] & \widetilde{\mathbb{D}}_3 \arrow[r] \arrow[d] & \mathbb{D}'''_3 \arrow[r, "2"] \arrow[d, "3"] & \mathbb{D}''_3 \arrow[d, "3"] \\
\mathbb{Z} \arrow[r, "12"] & \mathbb{Z} \arrow[r] & \mathbb{Z}/12\mathbb{Z} \arrow[r, "2"] & \mathbb{Z}/6\mathbb{Z}
\end{tikzcd}

n° 130 · batch 3 · p. 46 — read it beside the facsimile2 / 60 · 22 nodes, 27 arrows, 23 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & 0 & 0 & 0 & 0 \\
0 \arrow[r] & \Phi(X) / (\mathbf{G}_m(X)/U) \arrow[r] \arrow[u] & \Gamma(X, \underline{\Phi}_X / (\underline{\mathcal{O}}^*_X / \underline{U}_X)) \arrow[r] \arrow[u] & \mathrm{Pic}(X) \arrow[r] \arrow[u] & H^1(X, \underline{\Phi}_X) \arrow[u] \\
0 \arrow[r] & \Phi(X) \arrow[r] \arrow[u] & QF(X) \arrow[r] \arrow[u] & \mathrm{Div}(X) \arrow[r] \arrow[u] & H^1(X, \underline{\Phi}_X) \arrow[u, no head, "\Vert" description] \\
0 \arrow[r] & \mathbf{G}_m(X)/U \arrow[r] \arrow[u] & R(X)^*/U \arrow[r] \arrow[u] & \mathrm{Div}_{\ell}(X) \arrow[r] \arrow[u] & 0 \arrow[u] \\
 & 0 \arrow[u] & 0 \arrow[u] & 0 \arrow[u] &
\end{tikzcd}

n° 135 · batch 2 · p. 31 — read it beside the facsimile3 / 60 · 28 nodes, 45 arrows, 9 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
G \arrow[d] & \Omega S \arrow[l] \arrow[d] & \Omega Y \arrow[l] \arrow[d] &
\Omega G \arrow[l] \arrow[d] & \Omega^{2} S \arrow[l] \arrow[d] &
\Omega^{2} Y \arrow[l] \arrow[d] & \Omega^{2} G \arrow[l] \arrow[d] \\
e \arrow[d] & F \arrow[l] \arrow[d] & F \arrow[l, Rightarrow] \arrow[d] &
e \arrow[l] \arrow[d] & \Omega F \arrow[l] \arrow[d] &
\Omega F \arrow[l, Rightarrow] \arrow[d] & e \arrow[l] \arrow[d] \\
X \arrow[d] & Z \arrow[l] \arrow[d] & G \arrow[l] \arrow[d] &
\Omega X \arrow[l] \arrow[d] & \Omega Z \arrow[l] \arrow[d] &
\Omega G \arrow[l] \arrow[d] & \Omega^{2} X \arrow[l] \arrow[d] \\
S & Y \arrow[l] & G \arrow[l] & \Omega S \arrow[l] & \Omega Y \arrow[l] &
\Omega G \arrow[l] & \Omega^{2} S \arrow[l]
\end{tikzcd}

n° 64 · batch 2 · p. 29 — read it beside the facsimile4 / 60 · 19 nodes, 24 arrows, 23 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
    & & & 1 \arrow[d] & & & \\
    & 1 \arrow[dr] & & \mathfrak{S}_I^+ \times \mathbb{F}_2^{\underline{\omega}} \arrow[dl, "\mathrm{pr}_1"'] \arrow[dr, "\mathrm{pr}_2"] \arrow[dd] & & 1 \arrow[dl] & \\
    & & \mathfrak{S}_I^+ \arrow[dl, Rightarrow] \arrow[dr] & & \mathbb{F}_2^{\underline{\omega}} \arrow[dl] \arrow[dr, Rightarrow] & & 1 \arrow[dl] \\
    1 \arrow[r] & \mathfrak{S}_I^+ \arrow[dr] & & \operatorname{GL}_\Lambda(M) \arrow[dl] \arrow[dr] \arrow[dd, "\text{cf.\ (24)}"] & & \mathbb{F}_2^{\underline{\omega}} \simeq V_{S_Q} \arrow[dl] & \\
    & & \mathfrak{S}_I \arrow[dl] \arrow[dr, "\mathrm{sg}"'] & & \mathfrak{D}_Q \arrow[dl, "\chi_C"] \arrow[dr] & & \\
    & 1 & & \{\pm 1\} \arrow[dl] \arrow[d] \arrow[dr] & & 1 & \\
    & & 1 & 1 & 1 & &
  \end{tikzcd}

n° 64 · batch 2 · p. 30 — read it beside the facsimile5 / 60 · 19 nodes, 24 arrows, 22 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
    & & & 1 \arrow[d] & & & \\
    & 1 \arrow[dr] & & \mathfrak{S}_I^+ \times \{1, -\mathrm{id}_M\} \arrow[dl, "\mathrm{pr}_1"'] \arrow[dr, "\mathrm{pr}_2"] \arrow[dd] & & 1 \arrow[dl] & \\
    & & \mathfrak{S}_I^+ \arrow[dl, Rightarrow] \arrow[dr] & & \{1, -\mathrm{id}_M\} \arrow[dl] \arrow[dr, "\wr"] & & 1 \arrow[dl] \\
    1 \arrow[r] & \mathfrak{S}_I^+ \arrow[dr] & & \operatorname{SL}_\Lambda(M) \arrow[dl] \arrow[dr] \arrow[dd, "\text{cf.\ (24)}"] & & \{1, \underline{a}_Q\} \simeq \mathbb{F}_2 \arrow[dl] & \\
    & & \mathfrak{S}_I \arrow[dl] \arrow[dr, "\mathrm{sg}"'] & & \mathfrak{D}_Q^+ \arrow[dl] \arrow[dr] & & \\
    & 1 & & \{\pm 1\} \arrow[dl] \arrow[d] \arrow[dr] & & 1 & \\
    & & 1 & 1 & 1 & &
  \end{tikzcd}

n° 135 · batch 2 · p. 37 — read it beside the facsimile6 / 60 · 28 nodes, 39 arrows, 9 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
S \arrow[d] & X' \arrow[l] \arrow[d] & F' \arrow[l] \arrow[d] &
\Omega S \arrow[l] \arrow[d] & \Omega X' \arrow[l] \arrow[d] &
\Omega F' \arrow[l] \arrow[d] & \Omega^{2} S \arrow[l] \arrow[d] \\
F \arrow[d] & G \arrow[l] \arrow[d] & \Phi \arrow[l] \arrow[d] &
\Omega F \arrow[l] \arrow[d] & \Omega G \arrow[l] \arrow[d] &
\Omega\Phi \arrow[l] \arrow[d] & \phantom{e} \\
X \arrow[d] & Z \arrow[l] \arrow[d] & G' \arrow[l] \arrow[d] &
\Omega X \arrow[l] \arrow[d] & \Omega Z \arrow[l] \arrow[d] &
\Omega G' \arrow[l] & \phantom{e} \\
S & X' \arrow[l] & F' \arrow[l] & \Omega S \arrow[l] &
\Omega X' \arrow[l] & \Omega F' \arrow[l] & \phantom{e}
\end{tikzcd}

n° 149 · batch 7 · p. 133 — read it beside the facsimile7 / 60 · 20 nodes, 22 arrows, 21 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & \pi_2(D_J) & T^{J} & \mathcal{E}_{U_J} & \mathcal{E}_{D_J} & \\
\cdots \arrow[r] & \pi_2(X_J) \arrow[u, no head, "\parallel"'] \arrow[r] \arrow[d] & \pi_1(\overline{\mathbb{G}}_m^{\,J}) \arrow[u, no head, "\wr"'] \arrow[r] \arrow[d] & \pi_1(U_J) \arrow[u, no head, "\wr"'] \arrow[r] \arrow[d] & \pi_1(X_J) \arrow[u, no head, "\wr"'] \arrow[r] \arrow[d] & 1 \\
\cdots \arrow[r] & \pi_2(\xi) \arrow[r] \arrow[d, no head, "\parallel"'] & \pi_1(U_{\overline{\xi}}) \arrow[r] \arrow[d, no head, "\wr"'] & \pi_1(U) \arrow[r] \arrow[d, no head, "\wr"'] & \pi_1(\xi) \arrow[r] \arrow[d, no head, "\wr"'] & 1 \\
 & 0 & \pi_{U/K} & \mathcal{E}_U & \mathcal{E}_K &
\end{tikzcd}

n° 117 · batch 2 · p. 24 — read it beside the facsimile8 / 60 · 24 nodes, 34 arrows, 11 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & & & & e \arrow[d] & \Omega^{3} Z \arrow[l] \arrow[d, "\Omega^{3} g"] & \Omega^{4} Y \arrow[l, "\Omega^{3} h"'] \arrow[d] \\
 & & & e \arrow[d] & \Omega^{3} Y \arrow[l] \arrow[d, "\Omega^{2} h"] & \Omega^{3} X \arrow[l, "\Omega^{3} f"'] \arrow[d] & e \arrow[l] \\
 & & e \arrow[d] & \Omega^{2} X \arrow[l] \arrow[d, "\Omega^{2} f"] & \Omega^{2} Z \arrow[l, "\Omega^{2} g"'] \arrow[d] & e \arrow[l] & \\
 & e \arrow[d] & \Omega Z \arrow[l] \arrow[d, "\Omega g"] & \Omega^{2} Y \arrow[l, "\Omega h"'] \arrow[d] & e \arrow[l] & & \\
e \arrow[d] & \Omega Y \arrow[l] \arrow[d, "h"] & \Omega X \arrow[l, "\Omega f"'] \arrow[d] & e \arrow[l] & & & \\
X \arrow[d, "f"'] & Z \arrow[l, "g"] \arrow[d] & e \arrow[l] & & & & \\
Y & e \arrow[l] & & & & &
\end{tikzcd}

n° 123 · batch 2 · p. 28 — read it beside the facsimile9 / 60 · 19 nodes, 29 arrows, 15 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
  T \arrow[r, no head, "\mathfrak{z}"] \arrow[d, no head, "T/\mu"'] & \mathfrak{z}(\mu) \arrow[r, no head, "(\mathbb{Z}/h\mathbb{Z})^{*}"] \arrow[d, no head, "T/\mu"] & N(\mu) \arrow[r, no head] \arrow[d, no head, "T/\mu"] & N \arrow[d, no head] & \\
  T \cap N' \arrow[r, no head, "\mathfrak{z}"] \arrow[d, no head, "0"'] & \mathfrak{z}(\mu) \cap N' \arrow[r, no head, "(\mathbb{Z}/h\mathbb{Z})^{*}"] \arrow[d, no head, "0"] & N(\mu) \cap N' \arrow[r, no head, "="] \arrow[d, no head, "(\mathbb{Z}/h\mathbb{Z})^{*}"] & N \cap N' \arrow[r, no head] \arrow[d, no head, "(\mathbb{Z}/h\mathbb{Z})^{*}"] & N' \arrow[d, no head] \\
  T \cap N(D) \arrow[r, no head, "\mathfrak{z}"] \arrow[d, no head, "\mu"'] & \mathfrak{z}(\mu) \cap N(D) \arrow[r, no head, "0"] \arrow[d, no head, "\mu"] & N(\mu) \cap N(D) \arrow[r, no head, "="] \arrow[d, no head, "\mu"] & N \cap N(D) \arrow[r, no head, "T'/\mathfrak{z}"] \arrow[d, no head, "\mu"] & N(D) = \mu \cdot T' \arrow[d, no head, "\mu"] \\
  T \cap T' \arrow[r, no head, "\mathfrak{z}"] & \mathfrak{z}(\mu) \cap T' \arrow[r, no head, "="] & N(\mu) \cap T' \arrow[r, no head, "="] & N \cap T' \arrow[r, no head, "T'/\mathfrak{z}"] & T'
\end{tikzcd}

n° 64 · batch 2 · p. 31 — read it beside the facsimile10 / 60 · 11 nodes, 16 arrows, 25 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
    & & & \operatorname{GL}_\Lambda(M) \simeq [\mathfrak{S}_I \cdot \mathbb{F}_2^{\underline{\omega}}] & & \\
    & & \mathfrak{S}_I^+ \times \mathbb{F}_2^{\underline{\omega}} \ [\mathfrak{S}_I \times \mathfrak{z}] \arrow[ur, "2"] & & \operatorname{SL}_\Lambda(M) \arrow[ul, "2"'] & \\
    & M_0 \times \mathbb{F}_2^{\underline{\omega}} \simeq \mathfrak{gl}(M_0) \arrow[ur, "3"] & & \mathfrak{S}_I^+ \times \mathfrak{z} \arrow[ul, "2"'] \arrow[ur, "2"] \arrow[uu, dashed] & & \\
    \mathbb{F}_2^{\underline{\omega}} \arrow[ur, "4"] & & M_0 \times \mathfrak{z} \simeq \mathfrak{sl}(M_0) \arrow[ul, "2"'] \arrow[ur, "3"] & & \mathfrak{S}_I^+ \arrow[ul, "2"'] & \\
    & \mathfrak{z} \arrow[ul, "2"'] \arrow[ur, "4"] & & M_0 \arrow[ul, "2"'] \arrow[ur, "3"] & & \\
    & & 1 \arrow[ul, "2"'] \arrow[ur, "4"] & & &
  \end{tikzcd}

n° 84 · batch 9 · p. 167 — read it beside the facsimile11 / 60 · 20 nodes, 25 arrows, 16 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=normal]
0 \arrow[r] & E_1 \otimes_0 E_2 \arrow[r, "\mu"] \arrow[d, "{\pi_1 \otimes \mathrm{id},\ \mathrm{id} \otimes \pi_2 \ (\text{cocart.})}"'] & E_1 \otimes E_2 \arrow[r] \arrow[d] & M_1 \otimes M_2 \arrow[r] \arrow[d, no head, "\|" description] & 0 \\
0 \arrow[r] & L_1 \otimes L_2 \arrow[r] \arrow[d, no head, "\|" description] & E_1 \vee E_2 \arrow[r] \arrow[d, "?"] & M_1 \otimes M_2 \arrow[r] \arrow[d, no head, "\|" description] & 0 \\
0 \arrow[r] & L_1 \otimes L_2 \arrow[r] \arrow[d, no head, "\|" description] & E_1 \wedge E_2 \arrow[r] \arrow[d, "\text{cart.}"] & M_1 \otimes M_2 \arrow[r] \arrow[d, "{\varpi_1 \otimes \mathrm{id},\ \mathrm{id} \otimes \varpi_2}"] & 0 \\
0 \arrow[r] & L_1 \otimes L_2 \arrow[r] & E_1 \otimes E_2 \arrow[r] & E_1 \otimes^{\circ} E_2 \arrow[r] & 0
\end{tikzcd}

n° 93 · batch 5 · p. 81 — read it beside the facsimile12 / 60 · 8 nodes, 7 arrows, 31 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
\mathcal{E}_X \arrow[r] \arrow[d, "\exp"'] & \mathcal{E}_X/\mathbb{G}_a(\mathbb{C}) \overset{\sim}{\rightarrow} \underline{\omega}^{1*}_X \arrow[r, "\varphi\mapsto\varphi^n"] & \mathcal{E}_X/(\mu_n\cdot\mathbb{G}_a)(\mathbb{C}) \overset{\sim}{\rightarrow} \underline{\omega}^{n}_X \arrow[r, "{\psi\mapsto -\frac{1}{n}\frac{d\psi}{\psi}}"] & \mathcal{E}_X/(\mathbb{G}_m\cdot\mathbb{G}_a)(\mathbb{C}) \overset{\sim}{\rightarrow} \mathrm{Conn}(\underline{\omega}^1_X) \arrow[d, "D\mapsto c_D"] \\
\mathcal{E}^*_X \arrow[r] & \mathcal{E}^*_X/\mathbb{G}_m(\mathbb{C}) \overset{\sim}{\rightarrow} \underline{\omega}^{1*}_X \arrow[r, "\varphi\mapsto\varphi^2"] & \mathcal{E}^*_X/(\mathbb{Z}/2\mathbb{Z}\cdot\mathbb{G}_m)(\mathbb{C}) \simeq \underline{\omega}^{2*}_X & \mathcal{E}_X/\mathrm{GP}(1,\mathbb{C}) \overset{\sim}{\rightarrow} \mathrm{Connproj}(X)
\end{tikzcd}

n° 136 · batch 3 · p. 55 — read it beside the facsimile13 / 60 · 25 nodes, 32 arrows, 10 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & & & & 0 & \\
 & & & 0 & A_3^{3} \arrow[u] \arrow[l] & \cdots \arrow[l] \\
 & & 0 & A_2^{2} \arrow[u] \arrow[l] & A_3^{2} \arrow[u, "d"] \arrow[l, "\partial"'] & \cdots \arrow[l] \\
 & 0 & A_1^{1} \arrow[u] \arrow[l] & A_2^{1} \arrow[u, "d"] \arrow[l, "\partial"'] & A_3^{1} \arrow[u, "d"] \arrow[l, "\partial"'] & \cdots \arrow[l] \\
0 & A_0 \arrow[l] & A_1^{0} \arrow[u, "d"] \arrow[l, "\partial"'] & A_2^{0} \arrow[u, "d"] \arrow[l, "\partial"'] & A_3^{0} \arrow[u, "d"] \arrow[l, "\partial"'] & \cdots \arrow[l] \\
0 \arrow[r] & A_0 \arrow[u, "\varepsilon_0"] & A_0 \arrow[u, "\varepsilon_1"] \arrow[l, "0"'] & A_0 \arrow[u, "\varepsilon_2"] \arrow[l, "\mathrm{id}"'] & A_0 \arrow[u, "\varepsilon_3"] \arrow[l, "0"'] & \cdots \arrow[l, "\mathrm{id}"']
\end{tikzcd}

n° 144 · batch 7 · p. 135 — read it beside the facsimile14 / 60 · 15 nodes, 20 arrows, 21 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
\mathcal{M}(0) \arrow[r, leftrightarrow] \arrow[d, no head] & \mathcal{M}^{\Pi}[0] \arrow[rr, hook] \arrow[d, no head] \arrow[dr, hook, "6"] & & \mathcal{M}^! \arrow[dr, hook] \arrow[d, no head] & \\
\mu_\tau \arrow[r, hook] \arrow[d, no head] & D^{\Pi}_0 \arrow[d, no head] \arrow[dr, hook, "2"] & \mathcal{M}^{\mathfrak{S}}[0] \arrow[d, no head] & \Pi' = \mathfrak{S}^! \arrow[dr, hook] \arrow[d, no head] & \mathcal{M} \arrow[d, no head] \\
\{1\} \arrow[r, hook, "\hat{\mathbb{Z}}"] & L^{\Pi}_0 \arrow[dr, hook, "2"] & D^{\mathfrak{S}}_0 \arrow[d, no head] & \underline\Pi = \mathfrak{S}^{+!} \arrow[dr, hook, "6"] & \mathfrak{S} \arrow[d, no head] \\
 & & L^{\mathfrak{S}}_0 & & \mathfrak{S}^+
\end{tikzcd}

n° 118 · batch 1 · p. 4 — read it beside the facsimile15 / 60 · 18 nodes, 26 arrows, 16 symbols

LaTeX source

\begin{tikzcd}[column sep=tiny, row sep=small, nodes={font=\scriptsize}]
 & & & & B \overset{\mathrm{def}}{=} F\cap C \arrow[dl] \arrow[dr] & & & & \\
 & & & F\cap Pr \arrow[dl] \arrow[dr] & & Sm\cap C \arrow[dl] \arrow[dr] & & & \\
 & & F\cap S \arrow[dl, "F\cap WSC"'] \arrow[dr] & & Sm\cap Pr \arrow[dl] \arrow[dr] & & S\cap C \arrow[dl] \arrow[dr, "WSF\cap C"] & & \\
 & (F) \arrow[dr] & & Sm\cap S \arrow[dl, "Sm\cap WSC"'] \arrow[dr] \arrow[dddd] & & S\cap Pr \arrow[dl] \arrow[dr, "WSF\cap Pr"] \arrow[dddd] & & (C) \arrow[dl] & \\
 & & (Sm) & & (S) \arrow[d] & & (Pr) & & \\
 & & & & \boxed{WSB} \arrow[d] & & & & \\
 & & & & WSF\cap WSC \arrow[dl] \arrow[dr] & & & & \\
 & & & WSF \arrow[dr] & & WSC \arrow[dl] & & & \\
 & & & & \mathrm{Fl}(\mathrm{Cat}) & & & &
\end{tikzcd}

n° 123 · batch 2 · p. 38 — read it beside the facsimile16 / 60 · 13 nodes, 19 arrows, 22 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
  & & & e \arrow[dl, no head, "1"'] \arrow[d, no head, "1"] \arrow[dr, no head, "1"] & \\
  & & t \arrow[dl, no head, "r-1"'] \arrow[d, no head] \arrow[r, no head, "="] & t \arrow[dl, no head] \arrow[dr, no head, "1"] & b_u \arrow[d, no head, "1"] \arrow[dr, no head, "r-1"] & \\
  N_1 \arrow[r, no head, "\circ"] \arrow[d, no head] & T \arrow[d, no head, "\mathbb{Z}/2\mathbb{Z}"] & n \arrow[dr, no head, "2"'] \arrow[dl, no head, "r-1"'] & & b \arrow[dl, no head, "1"] \arrow[dr, no head, "r-1"] & Z(b_u) \arrow[d, no head, "1(\mathbb{G}_m)"] \\
  N \arrow[r, no head] & N_0 & & H & & N(b_u)
\end{tikzcd}

n° 93 · batch 5 · p. 81 — read it beside the facsimile17 / 60 · 8 nodes, 7 arrows, 30 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
\mathcal{E}_X \arrow[r, "d"] \arrow[d, "\exp"'] & {[\mathcal{E}_X/\mathbb{G}_a(\mathbb{C}) \overset{\sim}{\rightarrow} \underline{\omega}^{1*}_X]} \arrow[r, "\alpha_n"] & {[\mathcal{E}_X/(\mu_n\cdot\mathbb{G}_a)(\mathbb{C}) \overset{\sim}{\rightarrow} \underline{\omega}^{n*}_X]} \arrow[r, "\beta_n"] & {[\mathcal{E}_X/(\mathbb{G}_m\cdot\mathbb{G}_a)(\mathbb{C}) \overset{\sim}{\rightarrow} \mathrm{Conn}(\underline{\omega}^1_X)]} \arrow[d, "\gamma"] \\
\mathcal{E}^*_X \arrow[r] & {[\mathcal{E}^*_X/\mathbb{G}_m(\mathbb{C}) \simeq \underline{\omega}^{1*}_X]} \arrow[r, "\alpha'_2"] & {[\mathcal{E}^*_X/(\mathbb{Z}/2\mathbb{Z}\cdot\mathbb{G}_m)(\mathbb{C}) \simeq \underline{\omega}^{2*}_X]} & {[\mathcal{O}_X/\mathrm{GP}(1)(\mathbb{C}) \simeq \mathrm{Conn}(X)]}
\end{tikzcd}

n° 143 · batch 2 · p. 32 — read it beside the facsimile18 / 60 · 19 nodes, 21 arrows, 17 symbols

LaTeX source

\begin{tikzcd}[column sep=tiny, row sep=small, nodes={font=\scriptsize}]
    1 \arrow[dr] & & 1 \arrow[dr] & & & & & & \\
    1 \arrow[r] & \widehat{\pi}_{g,\nu} \arrow[rr, "\sim"] \arrow[dr] & &
      \widehat{\pi}_{g,\nu} \arrow[rr] \arrow[dr] & & 1 \arrow[dr] & & & \\
    & 1 \arrow[r] & \widehat{\mathcal{T}}_{g,\nu+1} \arrow[rr] \arrow[dr] & &
      \mathrm{Aut}_{\mathrm{lac}}^{\circ}(\widehat{\pi}_{g,\nu})^{!} \arrow[rr] \arrow[dr] & &
      \Gamma \arrow[r] \arrow[dr, no head, "=" description] & 1 & \Sigma_{\nu+1} \\
    & & 1 \arrow[r] & \widehat{\mathcal{T}}_{g,\nu} \arrow[rr] \arrow[dr] & &
      \mathrm{Autext}_{\mathrm{lac}}^{\circ}(\widehat{\pi}_{g,\nu})^{!} \arrow[rr] \arrow[dr] & &
      \Gamma \arrow[r] & 1 \quad \Sigma_\nu \\
    & & & & 1 & & 1 & &
  \end{tikzcd}

n° 140-1 · batch 2 · p. 28 — read it beside the facsimile19 / 60 · 14 nodes, 17 arrows, 21 symbols

LaTeX source

\begin{tikzcd}[column sep=tiny, row sep=small, nodes={font=\scriptsize}]
 & \mathrm{SL}(2, \mathbb{Z}) \arrow[r] \arrow[d] & \Pi^{D}_{0,3} \arrow[d] & & \\
\widetilde{E} \arrow[r] \arrow[d] \arrow[dr, dashed] & \mathbb{D}_3 \times_{\mathbb{Z}/12\mathbb{Z}} \mathbb{Z}/12\mathbb{Z} \simeq \mathbb{D}'_3 \times_{\mathbb{Z}/12\mathbb{Z}} \mathbb{Z}/6\mathbb{Z} \arrow[r] & \mathbb{D}_3 \times_{\mathbb{Z}/12\mathbb{Z}} \mathbb{Z}/6\mathbb{Z} = E & & \\
\widetilde{\mathbb{D}}_3 \arrow[dr, Rightarrow] & \mathbb{Z} \arrow[r, dashed] & \mathbb{Z}/12\mathbb{Z} \arrow[r, dashed, "\mathrm{can}"] \arrow[d, dashed] & \mathbb{Z}/6\mathbb{Z} \arrow[d, "\mathrm{can}"] & \\
 & \mathbb{D}'_3 \arrow[r, Rightarrow] \arrow[d] & \mathbb{D}_3 \arrow[r, "\mathrm{can}"] & \mathbb{Z}/2\mathbb{Z} & \\
\mathbb{Z} \arrow[r] & \mathbb{Z}/4\mathbb{Z} \arrow[urr, "\mathrm{can}"'] & & &
\end{tikzcd}

n° 135 · batch 2 · p. 37 — read it beside the facsimile20 / 60 · 27 nodes, 35 arrows, 5 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
X_{20} \arrow[d] & & & & & & & & & \\
X_{10} \arrow[d] & & & & & & & & & \\
X_{00} & X_{01} \arrow[l] & X_{02} \arrow[l] &
\Omega X_{00} \arrow[l] \arrow[d] & \Omega X_{01} \arrow[l] \arrow[d] &
\Omega X_{02} \arrow[l] \arrow[d] & \Omega^{2} X_{00} \arrow[l] \arrow[d] &
& & \\
& & & X_{20} \arrow[d] & X_{21} \arrow[l] \arrow[d] &
X_{22} \arrow[l] \arrow[d] & \Omega X_{20} \arrow[l] \arrow[d] & & & \\
& & & X_{10} \arrow[d] & X_{11} \arrow[l] \arrow[d] &
X_{12} \arrow[l] \arrow[d] & \Omega X_{10} \arrow[l] \arrow[d] & & & \\
& & & X_{00} & X_{01} \arrow[l] & X_{02} \arrow[l] &
\Omega X_{00} \arrow[l] \arrow[d] & & & \\
& & & & & & X_{20} \arrow[d] & & & \\
& & & & & & X_{10} \arrow[d] & & & \\
& & & & & & X_{00} & X_{01} \arrow[l] & X_{02} \arrow[l] &
\Omega X_{00} \arrow[l]
\end{tikzcd}

n° 57 · batch 13 · p. 255 — read it beside the facsimile21 / 60 · 10 nodes, 13 arrows, 24 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
H^i(X_0, \mathbb{Z}) \arrow[r] \arrow[d, no head, "="] & R^if_*(\mathcal{O}_X)_y \arrow[r] \arrow[d, "u^i"] & R^if_*(\mathcal{O}^*_X)_y \arrow[r, "\partial^i"] \arrow[d, "w^i"] & H^{i+1}(X_0, \mathbb{Z}) \arrow[r, "\alpha^{i+1}"] \arrow[d, no head, "="] & R^{i+1}f_*(\mathcal{O}_X)_y \arrow[d, "u^{i+1}"] \\
H^i(X_0, \mathbb{Z}) \arrow[r] & R^if_*(\mathcal{O}_X)_y^{\wedge} \arrow[r] & \varprojlim_n H^i(X_n, \mathcal{O}^*_{X_n}) \arrow[r, "\hat{\partial}^i"] & H^{i+1}(X_0, \mathbb{Z}) \arrow[r, "\hat{\alpha}^{i+1}"] & R^{i+1}f_*(\mathcal{O}_X)_y^{\wedge}
\end{tikzcd}

n° 122 · batch 1 · p. 14 — read it beside the facsimile22 / 60 · 13 nodes, 18 arrows, 19 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & & T = \partial M & & t \arrow[ll] \\
 & W & Q \arrow[l, hook'] \arrow[u, "2"'] & & N = D_{1} \sim e \arrow[ll, hook'] \arrow[u, no head] \\
\partial N = S^{1} & P \arrow[l] \arrow[u, leftrightarrow] & S^{1} \times T \arrow[l, hook'] \arrow[u, hook] & & \partial N = S^{1} \arrow[ll, leftrightarrow] \arrow[u, hook] \\
s \arrow[u] & M \arrow[l] \arrow[u, hook] & \partial M = T \arrow[l, hook'] \arrow[u, leftrightarrow] & & (s, t) \arrow[ll] \arrow[u, hook]
\end{tikzcd}

n° 140-1 · batch 2 · p. 35 — read it beside the facsimile23 / 60 · 14 nodes, 17 arrows, 19 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
1 \arrow[r] & \overset{\omega' = \varpi^{-1}}{\mathbb{Z}} \arrow[r] \arrow[d, no head, "\parallel" description] & S\Pi^{D}_{0,3} \arrow[r] \arrow[d] & \Pi^{D}_{03} \arrow[r] \arrow[d, hook] & 1 \\
1 \arrow[r] & \mathbb{Z} \arrow[r] & S\Pi^{D}_{03}(4) \arrow[r] & \Pi^{D}_{03} \times \mathbb{Z}/4\mathbb{Z} \arrow[r] & 1 \\
1 \arrow[r] & \underset{\omega^2}{\mathbb{Z}} \arrow[r] \arrow[u] & S\mathcal{T}_{11} \arrow[r] \arrow[u] & \mathcal{T}_{11} \arrow[u, leftrightarrow] &
\end{tikzcd}

n° 143 · batch 2 · p. 32 — read it beside the facsimile24 / 60 · 19 nodes, 22 arrows, 14 symbols

LaTeX source

\begin{tikzcd}[column sep=tiny, row sep=small, nodes={font=\scriptsize}]
    1 \arrow[dr] & & 1 \arrow[dr] & & & & & & \\
    1 \arrow[r] & \pi_1(\overline{X}_\xi \smallsetminus S_\nu) \arrow[rr] \arrow[dr] & &
      \pi_1(\overline{X}_\xi \smallsetminus S_\nu) \arrow[rr] \arrow[dr] & & 1 \arrow[dr] & & & \\
    & 1 \arrow[r] & \pi_1(\overline{M}_{g,\nu+1}) \arrow[rr] \arrow[dr] & &
      \pi_1(M_{g,\nu+1}) \arrow[rr] \arrow[dr] & & \Gamma \arrow[r] \arrow[dr] & 1 & \\
    & & 1 \arrow[r] & \pi_1(\overline{M}_{g,\nu}) \arrow[rr] \arrow[dr] & &
      \pi_1(M_{g,\nu}) \arrow[rr] \arrow[dr] & & \Gamma \arrow[r] \arrow[dr] & 1 \\
    & & & & 1 & & 1 & & 1
  \end{tikzcd}

n° 161-5 · batch 2 · p. 28 — read it beside the facsimile25 / 60 · 20 nodes, 19 arrows, 15 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & \prod_{\sigma/\mathbb{Z}_p} \mathbb{G}_m \arrow[r] & T_{\sigma_K} \arrow[r] & \mathbb{Z} \arrow[r] & 0 \\
0 \arrow[r] & g_\sigma \arrow[r] & N \arrow[r] & \mathbb{Z} \arrow[r] & 0 \\
0 \arrow[r] & g_\sigma \arrow[u, Rightarrow] \arrow[r] & \tilde{N} \arrow[u] \arrow[r] & \mathbb{Z}_\sigma \arrow[u] \arrow[r] & 0 \\
0 \arrow[r] & g_K \arrow[r] & \tilde{N}_K \arrow[r] & \mathbb{Z}_K \arrow[r] & 0 \\
 & & g_K \times \mathbb{Z}_K \arrow[u, no head, "\simeq" description] & &
\end{tikzcd}

n° 115 · batch 1 · p. 5 — read it beside the facsimile26 / 60 · 18 nodes, 20 arrows, 15 symbols

LaTeX source

\begin{tikzcd}[column sep=tiny, row sep=small, nodes={font=\scriptsize}]
(\widehat{B}_{\to}) & & & & & & (\widehat{A}_{\to}) \\
& \underline{\mathrm{Hom}}^{!}(\widehat{B}^{\circ},\widehat{A}) \arrow[rr, bend left=22] \arrow[dd, bend right=22] & & \underline{\mathrm{Hom}}^{!!}(\widehat{A}^{\circ},\widehat{B}^{\circ};\,\mathrm{Ens}) & & \underline{\mathrm{Hom}}^{!}(\widehat{A}^{\circ},\widehat{B}) \arrow[ll, bend right=22] \arrow[dd, bend left=22] \arrow[dl] & \\
& & \underline{\mathrm{Hom}}(B^{\circ},\widehat{A}) \arrow[ul] & & \underline{\mathrm{Hom}}(A^{\circ},\widehat{B}) & & \\
& \underline{\mathrm{Hom}}_{!}^{!}(A^{\vee},\widehat{B}^{\circ};\,\mathrm{Ens}) & & \substack{(A\times B)^{\wedge} \\ =\, \underline{\mathrm{Hom}}(A^{\circ},B^{\circ};\,\mathrm{Ens})} \arrow[ul] \arrow[ur] \arrow[dl] \arrow[dr] \arrow[uu, no head, "\wedge\wedge" description] \arrow[ll, no head, "\vee\wedge" description] \arrow[rr, no head, "\wedge\vee" description] \arrow[dd, no head, "\vee\vee" description] & & \underline{\mathrm{Hom}}^{!}_{!}(\widehat{A}^{\circ},B^{\vee};\,\mathrm{Ens}) & \\
& & \underline{\mathrm{Hom}}(A^{\circ},\widehat{B}) \arrow[dl] & & \underline{\mathrm{Hom}}(B^{\circ},\widehat{A}) \arrow[dr] & & \\
& \underline{\mathrm{Hom}}_{!}(A^{\vee},\widehat{B}) \arrow[uu, bend left=22] \arrow[rr, bend right=22] & & \underline{\mathrm{Hom}}_{!!}(A^{\vee},B^{\vee};\,\mathrm{Ens}) & & \underline{\mathrm{Hom}}_{!}(B^{\vee},\widehat{A}) \arrow[uu, bend right=22] \arrow[ll, bend left=22] & \\
(A^{\vee}_{\to}) & & & & & & (B^{\vee}_{\to})
\end{tikzcd}

n° 140-1 · batch 2 · p. 30 — read it beside the facsimile27 / 60 · 16 nodes, 26 arrows, 13 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
\mathbb{Z} \arrow[r] \arrow[d, no head, "\parallel" description] & \widetilde\Pi \arrow[r] \arrow[d] & \Pi' \arrow[r] \arrow[d] \arrow[ddr, bend left=20] & \Pi \arrow[d] \arrow[dr] & \\
\mathbb{Z} \arrow[r] \arrow[d, no head, "\parallel" description] & \widetilde{\mathbb{D}}_3 \arrow[r] \arrow[d] & \mathbb{D}'''_3 \arrow[r] \arrow[d] \arrow[dr] & \mathbb{D}''_3 \arrow[d] \arrow[r, Rightarrow] & \mathbb{D}_3 \arrow[dd] \\
\mathbb{Z} \arrow[r, "12"] & \mathbb{Z} \arrow[r] & \mathbb{Z}/12\mathbb{Z} \arrow[d] & \mathbb{D}'_3 \arrow[ur] \arrow[d, no head] & \\
 & & \mathbb{Z}/4\mathbb{Z} \arrow[rr] & \mathbb{Z}/6\mathbb{Z} \arrow[r] & \mathbb{Z}/2\mathbb{Z}
\end{tikzcd}

n° 130 · batch 3 · p. 44 — read it beside the facsimile28 / 60 · 17 nodes, 20 arrows, 14 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small]
 & & 0 & & \\
0 \arrow[r, dashed] & \underline{\Phi}_X / \mathrm{Im}\, \underline{\mathcal{O}}^*_X \arrow[r, dashed, "\simeq"] & \underline{\Phi}_X / \mathrm{Im}\, \underline{\mathcal{O}}^*_X \arrow[u] \arrow[r, dashed] & 0 & \\
0 \arrow[r] & \underline{\Phi}_X \arrow[r] \arrow[u, dashed] & \underline{QF}_X \arrow[r] \arrow[u] & \underline{\mathrm{Div}}_X \arrow[u, dashed, "\wr"] & \\
0 \arrow[r] & \underline{\mathcal{O}}^*_X / \underline{U}_X \arrow[r] \arrow[u] & \underline{R}^*_X / \underline{U}_X \arrow[r, dashed] \arrow[u] & \underline{\mathrm{Div}}_X \arrow[r, dashed] \arrow[u, dashed, "\wr"] & 0 \\
 & 0 \arrow[u] & 0 \arrow[u] & 0 \arrow[u, dashed, "\wr"] &
\end{tikzcd}

n° 34 · batch 7 · p. 134 — read it beside the facsimile29 / 60 · 15 nodes, 19 arrows, 15 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & X' \arrow[r, hook'] \arrow[d] & U' \arrow[d, no head] & U'_{\overline{\eta}} \arrow[l] \arrow[r, no head] \arrow[dd, "\varphi"] & U' \times_{S_1} \overline{\lambda} \arrow[dd] \\
X & X_1 \arrow[l] \arrow[d] & U_1 \arrow[l, hook'] \arrow[d] & & \\
Y = S[T_1, \ldots, T_r] \arrow[d] & S_1 \arrow[l] \arrow[r, no head, "="] & S_1 \arrow[d] & S_{1\overline{\eta}} \arrow[l] \arrow[r, no head] \arrow[d, no head] & \overline{\lambda} \\
S & & S & \overline{\eta} \arrow[l] &
\end{tikzcd}

n° 118 · batch 1 · p. 2 — read it beside the facsimile30 / 60 · 14 nodes, 18 arrows, 16 symbols

LaTeX source

\begin{tikzcd}[column sep=0pt, row sep=small, nodes={font=\tiny}]
 & & W\cap F\cap C \arrow[dl] \arrow[dr] & & \\
 & W\cap F\cap Pr \arrow[dl] \arrow[dr] & & W\cap Sm\cap C \arrow[dl] \arrow[dr] & \\
 W\cap F\cap S = T\cap F \arrow[dr] & & W\cap Sm\cap Pr \arrow[dl] \arrow[dr] & & W\cap S\cap C = T\cap C \arrow[dl] \\
 & W\cap Sm\cap S = T\cap Sm \arrow[dr] & & W\cap S\cap Pr = T\cap Pr \arrow[dl] & \\
 & & W\cap S = T\cap S = \mathcal{U}W \arrow[d] & & \\
 & & \mathrm{Bias} = W\cap \mathrm{Spr}B \arrow[d] & & \\
 & & \mathrm{As}\cap \mathrm{As}^{\circ} \arrow[dl] \arrow[dr] & & \\
 & \mathrm{As}^{\circ} = W\cap \mathrm{Spr}F \arrow[dr] & & \mathrm{As} = W\cap \mathrm{Spr}C \arrow[dl] & \\
 & & W & &
\end{tikzcd}

n° 137 · batch 1 · p. 3 — read it beside the facsimile31 / 60 · 14 nodes, 16 arrows, 17 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=normal, nodes={font=\scriptsize}]
  0 \arrow[r] & \Gamma^{n}\Phi_{*} \arrow[r] \arrow[d, "u_{0}"] & \Gamma^{n-1}\Phi_{*} \otimes \Psi_{*} \arrow[r] \arrow[d, "u_{1}"] & \Gamma^{n-2}\Phi_{*} \otimes \Lambda^{2}\Psi_{*} \arrow[r] \arrow[d, "u_{2}"] & \cdots \arrow[r] & \Lambda^{n}\Psi_{*} \arrow[r] \arrow[d, "u_{n}"] & 0 \arrow[d] \\
  0 \arrow[r] & \Phi_{*} \arrow[r, "\wedge T"'] & \Lambda^{2}\Phi_{*} \arrow[r, "\wedge T"'] & \Lambda^{3}\Phi_{*} & \cdots \arrow[r, "\wedge T"'] & \Lambda^{n+1}\Phi_{*} \arrow[r, "\wedge T"'] & \Lambda^{n+2}\Phi_{*}
\end{tikzcd}

n° 144 · batch 1 · p. 12 — read it beside the facsimile32 / 60 · 16 nodes, 18 arrows, 15 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & 1 & 1 & & \\
1 \arrow[r] & \hat{\mathcal{T}}^{+}_{g,\nu} \arrow[r] \arrow[u] & \mathcal{N}_{g,\nu} \arrow[r] \arrow[u] & \Gamma_{\bar{\mathbb{Q}}/\mathbb{Q}} \arrow[r] & 1 \\
1 \arrow[r] & \hat{\mathfrak{S}}^{+}_{g,\nu} \arrow[r] \arrow[u] & \mathcal{M}_{g,\nu} \arrow[r] \arrow[u] & \Gamma_{\bar{\mathbb{Q}}/\mathbb{Q}} \arrow[r] \arrow[u, no head, "="'] & 1 \\
 & \hat\pi_{g,\nu} \arrow[r, no head, "="] \arrow[u] & \hat\pi_{g,\nu} \arrow[u] & & \\
 & 1 \arrow[u] & 1 \arrow[u] & &
\end{tikzcd}

n° 144 · batch 1 · p. 19 — read it beside the facsimile33 / 60 · 16 nodes, 18 arrows, 15 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & 1 \arrow[d] & 1 \arrow[d] & & \\
 & \hat\pi_{g,\nu} \arrow[r, no head, "="] \arrow[d] & \hat\pi_{g,\nu} \arrow[d] & & \\
1 \arrow[r] & \hat{\mathfrak{S}}_{g,\nu} \arrow[r] \arrow[d] & \mathcal{M}_{g,\nu} \arrow[r] \arrow[d] & \Gamma_{\bar{\mathbb{Q}}/\mathbb{Q}} \arrow[r] \arrow[d, no head, "\parallel"] & 1 \\
1 \arrow[r] & \hat{\mathcal{T}}_{g,\nu} \arrow[r] \arrow[d] & \mathcal{N}_{g,\nu} \arrow[r] \arrow[d] & \Gamma_{\bar{\mathbb{Q}}/\mathbb{Q}} \arrow[r] & 1 \\
 & 1 & 1 & &
\end{tikzcd}

n° 36 · batch 4 · p. 64 — read it beside the facsimile34 / 60 · 9 nodes, 12 arrows, 21 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small]
H^1(X, \mu_n) \arrow[r, "\alpha"] \arrow[d] & {}_n\mathrm{Pic}(X) \arrow[d] & & \\
H^1(X_\eta, \mu_n)/(\mathbf{Z}/n\mathbf{Z}) \arrow[r, "\alpha_\eta"] \arrow[d] & {}_n\mathrm{Pic}(X_\eta) \arrow[r, "\beta_\eta"] \arrow[d] & {}_nP(K) \arrow[r, "\simeq"] \arrow[d] & {}_nP(\bar K)^I \arrow[dl, bend left=20] \\
H^1(X_{\bar\eta}, \mu_n) \arrow[r, "\alpha_{\bar\eta}"] & {}_n\mathrm{Pic}(X_{\bar\eta}) \arrow[r, "\beta_{\bar\eta}"] & {}_nP(\bar K) &
\end{tikzcd}

n° 140-1 · batch 1 · p. 7 — read it beside the facsimile35 / 60 · 12 nodes, 13 arrows, 19 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & & \mathbb{Z}/2\mathbb{Z} \arrow[d] & & \\
1 \arrow[r] & \Pi_{0,3} \arrow[r] \arrow[d, no head, "=" description] & \mathrm{GL}(2,\mathbb{Z}) \arrow[r] \arrow[d, "2"] & \mathbb{D}'_3 \times \{1, \tau\} \arrow[r] \arrow[d, "2"] & 1 \\
1 \arrow[r] & \Pi_{0,3} \arrow[r] & \mathrm{GL}(2,\mathbb{Z})' \arrow[r] \arrow[d, no head, "\wr" description] & \mathbb{D}_3 \times \{1, \tau\} \arrow[r] & 1 \\
 & & \pi_1(\uncertain{U}_{0,3}, \mathbb{D}_3 \times \{1, \tau\}; P_+) & &
\end{tikzcd}

n° 118 · batch 1 · p. 4 — read it beside the facsimile36 / 60 · 13 nodes, 17 arrows, 16 symbols

LaTeX source

\begin{tikzcd}[column sep=0pt, row sep=small, nodes={font=\tiny}]
 & & \mathrm{str}\ W\cap F\cap C \arrow[dl] \arrow[dr] & & \\
 & \mathrm{str}\ W\cap F\cap Pr \arrow[dl] \arrow[dr] & & W\cap Sm\cap C \arrow[dl] \arrow[dr] & \\
 W\cap F\cap S = T\cap F \arrow[dr] & & W\cap Sm\cap Pr \arrow[dl] \arrow[dr] & & W\cap S\cap C = T\cap C \arrow[dl] \\
 & W\cap Sm\cap S = T\cap Sm \arrow[dr] & & W\cap S\cap Pr = T\cap Pr \arrow[dl] & \\
 & & W\cap S = T\cap S = UW \arrow[d, "\mathrm{str}"] & & \\
 & & \mathrm{Tot}\,\mathrm{As} = W\cap WSB \arrow[dl, "\mathrm{str}"'] \arrow[dr] & & \\
 & \mathrm{As}^{\circ} = W\cap WSF \arrow[dr, "\mathrm{str}"'] & & \mathrm{As} = W\cap WSC \arrow[dl] & \\
 & & W & &
\end{tikzcd}

n° 135 · batch 3 · p. 55 — read it beside the facsimile37 / 60 · 14 nodes, 14 arrows, 17 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
(A \otimes TA') \otimes (E \otimes TE') \arrow[r, "u \otimes v"]
\arrow[d, "a"'] &
(B \otimes TB') \otimes (F \otimes TF') \arrow[d, "a"] \\
((A \otimes TA') \otimes E) \otimes TE'
\arrow[d, "a^{-1} \otimes \mathrm{id}"'] &
((B \otimes TB') \otimes F) \otimes TF'
\arrow[d, "a^{-1} \otimes \mathrm{id}"] \\
(A \otimes (TA' \otimes E)) \otimes TE'
\arrow[d, "(\mathrm{id} \otimes c) \otimes \mathrm{id}"'] &
(B \otimes (TB' \otimes F)) \otimes TF'
\arrow[d, "(\mathrm{id} \otimes c) \otimes \mathrm{id}"] \\
(A \otimes (E \otimes TA')) \otimes TE'
\arrow[d, "a \otimes \mathrm{id}"'] &
(B \otimes (F \otimes TB')) \otimes TF'
\arrow[d, "a \otimes \mathrm{id}"] \\
((A \otimes E) \otimes TA') \otimes TE' \arrow[d, "a^{-1}"'] &
((B \otimes F) \otimes TB') \otimes TF' \arrow[d, "a^{-1}"] \\
(A \otimes E) \otimes (TA' \otimes TE')
\arrow[d, "\mathrm{id} \otimes \check{T}"'] &
(B \otimes F) \otimes (TB' \otimes TF')
\arrow[d, "\mathrm{id} \otimes \check{T}"] \\
(A \otimes E) \otimes T(A' \otimes E') \arrow[r, "W"'] &
(B \otimes F) \otimes T(B' \otimes F')
\end{tikzcd}

n° 140-1 · batch 1 · p. 19 — read it beside the facsimile38 / 60 · 14 nodes, 20 arrows, 14 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
1 \arrow[r] & \mathbb{Z} \arrow[r] \arrow[dd, no head, "=" description] & S\mathcal{T}_{11} \arrow[rr, Rightarrow] \arrow[dd] & & \mathcal{T}_{11} \arrow[rr, Rightarrow] \arrow[dd] \arrow[dr, leftrightarrow] & & \Pi^{\mathbb{D}'}_{03} \arrow[dr, "\mathrm{can}"] \arrow[dd] & \\
 & & & & & \mathbb{D}'_3 \arrow[rr] \arrow[dd] & & \mathbb{D}_3 \arrow[dd, "\mathrm{can}"] \\
1 \arrow[r] & \mathbb{Z} \arrow[r, "12"] & \mathbb{Z} \arrow[rr, "\mathrm{can}"] & & \mathbb{Z}/12\mathbb{Z} \arrow[rr, "\mathrm{can}"] \arrow[dr, "\mathrm{can}"'] & & \mathbb{Z}/6\mathbb{Z} \arrow[dr, "\mathrm{can}"] & \\
 & & & & & \mathbb{Z}/4\mathbb{Z} \arrow[rr, "\mathrm{can}"] & & \mathbb{Z}/2\mathbb{Z}
\end{tikzcd}

n° 144 · batch 1 · p. 18 — read it beside the facsimile39 / 60 · 16 nodes, 18 arrows, 14 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & 1 \arrow[d] & 1 \arrow[d] & & \\
 & \pi_{X,x} \arrow[r, no head, "="] \arrow[d] & \pi_{X,x} \arrow[d] & & \\
1 \arrow[r] & \mathfrak{S}_{X,x} \arrow[r] \arrow[d] & M_{X,x} \arrow[r] \arrow[d] & \Gamma_{\tilde{\mathbb{Q}}/\mathbb{Q}} \arrow[r] \arrow[d, no head, "\parallel"] & 1 \\
1 \arrow[r] & \mathcal{T}_X \arrow[r] \arrow[d] & N_X \arrow[r] \arrow[d] & \Gamma_{\tilde{\mathbb{Q}}/\mathbb{Q}} \arrow[r] & 1 \\
 & 1 & 1 & &
\end{tikzcd}

n° 144 · batch 2 · p. 22 — read it beside the facsimile40 / 60 · 16 nodes, 18 arrows, 14 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & 1 \arrow[d] & 1 \arrow[d] & & \\
 & \pi_{X,x} \arrow[r, no head, "="] \arrow[d] & \pi_{X,x} \arrow[d] & & \\
1 \arrow[r] & \mathfrak{G}_{X,x} \arrow[r] \arrow[d] & \mathcal{M}_{X,x,K} \arrow[r] \arrow[d] & \Gamma_{\overline{K}|K} \arrow[r] \arrow[d, no head, "\parallel"] & 1 \\
1 \arrow[r] & \mathcal{T}_{X} \arrow[r] \arrow[d] & \mathcal{N}_{X,x,K} \arrow[r] \arrow[d] & \Gamma_{\overline{K}|K} \arrow[r] & 1 \\
 & 1 & 1 & &
\end{tikzcd}

n° 12 · batch 4 · p. 76 — read it beside the facsimile41 / 60 · 12 nodes, 13 arrows, 18 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & M^{\pi} \otimes \mathbb{Q}_{\ell}/\mathbb{Z}_{\ell} \arrow[d, no head, "\wr" description] & & & \\
0 \arrow[r] & H^{0}(S, A) \otimes \mathbb{Q}_{\ell}/\mathbb{Z}_{\ell} \arrow[r] \arrow[d] & H^{1}(S, {}_{\ell^{\infty}}A) \arrow[r] \arrow[d] & H^{1}(S, A)(\ell) \arrow[r] \arrow[d] & 0 \\
0 \arrow[r] & (H^{0}(\overline{S}, \overline{A}) \otimes \mathbb{Q}_{\ell}/\mathbb{Z}_{\ell})^{\pi} \arrow[r] \arrow[d, no head, "\wr" description] & H^{1}(\overline{S}, {}_{\ell^{\infty}}\overline{A})^{\pi} \arrow[r] & H^{1}(\overline{S}, \overline{A})(\ell)^{\pi} \arrow[r] & 0 \\
 & (M \otimes \mathbb{Q}_{\ell}/\mathbb{Z}_{\ell})^{\pi} & & &
\end{tikzcd}

n° 36 · batch 5 · p. 82 — read it beside the facsimile42 / 60 · 21 nodes, 24 arrows, 8 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small]
 & 0 \arrow[d] & 0 \arrow[d] & 0 \arrow[d] & \\
0 \arrow[r] & \Phi \arrow[r] \arrow[d] & P^0 \arrow[r] \arrow[d] & Q^0 \arrow[r] \arrow[d] & 0 \\
0 \arrow[r] & E \arrow[r] \arrow[d] & P' \arrow[r] \arrow[d] & Q' \arrow[r] \arrow[d] & 0 \\
0 \arrow[r] & E/\Phi \arrow[r] \arrow[d] & E^* \arrow[r] \arrow[d] & \Psi \arrow[r] \arrow[d] & 0 \\
 & 0 & 0 & 0 &
\end{tikzcd}

n° 64 · batch 2 · p. 34 — read it beside the facsimile43 / 60 · 10 nodes, 11 arrows, 20 symbols

LaTeX source

\begin{tikzcd}[column sep=small]
    1 \arrow[r] & \operatorname{End}(M_0)/\mathbb{F}_2 \cdot \mathrm{id}_{M_0} \arrow[r] \arrow[d, "\wr"] & \operatorname{GL}(M)' \arrow[r] \arrow[d, "\wr"] & \operatorname{GL}_{\mathbb{F}_2}(M_0) \simeq \mathfrak{S}_J \arrow[r] \arrow[d, "\wr"] & 1 \\
    1 \arrow[r] & \mathbb{F}_2^J \simeq M_0 \times \mathbb{F}_2 \arrow[r] & \operatorname{Aut}_{\mathrm{oct}}(\Delta_M) \arrow[r] & \mathfrak{S}_J \arrow[r] & 1
  \end{tikzcd}

n° 117 · batch 2 · p. 24 — read it beside the facsimile44 / 60 · 19 nodes, 26 arrows, 8 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & & e \arrow[dl] & & e \arrow[dl] & & e \arrow[dl] & & e \arrow[dl] & & \\
Y & X \arrow[l] & Z \arrow[l] \arrow[dl] & \Omega Y \arrow[l] \arrow[ul] & \Omega X \arrow[l] \arrow[dl] & \Omega Z \arrow[l] \arrow[ul] & \Omega^{2} Y \arrow[l] \arrow[dl] & \Omega^{2} X \arrow[l] \arrow[ul] & \Omega^{2} Z \arrow[l] \arrow[dl] & \Omega^{3} Y \arrow[l] \arrow[ul] & \cdots \arrow[l] \\
 & e \arrow[ul] & & e \arrow[ul] & & e \arrow[ul] & & e \arrow[ul] & & &
\end{tikzcd}

n° 137 · batch 2 · p. 24 — read it beside the facsimile45 / 60 · 13 nodes, 16 arrows, 16 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small]
 & \Psi^{i-1} \arrow[r] \arrow[d, "u\circ d"] & \Phi^{i} \arrow[r] \arrow[d] & \Psi^{i} \arrow[d, no head, "="] & \\
0 \arrow[r] & \Psi^{i-1} \arrow[r, "D"] \arrow[d, "\wr"] & \Phi(i,-) \arrow[r] \arrow[d, "\alpha=?"] & \Psi^{i} \arrow[r] \arrow[d, "\wr"] & 0 \\
0 \arrow[r] & \Psi^{i-1} \arrow[r] & \Phi(i,m) \arrow[r, "u"] & \Psi^{i} \arrow[r] & 0
\end{tikzcd}

n° 143 · batch 2 · p. 29 — read it beside the facsimile46 / 60 · 10 nodes, 11 arrows, 20 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=normal, nodes={font=\scriptsize}]
    1 \arrow[r] & \pi_1(\overline{M}_{g,\nu;\xi}) \arrow[r] \arrow[d, "\wr"'] &
      \pi_1(M_{g,\nu;\xi}) \arrow[r] \arrow[d] & \Gamma \arrow[r] \arrow[drr] & 1 & \\
    1 \arrow[r] & \widehat{\mathcal{T}}_{g,\nu} \arrow[r] &
      \mathrm{Autext}_{\mathrm{lac}}^{\circ}\bigl(\pi_1(X \smallsetminus \{x_1, \ldots, x_\nu\})\bigr)
      \arrow[rrr] & & & \mathrm{Out}\ldots \arrow[d] \\
    & & & & & 1
  \end{tikzcd}

n° 118 · batch 1 · p. 2 — read it beside the facsimile47 / 60 · 18 nodes, 24 arrows, 9 symbols

LaTeX source

\begin{tikzcd}[column sep=tiny, row sep=small, nodes={font=\scriptsize}]
 & & & & F\cap C \arrow[dl, "F\cap C'"'] \arrow[dr, "F'\cap C"] & & & & \\
 & & & F\cap Pr \arrow[dl] \arrow[dr, "F'\cap Pr"] & F'\cap C' & Sm\cap C \arrow[dl, "Sm\cap C'"'] \arrow[dr] & & & \\
 & & F\cap S \arrow[dl] \arrow[dr, "F'\cap S"] & & Sm\cap Pr \arrow[dl] \arrow[dr] & & S\cap C \arrow[dl, "S\cap C'"'] \arrow[dr] & & \\
 & F \arrow[dr, "F'"] & & Sm\cap S \arrow[dl] \arrow[dr] \arrow[dddd, dashed] & & S\cap Pr \arrow[dl] \arrow[dr] \arrow[dddd, dashed] & & C \arrow[dl, "C'"] & \\
 & & Sm & & S \arrow[d] & & Pr & & \\
 & & & & \mathrm{Spr}B \arrow[d] & & & & \\
 & & & & \mathrm{Spr}F\cap \mathrm{Spr}C \arrow[dl] \arrow[dr] & & & & \\
 & & & \mathrm{Spr}F & & \mathrm{Spr}C & & &
\end{tikzcd}

n° 132 · batch 1 · p. 3 — read it beside the facsimile48 / 60 · 15 nodes, 19 arrows, 13 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
\pi_2(Z) \arrow[r] & \pi_2(Y) \arrow[r] \arrow[d] & \pi_1(F) \arrow[r] \arrow[d, "\text{épi}"] & \pi_1(Z) \arrow[r] \arrow[d] & \pi_1(Y) \arrow[r] \arrow[d, "\wr"] & \pi_0(F) \arrow[r] \arrow[d, "\wr"] & \pi_0(Z) \arrow[r] \arrow[d] & 1 \\
& 1 \arrow[r] & \pi_1(\Phi) \arrow[r] & \pi_1(\widetilde{Z}) \arrow[r] & \pi_1(\widetilde{Y}) \arrow[r] & \pi_0(\Phi) \arrow[r] & \pi_0(\widetilde{Z}) \arrow[r] & 1
\end{tikzcd}

n° 144 · batch 1 · p. 14 — read it beside the facsimile49 / 60 · 15 nodes, 17 arrows, 14 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & & 1 \arrow[d] & 1 \arrow[d] & \\
1 \arrow[r] & \pi_{X,x} \arrow[r] \arrow[d, no head, "\parallel"] & \mathfrak{S}_{X,x} \arrow[r] \arrow[d] & \mathcal{T}_X \arrow[r] \arrow[d] & 1 \\
1 \arrow[r] & \pi_{X,x} \arrow[r] & \mathcal{M}_{X,x} \arrow[r] \arrow[d] & \mathcal{N}_X \arrow[r] \arrow[d] & 1 \\
 & & \Gamma_{\bar{\mathbb{Q}}/\mathbb{Q}} \arrow[r, "\sim"] & \Gamma_{\bar{\mathbb{Q}}/\mathbb{Q}} \arrow[d] & \\
 & & & 1 &
\end{tikzcd}

n° 29 · batch 8 · p. 150 — read it beside the facsimile50 / 60 · 12 nodes, 13 arrows, 17 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
& \operatorname{Im}(\pi_1(\bar{X}_s) \to \pi_1(X)) \arrow[d, no head] & & & \\
e \arrow[r] & \operatorname{Ker}[\pi_1(X) \to \pi_1(S)] \arrow[r, "\sim"] & \pi_1(X) \times_{\pi_1(S)} \pi_1(Y) \arrow[r] & \pi_1(Y) \arrow[r] & e \\
e \arrow[r] & \operatorname{Ker}[\pi_1(X \times_S Y) \to \pi_1(Y)] \arrow[u] \arrow[d, no head] \arrow[r] & \pi_1(X \times_S Y) \arrow[u] \arrow[r] & \pi_1(Y) \arrow[u] \arrow[r] & e \\
& \operatorname{Im}(\pi_1(\bar{X}_s) \to \pi_1(X \times_S Y)) & & &
\end{tikzcd}

n° 29 · batch 9 · p. 180 — read it beside the facsimile51 / 60 · 14 nodes, 27 arrows, 9 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
Y & X_0^0 \arrow[l, dashed] & X_1^1 \arrow[l, bend left=12]
  \arrow[l, bend right=12] & X_2^2 \arrow[l, bend left=20] \arrow[l]
  \arrow[l, bend right=20] \\
\xi \arrow[u] & X_0^{\xi} \arrow[l] \arrow[u] & X_1^{\xi}
  \arrow[l, bend left=12] \arrow[l, bend right=12] \arrow[u] & X_2^{\xi}
  \arrow[l, bend left=20] \arrow[l] \arrow[l, bend right=20] \arrow[u] \\
& K_0^0 & K_1^1 \arrow[l, bend left=12] \arrow[l, bend right=12] & K_2^2
  \arrow[l, bend left=20] \arrow[l] \arrow[l, bend right=20] \\
& k_0^0 \arrow[u, "i_0"] & k_1^1 \arrow[l] \arrow[u, "i_1"] & k_2^2
  \arrow[l, bend left=12] \arrow[l, bend right=12] \arrow[u, "i_2"]
\end{tikzcd}

n° 64 · batch 2 · p. 27 — read it beside the facsimile52 / 60 · 10 nodes, 11 arrows, 19 symbols

LaTeX source

\begin{tikzcd}[column sep=small]
    1 \arrow[r] & \operatorname{End}_{\mathbb{F}_2}(M_0) \arrow[r] & \operatorname{GL}_\Lambda(M) \arrow[r] & \operatorname{GL}(M_0) \simeq \mathfrak{S}_J \arrow[r] & 1 \\
    1 \arrow[r] & M_0 \times \mathbb{F}_2^{\underline{\omega}} \arrow[r] \arrow[u, "\wr"'] & \operatorname{Aut}(M_0, I_M, S_M) \arrow[r] \arrow[u, "\wr"'] & \operatorname{GL}(M_0) \arrow[r] \arrow[u, no head, "\|" description] & 1
  \end{tikzcd}

n° 93 · batch 10 · p. 185 — read it beside the facsimile53 / 60 · 9 nodes, 10 arrows, 20 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & & 0 \arrow[d] & & \\
 & & R^1f_*(\mathcal{O}_{X/S}) & & \\
0 \arrow[r] & R^1f_*(\mathcal{O}_X)^{(p)} \arrow[r, "\alpha"] \arrow[ur, "F\ (\mathrm{Frob})"] & \mathcal{H}^1_{DR} \arrow[r, "\beta"] \arrow[u] & f_*(\Omega^1_{X/S})^{(p)} \arrow[r] & 0\\
 & & f_*(\Omega^1_{X/S}) \arrow[u] \arrow[ur, "C\ (\text{op. de Cartier})"'] & & \\
 & & 0 \arrow[u] & &
\end{tikzcd}

n° 97 · batch 1 · p. 11 — read it beside the facsimile54 / 60 · 10 nodes, 13 arrows, 18 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
\mathrm{Br}(\bar{Y}) \arrow[r] \arrow[d, "\alpha"] &
\mathrm{Br}(\bar{X}) \arrow[r] \arrow[d, "\beta"] &
H^{1}(\bar{Y},\bar{P}) \arrow[r] \arrow[d, "\gamma"] &
H^{3}(\bar{Y},\underline{\mathbb{G}}_{m}) \arrow[r] \arrow[d, "\alpha'"] &
H^{3}(\bar{X},\underline{\mathbb{G}}_{m}) \arrow[d, "\beta'"] \\
\mathrm{Br}(y) \arrow[r] & \mathrm{Br}(X_{y}) \arrow[r] &
H^{1}(y,P_{0}) \arrow[r] & H^{3}(y,\underline{\mathbb{G}}_{m}) \arrow[r] &
H^{3}(X_{y},\underline{\mathbb{G}}_{m})
\end{tikzcd}

n° 148 · batch 1 · p. 19 — read it beside the facsimile55 / 60 · 14 nodes, 17 arrows, 14 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small]
1 \arrow[r] & \mathcal{T}^{!}_{0,4} \arrow[r] \arrow[d, no head, "\wr"'] & \mathcal{T}_{0\,4} \arrow[r] \arrow[d] & \mathfrak{S}_4 \arrow[r] \arrow[d] & 1 \\
1 \arrow[r] & \pi_{0,3} \arrow[r] & \mathcal{T}'_{0\,4} \arrow[r] & \mathfrak{S}_3 \arrow[r] & 1 \\
1 \arrow[r] & \pi_{0,3}(2,\mathbf{Z}) \arrow[r] \arrow[u, no head, "\wr"] & \mathcal{T}_{1,1} \arrow[r] \arrow[u] & \widetilde{\mathfrak{S}}_3 \arrow[u]
\end{tikzcd}

n° 23 · batch 2 · p. 23 — read it beside the facsimile56 / 60 · 11 nodes, 13 arrows, 17 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
  & X \times_{S} Y \arrow[d] & \pi^{(n)}(Y/X/S) \arrow[l] \arrow[d]
    & Y \arrow[l, "\varepsilon^{n}(Y/X/S)"'] \arrow[d] \\
  X & X \times_{S} X \arrow[l, "pr_{1}"']
    & \Delta^{(n)}_{X/S} \arrow[l, "i^{(n)}_{X/S}"'] \arrow[d]
    & X \arrow[l, "\Delta_{X/S}"'] \arrow[d] \\
  X' & X' \times_{S} X \arrow[l] & (\Gamma_{\varphi})^{(n)} \arrow[l]
    & X' \arrow[l]
\end{tikzcd}

n° 122 · batch 2 · p. 23 — read it beside the facsimile57 / 60 · 3 nodes, 3 arrows, 26 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & L^\bullet \overset{\mathbf{L}}{\otimes}_{\Lambda} \mathbb{R}\Gamma(S^1) \simeq L^\bullet \times L^\bullet[-1] \arrow[dl, "{(\alpha',\ \beta')}"'] & \\
\mathbb{R}\mathrm{Hom}_{\Lambda}(K^{\bullet\,\pi}, \Lambda)[-2n-1] \arrow[rr] & & K^{\bullet\,\pi} \simeq \mathbb{R}\Gamma(P) \simeq \mathbb{R}\Gamma(W - W_0) \arrow[ul, "{(\alpha,\ \beta)}"']
\end{tikzcd}

n° 14 · batch 7 · p. 130 — read it beside the facsimile58 / 60 · 9 nodes, 12 arrows, 18 symbols

LaTeX source

\begin{tikzcd}[column sep=large]
 & C \times S & \\
C \arrow[d, hook, "\operatorname{codim} j+1"'] & P(N) \arrow[l] \arrow[u, no head, "\simeq" description] \arrow[d, hook, "\alpha"] & C_{y} \arrow[l, hook'] \arrow[d, hook, "\alpha_{y}"] \\
X & X' \arrow[l, "f"] \arrow[d] & Y(y) \arrow[l, hook', "i'_{y}"] \arrow[d] \arrow[ll, bend left=35, "i_{y}"] \\
 & S & y \arrow[l]
\end{tikzcd}

n° 18 · batch 1 · p. 5 — read it beside the facsimile59 / 60 · 11 nodes, 12 arrows, 17 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & \pi \arrow[d, "u"] & & & \\
 & G(\mathbb{Q}_{p}) \arrow[d, no head, "p"'] & & & \\
 & G(\mathbb{C}) \arrow[d, no head, "j_{1}"'] & & & \\
1 \arrow[r] & G'(\mathbb{Q}) \arrow[r] \arrow[d, no head] & E \arrow[r] & \pi \arrow[r] \arrow[l, bend left=30, "\sigma_{1}"] \arrow[l, bend right=30, "\sigma_{2}"'] & 1 \\
 & G'(\mathbb{Q}_{p}) & & & \\
 & G_{m}(\mathbb{Q}_{p}) = \mathbb{Q}_{p}^{*} \arrow[u, "j_{2}"] & & & \\
 & \pi \arrow[u, "\chi"] & & &
\end{tikzcd}

n° 43 · batch 1 · p. 14 — read it beside the facsimile60 / 60 · 12 nodes, 13 arrows, 16 symbols

LaTeX source

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & 0 \arrow[d] & & & \\
k^{*} \arrow[r] \arrow[dr] & U(k) \arrow[dr] & & & \\
0 \arrow[r] & K^{*} \arrow[r] & \mathbf{V}(k) \arrow[r] \arrow[dr] & J(k) \arrow[r] \arrow[d] & 0 \\
 & & & \mathcal{D}(k) \arrow[r] \arrow[d] & J_C(k) \arrow[r] & \mathrm{Hom}(\mathbb{G}_m, \mathbb{G}_m) = \mathbb{Z} \\
 & & & 0 & &
\end{tikzcd}