中文

单值基础中球面的对称性

计算机科学中的逻辑 2024-01-29 v1 代数拓扑

摘要

在单值基础中工作,我们研究球面的对称性,即Sn=Sn\mathbb{S}^n = \mathbb{S}^n的类型。圆的情况有一个巧妙的答案:圆的对称性形成两个圆的副本。对于更高维的球面,对称性的类型又有两个连通分支,即映射度为正负一的分支。每个分支以Z/2Z\mathbb{Z}/2\mathbb{Z}为基本群。对于后一个结果,我们发展了一个EHP长正合序列。

关键词

引用

@article{arxiv.2401.15037,
  title  = {On symmetries of spheres in univalent foundations},
  author = {Pierre Cagne and Ulrik Buchholtz and Nicolai Kraus and Marc Bezem},
  journal= {arXiv preprint arXiv:2401.15037},
  year   = {2024}
}

备注

comments welcome