[Proposition 3.15, BookAV]
Lemma 39.6.3. Let $(G, m, e, i)$ be a group scheme over the scheme $S$. Denote $f : G \to S$ the structure morphism. Then there exist canonical isomorphisms where $\mathcal{C}_{S/G}$ denotes the conormal sheaf of the immersion $e$. In particular, if $S$ is the spectrum of a field, then $\Omega _{G/S}$ is a free $\mathcal{O}_ G$-module.
Proof.
By Morphisms, Lemma 29.32.10 we have
where on the left hand side we view $G \times _ S G$ as a scheme over $G$ using $\text{pr}_1$. Let $\tau : G \times _ S G \to G \times _ S G$ be the “shearing map” given by $(g, h) \mapsto (m(g, h), h)$ on points. This map is an automorphism of $G \times _ S G$ viewed as a scheme over $G$ via the projection $\text{pr}_1$. Combining these two remarks we obtain an isomorphism
Since $\text{pr}_0 \circ \tau = m$ this can be rewritten as an isomorphism
Pulling back this isomorphism by $(e \circ f, \text{id}_ G) : G \to G \times _ S G$ and using that $m \circ (e \circ f, \text{id}_ G) = \text{id}_ G$ and $\text{pr}_0 \circ (e \circ f, \text{id}_ G) = e \circ f$ we obtain an isomorphism
as desired. By Morphisms, Lemma 29.32.16 we have $\mathcal{C}_{S/G} \cong e^*\Omega _{G/S}$. If $S$ is the spectrum of a field, then any $\mathcal{O}_ S$-module on $S$ is free and the final statement follows.
$\square$
\[ \Omega _{G/S} \cong f^*\mathcal{C}_{S/G} \cong f^*e^*\Omega _{G/S} \]
\[ \Omega _{G \times _ S G/G} = \text{pr}_0^*\Omega _{G/S} \]
\[ \tau ^*\text{pr}_0^*\Omega _{G/S} \to \text{pr}_0^*\Omega _{G/S} \]
\[ m^*\Omega _{G/S} \to \text{pr}_0^*\Omega _{G/S} \]
\[ \Omega _{G/S} \to f^*e^*\Omega _{G/S} \]
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (2)
Comment #6761 by Zhouhang Mᴀᴏ on
Comment #6762 by Johan on
There are also: