Algebraic subdivision in simplicially controlled categories

arXiv1405.2973MaRDI QIDQ6251492FDOQ6251492

Authors: Spiros Adams-Florou 

Publication date: 12 May 2014

Abstract: We generalise the notion of subdivision of a finite-dimensional locally finite simplicial complex $X$ to geometric algebra, namely to the simplicially controlled categories $mathbb{A}^{\ast }(X)$, $mathbb{A}_{\ast }(X)$ of Ranicki and Weiss. We prove a squeezing result: a bounded chain equivalence of sufficiently algebraically subdivided chain complexes can be squeezed to a simplicially controlled chain equivalence of the unsubdivided chain complexes. Giving $XimesmathbbR$ a bounded triangulation measured in the open cone $O(X_{+})$ we use algebraic subdivision to define a functor $$ that corresponds to tensoring with the simplicial chain complex of $mathbbZ$ and algebraically subdividing to be bounded over $O(X_{+})$. We show that $Csimeq0inmathbbB(mathbbA(X))$ if and only if $$ is boundedly chain contractible over $O(X_{+})$. These results have applications to Poincar'e duality and homology manifold detection as a finite-dimensional locally finite simplicial complex $X$ is a homology manifold if and only if it has $X$-controlled Poincar'e duality. We prove a Poincar'e duality squeezing theorem that such a space $X$ with sufficiently controlled Poincar'e duality must have $X$-controlled Poincar'e duality and we prove a Poincar'e duality splitting theorem with the consequence that $X$ is a homology manifold if and only if $XimesmathbbR$ has bounded Poincar'e duality over $O(X_{+})$.

Mathematics Subject Classification ID

Surgery obstructions, Wall groups (57R67) PL-topology (57Qxx)

This page was built for publication: Algebraic subdivision in simplicially controlled categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6251492)