This paper surveys the significant progress over the past couple of decades in the theory of stratified spaces through the application of controlled methods as well as through the application of intersection homology.
In work of Higson-Roe the fundamental role of the signature as a homotopy and bordism invariant for oriented manifolds is made manifest in how it and related secondary invariants define a natural transformation between the (Browder-Novikov-Sullivan-Wall) surgery exact sequence and a long exact sequence of C*-algebra K-theory groups. In recent years the (higher) signature invariants have been extended from closed oriented manifolds to a class of stratified spaces known as L-spaces or Cheeger spaces. In this paper we show that secondary invariants, such as the rho-class, also extend from closed …
Cappell and Shaneson pointed out in 1978 interesting properties of Browder - Livesay invariants which are similar to differentials in some spectral sequence. Such spectral sequence was constructed in 1991 by Hambleton and Kharshiladze. This spectral sequence is closely related to a problem of realization of elements of Wall groups by normal maps of closed manifolds. The main step of construction of the spectral sequence is an infinite filtration of spectra in which only the first two, as is well-known, have clear geometric sense. The first one is a spectrum $\Bbb L(π_1(X))$ for surgery obstruc…
In this paper, we consider which lens spaces are obtainable by Dehn surgery described by Berge on doubly primitive knots. It is given an algorithm to decide whether a given lens space is obtainable by such surgery. Also included is a complete characterization of such surgery yielding lens spaces with Klein bottles.
Berge in [1] defined doubly primitive knots, which yield lens spaces by Dehn surgery. At the same paper he listed the knots into several types. In this paper we will prove the list is complete when $τ>1$. The invariant $τ$ is a quantity with regard to lens space surgery, which is defined in this paper. Furthermore at the same time we will also prove that Table~6 in [8] is complete as Poincaré homology sphere surgery when $τ>1$.
Divide knots and links, defined by A'Campo in the singularity theory of complex curves, is a method to present knots or links by real plane curves. The present paper is a continuation of the author's previous result that every knot in the major subfamilies of Berge's lens space surgery (i.e., knots yielding a lens space by Dehn surgery) is presented by an L-shaped curve as a divide knot. In the present paper, L-shaped curves are generalized and it is shown that every knot in the minor subfamilies, called sporadic examples, of Berge's lens space surgery is presented by a generalized L-shaped cu…
Let K be a fibered knot in the 3-sphere. We show that if the monodromy of K is sufficiently complicated, then Dehn surgery on K cannot yield a lens space. Work of Yi Ni shows that if K has a lens space surgery then it is fibered. Combining this with our result we see that if K has a lens space surgery then it is fibered and the monodromy is relatively simple.
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 to that of the base space. Finally, we show that this places restrictions on the number of finite and cyclic Dehn fillings of the knot complements in the covering spaces beyone those imposed by Culler-Gordon-Luecke-Shalen and Boyer-Zhang.
We prove that there are exactly $6$ Nil Seifert fibred spaces which can be obtained by Dehn surgeries on non-trefoil knots in $S^3$, with $\{60, 144, 156, 288, 300\}$ as the exact set of all such surgery slopes up to taking the mirror images of the knots. We conjecture that there are exactly $4$ specific hyperbolic knots in $S^3$ which admit Nil Seifert fibred surgery. We also give some more general results and a more general conjecture concerning Seifert fibred surgeries on hyperbolic knots in $S^3$.
The Cabling Conjecture states that surgery on hyperbolic knots in $S^3$ never produces reducible manifolds. In contrast, there do exist hyperbolic knots in some lens spaces with non-prime surgeries. Baker constructed a family of such hyperbolic knots and posed a conjecture that his examples encompass all hyperbolic knots in lens spaces with non-prime surgeries. Using the idea of seiferters we construct a counterexample to this conjecture. In the process of construction, we also derive an obstruction for a small Seifert fibred space to be obtainable by a surgery with a seiferter.
Let K be a knot in the 3--sphere. An r-surgery on K is left-orderable if the resulting 3--manifold K(r) of the surgery has left-orderable fundamental group, and an r-surgery on K is called an L-space surgery if K(r) is an L-space. A conjecture of Boyer, Gordon and Watson says that non-reducing surgeries on K can be classified into left-orderable surgeries or L-space surgeries. We introduce a way to provide knots with left-orderable, non-L-space surgeries. As an application we present infinitely many hyperbolic knots on each of which every nontrivial surgery is a hyperbolic, left-orderable, non…
We develop a theory of tubular neighborhoods for the lower strata in manifold stratified spaces with two strata. In these topologically stratified spaces, manifold approximate fibrations and teardrops play the role that fibre bundles and mapping cylinders play in smoothly stratified spaces. Applications include the classification of neighborhood germs, the construction of exotic stratifications, a multiparameter isotopy extension theorem and an h-coborsism extension theorem.
We show that there exist infinitely many pairs of distinct knots in the 3-sphere such that each pair can yield homeomorphic lens spaces by the same Dehn surgery. Moreover, each knot of the pair can be chosen to be a torus knot, a satellite knot or a hyperbolic knot, except that both cannot be satellite knots simultaneously. This exception is shown to be unavoidable by the classical theory of binary quadratic forms.
Let $K$ be a knot in an L-space $Y$ with a Dehn surgery to a surface bundle over $S^1$. We prove that $K$ is rationally fibered, that is, the knot complement admits a fibration over $S^1$. As part of the proof, we show that if $K\subset Y$ has a Dehn surgery to $S^1 \times S^2$, then $K$ is rationally fibered. In the case that $K$ admits some $S^1 \times S^2$ surgery, $K$ is Floer simple, that is, the rank of $\hat{HFK}(Y,K)$ is equal to the order of $H_1(Y)$. By combining the latter two facts, we deduce that the induced contact structure on the ambient manifold $Y$ is tight. In a different di…
We calculate limits of the colored Jones polynomials of the figure-eight knot and conclude that in most cases they determine the volumes and the Chern--Simons invariants of the three-manifolds obtained by Dehn surgeries along it.
It is well-known that the second coefficient of the Alexander polynomial of any lens space knot in $S^3$ is $-1$. We show that the non-zero third coefficient condition of the Alexander polynomial of a lens space knot $K$ in $S^3$ confines the surgery to the one realized by the $(2,2g+1)$-torus knot, where $g$ is the genus of $K$. In particular, such a lens surgery polynomial coincides with $Δ_{T(2,2g+1)}(t)$.
We prove that if the lens space $L(n, 1)$ is obtained by a surgery along a knot in the lens space $L(3,1)$ that is distance one from the meridional slope, then $n$ is in $\{-6, \pm 1, \pm 2, 3, 4, 7\}$. This result yields a classification of the coherent and non-coherent band surgeries from the trefoil to $T(2, n)$ torus knots and links. The main result is proved by studying the behavior of the Heegaard Floer $d$-invariants under integral surgery along knots in $L(3,1)$. The classification of band surgeries between the trefoil and torus knots and links is motivated by local reconnection proces…
The cosmetic crossing conjecture (also known as the "nugatory crossing conjecture") asserts that the only crossing changes that preserve the oriented isotopy class of a knot in the 3-sphere are nugatory. We use the Dehn surgery characterization of the unknot to prove this conjecture for knots in integer homology spheres whose branched double covers are L-spaces satisfying a homological condition. This includes as a special case all alternating and quasi-alternating knots with square-free determinant. As an application, we prove the cosmetic crossing conjecture holds for all knots with at most …
A knot in the 3-sphere is called an L-space knot if it admits a nontrivial Dehn surgery yielding an L-space, i.e. a rational homology 3-sphere with the smallest possible Heegaard Floer homology. Given a knot K, take an unknotted circle c and twist K n times along c to obtain a twist family { K_n }. We give a sufficient condition for { K_n } to contain infinitely many L-space knots. As an application we show that for each torus knot and each hyperbolic Berge knot K, we can take c so that the twist family { K_n } contains infinitely many hyperbolic L-space knots. We also demonstrate that there i…
In this paper, we analyze L-space surgeries on two component L-space links. We show that if one surgery coefficient is negative for the L-space surgery, then the corresponding link component is an unknot. If the link admits very negative (i.e. $d_{1}, d_{2}\ll0$) L-space surgeries, it is the Hopf link. We also give a way to characterize the torus link $T(2, 2l)$ by observing an L-space surgery $S^{3}_{d_{1}, d_{2}}(\mathcal{L})$ with $d_{1}d_{2}<0$ on a 2-component L-space link with unknotted components. For some 2-component L-space links, we give explicit descriptions of the L-space surgery s…
We extend results of Pachner and Casali to give finite sets of moves relating triangulations of PL manifolds respecting filtrations by locally flat manifolds and stratifications in which a finite family of simple local models exists for neighborhoods of strata.
In this paper we define a new invariant of the incomplete hyperbolic structures on a 1-cusped finite volume hyperbolic 3-manifold M, called the ortholength invariant. We show that away from a (possibly empty) subvariety of excluded values this invariant both locally parameterises equivalence classes of hyperbolic structures and is a complete invariant of the Dehn fillings of M which admit a hyperbolic structure. We also give an explicit formula for the ortholength invariant in terms of the traces of the holonomies of certain loops in M. Conjecturally this new invariant is intimately related to…
We show that quasi-alternating links arise naturally when considering surgery on a strongly invertible L-space knot (that is, a knot that yields an L-space for some Dehn surgery). In particular, we show that for many known classes of L-space knots, every sufficiently large surgery may be realized as the two-fold branched cover of a quasi-alternating link. Consequently, there is considerable overlap between L-spaces obtained by surgery on $S^3$, and L-spaces resulting as two-fold branched covers of quasi-alternating links. By adapting this approach to certain Seifert fibered spaces, it is possi…
We give a surgery formula for the asymptotic behavior of the sequence given by the logarithm of the higher dimensional Reidemeister torsion. Applying the resulting formula to Seifert fibered spaces, we show that the growth of the sequences has the same order as the indices and we give the explicit values for the limits of the leading coefficients. There are finitely many possibilities as the limits of the leading coefficients for a Seifert fibered space. We also show that the maximum is given by the product of (-log 2) and the Euler characteristic of the base orbifold for a Seifert fibered spa…
We determine the lens spaces that arise by integer Dehn surgery along a knot in the three-sphere. Specifically, if surgery along a knot produces a lens space, then there exists an equivalent surgery along a Berge knot with the same knot Floer homology groups. This leads to sharp information about the genus of such a knot. The arguments rely on tools from Floer homology and lattice theory, and are primarily combinatorial in nature.
Our objective is to develop a stratified Morse theory with tangential conditions. We define a continuous strata-wise smooth Morse function on an abstract stratified space by using control conditions and radiality assumptions on the gradient vector field. For critical points of a Morse function one can show that the local unstable set is a manifold and the local stable set is itself an abstract stratified space. We also give a normal form for the gradient dynamics in the neighborhood of critical points. For a stratified Morse pair which satisfies the generic Morse-Smale condition we can build t…
We construct taut foliations in every closed 3-manifold obtained by $r$-framed Dehn surgery along a positive 3-braid knot $K$ in $S^3$, where $r < 2g(K)-1$ and $g(K)$ denotes the Seifert genus of $K$. This confirms a prediction of the L-space Conjecture. For instance, we produce taut foliations in every non-L-space obtained by surgery along the pretzel knot $P(-2,3,7)$, and indeed along every pretzel knot $P(-2,3,q)$, for $q$ a positive odd integer. This is the first construction of taut foliations for every non-L-space obtained by surgery along an infinite family of hyperbolic L-space knots. …
In this paper, we use Heegaard Floer homology to study reducible surgeries. In particular, suppose K is a non-cable knot in the three-sphere with an L-space surgery. If p-surgery on K is reducible, we show that p equals 2g(K)-1. This implies that any knot with an L-space surgery has at most one reducible surgery, a fact that we show additionally for any knot of genus at most two.
We construct the first examples of asymmetric L-space knots in $S^3$. More specifically, we exhibit a construction of hyperbolic knots in $S^3$ with both (i) a surgery that may be realized as a surgery on a strongly invertible link such that the result of the surgery is the double branched cover of an alternating link and (ii) trivial isometry group. In particular, this produces L-space knots in $S^3$ which are not strongly invertible. The construction also immediately extends to produce asymmetric L-space knots in any lens space, including $S^1 \times S^2$.
A stratified bundle is a fibered space in which strata are classical bundles and in which attachment of strata is controlled by a structure category of fibers. Well known results on fibre bundles are shown to be true for stratified bundles; namely the pull back theorem, the bundle theorem and the principal bundle theorem.
Let $K$ be a hyperbolic knot in the 3-sphere. If $r$-surgery on $K$ yields a lens space, then we show that the order of the fundamental group of the lens space is at most $12g-7$, where $g$ is the genus of $K$. If we specialize to genus one case, it will be proved that no lens space can be obtained from genus one, hyperbolic knots by Dehn surgery. Therefore, together with known facts, we have that a genus one knot $K$ admits Dehn surgery yielding a lens space if and only if $K$ is the trefoil.
This paper describes a Dehn surgery approach to generating asymmetric hyperbolic manifolds with two distinct lens space fillings. Such manifolds were first identified in work of Dunfield-Hoffman-Licata as the result of a computer search of the SnapPy census, but the current work establishes a topological framework for constructing vastly many more such examples. We introduce the notion of a ``jointly primitive'' presentation of a knot and show that a refined version of this condition ``longitudinally jointly primitive'' is equivalent to being surgery dual to a $(1,2)$--knot in a lens space. Th…
We derive spectral sequences for the intersection homology of stratified fibrations and approximate tubular neighborhoods in manifold stratified spaces. These neighborhoods include regular neighborhoods in PL stratified spaces.
Let $K$ be a non-trivial knot in $S^3$, and let $r$ and $r'$ be two distinct rational numbers of same sign, allowing $r$ to be infinite; we prove that there is no orientation-preserving homeomorphism between the manifolds $S^3_r(K)$ and $S^3_{r'}(K)$. We further generalize this uniqueness result to knots in arbitrary integral homology L-spaces.
We study bordism groups and bordism homology theories based on pseudomanifolds and stratified pseudomanifolds. The main seam of the paper demonstrates that when we uses classes of spaces determined by local link properties, the stratified and unstratified bordism theories are identical; this includes the known examples of pseudomanifold bordism theories, such as bordism of Witt spaces and IP spaces. Along the way, we relate the stratified and unstratified points of view for describing various (stratified) pseudomanifold classes.
We show that intersection homology extends Poincare duality to manifold homotopically stratified spaces (satisfying mild restrictions). This includes showing that, on such spaces, the sheaf of singular intersection chains is quasi-isomorphic to the Deligne sheaf.
In this paper we develop a new theory of infinitesimal harmonic deformations for compact hyperbolic 3-manifolds with ``tubular boundary''. In particular, this applies to complements of tubes of radius at least $R_0 = \arctanh(1/\sqrt{3}) \approx 0.65848$ around the singular set of hyperbolic cone manifolds, removing the previous restrictions on cone angles. We then apply this to obtain a new quantitative version of Thurston's hyperbolic Dehn surgery theorem, showing that all generalized Dehn surgery coefficients outside a disc of ``uniform'' size yield hyperbolic structures. Here the size of a…
We write a formula for the LMO invariant of a rational homology sphere presented as a rational surgery on a link in S^3. Our main tool is a careful use of the Aarhus integral and the (now proven) "Wheels" and "Wheeling" conjectures of B-N, Garoufalidis, Rozansky and Thurston. As steps, side benefits and asides we give explicit formulas for the values of the Kontsevich integral on the Hopf link and on Hopf chains, and for the LMO invariant of lens spaces and Seifert fibered spaces. We find that the LMO invariant does not separate lens spaces, is far from separating general Seifert fibered space…
In this paper, we explore the theme of orbifold stratified spaces and establish a general criterion for them to be smooth orbifolds. This criterion utilizes the notion of linear stratification on the gluing bundles for the orbifold stratified spaces. We introduce a concept of good gluing structure to ensure a smooth structure on the stratified space. As an application, we provide an orbifold structure on the coarse moduli space $\bar{M}_{g, n}$ of stable genus $g$ curves with $n$-marked points. Using the gluing theory for $\bar{M}_{g, n} $ associated to horocycle structures, there is a natural…
This work forms a foundational study of factorization homology, or topological chiral homology, at the generality of stratified spaces with tangential structures. Examples of such factorization homology theories include intersection homology, compactly supported stratified mapping spaces, and Hochschild homology with coefficients. Our main theorem characterizes factorization homology theories by a generalization of the Eilenberg--Steenrod axioms; it can also be viewed as an analogue of the Baez--Dolan cobordism hypothesis formulated for the observables, rather than state spaces, of a topologic…
This article is a survey of recent work of the author, together with Markus Banagl, Eric Leichtnam, Rafe Mazzeo, and Paolo Piazza, on the Hodge theory of stratified spaces. We discuss how to resolve a Thom-Mather stratified space to a manifold with corners with an iterated fibration structure and the generalization of a perversity in the sense of Goresky-MacPherson to a mezzoperversity. We define Cheeger spaces and their signatures and describe how to carry out the analytic proof of the Novikov conjecture on these spaces. Finally we review the reductive Borel-Serre compactification of a locall…
We prove that the Witten-Reshetikhin-Turaev (WRT) SO(3) invariant of an arbitrary 3-manifold M is always an algebraic integer. Moreover, we give a rational surgery formula for the unified invariant dominating WRT SO(3) invariants of rational homology 3-spheres at roots of unity of order co-prime with the torsion. As an application, we compute the unified invariant for Seifert fibered spaces and for Dehn surgeries on twist knots. We show that this invariant separates integral homology Seifert fibered spaces and can be used to detect the unknot.
In the singularity and differential topological theory of Morse functions and higher dimensional versions or fold maps and application to algebraic and differential topology of manifolds, constructing explicit fold maps and investigating their source manifolds is fundamental, important and difficult. The author has introduced surgery operations (bubbling operations) to fold maps, motivated by studies of Kobayashi, Saeki etc. since 1990 and has explicitly shown that homology groups of Reeb spaces of maps constructed by iterations of these operations are flexible in several cases. Such operation…
If $C$ is a spherical fusion category, the string-net construction associates to each closed oriented surface $Σ$ the vector space $Z_\text{SN}(Σ)$ of linear combinations of $C$-labelled graphs on $Σ$ modulo local relations, in a way which is functorial with respect to orientation-preserving diffeomorphisms of surfaces. We show how to extend this assignment to a 3-dimensional topological quantum field theory (TQFT), by defining how the surgery generators in Juhász' presentation of the oriented 3-dimensional bordism category act on the string-net vector spaces. We show that the resulting TQFT, …
The notion of cellular stratified spaces was introduced in a joint work of the author with Basabe, González, and Rudyak [1009.1851] with the aim of constructing a cellular model of the configuration space of a sphere. In particular, it was shown that the classifying space (order complex) of the face poset of a totally normal regular cellular stratified space $X$ can be embedded in $X$ as a strong deformation retract. Here we elaborate on this idea and develop the theory of cellular stratified spaces. We introduce the notion of cylindrically normal cellular stratified spaces and associate a top…
We define a new 4-dimensional symplectic cut and paste operation which is analogous to Fintushel and Stern's rational blow-down. We use this operation to produce multiple constructions of symplectic smoothly exotic complex projective space blown-up eight times, seven times, and six times. We also show how this operation can be used in conjunction with knot surgery to construct an infinite family of minimal exotic smooth structures on the complex projective space blown-up seven times.