加载中…
Let be a scheme and let be a quasi-coherent sheaf on . Then can be viewed as a cogroup object in the category of schemes under . We show that the category of first order thickenings of by is equivalent to the category of -cotorsors.

生成讲解博客的中文版本

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