The stratified Grassmannian and its depth-one subcategories
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2022
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866909886143528960 |
|---|---|
| author | Tetik, Ödül |
| author_facet | Tetik, Ödül |
| contents | We introduce a tangential theory for linked smooth manifolds of depth $1$, i.e., for spans $\mathfrak{S}=(M\oversetπ{\twoheadleftarrow} L\oversetι{\hookrightarrow}N)$ of smooth manifolds where $π$ is a fibre bundle and $ι$ is a closed embedding. The tangent classifier of $\mathfrak{S}$ is given as a topological span map $\mathfrak{S}\to B\mathrm{O}(n,m)$ where $B\mathrm{O}(n,m)=(B\mathrm{O}(n)\twoheadleftarrow B\mathrm{O}(n)\times B\mathrm{O}(m)\hookrightarrow B\mathrm{O}(n+m))$. We show that this recovers and generalises the tangential theory introduced by Ayala, Francis and Rozenblyum for conically smooth stratified spaces by constructing fully faithful functors $\mathbf{EX}(B\mathrm{O}(n,m))\hookrightarrow\mathbf{V}^{\hookrightarrow}$ of quasi-categories, where $\mathbf{EX}$, introduced in a prequel, takes the exit path quasi-category of the span, and $\mathbf{V}^{\hookrightarrow}$ is a quasi-category model of the infinite stratified Grassmannian of AFR. This result has analogues for other classical structure groups and for Stiefel manifolds. We thus reduce the classification of conically smooth bundles over depth-$1$ posets to that of ordinary bundles on linked smooth manifolds. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2211_13824 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | The stratified Grassmannian and its depth-one subcategories Tetik, Ödül Algebraic Topology Category Theory 55R15, 57N80 (Primary) 18N60, 55R35, 32S60 (Secondary) We introduce a tangential theory for linked smooth manifolds of depth $1$, i.e., for spans $\mathfrak{S}=(M\oversetπ{\twoheadleftarrow} L\oversetι{\hookrightarrow}N)$ of smooth manifolds where $π$ is a fibre bundle and $ι$ is a closed embedding. The tangent classifier of $\mathfrak{S}$ is given as a topological span map $\mathfrak{S}\to B\mathrm{O}(n,m)$ where $B\mathrm{O}(n,m)=(B\mathrm{O}(n)\twoheadleftarrow B\mathrm{O}(n)\times B\mathrm{O}(m)\hookrightarrow B\mathrm{O}(n+m))$. We show that this recovers and generalises the tangential theory introduced by Ayala, Francis and Rozenblyum for conically smooth stratified spaces by constructing fully faithful functors $\mathbf{EX}(B\mathrm{O}(n,m))\hookrightarrow\mathbf{V}^{\hookrightarrow}$ of quasi-categories, where $\mathbf{EX}$, introduced in a prequel, takes the exit path quasi-category of the span, and $\mathbf{V}^{\hookrightarrow}$ is a quasi-category model of the infinite stratified Grassmannian of AFR. This result has analogues for other classical structure groups and for Stiefel manifolds. We thus reduce the classification of conically smooth bundles over depth-$1$ posets to that of ordinary bundles on linked smooth manifolds. |
| title | The stratified Grassmannian and its depth-one subcategories |
| topic | Algebraic Topology Category Theory 55R15, 57N80 (Primary) 18N60, 55R35, 32S60 (Secondary) |
| url | https://arxiv.org/abs/2211.13824 |