
arXiv: 2301.05542
In this paper, we explain how the abstract notion of a differential bundle in a tangent category provides a new way of thinking 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.
tangent categories, 18F40, 13C99, 14A99, General commutative ring theory, Foundations of algebraic geometry, modules, Synthetic differential geometry, tangent categories, differential categories, FOS: Mathematics, Mathematics - Category Theory, Category Theory (math.CT), differential bundles
tangent categories, 18F40, 13C99, 14A99, General commutative ring theory, Foundations of algebraic geometry, modules, Synthetic differential geometry, tangent categories, differential categories, FOS: Mathematics, Mathematics - Category Theory, Category Theory (math.CT), differential bundles
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
