Cote n° 90 · pages 1–21 · 11 displayed formulas · KG (X) : notes manuscrites (s.d.).
Inventory dating : [à partir de 1964]
Édition de démonstration

batch 1 · p. 1 — read it beside the facsimile1 / 11 · 6 distinct symbols, 29 written
\[M \hookrightarrow A^{I} \qquad (I \text{ un ensemble convenable})\]
LaTeX source
\[
  M \hookrightarrow A^{I} \qquad (I \text{ un ensemble convenable})
\]
batch 1 · p. 3 — read it beside the facsimile2 / 11 · 9 distinct symbols, 17 written
\[(g,h)f(s) = f(g^{-1}sh) .\]
LaTeX source
\[
  (g,h)f(s) = f(g^{-1}sh) .
\]
batch 1 · p. 3 — read it beside the facsimile3 / 11 · 5 distinct symbols, 19 written
\[\Delta N \subset N \otimes B \qquad \text{resp.}\qquad \Delta N \subset B \otimes N .\]
LaTeX source
\[
  \Delta N \subset N \otimes B \qquad \text{resp.}\qquad
  \Delta N \subset B \otimes N .
\]
batch 1 · p. 3 — read it beside the facsimile4 / 11 · 10 distinct symbols, 20 written
\[\Delta\widetilde{N} \subset (\widetilde{N} \otimes B) \cap (B \otimes N) = N \otimes N\]
LaTeX source
\[
  \Delta\widetilde{N} \subset (\widetilde{N} \otimes B) \cap (B \otimes N)
  = N \otimes N
\]
batch 1 · p. 7 — read it beside the facsimile5 / 11 · 5 distinct symbols, 24 written
\[B = \varinjlim B_i , \quad \text{où } B_i \subset B \text{ sont tels que}\]
LaTeX source
\[
  B = \varinjlim B_i , \quad \text{où } B_i \subset B \text{ sont tels que}
\]
batch 1 · p. 7 — read it beside the facsimile6 / 11 · 7 distinct symbols, 9 written
\[\delta_i \colon E \to B_i \otimes E .\]
LaTeX source
\[
  \delta_i \colon E \to B_i \otimes E .
\]
batch 1 · p. 13 — read it beside the facsimile7 / 11 · 17 distinct symbols, 86 written
\[\left\lbrace \begin{array}{l} \mathcal{B} = \varinjlim \mathcal{B}_i \\ 1)\ \mathcal{B}/\mathcal{B}_i \text{ plat, donc } \mathcal{B}_i \otimes \mathcal{B}_i \subset \mathcal{B} \otimes \mathcal{B} \\ 2)\ \Delta \mathcal{B}_i \subset \mathcal{B}_i \otimes \mathcal{B}_i \\ 3)\ \mathcal{B}_i \text{ loc. libres de t.f.} \end{array} \right.\]
LaTeX source
\[
  \left\lbrace
  \begin{array}{l}
    \mathcal{B} = \varinjlim \mathcal{B}_i \\
    1)\ \mathcal{B}/\mathcal{B}_i \text{ plat, donc }
      \mathcal{B}_i \otimes \mathcal{B}_i \subset \mathcal{B} \otimes \mathcal{B} \\
    2)\ \Delta \mathcal{B}_i \subset \mathcal{B}_i \otimes \mathcal{B}_i \\
    3)\ \mathcal{B}_i \text{ loc. libres de t.f.}
  \end{array}
  \right.
\]
batch 1 · p. 17 — read it beside the facsimile8 / 11 · 5 distinct symbols, 31 written
\[\mathcal{B} = \varinjlim \mathcal{B}_i , \qquad \mathcal{B}_i \subset \mathcal{B} \text{ sous-Modules avec}\]
LaTeX source
\[
  \mathcal{B} = \varinjlim \mathcal{B}_i , \qquad
  \mathcal{B}_i \subset \mathcal{B} \text{ sous-Modules avec}
\]
batch 1 · p. 19 — read it beside the facsimile9 / 11 · 9 distinct symbols, 17 written
\[\underline{\Gamma}_{*}(E) = \coprod_n f_{*}(E(n)) .\]
LaTeX source
\[
  \underline{\Gamma}_{*}(E) = \coprod_n f_{*}(E(n)) .
\]
batch 1 · p. 19 — read it beside the facsimile10 / 11 · 8 distinct symbols, 13 written
\[\underline{\Gamma}^{\cdot}(\underline{O}_X) = \struck{\ill{}}\, A^{\cdot}\]
LaTeX source
\[
  \underline{\Gamma}^{\cdot}(\underline{O}_X) = \struck{\ill{}}\, A^{\cdot}
\]
batch 2 · p. 21 — read it beside the facsimile11 / 11 · 7 distinct symbols, 20 written
\[\underline{\Gamma}^{\cdot}(F) \subset \underline{\Gamma}^{\cdot}(F') \subset \underline{\Gamma}^{\cdot}(E)\]
LaTeX source
\[
  \underline{\Gamma}^{\cdot}(F) \subset \underline{\Gamma}^{\cdot}(F')
  \subset \underline{\Gamma}^{\cdot}(E)
\]