We show that the homotopy type of a finite oriented Poincaré 4-complex is determined by its quadratic 2-type provided its fundamental group is finite and has a dihedral Sylow 2-subgroup. By combining with results of Hambleton-Kreck and Bauer, this applies in the case of smooth oriented 4-manifolds whose fundamental group is a finite subgroup of SO(3). An important class of examples are elliptic surfaces with finite fundamental group.
Given a closed oriented PL four-manifold $X$ and a closed surface $B$ embedded in $X$ with isolated cone singularities, we give a formula for the signature of an irregular dihedral cover of $X$ branched along $B$. For $X$ simply-connected, we deduce a necessary condition on the intersection form of a simply-connected irregular dihedral branched cover of $(X, B)$. When the singularities on $B$ are two-bridge slice, we prove that the necessary condition on the intersection form of the cover is sharp. For $X$ a simply-connected PL four-manifold with non-zero second Betti number, we construct infi…
Consider the cyclic group C_2 of order two acting by complex-conjugation on the unit circle S^1. The main result is that a finitely dominated manifold W of dimension > 4 admits a cocompact, free, discontinuous action by the infinite dihedral group D_\infty if and only if W is the infinite cyclic cover of a free C_2-manifold M such that M admits a C_2-equivariant manifold approximate fibration to S^1. The novelty in this setting is the existence of codimension-one, invariant submanifolds of M and W. Along the way, we develop an equivariant sucking principle for certain orthogonal actions of fin…
We study the spaces of embeddings of manifolds in a Euclidean space. More precisely we look at the homotopy fiber of the inclusion of these spaces to the spaces of immersions. As a main result we express the rational homotopy type of connected components of those embedding spaces through combinatorially defined $L_\infty$-algebras of diagrams.
We establish a braid of interlocking exact sequences containing the group of homotopy self-equivalences of a smooth or topological 4-manifold. The braid is computed for manifolds whose fundamental group is finite of odd order.
The homotopy theory of gauge groups has received considerable attention in recent decades. In this work, we study the homotopy theory of gauge groups over some high dimensional manifolds. To be more specific, we study gauge groups of bundles over $(n-1)$-connected closed $2n$-manifolds, the classification of which was determined by Wall and Freedman in the combinatorial category. We also investigate the gauge groups of the total manifolds of sphere bundles based on the classical work of James and Whitehead. Furthermore, other types of $2n$-manifolds are also considered. In all the cases, we sh…
The aim of this paper is to give an $s$-cobordism classification of topological $4$-manifolds in terms of the standard invariants using the group of homotopy self-equivalences. Hambleton and Kreck constructed a braid to study the group of homotopy self-equivalences of $4$-manifolds. Using this braid together with the modified surgery theory of Kreck, we give an $s$-cobordism classification for certain $4$-manifolds with fundamental group $π$, such that cd $π\leq 2$.
Given a closed, smooth, connected, orientable $4$-manifold $M$, whose integral homology groups can have $2$-torsion, we determine the homotopy decomposition of the double suspension $Σ^2M$ as wedge sums of some elementary $\mathbf{A}_3^3$-complexes, which are $2$-connected finite complexes of dimension at most $6$. Furthermore, we utilize the Postnikov square (or equivalently Pontryagin square) to find sufficient conditions for the homotopy decompositions of $Σ^2M$ to desuspend to that of $ΣM$.
We show that the n-homotopy category of connected (n+1)-dimensional Menger manifolds is isomorphic to the homotopy category of connected Hilbert cube manifolds whose k-dimensional homotopy groups are trivial for each k > n.
The Bass trace conjectures are placed in the setting of homotopy idempotent selfmaps of manifolds. For the strong conjecture, this is achieved via a formulation of Geoghegan. The weaker form of the conjecture is reformulated as a comparison of ordinary and L^2-Lefschetz numbers.
We answer a question of Oprea-Tralle on the realizability of symplectic algebras by symplectic manifolds in dimensions divisible by four, along with a question of Lupton-Oprea in all even dimensions. This will also allow us to address, in all even dimensions six and higher, another question of Oprea-Tralle on the possibility of algebraic conditions on the rational homotopy minimal model of a closed smooth manifold implying the existence of a symplectic structure on the manifold.
In this paper, it is explained that a topological invariant for 3-manifold $M$ with $b_1(M)=1$ can be constructed by applying Fukaya's Morse homotopy theoretic approach for Chern--Simons perturbation theory to a local system on $M$ of rational functions associated to the free abelian covering of $M$. Our invariant takes values in Garoufalidis--Rozansky's space of Jacobi diagrams whose edges are colored by rational functions. It is expected that our invariant gives a lot of nontrivial finite type invariants of 3-manifolds.
In this paper a geometric approach toward stable homotopy groups of spheres, based on the Pontrjagin-Thom construction is proposed. From this approach a new proof of Hopf Invariant One Theorem by J.F.Adams for all dimensions except $15,31,63,127$ is obtained. It is proved that for $n>127$ in the stable homotopy group of spheres $Π_n$ there is no elements with Hopf invariant one. The new proof is based on geometric topology methods. The Pontrjagin-Thom Theorem (in the form proposed by R.Wells) about the representation of stable homotopy groups of the real projective infinite-dimensional space (…
We determine loop space decompositions of simply-connected four-manifolds, $(n-1)$-connected $2n$-dimensional manifolds provided $n\notin\{4,8\}$, and connected sums of products of two spheres. These are obtained as special cases of a more general loop space decomposition of certain torsion-free $CW$-complexes with well-behaved skeleta and some Poincaré duality features.
We introduce a rational homotopy invariant P of a topological space, which is a quintic tensor on the cohomology. For n > 1, formality of a closed (n-1)-connected manifold of dimension up to 5n-2 is equivalent to vanishing of P and the Bianchi-Massey tensor introduced by Crowley and the second author arXiv:1505.04184. We show also that elements of the group of closed simply-connected spin 8-manifolds with the cohomology of an r-fold connected sum of S^2 x S^6 are determined up to torsion by the value of P.
We show, up to h-cobordism, that the existence and uniqueness of connected sum decompositions of oriented 4-dimensional manifolds is an invariant of homotopy equivalence, assuming that the fundamental group of each summand is "good" in the sense of Freedman and Quinn. On a separate note, we observe that the Borel Conjecture is true in dimension 4 up to s-cobordism, assuming that the fundamental group satisfies the Farrell--Jones Conjecture.
We define homotopy-theoretic invariants of knots in prime 3-manifolds. Fix a knot J in a prime 3-manifold M. Call a knot K in M concordant to J if it cobounds a properly embedded annulus with J in MxI, and call K J-characteristic if there is a degree-one map f:M --> M throwing K onto J and mapping M-K to M-J. These invariants are invariants of concordance and of J-characteristicness when f induces the identity on the fundamental group of M, and may be viewed as extensions of Milnor's invariants. We do not require the knots considered here to be rationally null-homologous or framed.
We give a generalization of Fukaya's Morse homotopy theoretic approach for 2-loop Chern--Simons perturbation theory to 3-valent graphs with arbitrary number of loops at least 2. We construct a sequence of invariants of integral homology 3-spheres with values in a space of 3-valent graphs (Jacobi diagrams or Feynman diagrams) by counting graphs in an integral homology 3-sphere satisfying certain condition described by a set of ordinary differential equations.
We define the Bianchi-Massey tensor of a topological space X to be a linear map from a subquotient of the fourth tensor power of H*(X). We then prove that if M is a closed (n-1)-connected manifold of dimension at most 5n-3 (and n > 1) then its rational homotopy type is determined by its cohomology algebra and Bianchi-Massey tensor, and that M is formal if and only if the Bianchi-Massey tensor vanishes. We use the Bianchi-Massey tensor to show that there are many (n-1)-connected (4n-1)-manifolds that are not formal but have no non-zero Massey products, and to present a classification of simply-…
We construct a locally hyperbolic 3-manifold $M$ such that $π_ 1(M)$ has no divisible subgroups. We then show that $M$ is not homotopy equivalent to any complete hyperbolic manifold.
Consider a dihedral cover $f: Y\to X$ with $X$ and $Y$ four-manifolds and $f$ branched along an oriented surface embedded in $X$ with isolated cone singularities. We prove that only a slice knot can arise as the unique singularity on an irregular dihedral cover $f: Y\to S^4$ if $Y$ is homotopy equivalent to $\mathbb{CP}^2$ and construct an explicit infinite family of such covers with $Y$ diffeomorphic to $\mathbb{CP}^2$. An obstruction to a knot being homotopically ribbon arises in this setting, and we describe a class of potential counter-examples to the Slice-Ribbon Conjecture. Our tools inc…
We prove a comparison theorem for certain types of polyhedra in a 3-manifold with its scalar curvature bounded below by $-6$. The result confirms in some cases the Gromov dihedral rigidity conjecture in hyperbolic $3$-space.
We introduce the concept of a homotopy motion of a subset in a manifold, and give a systematic study of homotopy motions of surfaces in closed orientable 3-manifolds. This notion arises from various natural problems in 3-manifold theory such as domination of manifold pairs, homotopical behavior of simple loops on a Heegaard surface, and monodromies of virtual branched covering surface bundles associated to a Heegaard splitting.
We prove that an open 3-manifold proper homotopy equivalent to a geometrically simply connected polyhedron is simply connected at infinity, generalizing a theorem of V.Poenaru.
We show that the Prüfer surface, which is a separable non-metrizable 2-manifold, has not the homotopy type of a CW-complex. This will follow easily from J. H. C. Whitehead's result: if one has a good approximation of an arbitrary space by a CW-complex, which fails to be a homotopy equivalence, then the given space is not homotopy equivalent to a CW-complex.
Let $M$ be an oriented closed $3$-manifold. We prove that there exists a constant $A_M$, depending only on the manifold $M$, such that for every self-homotopy equivalence $f$ of $M$ there is an integer $k$ such that $1 \leq k \leq A_M$ and $f^k$ is homotopic to a homeomorphism.
A new method to derive presentations of skein modules is developed. For the case of homotopy skein modules it will be shown how the topology of a 3-manifold is reflected in the structure of the module. The freeness problem for q-homotopy skein modules is solved, and a natural skein module related to linking numbers is computed.
On every compact and orientable three-manifold, we construct total foliations (three codimension 1 foliations that are transverse at every point). This construction can be performed on any homotopy class of plane fields with vanishing Euler class. As a corollary we obtain similar results on bi-contact structures.
We study contact 3-manifolds using the techniques of sub-Riemannian geometry and geometric measure theory, in particular establishing properties of their Lipschitz homotopy groups. We prove a biLipschitz version of the Theorem of Darboux: a contact $(2n+1)$-manifold endowed with a sub-Riemannian structure is locally biLipschitz equivalent to the Heisenberg group $\mathbb{H}^n$ with its \cc metric. Then each contact $(2n+1)$-manifold endowed with a sub-Riemannian structure is purely $k$-unrectifiable for $k>n$. We then extend results of Dejarnette et al. (arXiv:1109.4641 [math.FA]) and Wenger a…
We consider the $D$-dimensional Euclidean space, $\mathbb{R}^D$, with certain $(D-N)$-dimensional compact, closed and orientable sub-manifolds (which we call \emph{singularity manifolds} and represent by $\widetilde{\mathcal{S}}$) removed from it. We define and investigate the problem of finding a homotopy-like class invariant ($χ$-homotopy) for certain $(N-1)$-dimensional compact, closed and orientable sub-manifolds (which we call \emph{candidate manifolds} and represent by $ω$) of $\mathbb{R}^D \setminus \widetilde{\mathcal{S}}$, with special emphasis on computational aspects of the problem.…
This paper introduces a rigorous computer-assisted procedure for analyzing hyperbolic 3-manifolds. This technique is used to complete the proof of several long-standing rigidity conjectures in 3-manifold theory as well as to provide a new lower bound for the volume of a closed orientable hyperbolic 3-manifold. We prove the following result: \it\noindent Let $N$ be a closed hyperbolic 3-manifold. Then \begin{enumerate} \item[(1)] If $f\colon M \to N$ is a homotopy equivalence where $M$ is a closed irreducible 3-manifold, then $f$ is homotopic to a homeomorphism. \item[(2)] If $f,g\colon M\to N$…
Let $M$ be a connected, closed, oriented three-manifold and $K$, $L$ two rationally null-homologous oriented simple closed curves in $M$. We give an explicit algorithm for computing the linking number between $K$ and $L$ in terms of a presentation of $M$ as an irregular dihedral $3$-fold cover of $S^3$ branched along a knot $α\subset S^3$. Since every closed, oriented three-manifold admits such a presentation, our results apply to all (well-defined) linking numbers in all three-manifolds. Furthermore, ribbon obstructions for a knot $α$ can be derived from dihedral covers of $α$. The linking nu…
We study harmonic maps from a 3-manifold with boundary to $\mathbb{S}^1$ and prove a special case of dihedral rigidity of three dimensional cubes whose dihedral angles are $π/ 2$. Furthermore we give some applications to mapping torus hyperbolic 3-manifolds.
Suppose M is a noncompact connected PL 2-manifold and let H(M)_0 denote the identity component of the homeomorphism group of M with the compact-open topology. In this paper we classify the homotopy type of H(M)_0 by showing that {\cal H}(M)_0 has the homotopy type of the circle if M is the plane, an open or half open annulus, or the punctured projective plane. In all other cases we show that H(M)_0 is homotopically trivial.
Algebra Situs is a branch of mathematics which has its roots in Jones' construction of his polynomial invariant of links and Drinfeld's work on quantum groups. It encompasses the theory of quantum invariants of knots and 3-manifolds, algebraic topology based on knots, operads, planar algebras, q-deformations, quantum groups, and overlaps with algebraic geometry, non-commutative geometry and statistical mechanics. Algebraic topology based on knots may be characterized as a study of properties of manifolds by considering links (submanifolds) in a manifold and their algebraic structure. The main …
