Important Classes of Morphisms and the Relative Cotangent Sequence in Tangent Categories
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914072838012928 |
|---|---|
| author | Lemay, Jean-Simon Pacaud Vooys, Geoff |
| author_facet | Lemay, Jean-Simon Pacaud Vooys, Geoff |
| contents | In this paper we provide a deep and systematic study of what it means to be an immersion, a submersion, a local diffeomorphism, and unramified in a tangent category. We also give a systematic study of the ways in which these classes of morphisms interact, their properties, and give very explicit and concrete characterizations of how each class appears in algebraic geometry, differential geometry, algebra, and in Cartesian differential categories. Additionally, we discuss the notion of being carrable with respect to the tangent bundle projection, then use this to define the notion of horizontal descent in a tangent category, which we then use as a key tool to study the aforementioned classes of morphisms. In particular, we use this to define a de Rham relative cotangent complex in an arbitrary tangent category. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_07874 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Important Classes of Morphisms and the Relative Cotangent Sequence in Tangent Categories Lemay, Jean-Simon Pacaud Vooys, Geoff Category Theory Algebraic Geometry Differential Geometry Primary 18F40, Secondary 13N99, 14B10, 53B99, 53C99, 57R99 In this paper we provide a deep and systematic study of what it means to be an immersion, a submersion, a local diffeomorphism, and unramified in a tangent category. We also give a systematic study of the ways in which these classes of morphisms interact, their properties, and give very explicit and concrete characterizations of how each class appears in algebraic geometry, differential geometry, algebra, and in Cartesian differential categories. Additionally, we discuss the notion of being carrable with respect to the tangent bundle projection, then use this to define the notion of horizontal descent in a tangent category, which we then use as a key tool to study the aforementioned classes of morphisms. In particular, we use this to define a de Rham relative cotangent complex in an arbitrary tangent category. |
| title | Important Classes of Morphisms and the Relative Cotangent Sequence in Tangent Categories |
| topic | Category Theory Algebraic Geometry Differential Geometry Primary 18F40, Secondary 13N99, 14B10, 53B99, 53C99, 57R99 |
| url | https://arxiv.org/abs/2506.07874 |