Showing papers in "arXiv: Geometric Topology in 2007"

On the Khovanov and knot Floer homologies of quasi-alternating links

Abstract: Quasi-alternating links are a natural generalization of alternating links. In this paper, we show that quasi-alternating links are "homologically thin" for both Khovanov homology and knot Floer homology. In particular, their bigraded homology groups are determined by the signature of the link, together with the Euler characteristic of the respective homology (i.e. the Jones or the Alexander polynomial). The proofs use the exact triangles relating the homology of a link with the homologies of its two resolutions at a crossing.

Stabilization for mapping class groups of 3-manifolds

Abstract: We prove that the homology of the mapping class group of any 3-manifold stabilizes under connected sum and boundary connected sum with an arbitrary 3-manifold when both manifolds are compact and orientable. The stabilization also holds for the quotient group by twists along spheres and disks, and includes as particular cases homological stability for symmetric automorphisms of free groups, automorphisms of certain free products, and handlebody mapping class groups. Our methods also apply to manifolds of other dimensions in the case of stabilization by punctures.

Lens space surgeries and L-space homology spheres

Abstract: We describe necessary and sufficient conditions for a knot in an L-space to have an L-space homology sphere surgery. We use these conditions to reformulate a conjecture of Berge about which knots in S^3 admit lens space surgeries.

Geometry of the complex of curves and of Teichmüller space

Abstract: In this survey paper we give a proof of hyperbolicity of the complex of curves for a non-exceptional surface S of finite type combining ideas of Masur/Minsky and Bowditch. We also shortly discuss the relation between the geometry of the complex of curves and the geometry of Teichmueller space.

Sl(N) link homology using foams and the Kapustin-Li formula

Abstract: We use foams to give a topological construction of a rational link homology categorifying the slN link invariant, for N>3. To evaluate closed foams we use the Kapustin-Li formula adapted to foams by Khovanov and Rozansky. We show that for any link our homology is isomorphic to Khovanov and Rozansky's.

Minimum volume cusped hyperbolic three-manifolds

Abstract: This paper is the second in a series whose goal is to understand the structure of low-volume complete orientable hyperbolic 3-manifolds. Using Mom technology, we prove that any one-cusped hyperbolic 3-manifold with volume <= 2.848 can be obtained by a Dehn filling on one of 21 cusped hyperbolic 3-manifolds. We also show how this result can be used to construct a complete list of all one-cusped hyperbolic three-manifolds with volume <= 2.848 and all closed hyperbolic three-manifolds with volume <= 0.943. In particular, the Weeks manifold is the unique smallest volume closed orientable hyperbolic 3-manifold.

Knot Concordance and Higher-Order Blanchfield Duality

Abstract: In 1997, T. Cochran, K. Orr, and P. Teichner defined a filtration {F_n} of the classical knot concordance group C. The filtration is important because of its strong connection to the classification of topological 4-manifolds. Here we introduce new techniques for studying C and use them to prove that, for each natural number n, the abelian group F_n/F_{n.5} has infinite rank. We establish the same result for the corresponding filtration of the smooth concordance group. We also resolve a long-standing question as to whether certain natural families of knots, first considered by Casson-Gordon and Gilmer, contain slice knots.

Twisting quasi-alternating links

Abstract: Quasi-alternating links are homologically thin for both Khovanov homology and knot Floer homology. We show that every quasi-alternating link gives rise to an infinite family of quasi-alternating links obtained by replacing a crossing with an alternating rational tangle. Consequently, we show that many pretzel links are quasi-alternating, and we determine the thickness of Khovanov homology for "most" pretzel links with arbitrarily many strands.

The vanishing of the contact invariant in the presence of torsion

Abstract: We prove that the Ozsvath-Szabo contact invariant of a closed contact 3-manifold with positive Giroux torsion vanishes.

On knot Floer homology in double branched covers

Abstract: Let L be a link in an thickened annulus. We specify the embedding of this annulus in the three sphere, and consider its complement thought of as the axis to L. In the right circumstances this axis lifts to a null-homologous knot in the double branched cover of the three sphere, branched over the embedded copy of L. This paper shows that the knot Floer homology of this lift, with mod 2 coefficients, can be computed from a spectral sequence starting at a type of Khovanov homology already described by Asaeda, Przytycki, and Sikora. We extend the known results about this type of Khovanov homology, and use it to provide a very simple explanation of the case when L is alternating for the obvious projection.

Chern-Simons theory, analytic continuation and arithmetic

Abstract: The purpose of the paper is to introduce some conjectures re- garding the analytic continuation and the arithmetic properties of quantum invariants of knotted objects. More precisely, we package the perturbative and nonperturbative invariants of knots and 3-manifolds into two power series of type P and NP, convergent in a neighborhood of zero, and we postulate their arithmetic resurgence. By the latter term, we mean analytic continuation as a multivalued analytic function in the complex numbers minus a discrete set of points, with restricted singularities, local and global monodromy. We point out some key features of arithmetic resurgence in connection to various problems of asymptotic expansions of exact and perturbative Chern-Simons theory with compact or complex gauge group. Finally, we discuss theoretical and experimental evidence for our conjecture.

Exotic Smooth Structures on Small 4-Manifolds with Odd Signatures

Abstract: Let $M$ be $\CP#2\CPb$, $3\CP#4\CPb$ or $(2n-1)\CP#2n\CPb$ for any integer $n\geq 3$. We construct an irreducible symplectic 4-manifold homeomorphic to $M$ and also an infinite family of pairwise non-diffeomorphic irreducible non-symplectic 4-manifolds homeomorphic to $M$. We also construct such exotic smooth structures when $M$ is $\CP#4\CPb$ or $3\CP# k \CPb$ for $k=6,8,10$.

Intersection form, laminations and currents on free groups

Abstract: Let $F_N$ be a free group of rank $N\ge 2$, let $\mu$ be a geodesic current on $F_N$ and let $T$ be an $\mathbb R$-tree with a very small isometric action of $F_N$. We prove that the geometric intersection number $ $ is equal to zero if and only if the support of $\mu$ is contained in the dual algebraic lamination $L^2(T)$ of $T$. Applying this result, we obtain a generalization of a theorem of Francaviglia regarding length spectrum compactness for currents with full support. As another application, we define the notion of a \emph{filling} element in $F_N$ and prove that filling elements are "nearly generic" in $F_N$. We also apply our results to the notion of \emph{bounded translation equivalence} in free groups.

Degree theorems and Lipschitz simplicial volume for non-positively curved manifolds of finite volume

Abstract: We study a metric version of the simplicial volume on Riemannian manifolds, the Lipschitz simplicial volume, with applications to degree theorems in mind. We establish a proportionality principle and a product inequality from which we derive an extension of Gromov's volume comparison theorem to products of negatively curved manifolds or locally symmetric spaces of non-compact type. In contrast, we provide vanishing results for the ordinary simplicial volume; for instance, we show that the ordinary simplicial volume of non-compact locally symmetric spaces with finite volume of Q-rank at least 3 is zero.

A cube of resolutions for knot Floer homology

Abstract: We develop a skein exact sequence for knot Floer homology, involving singular knots This leads to an explicit, algebraic description of knot Floer homology in terms of a braid projection of the knot

Knot concordance and Heegaard Floer homology invariants in branched covers

Abstract: By studying the Heegaard Floer homology of the preimage of a knot K in S^3 inside its double branched cover, we develop simple obstructions to K having finite order in the classical smooth concordance group. As an application, we prove that all 2-bridge knots of crossing number at most 12 for which the smooth concordance order was previously unknown have infinite smooth concordance order.

Reverse engineering small 4-manifolds

Abstract: We introduce a general procedure called `reverse engineering' that can be used to construct infinite families of smooth 4-manifolds in a given homeomorphism type. As one of the applications of this technique, we produce an infinite family of pairwise nondiffeomorphic 4-manifolds homeomorphic to CP^2#3(-CP^2).

String Topology: Background and Present State

Abstract: The data of a "2D field theory with a closed string compactification" is an equivariant chain level action of a cell decomposition of the union of all moduli spaces of punctured Riemann surfaces with each component compactified as a pseudomanifold with boundary. The axioms on the data are contained in the following assumptions. It is assumed the punctures are labeled and divided into nonempty sets of inputs and outputs. The inputs are marked by a tangent direction and the outputs are weighted by nonnegative real numbers adding to unity. It is assumed the gluing of inputs to outputs lands on the pseudomanifold boundary of the cell decomposition and the entire pseudomanifold boundary is decomposed into pieces by all such factorings. It is further assumed that the action is equivariant with respect to the toroidal action of rotating the markings. A main result of compactified string topology is the Theorem (closed strings): Each oriented smooth manifold has a 2D field theory with a closed string compactification on the equivariant chains of its free loop space mod constant loops. The sum over all surface types of the top pseudomanifold chain yields a chain X satisfying the master equation dX + X*X = 0 where * is the sum over all gluings. This structure is well defined up to homotopy. The genus zero parts yields an infinity Lie bialgebra on the equivariant chains of the free loop space mod constant loops. The higher genus terms provide further elements of algebraic structure called a "quantum Lie bialgebra" partially resolving the involutive identity. There is also a compactified discussion and a Theorem 2 for open strings as the first step to a more complete theory. We note a second step for knots.

A new twist on Lorenz links

Abstract: Twisted torus links are given by twisting a subset of strands on a closed braid representative of a torus link. T--links are a natural generalization, given by repeated positive twisting. We establish a one-to-one correspondence between positive braid representatives of Lorenz links and T--links, so Lorenz links and T--links coincide. Using this correspondence, we identify over half of the simplest hyperbolic knots as Lorenz knots. We show that both hyperbolic volume and the Mahler measure of Jones polynomials are bounded for infinite collections of hyperbolic Lorenz links. The correspondence provides unexpected symmetries for both Lorenz links and T-links, and establishes many new results for T-links, including new braid index formulas.

Coarse and synthetic Weil-Petersson geometry: quasi-flats, geodesics, and relative hyperbolicity

Abstract: We analyze the coarse geometry of the Weil-Petersson metric on Teichm\"uller space, focusing on applications to its synthetic geometry (in particular the behavior of geodesics). We settle the question of the strong relative hyperbolicity of the Weil-Petersson metric via consideration of its coarse quasi-isometric model, the "pants graph." We show that in dimension~3 the pants graph is strongly relatively hyperbolic with respect to naturally defined product regions and show any quasi-flat lies a bounded distance from a single product. For all higher dimensions there is no non-trivial collection of subsets with respect to which it strongly relatively hyperbolic; this extends a theorem of [BDM] in dimension 6 and higher into the intermediate range (it is hyperbolic if and only if the dimension is 1 or 2 [BF]). Stability and relative stability of quasi-geodesics in dimensions up through 3 provide for a strong understanding of the behavior of geodesics and a complete description of the CAT(0)-boundary of the Weil-Petersson metric via curve-hierarchies and their associated "boundary laminations."

Homological invariance for asymptotic invariants and systolic inequalities

Abstract: We show that the systolic constant, the minimal entropy, and the spherical volume of a manifold depend only on the image of the fundamental class under the classifying map of the universal covering. Moreover, we compute the systolic constant of manifolds with fundamental group of order two (modulo the value on the real projective space) and derive an inequality between the minimal entropy and the systolic constant.

Sums of lens spaces bounding rational balls

Abstract: We classify connected sums of three-dimensional lens spaces which smoothly bound rational homology balls We use this result to determine the order of each lens space in the group of rational homology 3-spheres up to rational homology cobordisms, and to determine the concordance order of each 2-bridge knot

Graphs on surfaces and Khovanov homology

Abstract: Oriented ribbon graphs (dessins d'enfant) are graphs embedded in oriented surfaces. A quasi-tree of a ribbon graph is a spanning subgraph with one face, which is described by an ordered chord diagram. We show that for any link diagram $L$, there is an associated ribbon graph whose quasi-trees correspond bijectively to spanning trees of the graph obtained by checkerboard coloring $L$. This correspondence preserves the bigrading used for the spanning tree model of Khovanov homology, whose Euler characteristic is the Jones polynomial of $L$. Thus, Khovanov homology can be expressed in terms of ribbon graphs, with generators given by ordered chord diagrams.

Fixing the functoriality of Khovanov homology

Abstract: We describe a modification of Khovanov homology (math.QA/9908171), in the spirit of Bar-Natan (math.GT/0410495), which makes the theory properly functorial with respect to link cobordisms. This requires introducing `disorientations' in the category of smoothings and abstract cobordisms between them used in Bar-Natan's definition. Disorientations have `seams' separating oppositely oriented regions, coming with a preferred normal direction. The seams satisfy certain relations (just as the underlying cobordisms satisfy relations such as the neck cutting relation). We construct explicit chain maps for the various Reidemeister moves, then prove that the compositions of chain maps associated to each side of each of Carter and Saito's movie moves (MR1238875, MR1445361) always agree. These calculations are greatly simplified by following arguments due to Bar-Natan and Khovanov, which ensure that the two compositions must agree, up to a sign. We set up this argument in our context by proving a result about duality in Khovanov homology, generalising previous results about mirror images of knots to a `local' result about tangles. Along the way, we reproduce Jacobsson's sign table (math.GT/0206303) for the original `unoriented theory', with a few disagreements.

Product Formulae for Ozsvath-Szabo 4-manifold Invariants

Abstract: We give formulae for the Ozsvath-Szabo invariants of 4-manifolds X obtained by fiber sum of two manifolds M_1, M_2 along surfaces S_1, S_2 having trivial normal bundle and genus g>0. The formulae follow from a general theorem on the Ozsvath-Szabo invariants of the result of gluing two 4-manifolds along a common boundary, which is phrased in terms of relative invariants of the pieces. These relative invariants take values in a version of Heegaard Floer homology with coefficients in modules over certain Novikov rings; the fiber sum formula follows from the theorem that this "perturbed" version of Heegaard Floer theory recovers the usual Ozsvath-Szabo invariants, when the 4-manifold in question has b^+>1. The construction allows an extension of the definition of the Ozsvath-Szabo invariants to 4-manifolds having b^+ = 1 depending on certain choices, in close analogy with Seiberg-Witten theory. The product formulae lead quickly to calculations of the Ozsvath-Szabo invariants of various 4-manifolds; in all cases the results are in accord with the conjectured equivalence between the Ozsvath-Szabo and Seiberg-Witten invariants.

On knot Floer width and Turaev genus

Abstract: To each knot $K\subset S^3$ one can associated its knot Floer homology $\hat{HFK}(K)$, a finitely generated bigraded abelian group. In general, the nonzero ranks of these homology groups lie on a finite number of slope one lines with respect to the bigrading. The width of the homology is, in essence, the largest horizontal distance between two such lines. Also, for each diagram $D$ of $K$ there is an associated Turaev surface, and the Turaev genus is the minimum genus of all Turaev surfaces for $K$. We show that the width of knot Floer homology is bounded by Turaev genus plus one. Skein relations for genus of the Turaev surface and width of a complex that generates knot Floer homology are given.

Geometric descriptions of polygon and chain spaces

Abstract: We give a few simple methods to geometically describe some polygon and chain-spaces in R^d. They are strong enough to give tables of m-gons and m-chains when m <= 6.

Six Lectures on Four 4-Manifolds

Abstract: IntroductionDespite spectacular advances in defining invariants for simply connected smoothand symplectic 4-dimensional manifolds and the discovery of effective surgical tech-niques, we still have been unable to classify simply connected smooth manifolds upto diffeomorphism. In these notes, adapted from six lectures given at the 2006 ParkCity Mathematics Institute Graduate Summer School on

Floer homology and singular knots

Abstract: We define Floer homology theories for oriented, singular knots in S^3 and show that one of these theories can be defined combinatorially for planar singular knots.

Local representations of the quantum Teichmuller space

Abstract: We introduce a certain type of representations for the quantum Teichmuller space of a punctured surface, which we call local representations. We show that, up to finitely many choices, these purely algebraic representations are classified by classical geometric data. We also investigate the family of intertwining operators associated to such a representations. In particular, we use these intertwiners to construct a natural fiber bundle over the Teichmuller space and its quotient under the action of the mapping class group. This construction also offers a convenient framework to exhibit invariants of surface diffeomorphisms.