Cote n° 142 · pages 2–111 · 14 commutative diagrams · Action de Galois sur Teichmüller : notes manuscrites (s.d.).
Inventory dating : [à partir de 1978]
Édition de démonstration

batch 1 · p. 2 — read it beside the facsimile1 / 14
LaTeX source
\begin{tikzcd}
X\times I \arrow[rr, "\alpha\,\sim"] \arrow[dr, "F"'] & & Y'\times I \arrow[dl, "p\times\mathrm{id}_{I}"] \\
 & Y\times I &
\end{tikzcd}
batch 1 · p. 13 — read it beside the facsimile2 / 14
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & & Y' \arrow[r, "u"] & Y \arrow[dr, "w"] & & \\
X \arrow[r, "\hat{f}_{0}\,\sim"] & Y' \arrow[r, "u"'] \arrow[ur, "\hat{\varphi}^{\prime}"] & Y \arrow[ur, "\hat{\varphi}"] \arrow[rr, "\hat{g}_{0}\,\sim"] & & Z' \arrow[r, "v"'] & Z
\end{tikzcd}
batch 2 · p. 25 — read it beside the facsimile3 / 14
LaTeX source
\begin{tikzcd}[column sep=small]
\Pi_{0,3} \arrow[rr, "\sim"] \arrow[dr, "{\varphi^{\omega'}_{\omega' i}\,\wr}"'] & & \pi(Q_i) \\
& \pi(R^{\omega'}_{\omega' i}) \arrow[ur, "{(c_i^{\omega})^{-1},\,\sim}"'] &
\end{tikzcd}
batch 2 · p. 30 — read it beside the facsimile4 / 14
LaTeX source
\begin{tikzcd}[column sep=small]
\Pi_{0,3} \arrow[rr, "\tilde\psi_i^{\omega}"] \arrow[dr, "\psi_i^{\omega}"'] & & \pi(P^{\omega}) \\
& \pi(Q_i) \arrow[ur, "(d_i^{\omega})^{-1}"'] &
\end{tikzcd}
batch 2 · p. 38 — read it beside the facsimile5 / 14
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
& & \mathrm{III} \arrow[dl, hook'] \arrow[dr, hook] & & \\
\mathrm{I} \arrow[r, hook] \arrow[dr, hook] & \mathrm{II} \arrow[dr, hook] & & \mathrm{IV} \arrow[dl, hook'] & \mathrm{V} \arrow[l, hook'] \\
& \mathrm{VII} \arrow[r, hook] & \mathrm{VI} & &
\end{tikzcd}
batch 3 · p. 54 — read it beside the facsimile6 / 14
LaTeX source
\begin{tikzcd}[column sep=large]
  & \Pi_{0,3} \arrow[dl, "\psi_\varepsilon^{i\omega}"'] \arrow[dr, "\psi_i^{\omega,\varepsilon}"] & \\
  \Pi_\varepsilon \arrow[rr, bend left=15, "\varphi_{i\varepsilon}"] & & \Pi_i \arrow[ll, bend left=15, "\varphi_{\varepsilon i}"]
\end{tikzcd}
batch 3 · p. 56 — read it beside the facsimile7 / 14
LaTeX source
\begin{tikzcd}[column sep=small]
  & \Pi_{0,3} \arrow[dl, "{\psi_r = \psi_{\omega,i}^{\varepsilon}}"'] \arrow[dr, "{\psi_{g(r)} = \psi_{g(\omega),g(i)}^{g(\varepsilon)}}"] & \\
  \Pi_\varepsilon \arrow[rr, "\pi_1(g)"'] & & \Pi_\varepsilon
\end{tikzcd}
batch 4 · p. 61 — read it beside the facsimile8 / 14
LaTeX source
\begin{tikzcd}
\Pi_{0,3} \arrow[r, "\Psi_r = \Psi_\varepsilon^{\omega,i}"] & \pi_1(\widetilde{\Sigma},P_\varepsilon) \simeq \pi_1(\Sigma^{*},P_\varepsilon) \arrow[r, leftrightarrow, "\varphi_r^{-1}"] & \Pi_r
\end{tikzcd}
batch 4 · p. 63 — read it beside the facsimile9 / 14
LaTeX source
\begin{tikzcd}[column sep=small]
& \Pi_{0,3} \arrow[dl, "\Psi_i^{\omega}"'] \arrow[d, "\Psi_i^{\omega}"] \arrow[dr, "\Psi_\omega^{i}"] & \\
\pi_1(\widetilde{\Sigma},R^{\omega}_{\omega i}) \arrow[r, leftrightarrow, "b_i^{\omega'}(\cdot)"'] & \pi_1(\widetilde{\Sigma},Q_i) \arrow[r, leftrightarrow, "\varphi_{i\omega} = c_i^{\omega}(\cdot)"'] & \pi_1(\widetilde{\Sigma},P_\omega) \\
& = \Pi_i & = \Pi_\omega
\end{tikzcd}
batch 4 · p. 73 — read it beside the facsimile10 / 14
LaTeX source
\begin{tikzcd}[column sep=small]
T \arrow[rr, "f"] \arrow[dr, "p"'] & & T' \arrow[dl, "p'"] \\
& X &
\end{tikzcd}
batch 5 · p. 86 — read it beside the facsimile11 / 14
LaTeX source
\begin{tikzcd}
  C \arrow[r, hook, "i"] \arrow[d, "f"'] & X \\
  U_{0,3} &
\end{tikzcd}
batch 6 · p. 109 — read it beside the facsimile12 / 14
LaTeX source
\begin{tikzcd}
  E_0 \arrow[r, no head] \arrow[d] & \pi_0(E_0) \arrow[d] \\
  \mathrm{Ssgr}(\pi) \arrow[r] & \mathrm{Ssgr}(E)/\pi
\end{tikzcd}
batch 6 · p. 111 — read it beside the facsimile13 / 14
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
  & \Sigma_n^{\ast\cdot} \simeq \Sigma_{2n}^{\ast\cdot} \arrow[dl] \arrow[dr] & \\
  \Sigma_{2n}^{\ast\cdot}/D_{2n}^+ \arrow[d] & & \Sigma_n^{\ast\cdot}/D_n^+ \\
  \Sigma_{2n}^{\ast\cdot}/D_{2n} & &
\end{tikzcd}
batch 6 · p. 111 — read it beside the facsimile14 / 14
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
  & \Sigma_n^{\ast\cdot} \simeq \Sigma_{2n}^{\ast\cdot} \arrow[d] & \\
  & \Sigma_n^{\ast\cdot}/D_n^+ \simeq \Sigma_1^{\ast\ast} \simeq \Sigma_2^{\ast\cdot} \arrow[dl] \arrow[dr] & \\
  \Sigma_n^{\ast\ast}/D_{2n}^+ \arrow[dr] & & \Sigma_n^{\ast\cdot}/D_n \arrow[dl] \\
  & \Sigma_n^{\ast\cdot}/D_{2n} &
\end{tikzcd}