We construct infinitely many compact, smooth 4-manifolds which are homotopy equivalent to $$S^{2}$$ but do not admit a spine (that is, a piecewise linear embedding of $$S^{2}$$ that realizes the homotopy equivalence). This is the remaining case in the existence problem for codimension-2 spines in simply connected manifolds. The obstruction comes from the Heegaard Floer $$d$$ invariants.
more »
« less
Infinite homotopy stable class for 4-manifolds with boundary
We show that for every odd prime $$q$$, there exists an infinite family~$$\{M_i\}_{i=1}^{\infty}$$ of topological 4-manifolds that are all stably homeomorphic to one another, all the manifolds $$M_i$$ have isometric rank one equivariant intersection pairings and boundary $$L(2q, 1) \# (S^1 \times S^2)$$, but they are pairwise not homotopy equivalent via any homotopy equivalence that restricts to a homotopy equivalence of the boundary.
more »
« less
- Award ID(s):
- 2347230
- PAR ID:
- 10500516
- Publisher / Repository:
- Mathematical Sciences Publishers
- Date Published:
- Journal Name:
- Pacific journal of mathematics
- ISSN:
- 0030-8730
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
For a Gromov-Hausdorff convergent sequence of closed manifolds $$M_i^n\ghto X$$ with $$\Ric\ge-(n-1)$$, $$ \mathrm{diam}(M_i)\le D$$, and $$\mathrm{vol}(M_i)\ge v>0,$$ we study the relation between $$\pi_1(M_i)$$ and $$X$$. It was known before that there is a surjective homomorphism $$\phi_i:\pi_1(M_i)\to \pi_1(X)$$ by the work of Pan--Wei. In this paper, we construct a surjective homomorphism $$\psi_i$$ from the interior of the effective regular set in $$X$$ back to $$M_i$$. These surjective homomorphisms $$\phi_i$$ and $$\psi_i$$ are natural in the sense that their composition $$\phi_i \circ \psi_i$$ is exactly the homomorphism induced by the inclusion map from the effective regular set to $$X$$.more » « less
-
We complete the proof of the Generalized Smale Conjecture, apart from the case of R P 3 RP^3 , and give a new proof of Gabai’s theorem for hyperbolic 3 3 -manifolds. We use an approach based on Ricci flow through singularities, which applies uniformly to spherical space forms, except S 3 S^3 and R P 3 RP^3 , as well as hyperbolic manifolds, to prove that the space of metrics of constant sectional curvature is contractible. As a corollary, for such a 3 3 -manifold X X , the inclusion Isom ( X , g ) → Diff ( X ) \operatorname {Isom}(X,g)\rightarrow \operatorname {Diff}(X) is a homotopy equivalence for any Riemannian metric g g of constant sectional curvature.more » « less
-
.We show the existence of linear bounds on Wall 𝜌-invariants of PL manifolds, employing a new combinatorial concept of 𝐺-colored polyhedra. As an application, we show how the number of h-cobordism classes of manifolds simple homotopy equivalent to a lens space with 𝑉 simplices and the fundamental group of Z n grows in 𝑉. Furthermore, we count the number of homotopy lens spaces with bounded geometry in 𝑉. Similarly, we give new linear bounds on Cheeger–Gromov 𝜌-invariants of PL manifolds endowed with a faithful representation also. A key idea is to construct a cobordism with a linear complexity whose boundary is π 1 -injectively embedded, using relative hyperbolization. As an application, we study the complexity theory of high-dimensional lens spaces. Lastly, we show the density of 𝜌-invariants over manifolds homotopy equivalent to a given manifold for certain fundamental groups. This implies that the structure set is not finitely generated.more » « less
-
Abstract The universal pairing for manifolds was defined and shown to lack positivity in dimension 4 in [Freedman, Kitaev, Nayak, Slingerland, Walker, and Wang, J. Geom. Topol.9(2005), 2303–2317]. We prove an analogous result for 2‐complexes, and show that the universal pairing does not detect the difference between simple homotopy equivalence and 3‐deformations. The question of whether these two equivalence relations are different for 2‐complexes is the subject of the Andrews–Curtis conjecture. We also discuss the universal pairing for higher dimensional complexes and show that it is not positive.more » « less
An official website of the United States government

