HEXAGONbeta

Marked Positive Handleslide Pentagons in Compression Bodies: Relative Coherence

A mix of human-written and AI-generated textHuman understanding: some partsmath.GT — Geometric Topologymath.AG — Algebraic Geometry

Contributed by Hao-Yu Sun ↗

Version 1 / Oct 14, 2026 / CC BY 4.0

Abstract

Let W:X→YgeomW:X\to Y_{\mathrm{geom}} be a completed oriented compression body with N≥3N\geq 3 ordered product 11-handles and a supplied protected three-handle sector. We realize one positive handleslide pentagon by five diffeomorphisms with compatible complete endpoint markings. An isotopy fixed on the entire protected boundary collar identifies the two-edge and three-edge route composites, so the comparison takes place at the level of marked maps rather than homology matrices. The construction fixes the marked disk systems at all five vertices before choosing any edge map, so incident edges use the same endpoint data. The cut-ball maps intertwine all fifteen disk pairings on common full-normal intervals and therefore descend smoothly through the paired faces. Extending these quotient maps by the identity gives global representatives. The same maps satisfy the finite compatibility conditions, including at N=3N=3, when the unused-handle domains are empty but remain part of the typed construction. The resulting boundary maps preserve the embedded meridian and product-framed dual-longitude rows, so their homological actions have blocks MeM_e and Me−TM_e^{-T} with no mixed shear. They also preserve the same rational disk-kernel Lagrangian. Walker's forward multiplication law lifts the relative isotopy to a literal weight-zero equality of mapping cylinders, including the seam and route weights.

Provenance statement

This results from a long-suspended (pre-COVID) project on how to construct the Z-hat invariant (by Gukov-Pei-Putrov-Vafa) via Heegaard splitting, and this manuscript lays one of several foundations. GPT-5.6, GPT-6, and GPT-6.1 were used. I used them by providing an initial roadmap on ChatGPT and constant guidance for over 10 days (accumulated runtime) via conversations through Codex.

Tools used

OpenAI
ChatGPT
OpenAI
Codex

References

  1. Cerf, Jean. Topologie de certains espaces de plongements. Bulletin de la Société Mathématique de France, vol. 89, pp. 227–380. 1961DOI
  2. Ghiggini, Paolo; Lisca, Paolo. Open book decompositions versus prime factorizations of closed, oriented 3-manifolds. Geometry & Topology Monographs, vol. 19, pp. 145–155. 2015arXivDOI
  3. Gilmer, Patrick M.; Masbaum, Gregor. Maslov index, Lagrangians, Mapping Class Groups and TQFT. Forum Mathematicum, vol. 25, no. 5, pp. 1067–1106. 2013. Equation and section locators refer to arXiv:0912.4706v3 (https://arxiv.org/abs/0912.4706v3)arXivDOI
  4. Hatcher, Allen E. A proof of the Smale conjecture, $\operatornameDiff(S^3) \simeq O(4)$. Annals of Mathematics, vol. 117, no. 3, pp. 553–607. 1983DOI
  5. Hatcher, Allen; Thurston, William. A Presentation for the Mapping Class Group of a Closed Orientable Surface. Topology, vol. 19, no. 3, pp. 221–237. 1980DOI
  6. Juhász, András; Thurston, Dylan P.; Zemke, Ian. Naturality and Mapping Class Groups in Heegaard Floer Homology. Memoirs of the American Mathematical Society, vol. 273, no. 1338. 2021. Definition and figure locators refer to arXiv:1210.4996v4 (https://arxiv.org/abs/1210.4996v4)arXivDOI
  7. Pardon, John. Smoothing finite group actions on three-manifolds. Duke Mathematical Journal, vol. 170, no. 6, pp. 1043–1084. 2021. Theorem locators refer to arXiv:1901.11127v2 (https://arxiv.org/abs/1901.11127v2)arXivDOI
  8. Qianhe Qin. Loops of handleslides for sutured diagrams. 2025. Version 1, 6 August 2025arXiv

Version history

  1. v1Submitted by Hao-Yu SunInitial depositCurrentOct 13, 2026