Cote n° 123 · pages 1–45 · 40 displayed formulas · [Autour de Kostant] : tapuscrits (s.d.), notes manuscrites (s.d.), lettre (1969).
Inventory dating : 1969
Édition de démonstration

batch 1 · p. 1 — read it beside the facsimile1 / 40 · 11 distinct symbols, 21 written
\[\nu/\mu \longrightarrow \operatorname{Aut}(\mu)\simeq(\mathbf{Z}/h\mathbf{Z})^{*}\]
LaTeX source
\[
  \nu/\mu \longrightarrow \operatorname{Aut}(\mu)\simeq(\mathbf{Z}/h\mathbf{Z})^{*}
\]
batch 1 · p. 4 — read it beside the facsimile2 / 40 · 7 distinct symbols, 21 written
\[\underline{\mathfrak{L}}^{\mathrm{rss}}\simeq \mathrm{Kill}\times_S \underline{t}^{\mathrm{rss}}\]
LaTeX source
\[
  \underline{\mathfrak{L}}^{\mathrm{rss}}\simeq \mathrm{Kill}\times_S
  \underline{t}^{\mathrm{rss}}
\]
batch 1 · p. 4 — read it beside the facsimile3 / 40 · 8 distinct symbols, 19 written
\[\underline{\mathfrak{g}}^{\mathrm{rss}}\longrightarrow \mathfrak{J}=\underline{t}^{\mathrm{rss}}/W\]
LaTeX source
\[
  \underline{\mathfrak{g}}^{\mathrm{rss}}\longrightarrow
  \mathfrak{J}=\underline{t}^{\mathrm{rss}}/W
\]
batch 1 · p. 5 — read it beside the facsimile4 / 40 · 4 distinct symbols, 12 written
\[\underline{\mathfrak{g}}'=\underline{\mathfrak{g}}\times_{\mathfrak{J}}\mathfrak{J}'\]
LaTeX source
\[
  \underline{\mathfrak{g}}'=\underline{\mathfrak{g}}\times_{\mathfrak{J}}\mathfrak{J}'
\]
batch 1 · p. 8 — read it beside the facsimile5 / 40 · 8 distinct symbols, 38 written
\[\struck{\ill{}}\ T_D\simeq T\times_S D, \quad\text{donc}\quad \hat T_D\simeq M_D,\ \text{où}\ M=\hat T\ \text{réseau sur}\ S.\]
LaTeX source
\[
  \struck{\ill{}}\ T_D\simeq T\times_S D, \quad\text{donc}\quad
  \hat T_D\simeq M_D,\ \text{où}\ M=\hat T\ \text{réseau sur}\ S.
\]
batch 1 · p. 8 — read it beside the facsimile6 / 40 · 5 distinct symbols, 7 written
\[W_K\simeq W\times_S K\]
LaTeX source
\[
  W_K\simeq W\times_S K
\]
batch 1 · p. 8 — read it beside the facsimile7 / 40 · 4 distinct symbols, 4 written
\[G\xrightarrow{\ f\ } I\]
LaTeX source
\[
  G\xrightarrow{\ f\ } I
\]
batch 1 · p. 8 — read it beside the facsimile8 / 40 · 10 distinct symbols, 24 written
\[f\,|\,T_0 = \text{morph.\ can.}\ T_0\to T_0/W_0\simeq I .\]
LaTeX source
\[
  f\,|\,T_0 = \text{morph.\ can.}\ T_0\to T_0/W_0\simeq I .
\]
batch 1 · p. 9 — read it beside the facsimile9 / 40 · 5 distinct symbols, 6 written
\[p\colon \mathfrak{B}\longrightarrow G'\]
LaTeX source
\[
  p\colon \mathfrak{B}\longrightarrow G'
\]
batch 1 · p. 9 — read it beside the facsimile10 / 40 · 10 distinct symbols, 29 written
\[\tilde f\colon\mathfrak{B}\to T,\qquad h\colon\mathfrak{B}\to G \qquad\text{tels que }\ \pi\tilde f=f h\]
LaTeX source
\[
  \tilde f\colon\mathfrak{B}\to T,\qquad h\colon\mathfrak{B}\to G
  \qquad\text{tels que }\ \pi\tilde f=f h
\]
batch 1 · p. 9 — read it beside the facsimile11 / 40 · 17 distinct symbols, 40 written
\[\begin{cases} h(g,B)=g\\ \tilde f(g,B)=g\in B/B_u(-)\simeq T(-), \end{cases}\]
LaTeX source
\[
  \begin{cases}
  h(g,B)=g\\
  \tilde f(g,B)=g\in B/B_u(-)\simeq T(-),
  \end{cases}
\]
batch 1 · p. 10 — read it beside the facsimile12 / 40 · 11 distinct symbols, 53 written
\[\operatorname{Pic}(\mathfrak{B})\xrightarrow{\ \sim\ } \operatorname{Pic}(\mathfrak{B}^{\mathrm{reg}})\xleftarrow{\ \sim\ } \operatorname{Pic}(G'^{\mathrm{reg}}) \qquad \operatorname{Pic}(D)\xrightarrow{\ \wr\ }\operatorname{Pic}(\mathfrak{B})\]
LaTeX source
\[
  \operatorname{Pic}(\mathfrak{B})\xrightarrow{\ \sim\ }
  \operatorname{Pic}(\mathfrak{B}^{\mathrm{reg}})\xleftarrow{\ \sim\ }
  \operatorname{Pic}(G'^{\mathrm{reg}})
  \qquad
  \operatorname{Pic}(D)\xrightarrow{\ \wr\ }\operatorname{Pic}(\mathfrak{B})
\]
batch 1 · p. 10 — read it beside the facsimile13 / 40 · 15 distinct symbols, 62 written
\[\underline{\mathrm{Pic}}_{\mathfrak{B}/S}\xrightarrow{\ \sim\ } \underline{\mathrm{Pic}}_{\mathfrak{B}^{\mathrm{reg}}/S}\xleftarrow{\ \sim\ } \underline{\mathrm{Pic}}_{G'^{\mathrm{reg}}/S} \qquad M\to P\simeq\underline{\mathrm{Pic}}_{D/S}\xrightarrow{\ \wr\ } \underline{\mathrm{Pic}}_{\mathfrak{B}/S}\]
LaTeX source
\[
  \underline{\mathrm{Pic}}_{\mathfrak{B}/S}\xrightarrow{\ \sim\ }
  \underline{\mathrm{Pic}}_{\mathfrak{B}^{\mathrm{reg}}/S}\xleftarrow{\ \sim\ }
  \underline{\mathrm{Pic}}_{G'^{\mathrm{reg}}/S}
  \qquad
  M\to P\simeq\underline{\mathrm{Pic}}_{D/S}\xrightarrow{\ \wr\ }
  \underline{\mathrm{Pic}}_{\mathfrak{B}/S}
\]
batch 1 · p. 10 — read it beside the facsimile14 / 40 · 12 distinct symbols, 106 written
\[\begin{aligned} &G^{\mathrm{rs}}\subset G^{\mathrm{reg}} && \text{ouvert des pts de $G$ qui sont réguliers semi-simples}\\ &G'^{\mathrm{rs}}\subset G'^{\mathrm{reg}},\ \ \mathfrak{B}^{\mathrm{rs}}\subset\mathfrak{B}^{\mathrm{reg}} && \text{images inverses,} \end{aligned}\]
LaTeX source
\[
  \begin{aligned}
  &G^{\mathrm{rs}}\subset G^{\mathrm{reg}} && \text{ouvert des pts de $G$ qui
  sont réguliers semi-simples}\\
  &G'^{\mathrm{rs}}\subset G'^{\mathrm{reg}},\ \
  \mathfrak{B}^{\mathrm{rs}}\subset\mathfrak{B}^{\mathrm{reg}} && \text{images
  inverses,}
  \end{aligned}
\]
batch 1 · p. 10 — read it beside the facsimile15 / 40 · 5 distinct symbols, 11 written
\[\mathfrak{B}^{\mathrm{rs}}\xrightarrow{\ \sim\ }G'^{\mathrm{rs}}\]
LaTeX source
\[
  \mathfrak{B}^{\mathrm{rs}}\xrightarrow{\ \sim\ }G'^{\mathrm{rs}}
\]
batch 1 · p. 11 — read it beside the facsimile16 / 40 · 5 distinct symbols, 23 written
\[\struck{\underline{\mathrm{Iso}}(T)\simeq\underline{\mathrm{Iso}}(T')} \ \text{donc}\]
LaTeX source
\[
  \struck{\underline{\mathrm{Iso}}(T)\simeq\underline{\mathrm{Iso}}(T')}
  \ \text{donc}
\]
batch 1 · p. 11 — read it beside the facsimile17 / 40 · 16 distinct symbols, 47 written
\[0\to H^1(\Gamma,\underbrace{H^0(T',\underline{O}^{*}_{T'})}_{M\times k'^{*}}) \to\operatorname{Pic}(T)\to H^0(\Gamma,\underbrace{H^1(T',\underline{O}^{*}_{T'})}_{=0})\]
LaTeX source
\[
  0\to H^1(\Gamma,\underbrace{H^0(T',\underline{O}^{*}_{T'})}_{M\times k'^{*}})
  \to\operatorname{Pic}(T)\to
  H^0(\Gamma,\underbrace{H^1(T',\underline{O}^{*}_{T'})}_{=0})
\]
batch 1 · p. 11 — read it beside the facsimile18 / 40 · 15 distinct symbols, 44 written
\[\operatorname{Pic}(T)=H^1(\Gamma,M)\times \underbrace{H^1(\Gamma,k'^{*})}_{=0\ \text{H.~90}} =H^1(\Gamma,M)=H^1(k,\underline{M})\]
LaTeX source
\[
  \operatorname{Pic}(T)=H^1(\Gamma,M)\times
  \underbrace{H^1(\Gamma,k'^{*})}_{=0\ \text{H.~90}}
  =H^1(\Gamma,M)=H^1(k,\underline{M})
\]
batch 1 · p. 12 — read it beside the facsimile19 / 40 · 6 distinct symbols, 16 written
\[\operatorname{Pic}(D)\longrightarrow\operatorname{Pic}(\mathfrak{B})\]
LaTeX source
\[
  \operatorname{Pic}(D)\longrightarrow\operatorname{Pic}(\mathfrak{B})
\]
batch 1 · p. 12 — read it beside the facsimile20 / 40 · 17 distinct symbols, 55 written
\[0\to\operatorname{Pic}(D)\to\operatorname{Pic}(\mathfrak{B})\to H^1(\Gamma,M_{\bar\xi}), \qquad \operatorname{Pic}(\mathfrak{B}_\eta)\simeq\operatorname{Pic}(T_\eta) \simeq\operatorname{Pic}(T_\xi)\]
LaTeX source
\[
  0\to\operatorname{Pic}(D)\to\operatorname{Pic}(\mathfrak{B})\to
  H^1(\Gamma,M_{\bar\xi}),
  \qquad
  \operatorname{Pic}(\mathfrak{B}_\eta)\simeq\operatorname{Pic}(T_\eta)
  \simeq\operatorname{Pic}(T_\xi)
\]
batch 1 · p. 12 — read it beside the facsimile21 / 40 · 7 distinct symbols, 16 written
\[\operatorname{Pic}(S)\xrightarrow{\ \sim\ }\operatorname{Pic}(G')\]
LaTeX source
\[
  \operatorname{Pic}(S)\xrightarrow{\ \sim\ }\operatorname{Pic}(G')
\]
batch 1 · p. 12 — read it beside the facsimile22 / 40 · 11 distinct symbols, 43 written
\[\operatorname{Pic}(G')\hookrightarrow \operatorname{Pic}(G'^{\mathrm{reg}})\,[\simeq \operatorname{Pic}(\mathfrak{B}^{\mathrm{reg}})\leftleftarrows \operatorname{Pic}(\mathfrak{B})]\]
LaTeX source
\[
  \operatorname{Pic}(G')\hookrightarrow
  \operatorname{Pic}(G'^{\mathrm{reg}})\,[\simeq
  \operatorname{Pic}(\mathfrak{B}^{\mathrm{reg}})\leftleftarrows
  \operatorname{Pic}(\mathfrak{B})]
\]
batch 1 · p. 13 — read it beside the facsimile23 / 40 · 13 distinct symbols, 36 written
\[\cdots\to\operatorname{Pic}(S)\to\operatorname{Pic}(G')\longrightarrow \underbrace{H^1(\xi,M)}_{\text{groupe fini}}\]
LaTeX source
\[
  \cdots\to\operatorname{Pic}(S)\to\operatorname{Pic}(G')\longrightarrow
  \underbrace{H^1(\xi,M)}_{\text{groupe fini}}
\]
batch 1 · p. 13 — read it beside the facsimile24 / 40 · 8 distinct symbols, 26 written
\[0\to\operatorname{Pic}(S)\to\operatorname{Pic}(G)\to\operatorname{Pic}(G_\xi)\]
LaTeX source
\[
  0\to\operatorname{Pic}(S)\to\operatorname{Pic}(G)\to\operatorname{Pic}(G_\xi)
\]
batch 1 · p. 13 — read it beside the facsimile25 / 40 · 8 distinct symbols, 76 written
\[\operatorname{Coker}\bigl(\operatorname{Pic}(S)\to \operatorname{Pic}(G^{\mathrm{reg}})\bigr)\ \text{est fini (et $=$ nul si $G_\xi$ est simplement connexe et déployé)}\]
LaTeX source
\[
  \operatorname{Coker}\bigl(\operatorname{Pic}(S)\to
  \operatorname{Pic}(G^{\mathrm{reg}})\bigr)\ \text{est fini (et $=$ nul si
  $G_\xi$ est simplement connexe et déployé)}
\]
batch 1 · p. 16 — read it beside the facsimile26 / 40 · 13 distinct symbols, 43 written
\[\operatorname{Lie}P=\sum_{k\geqslant 0}\mathfrak{g}(k),\qquad \operatorname{Lie}U=\sum_{k\geqslant 1}\mathfrak{g}(k),\qquad \operatorname{Lie}L=\mathfrak{g}(0).\]
LaTeX source
\[
  \operatorname{Lie}P=\sum_{k\geqslant 0}\mathfrak{g}(k),\qquad
  \operatorname{Lie}U=\sum_{k\geqslant 1}\mathfrak{g}(k),\qquad
  \operatorname{Lie}L=\mathfrak{g}(0).
\]
batch 1 · p. 16 — read it beside the facsimile27 / 40 · 6 distinct symbols, 9 written
\[g\longmapsto\operatorname{ad}(g).x\]
LaTeX source
\[
  g\longmapsto\operatorname{ad}(g).x
\]
batch 1 · p. 16 — read it beside the facsimile28 / 40 · 6 distinct symbols, 9 written
\[g\longmapsto\operatorname{ad}(g).e\]
LaTeX source
\[
  g\longmapsto\operatorname{ad}(g).e
\]
batch 1 · p. 17 — read it beside the facsimile29 / 40 · 8 distinct symbols, 21 written
\[\mathrm{ST}_c\to\underline{\varnothing}_c,\qquad (\mathrm{CL})_{c'}\to\mathrm{Par}_{c'},\]
LaTeX source
\[
  \mathrm{ST}_c\to\underline{\varnothing}_c,\qquad
  (\mathrm{CL})_{c'}\to\mathrm{Par}_{c'},
\]
batch 2 · p. 28 — read it beside the facsimile30 / 40 · 13 distinct symbols, 50 written
\[\begin{cases} N \cap N(D) = \mathfrak{z}(\mu) \cap N(D) \\ N \cap T' = \mathfrak{z}(\mu) \cap T' \\ N \cap N' = N(\mu) \cap N' \end{cases}\]
LaTeX source
\[
\begin{cases}
  N \cap N(D) = \mathfrak{z}(\mu) \cap N(D) \\
  N \cap T' = \mathfrak{z}(\mu) \cap T' \\
  N \cap N' = N(\mu) \cap N'
\end{cases}
\]
batch 2 · p. 30 — read it beside the facsimile31 / 40 · 17 distinct symbols, 56 written
\[\det \begin{pmatrix} n_1 + 1 & n_2 & n_3 & \cdots & n_r \\ n_1 & n_2 + 1 & n_3 & \cdots & n_r \\ \vdots & & & & \\ n_1 & n_2 & & \cdots & n_r + 1 \end{pmatrix} = \textstyle\sum n_i + 1\]
LaTeX source
\[
  \det \begin{pmatrix}
    n_1 + 1 & n_2 & n_3 & \cdots & n_r \\
    n_1 & n_2 + 1 & n_3 & \cdots & n_r \\
    \vdots & & & & \\
    n_1 & n_2 & & \cdots & n_r + 1
  \end{pmatrix} = \textstyle\sum n_i + 1
\]
batch 2 · p. 30 — read it beside the facsimile32 / 40 · 15 distinct symbols, 51 written
\[N(T) \cap N(D) = \struck{T \cap \mathrm{Norm}(\mu)}\ N(\mu) \cap N(D) \qquad (\mu \subset T \text{ par } \gamma), \quad \mathbb{Z}/h\mathbb{Z} \simeq \mu_h .\]
LaTeX source
\[
  N(T) \cap N(D) = \struck{T \cap \mathrm{Norm}(\mu)}\ N(\mu) \cap N(D)
  \qquad (\mu \subset T \text{ par } \gamma), \quad
  \mathbb{Z}/h\mathbb{Z} \simeq \mu_h .
\]
batch 2 · p. 33 — read it beside the facsimile33 / 40 · 11 distinct symbols, 28 written
\[\mathfrak{g}_\psi \simeq \Delta \quad (\text{ou } \mathfrak{g}_\psi \simeq \Delta^{-1}, \text{ car } \Delta^{\otimes 2} \simeq \mathbf{1}),\]
LaTeX source
\[
  \mathfrak{g}_\psi \simeq \Delta \quad (\text{ou } \mathfrak{g}_\psi \simeq
  \Delta^{-1}, \text{ car } \Delta^{\otimes 2} \simeq \mathbf{1}),
\]
batch 2 · p. 34 — read it beside the facsimile34 / 40 · 14 distinct symbols, 100 written
\[(T, T', B, B') \quad \text{avec} \quad \begin{cases} T, T' \text{ tores maximaux en apposition} \\ B, B' \text{ des Borels contenant } T, T' \text{ respectivement} \end{cases} \qquad [\,(h,p) = 1\,]\]
LaTeX source
\[
  (T, T', B, B') \quad \text{avec} \quad
  \begin{cases}
    T, T' \text{ tores maximaux en apposition} \\
    B, B' \text{ des Borels contenant } T, T' \text{ respectivement}
  \end{cases}
  \qquad [\,(h,p) = 1\,]
\]
batch 2 · p. 34 — read it beside the facsimile35 / 40 · 8 distinct symbols, 89 written
\[\begin{cases} W \text{ ordre du groupe de Weyl} \\ h \text{ ordre de l'élt de Coxeter} \\ \varphi \text{ l'indicatrice d'Euler} \\ z \text{ ordre du centre} \end{cases}\]
LaTeX source
\[
  \begin{cases}
    W \text{ ordre du groupe de Weyl} \\
    h \text{ ordre de l'élt de Coxeter} \\
    \varphi \text{ l'indicatrice d'Euler} \\
    z \text{ ordre du centre}
  \end{cases}
\]
batch 2 · p. 34 — read it beside the facsimile36 / 40 · 9 distinct symbols, 15 written
\[e_{\alpha_1} + \cdots + e_{\alpha_r} + e_{-\psi} = e\]
LaTeX source
\[
  e_{\alpha_1} + \cdots + e_{\alpha_r} + e_{-\psi} = e
\]
batch 2 · p. 34 — read it beside the facsimile37 / 40 · 6 distinct symbols, 7 written
\[(Q \times Q')/\Phi .\]
LaTeX source
\[
  (Q \times Q')/\Phi .
\]
batch 3 · p. 41 — read it beside the facsimile38 / 40 · 11 distinct symbols, 13 written
\[\sum_{1}^{r} \lambda_{i}\, e_{\alpha_{i}} + \mu\, e_{-\psi},\]
LaTeX source
\[
  \sum_{1}^{r} \lambda_{i}\, e_{\alpha_{i}} + \mu\, e_{-\psi},
\]
batch 3 · p. 45 — read it beside the facsimile39 / 40 · 13 distinct symbols, 31 written
\[\sum_{\substack{\alpha \in R\\ o(\alpha) = j}} \mathfrak{g}_{\alpha} \;+\; \sum_{\substack{\alpha \in R\\ o(\alpha) = j-h}} \mathfrak{g}_{\alpha}.\]
LaTeX source
\[
  \sum_{\substack{\alpha \in R\\ o(\alpha) = j}} \mathfrak{g}_{\alpha}
  \;+\; \sum_{\substack{\alpha \in R\\ o(\alpha) = j-h}} \mathfrak{g}_{\alpha}.
\]
batch 3 · p. 45 — read it beside the facsimile40 / 40 · 5 distinct symbols, 5 written
\[K : \mu_{h} \longrightarrow T\]
LaTeX source
\[
  K : \mu_{h} \longrightarrow T
\]