Related papers: Controlled surgery and $\mathbb{L}$-homology
Let $M^3$ be a 3-dimensional manifold with fundamental group $\pi_1(M)$ which contains a quaternion subgroup $Q$ of order 8. In 1979 Cappell and Shaneson constructed a nontrivial normal map $ f\colon M^3\times T^2\to M^3\times S^2$ which…
Given a diagram of Pi-algebras (graded groups equipped with an action of the primary homotopy operations), we ask whether it can be realized as the homotopy groups of a diagram of spaces. The answer given here is in the form of an…
We provide related Dehn surgery descriptions for rational homology spheres and a class of their regular finite cyclic covering spaces. As an application, we use the surgery descriptions to relate the Casson invariants of the covering spaces…
Global control offers a promising route to scalable quantum computing. A recent conjecture by Hu et al. (arXiv:2508.19075) proposes that any connected qubit graph equipped with global Ising-type interactions and tunable global transverse…
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\to Y$ be a…
Let $M^{n}$, $n\in\{3,4,5\}$, be a closed aspherical $n$-manifold and $S\subset M$ a subset consisting of disjoint incompressible embedded closed aspherical submanifolds (possibly with different dimensions). When $n =3,4$, we show that…
Let $M$ be a $\mathbb{Q}$-homology solid torus. In this paper, we give a cohomological criterion for the existence of an interval of left-orderable Dehn surgeries on $M$. We apply this criterion to prove that the two-bridge knot that…
In this paper, we show that for finite $CW$-complexes $X$ and two-stage space $Y$ (for example $n$-spheres $S^n$, homogeneous spaces and $F_0$-spaces), the rational homotopy type of $\map(X, Y)$ is determined by the cohomology algebra…
The inertia subgroup $I_n(\pi)$ of a surgery obstruction group $L_n(\pi)$ is generated by elements which act trivially on the set of homotopy triangulations $\Cal S(X)$ for some closed topological manifold $X^{n-1}$ with $\pi_1(X)=\pi$.…
Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map,…
We investigate the universality of multi-spin systems in architectures of various symmetries of coupling type and topology. Explicit reachability sets under symmetry constraints are provided. Thus for a given (possibly symmetric)…
We show that if $E$ is a closed convex set in $\mathbb C^n$ $(n>1)$ contained in a closed halfspace $H$ such that $E\cap bH$ is nonempty and bounded, then the concave domain $\Omega = \mathbb C^n\setminus E$ contains images of proper…
We study collections of curves in generic position on a closed surface whose complement consists of one disk only, up to orientation-preserving homeomorphism of the surface. We define a surgery operation on the set of such collections and…
This article formulates a generic representation of a path-following controller operating under contained motion, which was developed in the context of surgical robotics. It reports two types of constrained motion: i) Bilateral Constrained…
Thom-Pontrjagin constructions are used to give a computable necessary and sufficient condition when a homomorphism $\phi : H^n(L;Z)\to H^n(M;Z)$ can be realized by a map $f:M\to L$ of degree $k$ for closed $(n-1)$-connected $2n$-manifolds…
For a knot $K$ in a homology $3$-sphere $\Sigma$, let $M$ be the result of $2/q$-surgery on $K$, and let $X$ be the universal abelian covering of $M$. Our first theorem is that if the first homology of $X$ is finite cyclic and $M$ is a…
Assume $(M, \omega)$ is a connected, compact 6 dimensional symplectic manifold equipped with a semi-free Hamiltonian circle action, such that the fixed point set consists of isolated points or compact orientable surfaces. We restrict…
We consider the `unstable Boardman map' (homomorphism if $k>0$) $$b:\pi^{m+k}\Sigma^k\Omega^lS^{n+l}\simeq[\Omega^lS^{n+l},\Omega^kS^{m+k}]\longrightarrow \mathrm{Hom}(H_*\Omega^lS^{n+l},H_*\Omega^kS^{m+k})$$ defined by $h(f)=f_*$. We work…
We study biharmonic maps between conformally compact manifolds, a large class of complete manifolds with bounded geometry, asymptotically negative curvature, and smooth compactification. These metrics provide a far-reaching generalization…
Directed Algebraic Topology studies spaces equipped with a form of direction, to include models of non-reversible processes. In the present extension we also want to cover critical processes, indecomposable and unstoppable. The previous…