Cote n° 103 · pages 2–15
· 17 displayed formulas · Courrier [Correspondance sur la thèse de Sinh] : copies d'article annoté (1974), lettres (1974).
Inventory dating : 1974
Édition de démonstration
\[\mathrm{Aut}(1_C) \rightrightarrows \mathrm{Aut}(X)\]
LaTeX source
\[ \mathrm{Aut}(1_C) \rightrightarrows \mathrm{Aut}(X) \]\[\varphi_{a,b} : L_a \otimes L_b \simeq L_{ab} ,\]
LaTeX source
\[ \varphi_{a,b} : L_a \otimes L_b \simeq L_{ab} , \]\[(L_a \otimes L_b) \otimes L_c \simeq L_a \otimes (L_b \otimes L_c) ,\]
LaTeX source
\[ (L_a \otimes L_b) \otimes L_c \simeq L_a \otimes (L_b \otimes L_c) , \]
\[L_{abc} \simeq L_{abc} ,\]
LaTeX source
\[ L_{abc} \simeq L_{abc} , \]\[f(a,b,c) \in \pi_1(C) .\]
LaTeX source
\[ f(a,b,c) \in \pi_1(C) . \]
\[f : \pi_0 \times \pi_0 \times \pi_0 \longrightarrow \pi_1 .\]
LaTeX source
\[ f : \pi_0 \times \pi_0 \times \pi_0 \longrightarrow \pi_1 . \]
\[k(C) \in H^3(\pi_0(C), \pi_1(C)) .\]
LaTeX source
\[ k(C) \in H^3(\pi_0(C), \pi_1(C)) . \]
\[s(C) = s : \pi_0 \longrightarrow {}_2(\pi_1) ,\]
LaTeX source
\[ s(C) = s : \pi_0 \longrightarrow {}_2(\pi_1) , \]\[\underline{\mathrm{Hom}}_{\otimes \mathrm{AUC}}(S^{-1}C, G)
\longrightarrow \underline{\mathrm{Hom}}^{S}_{\otimes \mathrm{AUC}}(C, G)\]
LaTeX source
\[ \underline{\mathrm{Hom}}_{\otimes \mathrm{AUC}}(S^{-1}C, G)
\longrightarrow \underline{\mathrm{Hom}}^{S}_{\otimes \mathrm{AUC}}(C, G) \]\[X \otimes (Y \oplus Z) \simeq X \otimes Y \oplus X \otimes Z\]
LaTeX source
\[ X \otimes (Y \oplus Z) \simeq X \otimes Y \oplus X \otimes Z \]
\[\tau_{\leq 2}\, R\underline{\mathrm{Hom}}(M,N) = E(M,N)\]
LaTeX source
\[ \tau_{\leq 2}\, R\underline{\mathrm{Hom}}(M,N) = E(M,N) \]\[\begin{cases}
\underline{H}^i = \underline{\mathrm{Ext}}^i(M,N) & \text{pour } 0 \leq i \leq 2 \\
\underline{H}^i = 0 & \text{si } i \notin [0,2]
\end{cases}\]
LaTeX source
\[ \begin{cases}
\underline{H}^i = \underline{\mathrm{Ext}}^i(M,N) & \text{pour } 0 \leq i \leq 2 \\
\underline{H}^i = 0 & \text{si } i \notin [0,2]
\end{cases} \]\[(*) \qquad 0 \longrightarrow \underline{\mathrm{Ext}}^2(M,N)
\longrightarrow \underbrace{\underline{H}^2(E'(M,N))}_{P(M,N)}
\xrightarrow{\ \sigma\ } \underline{\mathrm{Hom}}(M, {}_2 N)
\longrightarrow 0\]
LaTeX source
\[ (*) \qquad 0 \longrightarrow \underline{\mathrm{Ext}}^2(M,N)
\longrightarrow \underbrace{\underline{H}^2(E'(M,N))}_{P(M,N)}
\xrightarrow{\ \sigma\ } \underline{\mathrm{Hom}}(M, {}_2 N)
\longrightarrow 0 \]\[R\Gamma_Y\bigl(\mathrm{Coker}(F \to q_*(C(q^*(F))))[-1]\bigr)\]
LaTeX source
\[ R\Gamma_Y\bigl(\mathrm{Coker}(F \to q_*(C(q^*(F))))[-1]\bigr) \]\[R\Gamma_Y\bigl(\mathrm{Ker}(C(F) \to q_* q^*(C(F)))\bigr)\]
LaTeX source
\[ R\Gamma_Y\bigl(\mathrm{Ker}(C(F) \to q_* q^*(C(F)))\bigr) \]\[\tau_{\leq 2}\bigl( R\Gamma(B_G \bmod X, N)[1] \bigr)\]
LaTeX source
\[ \tau_{\leq 2}\bigl( R\Gamma(B_G \bmod X, N)[1] \bigr) \]\[\tau_{\leq 2}\bigl( R p_{G*}\, \mathrm{Coker}(N \to R q_{G*}\, C(q_G^* N)) \bigr)\]
LaTeX source
\[ \tau_{\leq 2}\bigl( R p_{G*}\, \mathrm{Coker}(N \to R q_{G*}\, C(q_G^* N)) \bigr) \]