We obtain estimations for isotopy classes of embeddings of closed k-connected n-manifolds into R^{2n-k-1} for n>2k+5 and k\ge0. This is done in terms of an exact sequence involving the Whitney invariants and an explicitly constructed action of H_{k+1}(N;Z_2) on the set of embeddings. (For k\ne1 classification results were obtained by algebraic methods without direct construction of embeddings or homology invariants.)
The proof involves reduction to classification of embeddings of punctured manifold and uses parametric connected sum of embeddings.
Let $N$ be a closed orientable connected $n$-manifold, $n\ge 4$. We classify embeddings of the punctured manifold $N_0$ into $\R^{2n-1}$ up to isotopy. Our result in some sense extends results of J.C. Becker -- H.H. Glover (1971) and O. Saeki (1999).
We study connected sum at infinity on smooth, open manifolds. This operation requires a choice of proper ray in each manifold summand. In favorable circumstances, the connected sum at infinity operation is independent of ray choices. For each m at least 3, we construct an infinite family of pairs of m-manifolds on which the connected sum at infinity operation yields distinct manifolds for certain ray choices. We use cohomology algebras at infinity to distinguish these manifolds.
In this article, we classify 1-connected 8-dimensional Poincaré complexes, topological manifolds and smooth manifolds with the same homology as $S^3\times S^5$. Some questions of Escher-Ziller are also discussed.
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 show that for the Kauffman bracket skein module over the field of rational functions in variable A, the module of a connected sum of 3-manifolds is the tensor product of modules of the individual manifolds.
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.
For each composite number $n\ne 2^k$, there does not exist a single connected closed $(n+1)$-manifold such that any smooth, simply-connected, closed $n$-manifold can be topologically flat embedded into it. There is a single connected closed 5-manifold $W$ such that any simply-connected, 4-manifold $M$ can be topologically flat embedded into $W$ if $M$ is either closed and indefinite, or compact and with non-empty boundary.
Bredon has constructed a 2-dimensional compact cohomology manifold which is not homologically locally connected, with respect to the singular homology. In the present paper we construct infinitely many such examples (which are in addition metrizable spaces) in all remaining dimensions $n \ge 3$.
We show that the classical example $X$ of a 3-dimensional generalized manifold constructed by van Kampen is another example of not homologically locally connected (i.e. not HLC) space. This space $X$ is not locally homeomorphic to any of the compact metrizable 3-dimensional manifolds constructed in our earlier paper which are not HLC spaces either.
In this note we classify the diffeomorphism classes rel. boundary of smooth h-cobordisms between two fixed 1-connected 4-manifolds in terms of isometries between the intersection forms.
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 define an isotopy invariant of embeddings N -> R^m of manifolds into Euclidean space. This invariant together with the α-invariant of Haefliger-Wu is complete in the dimension range where the α-invariant could be incomplete. We also define parametric connected sum of certain embeddings (analogous to surgery). This allows to obtain new completeness results for the α-invariant and the following estimation of isotopy classes of embeddings. For the piecewise-linear category, a (3n-2m+2)-connected n-manifold N and (4n+4)/3 < m < (3n+3)/2 each preimage of α-invariant injects into a quotient of H_…
We give necessary and sufficient conditions for a closed smooth 6-manifold N to be diffeomorphic to a product of a surface F and a simply connected 4-manifold M in terms of basic invariants like the fundamental group and cohomological data. Any isometry of the intersection form of M is realized by a self-diffeomorphism of M x F.
Our goal in this paper is to compute the integral free loop space homology of $(n-1)$-connected $2n$-manifolds $M$, $n\geq 2$. We do this when $n\neq 2,4,8$, or when $n\neq 2$ and $\tilde H^*(M)$ has trivial cup product squares, though the techniques used here should extend to a much wider range of manifolds. We also give partial information concerning the action of the Batalin-Vilkovisky operator.
We construct closed $(k-1)$-connected manifolds of dimensions $\ge 4k-1$ that possess non-trivial rational Massey triple products. We also construct examples of manifolds $M$ such that all the cup-products of elements of $H^k(M)$ vanish, while the group $H^{3k-1}(M;\Q)$ is generated by Massey products: such examples are useful for theory of systols.
We construct branched double coverings by certain direct products of manifolds for connected sums of copies of sphere bundles over the 2-sphere. As an application we answer a question of Kotschick and Loeh up to dimension five. More precisely, we show that: (1) every simply connected, closed four-manifold admits a branched double covering by a product of the circle with a connected sum of copies of $S^2 \times S^1$, followed by a collapsing map; (2) every simply connected, closed five-manifold admits a branched double covering by a product of the circle with a connected sum of copies of $S^3 \…
Let P be a closed smooth (4j-2)-connected 8j-manifold. We complete Wilkens' classification of the manifolds P for j = 1,2 and give an alternative proof to Wall's classification of the manifolds for j > 2. The Hopf-invariant-one dimensions (j=1,2) are characteristed by the fact that the quadratic linking functions which classify may be inhomogeneous. Hence we also extend the classification of (homogeneous) quadratic linking forms on finite abelian groups (due to Nikulin) to the inhomogeneous case.
An oriented closed connected N-manifold M is inflexible if it does not admit self-maps of unbounded degree. In addition, if all the maps from any other oriented closed connected N-manifold have bounded degree, then M is said to be strongly inflexible. The existence of simply-connected inflexible manifolds was established by Arkowitz and Lupton. However, the existence of simply-connected strongly inflexible manifolds is still an open question. We provide an algorithm relying on Sullivan models that allow us to prove that all, but one, of the known examples of simply-connected inflexible manifol…
We study the classification of closed, smooth, spin, $1$-connected $7$-manifolds whose integral cohomology ring is isomorphic to $H^*(\mathbb{C}P^2\times S^3)$. We also prove that if the integral cohomology ring of a closed, smooth, spin, $1$-connected $7$-manifold is isomorphic to $H^*(\mathbb{C}P^2\times S^3)$ or $H^*(S^2\times S^5)$, this $7$-manifold admits a Riemannian metric with positive Ricci curvature.
In this paper we study existence and lack thereof of closed embedded orientable co-dimension one totally geodesic submanifolds of minimal volume cusped orientable hyperbolic manifolds.
The aim of this paper is to classify simply connected 6-dimensional torus manifolds with vanishing odd degree cohomology. It is shown that there is a one-to-one correspondence between equivariant diffeomorphism types of these manifolds and 3-valent labelled graphs, called torus graphs introduced by Maeda-Masuda-Panov. Using this correspondence and combinatorial arguments, we prove that a simply connected 6-dimensional torus manifold with vanishing odd degree cohomology is equivariantly diffeomorphic to the 6-dimensional sphere or an equivariant connected sum of copies of 6-dimensional quasitor…
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 any closed oriented 3-manifold can be topologically embedded in some simply-connected closed symplectic 4-manifold, and that it can be made a smooth embedding after one stabilization. As a corollary of the proof we show that the homology cobordism group is generated by Stein fillable 3-manifolds. We also find obstructions on smooth embeddings: there exists 3-manifolds which cannot smoothly embed in a way that appropriately respect orientations in any symplectic manifold with weakly convex boundary. This embedding obstruction can also be used to detect exotic smooth structures on 4…
We produce infinite families of exotic actions of finite cyclic groups on simply connected smooth 4-manifolds with nontrivial Seiberg-Witten invariants.
In this note, we discuss embeddings of $3$--manifolds via open books. First we show that every open book of every closed orientable $3$--manifold admits an open book embedding in any open book decompistion of $S^2 \times S^3$ and $S^2 \widetilde{\times} S^3$ with the page a disk bundle over $S^2$ and monodromy the identity. We then use open book embeddings to reprove that every closed orientable $3$--manifold embeds in $S^5.$
We discuss embedding of manifolds in the category of open books, contact manifolds and contact open books. We prove an open book version of the Haefliger--Hirsch embedding theorem by showing that every $k$-connected closed $n$-manifold ($n\geq 7$, $k < \frac{n-4}{2}$) admits an open book embedding in the trivial open book of $\mathbb{S}^{2n-k}$. We then prove that every closed manifold $M^{2n+1}$ that bounds an achiral Lefschetz fibration, admits open book embedding in the trivial open book of $\mathbb{S}^{2\lfloor\frac{3n}{2}\rfloor + 3}$. We also prove that every closed manifold $M^{2n+1}$ b…
We prove that 2-dimensional simplicial complexes whose first homology group is trivial have topological embeddings in 3-space if and only if there are embeddings of their link graphs in the plane that are compatible at the edges and they are simply connected.
In this paper, we describe geometrical constructions to obtain triangulations of connected sums of closed orientable triangulated 3-manifolds. Using these constructions, we show that it takes time polynomial in the number of tetrahedra to check if a closed orientable 3-manifold, equipped with a minimal triangulation, is reducible or not. This result can easily be generalized to compact orientable 3-manifolds with non-empty boundary.
We construct an obstruction for the existence of embeddings of homology $3$-sphere into homology $S^3\times S^1$ under some cohomological condition. The obstruction is defined as an element in the filtered version of the instanton Floer cohomology due to R.Fintushel-R.Stern. We make use of the $\mathbb{Z}$-fold covering space of homology $S^3\times S^1$ and the instantons on it.
We generalize a result of the author about the classification of 1-connected 7-manifolds and demonstrate its use by two concrete applications, one to 2-connected 7-manifolds (a new proof -- and slightly different formulation -- of an up to now unpublished Theorem by Crowley and Nordstroem and one to simply connected 7-manifolds with the cohomology ring of $S^2 \times S^5 \sharp S^3 \times S^4$. The answer is in terms of generalized Kreck-Stolz invariants, which in the case of 2-connected 7-manifolds is equivalent to a quadratic refinement of the linking form and a generalized Eells-Kuiper inva…
In this article we prove that, if $X$ is a smooth $4$-manifold containing an embedded double node neighborhood, all knot surgery $4$-manifolds $X_K$ are mutually diffeomorphic to each other after a connected sum with $\mathbb{CP}^2$. Hence, by applying to the simply connected elliptic surface $E(n)$, we also show that every knot surgery $4$-manifold $E(n)_K$ is almost completely decomposable.
We show that the infinite cyclic cover of the exterior of the untwisted Whitehead double of a non-trivial knot does not embed in any compact 3-manifold, answering a question of Jiang, Ni, Wang and Zhou.
We construct infinitely many smooth 4-manifolds which are homotopy equivalent to $S^2$ but do not admit a spine, i.e., a piecewise-linear embedding of $S^2$ which 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.
In this note we study whether specific elements in the second homology of specific simply connected closed $4$-manifolds can be represented by smooth or topologically flat embedded spheres.
In this article we study proper symplectic and iso-symplectic embeddings of $4$--manifolds in $6$--manifolds. We show that a closed orientable smooth $4$--manifold admitting a Lefschetz fibration over $\C P^1$ admits a symplectic embedding in the symplectic manifold $(\C P^1 \times \C P^1 \times \C P^1, ω_{pr}),$ where $ω_{pr}$ is the product symplectic form on $\C P^1 \times \C P^1 \times \C P^1.$ We also show that there exists a sub-critical Weinstein $6$--manifold in which all finite type Weinstein $4$--manifolds admit iso-symplectic embeddings.
This is primarily an exposition, combining work of several authors (Curtis, Hsiang, Freedman, Stong, Matveyev, and Bizaca), of the proof that a smooth 5-dimensional h-cobordism between simply connected 4-manifolds is a product off of a contractible piece which itself is diffeomorphic to the 5-ball.
The classical Kneser-Milnor theorem says that every closed oriented connected 3-dimensional manifold admits a unique connected sum decomposition into manifolds that cannot be decomposed any further. We discuss to what degree such decompositions exist in higher dimensions and we show that in many settings uniqueness fails in higher dimensions.
We characterise the embeddability of simply connected locally 3-connected 2-dimensional simplicial complexes in 3-space in a way analogous to Kuratowski's characterisation of graph planarity, by excluded minors. This answers questions of Lovász, Pardon and Wagner.
Every lens space has a locally flat embedding in a connected sum of 8 copies of the complex projective plane and a smooth embedding in n copies of the complex projective plane for some positive integer n. We show that there is no n such that every lens space smoothly embeds in n copies of the complex projective plane.
In this note we observe that one can contact embed all contact 3-manifolds into a Stein fillable contact structure on the twisted $S^3$-bundle over $S^2$ and also into a unique overtwisted contact structure on $S^3\times S^2$. These results are proven using "spun embeddings" and Lefschetz fibrations.
In this paper we study embeddings of contact manifolds using braidings of one manifold about another. In particular we show how to embed many contact 3-manifolds into the standard contact 5-sphere. We also show how to obstruct braidings of one manifold about another using contact geometry.
An invariant of orientable 3-manifolds is defined by taking the minimum $n$ such that a given 3-manifold embeds in the connected sum of $n$ copies of $S^2 \times S^2$, and we call this $n$ the embedding number of the 3-manifold. We give some general properties of this invariant, and make calculations for families of lens spaces and Brieskorn spheres. We show how to construct rational and integral homology spheres whose embedding numbers grow arbitrarily large, and which can be calculated exactly if we assume the 11/8-Conjecture. In a different direction we show that any simply connected 4-mani…
A key tool in our earlier work on ends of manifolds high-dimensional manifolds was an ability to embed cobordisms provided by the Quillen Plus Construction into those ends. Here we develop a `spherical modification' trick which provides a constructive approach to obtaining such embeddings. More importantly, this approach allows for more general embedding results. In this paper we develop generalizations of the plus construction and show how the corresponding cobordisms can be embedded in manifolds satisfying appropriate fundamental group properties. Results obtained here play an important role…
We consider simply-connected $4$-manifolds admitting Lefschetz fibrations over the $2$-sphere. We explicitly construct nonhyperelliptic and hyperelliptic Lefschetz fibrations of genus $4$ on simply-connected $4$-manifolds which are exotic symplectic $4$-manifolds in the homeomorphism classes of $\mathbb{C}P^{2}\#8\overline{\mathbb{C} P^{2}}$ and $\mathbb{C} P^{2}\#9\overline{\mathbb{C} P^{2}}$, respectively. From these, we provide upper bounds for the minimal number of singular fibers of such fibrations. In addition, we prove that this number is equal to $18$ for $g=3$ when such fibrations are…
We consider embeddings of 3-manifolds in $S^4$ such that each of the two complementary regions has an abelian fundamental group. In particular, we show that an homology handle $M$ has such an embedding if and only if $π_1(M)'$ is perfect, and that the embedding is then essentially unique.
This paper shows that many hyperbolic manifolds obtained by glueing arithmetic pieces embed into higher-dimensional hyperbolic manifolds as codimension-one totally geodesic submanifolds. As a consequence, many Gromov--Pyatetski-Shapiro and Agol--Belolipetsky--Thomson non-arithmetic manifolds embed geodesically. Moreover, we show that the number of commensurability classes of hyperbolic manifolds with a representative of volume $\leq v$ that bounds geometrically is at least $v^{Cv}$, for $v$ large enough.
In this paper we study colored triangulations of compact PL 4-manifolds with empty or connected boundary which induce handle decompositions lacking in 1-handles or in 1- and 3-handles, thus facing also the problem, posed by Kirby, of the existence of {\it special handlebody decompositions} for any simply-connected closed PL 4-manifold. In particular, we detect a class of compact simply-connected PL 4-manifolds with empty or connected boundary, which admit such decompositions and, therefore, can be represented by (undotted) framed links. Moreover, this class includes any compact simply-connecte…
The aim of this paper is to study compact 5--manifolds which admit fixed point free circle actions. The first result implies that the torsion in the second homology and the second Stiefel--Whitney class have to satisfy strong restrictions. We then show that for simply connected 5--manifolds these restrictions are necessary and sufficient.
A theorem on the existence of the unique minimal topologic handle decomposition of differentiable simply connected five-dimensional manifolds is proved. For a decomposition of this sort, the number of handles of each index is given.
In this paper we construct non-simply connected contact manifolds $M$ of dimension $\geq5$ such that $M\times S^1$ does not admit a symplectic structure.
