Representability of GLE
Abstract
Let S be a noetherian scheme, and let E be a coherent sheaf on it. We define a group-valued contravariant functor GLE on S-schemes by associating to any S-scheme T the group GLE(T) of all linear automorphisms of the pullback of E to T. This functor is clearly a sheaf in the fpqc topology. We prove that GLE is representable by a group-scheme over S if and only if the sheaf E is locally free.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.