An Arithmetic Topology viewpoint on Descent theory and Equivariant Categories
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911335499956224 |
|---|---|
| author | Karakikes, Miltiadis Karanikolopoulos, Sotiris Kontogeorgis, Aristides Noulas, Dimitrios |
| author_facet | Karakikes, Miltiadis Karanikolopoulos, Sotiris Kontogeorgis, Aristides Noulas, Dimitrios |
| contents | We establish a unified group-theoretic framework bridging the arithmetic homotopy exact sequence of a variety and the Birman exact sequence of a surface. Within this framework, we reinterpret classical arithmetic notions - such as the descent of varieties and of covers - and construct their topological analogues. We formalize the parallel setting between closed subgroups of the absolute Galois group and subgroups of the Mapping Class Group of a base space and their actions on fundamental groups. This provides an analogy between arithmetic and topological invariants, allowing us to define the groups of moduli, definition, and invariance in both settings.
Using this unified perspective, some purely group-theoretic proofs provide results in both settings simultaneously. Applications include a topological analogue of Weil's Descent Theorem for mapping class groups and an adaptation of Débes and Douai's cohomological obstructions regarding descent of algebraic covers to the topological setting.
Finally, we elevate these results to the categorical level. We demonstrate that the classical Weil cocycle condition is equivalent to the existence of a linearization in the language of equivariant categories. Applying this perspective to the bounded derived category of coherent sheaves $\mathsf{D^b}(X)$, we show that the equivariant derived category $\mathsf{D^b}(X)^G$, under the action induced by a Weil descent datum, recovers the derived category of the descended variety. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_20551 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | An Arithmetic Topology viewpoint on Descent theory and Equivariant Categories Karakikes, Miltiadis Karanikolopoulos, Sotiris Kontogeorgis, Aristides Noulas, Dimitrios Algebraic Geometry Algebraic Topology Category Theory Number Theory 2G15, 11G30, 14A22, 14A30, 14F08, 14H15, 14H25, 14H30, 14H37, 18F20, 18G80, 20F36, 54B99, 57K20 We establish a unified group-theoretic framework bridging the arithmetic homotopy exact sequence of a variety and the Birman exact sequence of a surface. Within this framework, we reinterpret classical arithmetic notions - such as the descent of varieties and of covers - and construct their topological analogues. We formalize the parallel setting between closed subgroups of the absolute Galois group and subgroups of the Mapping Class Group of a base space and their actions on fundamental groups. This provides an analogy between arithmetic and topological invariants, allowing us to define the groups of moduli, definition, and invariance in both settings. Using this unified perspective, some purely group-theoretic proofs provide results in both settings simultaneously. Applications include a topological analogue of Weil's Descent Theorem for mapping class groups and an adaptation of Débes and Douai's cohomological obstructions regarding descent of algebraic covers to the topological setting. Finally, we elevate these results to the categorical level. We demonstrate that the classical Weil cocycle condition is equivalent to the existence of a linearization in the language of equivariant categories. Applying this perspective to the bounded derived category of coherent sheaves $\mathsf{D^b}(X)$, we show that the equivariant derived category $\mathsf{D^b}(X)^G$, under the action induced by a Weil descent datum, recovers the derived category of the descended variety. |
| title | An Arithmetic Topology viewpoint on Descent theory and Equivariant Categories |
| topic | Algebraic Geometry Algebraic Topology Category Theory Number Theory 2G15, 11G30, 14A22, 14A30, 14F08, 14H15, 14H25, 14H30, 14H37, 18F20, 18G80, 20F36, 54B99, 57K20 |
| url | https://arxiv.org/abs/2512.20551 |