Non-simply connected Poincaré surgery

John R. Klein

Home/Archive/arXiv

arXiv · 2610.21100

Non-simply connected Poincaré surgery

John R. Klein

View original source ↗Read source document ↗Export metadata ↓

Abstract

We give homotopy-theoretic proofs of the principal results of non-simply connected Poincaré surgery. These include the Fundamental Theorem of Poincaré surgery, the Poincaré transversality exact sequence, and the construction of Poincaré handle structures. All results apply in dimensions~$\ge 8$.

Explore related subjects

math.AT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

John R. Klein. 2026-10-15. Non-simply connected Poincaré surgery. https://arxiv.org/abs/2610.21100

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Topological Hochschild homology of truncated Brown-Peterson spectra II

We compute topological Hochschild homology of $\mathbb{E}_3$-MU-algebra forms of the second truncated Brown-Peterson spectrum with Adams summand coefficients at $p=2$ and conditionally at arbitrary primes. We also provide a new computational tool, a variant of the Brun spectral sequence, for computing topological Hochschild homology of truncated Brown-Peterson spectra with certain coefficients. As a consequence, we show that $\mathbb{E}_3$-MU-algebra forms of truncated Brown-Peterson spectra $\mathrm{BP}\langle n\rangle$ are not Thom spectra at the prime $p=2$ for any $n\ge 2$.

math.AT↗

arXiv2026

Unbounded Nilpotency Gaps on Rationally Elliptic Manifolds

We construct simply connected, closed smooth manifolds whose rational homotopy types are elliptic and whose homology nilpotency exceeds rational category by arbitrarily large amounts. This separates short models from short quotients of minimal models. The construction starts from an explicit family of minimal Sullivan algebras with finite-dimensional cohomology. A finite quotient establishes Poincaré duality and gives an upper bound for homology nilpotency, while a closed orientation functional computes rational category. Two forced primitives yield the lower bound. An even regrading separates the relevant weights, extending this obstruction to every graded acyclic differential ideal. Rational surgery realizes the resulting models in their formal dimensions, with vanishing rational Pontryagin classes and arbitrarily large rational connectivity. The ratio of homology nilpotency to rational category tends to four thirds. Finally, under an external spherical stabilization statement, attaching a single cone can increase homology nilpotency by an arbitrarily large amount while leaving rational category unchanged.

math.AT↗

arXiv2026

Persistence and Topological Complexity

Topological complexity is a homotopy invariant that measures the minimal number of continuous rules required for motion planning in a space. In this work, we introduce persistent analogs of topological complexity and its cohomological lower bound, the zero-divisor-cup-length, for persistent topological spaces, and establish their stability. For Vietoris--Rips filtrations of metric spaces, we show that the erosion distances between these persistent invariants are bounded above by twice the Gromov--Hausdorff distance. We develop metric models of classical topological spaces based on cube boundaries with the $\ell_\infty$ metric and their products and wedges, allowing explicit computations of persistent invariants and their distances. These examples show that, in certain cases, persistent topological complexity and zero-divisor-cup-length distinguish spaces that persistent homology, persistent LS-category, and persistent cup-length fail to distinguish.

math.AT↗