BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We construct homology theories with coefficients in L-spectra on the category of ball complexes and we define products in this setting. We also obtain signatures of geometric situations in these homology groups and prove product formulae which we hope will clarify products used in the theory of the total surgery obstruction.
We generalise the notion of subdivision of a finite-dimensional locally finite simplicial complex X to geometric algebra, namely to the simplicially controlled categories A∗(X), A∗(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 X×R a bounded triangulation measured in the open cone O(X+) we use algebraic subdivision to define a functor "−⊗Z":B(A(X))→B(A(X×R)) that corresponds to tensoring with the simplicial chain complex of Z and algebraically subdividing to be bounded over O(X+). We show that C≃0∈B(A(X)) if and only if "C⊗Z" is boundedly chain contractible over O(X+). These results have applications to Poincaré 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é duality. We prove a Poincaré duality squeezing theorem that such a space X with sufficiently controlled Poincaré duality must have X-controlled Poincaré duality and we prove a Poincaré duality splitting theorem with the consequence that X is a homology manifold if and only if X×R has bounded Poincaré duality over O(X+).
In this paper we prove that a simplicial map of finite-dimensional locally finite simplicial complexes has contractible point inverses if and only if it is an ε-controlled homotopy equivalence for all ε>0 if and only if f×idR is a bounded homotopy equivalence measured in the open cone over the target. This confirms for such a space X the slogan that arbitrarily fine control over X corresponds to bounded control over the open cone O(X+). For the proof a one parameter family of cellulations {Xε′}0<ε<ε(X) is constructed which provides a retracting map for X which can be used to compensate for sufficiently small control.
This thesis concerns the relationship between bounded and controlled topology and how these can be used to recognise which homotopy equivalences of reasonable topological spaces are homotopic to homeomorphisms. Let f:X→Y be a simplicial map of finite-dimensional locally finite simplicial complexes. We prove that f has contractible point inverses if and only if it is an ε-controlled homotopy equivalences for all ε>0, if and only if f×id:X×R→Y×R is a homotopy equivalence bounded over the open cone O(Y+) of Pedersen and Weibel. This approach can be generalised to algebra using geometric categories: the X-controlled categories A∗(X), A∗(X) of Ranicki and Weiss together with the bounded categories CM(A) of Pedersen and Weibel. Analogous to the barycentric subdivision of a simplicial complex, we define the algebraic subdivision of a chain complex over that simplicial complex. The main theorem of the thesis is that a chain complex C is chain contractible in A(X) if and only if "C⊗Z"∈A(X×R) is boundedly chain contractible when measured in O(X+) for a functor "−⊗Z" defined appropriately using algebraic subdivision and for A=A∗ or A∗. We prove a squeezing result: a chain complex with a small enough chain contraction has arbitrarily small chain contractions. We conclude with consequences for Poincaré Duality spaces. Squeezing tells us that a PL Poincaré duality space with small enough Poincaré duality is a homology manifold and the main theorem tells us that a PL Poincaré duality space X is a homology manifold if and only if X×R has bounded Poincaré duality when measured in the open cone O(X+).
A map f:X→Y to a simplicial complex Y is called a Y-triangular homotopy equivalence if it has a homotopy inverse g and homotopies h1:f∘g≃idY, h2:g∘f≃idX such that for all simplices σ∈Y, f∣σ:f−1(σ)→σ is a homotopy equivalence with inverse g∣σ:σ→f−1(σ) and homotopies h1∣σ and h2∣σ. In this paper we prove that for all pairs X,Y of finite-dimensional locally finite simplicial complexes there is an ε(X,Y)>0 such that any ε-controlled homotopy equivalence f:X→Y for ε<ε(X,Y) is homotopic to a Y-triangular homotopy equivalence. Conversely, we conjecture that it is possible to `subdivide' a Y-triangular homotopy equivalence by finding a homotopic (SdY)-triangular homotopy equivalence, consequently a Y-triangular homotopy equivalence would be homotopic to an ε-controlled homotopy equivalence for all ε>0.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.