Differential Bundles in Commutative Algebra and Algebraic Geometry
Authors:
- G. S. H. CruttwellGCG. S. H. Cruttwell
- Jean-Simon Pacaud LemayJLJean-Simon Pacaud Lemay
Preprint
Abstract
In this paper, we explain how the abstract notion of a differential bundle in a tangent category provides a new way to think about the category of modules over a commutative ring and its opposite category. MacAdam previously showed that differential bundles in the tangent category of smooth manifolds are precisely smooth vector bundles. Here we provide characterizations of differential bundles in the tangent categories of commutative rings and (affine) schemes. For commutative rings, the category of differential bundles over a commutative ring is equivalent to the category of modules over that ring. For affine schemes, the category of differential bundles over the Spec of a commutative ring is equivalent to the opposite category of modules over said ring. Finally, for schemes, the category of differential bundles over a scheme is equivalent to the opposite category of quasi-coherent sheaves of modules over that scheme.Keywords
All Related Versions
This publication has 6 references indexed in Scilit:
- Differential Equations in a Tangent Category I: Complete Vector Fields, Flows, and ExponentialsApplied Categorical Structures, 2021
- Vector Bundles and Differential Bundles in the Category of Smooth ManifoldsApplied Categorical Structures, 2021
- A simplicial foundation for differential and sector forms in tangent categoriesJournal of Homotopy and Related Structures, 2018
- Connections in tangent categoriesTheory and Applications of Categories, 2017
- Cartesian Differential CategoriesTheory and Applications of Categories, 2009
- The Convenient Setting of Global Analysis1997