Lie groups in tangent join restriction categories
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866914340629643264 |
|---|---|
| author | Cockett, Robin Schwarz, Florian |
| author_facet | Cockett, Robin Schwarz, Florian |
| contents | Principal bundles have at least three different definitions, depending on the category of geometric objects studied.
In Differential Geometry, they are defined as locally trivial projection map of smooth manifolds with an atlas whose transition maps are given by group multiplication. In Topology they are $G$-equivariantly trivial $G$-spaces. In Algebraic Geometry, they are Étale locally isotrivial geometric quotients of $G$-varieties.
The goal of this work is to have a categorical notion that recovers all of them. While they are different structures, they are all locally isomorphic to the Cartesian product of a base space with a group.
There are a variety of other results on group objects and their tangent bundle. In particular we show that the tangent bundle is the product of the tangent space and the group object and that the tangent space has an external Lie algebra structure, generalizing the correspondence between Lie groups and Lie algebras.
In order to give a purely categorical definition of a principal bundle, we formulate this notion in the language of join restriction categories. Restriction categories were developed by Cockett and Lack to generalize partial maps (maps defined only on a subset of the domain) and have since then found applications in mathematics and computer science. Join restriction categories, as described by Guo are restriction categories where local restrictions can be joined to obtain a global map. Together with a manifold construction due to Grandis, that allows us to glue together objects, we can describe principal bundles entirely in the language of join-restriction categories. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_18410 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Lie groups in tangent join restriction categories Cockett, Robin Schwarz, Florian Category Theory Differential Geometry 18F15, 18F40, 18B10, 18C40, 57R22, 55R65, 55R91 Principal bundles have at least three different definitions, depending on the category of geometric objects studied. In Differential Geometry, they are defined as locally trivial projection map of smooth manifolds with an atlas whose transition maps are given by group multiplication. In Topology they are $G$-equivariantly trivial $G$-spaces. In Algebraic Geometry, they are Étale locally isotrivial geometric quotients of $G$-varieties. The goal of this work is to have a categorical notion that recovers all of them. While they are different structures, they are all locally isomorphic to the Cartesian product of a base space with a group. There are a variety of other results on group objects and their tangent bundle. In particular we show that the tangent bundle is the product of the tangent space and the group object and that the tangent space has an external Lie algebra structure, generalizing the correspondence between Lie groups and Lie algebras. In order to give a purely categorical definition of a principal bundle, we formulate this notion in the language of join restriction categories. Restriction categories were developed by Cockett and Lack to generalize partial maps (maps defined only on a subset of the domain) and have since then found applications in mathematics and computer science. Join restriction categories, as described by Guo are restriction categories where local restrictions can be joined to obtain a global map. Together with a manifold construction due to Grandis, that allows us to glue together objects, we can describe principal bundles entirely in the language of join-restriction categories. |
| title | Lie groups in tangent join restriction categories |
| topic | Category Theory Differential Geometry 18F15, 18F40, 18B10, 18C40, 57R22, 55R65, 55R91 |
| url | https://arxiv.org/abs/2509.18410 |