Framed cobordism and flow category moves (Q1673638): Difference between revisions
From MaRDI portal
Created a new Item |
Normalize DOI. |
||
(7 intermediate revisions by 6 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.2140/agt.2018.18.2821 / rank | |||
Property / author | |||
Property / author: Dirk Schuetz / rank | |||
Property / reviewed by | |||
Property / reviewed by: Daniel V. Mathews / rank | |||
Property / author | |||
Property / author: Dirk Schuetz / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Daniel V. Mathews / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3103512999 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1605.02003 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The homotopy classification of \((n-1)\)-connected \((n+3)\)-dimensional polyhedra, \(n\geq{} 4\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy invariants and continuous mappings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the classification of \(O(n)\)-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Morse moves in flow categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On cobordism of manifolds with corners / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Khovanov stable homotopy type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Steenrod square on Khovanov homology / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.2140/AGT.2018.18.2821 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 02:26, 11 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Framed cobordism and flow category moves |
scientific article |
Statements
Framed cobordism and flow category moves (English)
0 references
12 September 2018
0 references
Flow categories are categories which encode the type of data arising in the flowlines of a Morse function, or the moduli spaces of a Floer functional. A framed flow category has a geometric realisation with a well defined stable homotopy type. This paper studies several operations on flow categories, analogous to operations in Morse theory, and their effect on geometric realisations. \par Introduced by \textit{R. L. Cohen} et al. [Prog. Math. 133, 297--325 (1995; Zbl 0843.58019)], a framed flow category $(\mathcal{C}, \iota, \varphi)$ roughly consists of finitely many $\mathbb{Z}$-graded objects, and morphism spaces $\mathcal{M}(x,y)$ between objects $x,y$ which are $(|x|-|y|-1)$-dimensional manifolds with corners. The morphism spaces fit together analogously to flowlines of Morse functions, or moduli spaces of a Floer functional. They are also equipped with immersions $\iota_{x,y}$ into Euclidean spaces with corners, together with framings $\varphi_{x,y}$, which behave in an appropriately coherent fashion. \par The geometric realisation of $(\mathcal{C},\iota,\varphi)$ is a cell complex whose construction involves several auxiliary choices, but different choices lead to complexes related by suspension, and the construction yields a spectrum, which can be regarded as a stable homotopy type. \par The first main result of the present paper (Section 3) considers an operation on framed flow categories analogous to handle slides in Morse theory. Given a framed flow category $(\mathcal{C}, \iota, \varphi)$, a category $(\mathcal{C}_S, \iota_S, \varphi_S)$ is obtained by introducing two new objects $e,f$, analogous to cancelling handles, together with appropriate morphism spaces, immersions, and framings; and then cancelling $f$ against a different object, using the handle cancellation procedure developed by \textit{D. Jones} et al. [Indiana Univ. Math. J. 66, No. 5, 1603--1657 (2017; Zbl 1394.57012)]. This procedure parallels a method of handle sliding by introducing cancelling handles. The authors prove (Theorem 3.1) that the geometric realisations of $\mathcal{C}$ and $\mathcal{C}_S$ have the same stable homotopy type. \par The second main result (Section 4) concerns an operation on framed flow categories analogous to the Whitney trick; the authors call it an ``extended Whitney trick'', by comparison with the Whitney trick previously applied to framed flow categories by Jones-Lobb-Schütz [loc. cit.]. Given a framed flow category $(\mathcal{C}, \iota, \varphi)$ and a single morphism space $\mathcal{M}(x,y) = M$, the authors define a new framed flow category $(\mathcal{C}_W, \iota_W, \varphi_W)$, where $M$ is replaced by another manifold $M'$ via a cobordism $W$ between $M$ and $M'$; other morphism spaces, immersions, and framings are modified appropriately. The authors prove (Theorem 4.1) that the geometric realisations of $\mathcal{C}$ and $\mathcal{C}_W$ have the same stable homotopy type. \par The authors (in Section 5) also make a sample calculation, simplifying a given framed flow category associated to the disjoint union of three trefoils. \par Finally, the authors consider which framed flow categories can be obtained from others by use of handle cancellations, the extended Whitney trick, isotopies of the framing, and changes of auxiliary data. They show (Theorem 6.2) that, starting from any framed flow category and applying such moves, they can arrive at a framed flow category whose based chain complex is in primary Smith normal form; moreover the numbers of points in 0-dimensional morphism spaces give the differential of the chain complex. The authors conjecture that any two framed flow categories with realisations of the same stable homotopy type are related by such moves.
0 references
stable homotopy
0 references
knots
0 references
Khovanov
0 references
Lipshitz-Sarkar
0 references
Floer
0 references
0 references