We define an invariant, which we call surface-complexity, of closed 3-manifolds by means of Dehn surfaces. The surface-complexity of a manifold is a natural number measuring how much the manifold is complicated. We prove that it fulfils interesting properties: it is subadditive under connected sum and finite-to-one on P2-irreducible manifolds. Moreover, for P2-irreducible manifolds, it equals the minimal number of cubes in a cubulation of the manifold, except for the sphere S3, the projective space RP3 and the lens space L41, which have surface-complexity zero. We will also give estimations of the surface-complexity by means of triangulations, Heegaard splittings, surgery presentations and Matveev complexity.
We show that an immersed thrice-punctured sphere in a cusped orientable hyperbolic 3-manifold is either embedded or has a single clasp in a manifold obtained by hyperbolic Dehn filling on a cusp of the Whitehead link complement.
In this paper, we exploit a subtle indeterminacy in the definition of the spherical Kervaire-Milnor invariant which was discovered by R. Stong to construct non-spin 4-manifolds with even intersection form and prescribed signature.
This paper presents some finiteness results for the number of boundary slopes of immersed essential surfaces of given genus g in a compact 3-manifold with torus boundary. In the case of hyperbolic 3-manifolds we obtain uniform quadratic bounds in g for the number of possible slopes, independent of the 3-manifold. We also look at some related quantities, such as how many times the slopes of two such surfaces of specified genus can intersect.
We show that many 3-manifold groups have no nonabelian surface subgroups. For example, any link of an isolated complex surface singularity has this property. In fact, we determine the exact class of closed graph-manifolds which have no immersed pi_1-injective surface of negative Euler characteristic. We also determine the class of closed graph manifolds which have no finite cover containing an embedded such surface. This is a larger class. Thus, manifolds M^3 exist which have immersed pi_1-injective surfaces of negative Euler characteristic, but no such surface is virtually embedded (finitely …
For any hyperbolic 3-manifold $M$ with totally geodesic boundary, there are finitely many boundary slopes for essential immersed surfaces of a given genus. There is a uniform bound for the number of such boundary slopes if the genus of $\partial M$ or the volume of $M$ is bounded above. When the volume is bounded above, then area of $\partial M$ is bounded above and the length of closed geodesic on $\partial M$ is bounded below.
Let $S_0$ and $S_1$ be two homotopic, oriented 2-spheres embedded in an orientable 4-manifold $X$. After discussing several operations for modifying an immersion of a 3-manifold into a 5-manifold, we discuss the Freedman--Quinn (fq) and Stong (stong) concordance obstructions. When these are defined for the pair $S_0,S_1$, they are defined in terms of the self-intersection set of a regular homotopy from $S_0$ to $S_1$. When $S_0$ has an immersed dual sphere, we see that under some mild topological conditions on $X$, the invariants fq and stong are a complete set of concordance obstructions. Thi…
The paper contains a new proof that a complete, non-compact hyperbolic $3$-manifold $M$ with finite volume contains an immersed, closed, quasi-Fuchsian surface.
Among other things, we prove the following two topologcal statements about closed hyperbolic 3-manifolds. First, every rational second homology class of a closed hyperbolic 3-manifold has a positve integral multiple represented by an oriented connected closed $π_1$-injectively immersed quasi-Fuchsian subsurface. Second, every rationally null-homologous, $π_1$-injectively immersed oriented closed 1-submanifold in a closed hyperbolic 3-manifold has an equidegree finite cover which bounds an oriented compact $π_1$-injective immersed quasi-Fuchsian subsurface. In part, we exploit techniques develo…
We count the number of conjugacy classes of maximal, genus g, surface subroups in hyperbolic 3-manifold groups. For any closed hyperbolic 3-manifold, we show that there is an upper bound on this number which grows factorially with g. We also give a class of closed hyperbolic 3-manifolds for which there is a lower bound of the same type.
In this note, we investigate the relation between double points and complex points of immersed surfaces in almost-complex 4-manifolds and show how estimates for the minimal genus of embedded surfaces lead to inequalities between the number of double points and the number of complex points of an immersion. We also provide a generalization of a classical genus estimate due to V.A. Rokhlin to the case of immersed surfaces.
Suppose $δ$ is a generic immersed closed curve in the boundary of a 3-manifold M and $δ$ is null-homotopic in M. Then $δ$ can be displaced by a height function in a collar of the boundary so that the resulting simple closed curve in the collar bounds a disk in M.
A combinatorial condition is obtained for when immersed or embedded incompressible surfaces in compact 3-manifolds with tori boundary components remain incompressible after Dehn surgery. A combinatorial characterisation of hierarchies is described. A new proof is given of the topological rigidity theorem of Hass and Scott for 3-manifolds containing immersed incompressible surfaces, as found in cubings of non-positive curvature.
The paper introduces the spirality character of the almost fiber part for a closed essentially immersed subsurface of a closed orientable aspherical 3-manifold, which generalizes an invariant due to Rubinstein and Wang. The subsurface is virtually embedded if and only if the almost fiber part is aspiral, and in this case, the subsurface is virtually a leaf of a taut foliation. Besides other consequences, examples are exhibited that non-geometric 3-manifolds with no Seifert fibered pieces may contain essentially immersed but not virtually embedded closed subsurfaces.
We show that every closed, virtually fibered hyperbolic 3-manifold contains immersed, quasi-Fuchsian surfaces with convex cores of arbitrarily large thickness.
We show that the number of double points of smoothly immersed 2-spheres representing certain homology classes of an oriented, smooth, closed, simply-connected 4-manifold X must increase with the complexity of corresponding h-cobordisms from X to X. As an application, we give results restricting the minimal number of double points of immersed spheres in manifolds homeomorphic to rational surfaces.
This paper is to study the $\mathbb{R}^{3}$ case of \hyperref[Zhao]{[9]}. We determine all equivalence classes of immersed $3$-manifolds bounded by an arbitrary immersed surface in $\mathbb{R}^{3}$.
In this paper, we will compute the dimension of the space of spun and ordinary normal surfaces in an ideal triangulation of the interior of a compact 3-manifold with incompressible tori or Klein bottle components. Spun normal surfaces have been described in unpublished work of Thurston. We also define a boundary map from spun normal surface theory to the homology classes of boundary loops of the 3-manifold and prove the boundary map has image of finite index. Spun normal surfaces give a natural way of representing properly embedded and immersed essential surfaces in a 3-manifold with tori and …
Normal surface theory, a tool to represent surfaces in a triangulated 3-manifold combinatorially, is ubiquitous in computational 3-manifold theory. In this paper, we investigate a relaxed notion of normal surfaces where we remove the quadrilateral conditions. This yields normal surfaces that are no longer embedded. We prove that it is NP-hard to decide whether such a surface is immersed. Our proof uses a reduction from Boolean constraint satisfaction problems where every variable appears in at most two clauses, using a classification theorem of Feder. We also investigate variants, and provide …
We consider the following properties of compact oriented irreducible graph-manifolds: to contain a $π_1$-injective surface (immersed, virtually embedded or embedded), be (virtually) fibered over $S^1$, and to carry a metric of nonpositive sectional curvature. It turns out that all these properties can be described from a unified point of view.
We study the 3-dimensional immersed crosscap number of a knot, which is a nonorientable analogue of the immersed Seifert genus. We study knots with immersed crosscap number 1, and show that a knot has immersed crosscap number 1 if and only if it is a nonntrivial $(2p,q)$-torus or $(2p,q)$-cable knot. We show that unlike in the orientable case the immersed crosscap number can differ from the embedded crosscap number by arbitrarily large amounts, and that it is neither bounded below nor above by the 4-dimensional crosscap number. We then use these constructions to find, for any $n\geq 2$, an ori…
We prove that a sequence of possibly branched, weak immersions of the two-sphere $S^2$ into an arbitrary compact riemannian manifold $(M^m,h)$ with uniformly bounded area and uniformly bounded $L^2-$norm of the second fundamental form either collapse to a point or weakly converges as current, modulo extraction of a subsequence, to a Lipschitz mapping of $S^2$ and whose image is made of a connected union of finitely many, possibly branched, weak immersions of $S^2$ with finite total curvature. We prove moreover that if the sequence belongs to a class $γ$ of $π_2(M^m)$ the limiting lipschitz map…
Motivated by classical theorems on minimal surface theory in compact hyperbolic three-manifolds, we investigate the questions of existence and deformations for least area minimal surfaces in complete noncompact hyperbolic three-manifold of finite volume. We prove any closed immersed incompressible surface can be deformed to a closed immersed least area surface within its homotopy class in any cusped hyperbolic three-manifold. Our techniques highlight how special structures of these cusped hyperbolic three-manifolds prevent any least area minimal surface going too deep into the cusped region.
Colorado State University Pueblo（科罗拉多州立大学普韦布洛分校）；Saginaw Valley State University（萨吉诺谷州立大学）；Louisiana State University（路易斯安那州立大学）；Simons Center for Geometry and Physics, State University of New York（纽约州立大学西蒙斯几何与物理中心）
Let $F$ be a proper essential immersed surface in a hyperbolic 3-manifold $M$ with boundary disjoint from a torus boundary component $T$ of $M$. Let $α$ be the set of coannular slopes of $F$ on $T$. The main theorem of the paper shows that there is a constant $K$ and a finite set of slopes $Λ$ on $T$, such that if $β$ is a slope on $T$ with $Δ(β, α_i) > K$ for all $α_i$ in $α$, and $β$ is not in $Λ$, then $F$ remains incompressible after Dehn filling on $T$ along the slope $β$. In certain sense, this means that $F$ survives most Dehn fillings. The proof uses minimal surface theory, integral of…
The simple loop conjecture for 3-manifolds states that every 2-sided immersion of a closed surface into a 3-manifold is either injective on fundamental groups or admits a compression. This can be viewed as a generalization of the Loop Theorem to immersed surfaces. We prove the conjecture in the case that the target 3-manifold admits a geometric structure modeled on Sol.
We show that for certain hyperbolic 3-manifolds, all boundary slopes are slopes of immersed incompressible surfaces, covered by incompressible embeddings in some finite cover. The manifolds include hyperbolic punctured torus bundles and hyperbolic two-bridge knots.
A filling Dehn sphere $Σ$ in a closed 3-manifold $M$ is a sphere transversely immersed in $M$ that defines a cell decomposition of $M$. Every closed 3-manifold has a filling Dehn sphere. The Montesinos complexity of a $3$-manifold $M$ is defined as the minimal number of triple points among all the filling Dehn spheres of $M$. A sharp upper bound for the Montesinos complexity of the connected sum of two 3-manifolds is given.
We study totally geodesic planes in hyperbolic 3-manifolds $M$ having incompressible core and degenerate ends. We prove a Ratner-type phenomenon: a closed minimal $PSL(2,R)-$invariant subset of $M$ is either an immersed totally geodesic surface or all of $M$. We also show that for an arbitrary infinite volume hyperbolic 3-manifold $M$ without parabolics and with finitely generated fundamental group, the number of compact totally geodesic surfaces in $M$ is finite.
We show that every hyperbolic link complement contains closed quasi-Fuchsian surfaces. As a consequence, we obtain the result that on a hyperbolic link complement, if we remove from each cusp of the manifold a certain finite set of slopes, then all remaining Dehn fillings on the link complement yield manifolds with closed immersed incompressible surfaces.
Given any finite subset X of the sphere S^n, n>1, which includes no pairs of antipodal points, we explicitly construct smoothly immersed closed orientable hypersurfaces in Euclidean space R^{n+1} whose Gauss map misses X. In particular, this answers a question of M. Gromov.
Let S be an immersed horizontal surface in a 3-dimensional graph manifold. We show that the fundamental group of the surface S is quadratically distorted whenever the surface is virtually embedded (i.e., separable) and is exponentially distorted when the surface is not virtually embedded.
In this paper, we give a complete characterization on which finitely generated subgroups of finitely generated $3$-manifold groups are separable. Our characterization generalizes Liu's spirality character on $π_1$-injective immersed surface subgroups of closed $3$-manifold groups. A consequence of our characterization is that, for any compact, orientable, irreducible and $\partial$-irreducible $3$-manifold $M$ with nontrivial torus decomposition, $π_1(M)$ is LERF if and only if for any two adjacent pieces in the torus decomposition of $M$, at least one of them has a boundary component with gen…
We characterize subgroups of the mapping class group that stabilize a Teichmueller disk in terms of ellipses and strips that are immersed in the associated translation surface. In particular, we show that the space of immersed ellipses/strips that meet at least three cone points is naturally a (non-manifold) 2-dimensional cell complex. The topology of this complex and the geometry of its 0-cells determine the translation surface and its affine diffeomorphism group (up to the kernel of the differential).
Let $g \colon S \looparrowright N$ be a properly immersed $π_1$--injective surface in a non-geometric $3$--manifold $N$. We compute the distortion of $π_1(S)$ in $π_1(N)$ and show that how it is related to separability of $π_1(S)$ in $π_1(N)$. The only possibility of the distortion is linear, quadratic, exponential, and double exponential.
Consider the principal $U(n)$ bundles over Grassmann manifolds $U(n)\rightarrow U(n+m)/U(m) \stackrelπ\rightarrow G_{n,m}$. Given $X \in U_{m,n}(\mathbb{C})$ and a 2-dimensional subspace $\mathfrak{m}' \subset \mathfrak{m} $ $ \subset \mathfrak{u}(m+n), $ assume either $\mathfrak{m}'$ is induced by $X,Y \in U_{m,n}(\mathbb{C})$ with $X^{*}Y = μI_n$ for some $μ\in \mathbb{R}$ or by $X,iX \in U_{m,n}(\mathbb{C})$. Then $\mathfrak{m}'$ gives rise to a complete totally geodesic surface $S$ in the base space. Furthermore, let $γ$ be a piecewise smooth, simple closed curve on $S$ parametrized by $0\…
Using Morse-Bott techniques adapted to the gauge-theoretic setting, we show that the limiting boundary values of the space of finite energy monopoles on a connected 3-manifold with at least two cylindrical ends provides an immersed Lagrangian submanifold of the vortex moduli space at infinity. By studying the signed intersections of such Lagrangians, we supply the analytic details of Donaldson's TQFT construction of the Seiberg-Witten invariants of a closed 3-manifold.
We prove an inequality for submanifolds of Cartan-Hadamard manifolds, which relates the geometry of a submanifold to the measure of the geodesics in the ambient space which it intersects. For hypersurfaces, this gives an extension of Banchoff and Pohl's isoperimetric inequality to spaces of non-positive curvature. We also prove a modified version of Croke's isoperimetric inequality for hypersurfaces immersed in Cartan-Hadamard manifolds and a sharp, quantitative version of an isoperimetric inequality of Yau in spaces of negative curvature. We discuss the relationship between these results, and…
