Extension theorems for reductive group schemes (Q5963077): Difference between revisions

Suppose \(Y\) is an arbitrary scheme. Let \(\mathrm{Adj-perf}_Y\) be the category that contains adjoint group schemes over \(Y\) such that their Lie algebra \(\mathcal{O}_Y\)-modules have perfect Killing forms. Morphisms of \(\mathrm{Adj-perf}_Y\) are isomorphisms of group schemes. Similarly, let \(\mathrm{Lie-perf}_Y\) be the category that contains Lie algebra \(\mathcal{O}_Y\)-modules that are coherent and locally free which have perfect Killing forms. Again the morphisms are isomorphisms of Lie algebras \(\mathcal{O}_Y\)-modules. The main result of the subject paper is the following theorem: Theorem. Let \(L_Y : \mathrm{Adj-perf}_Y \to \mathrm{Lie-perf}_Y\) be the functor that maps a morphism \(f: G \to H\) to \(df: \mathrm{Lie}(G) \to \mathrm{Lie}(H)\). The functor \(L_Y\) is an equivalence of categories. As an application of the main theorem, the author proves two extension results on adjoint group scheme and reductive scheme from \(U\) to \(Y\) where the codimension of \(Y \backslash U\) is at least \(2\).