加载中…
Let be a noetherian scheme, and let be a coherent sheaf on it. We define a group-valued contravariant functor on -schemes by associating to any -scheme the group of all linear automorphisms of the pullback of to . This functor is clearly a sheaf in the fpqc topology. We prove that is representable by a group-scheme over if and only if the sheaf is locally free.

生成讲解博客的中文版本

生成AI智能校验的中文版本