This is the third in our series of papers relating gauge theoretic invariants of certain 4-manifolds with invariants of 3-manifolds derived from Rohlin's theorem. Such relations are well-known in dimension three, starting with Casson's integral lift of the Rohlin invariant of a homology sphere. We consider two invariants of a spin 4-manifold that has the integral homology of a 4-torus. The first is a degree zero Donaldson invariant, counting flat connections on a certain SO(3)-bundle. The second, which depends on the choice of a 1-dimensional cohomology class, is a combination of Rohlin invariants of a 3-manifold carrying the dual homology class. We prove that these invariants, suitably normalized, agree modulo 2, by showing that they coincide with the quadruple cup product of 1-dimensional cohomology classes.
This is the first in a series of papers exploring the relationship between the Rohlin invariant and gauge theory. We discuss the Casson-type invariant of a 3-manifold with the integral homology of a torus, given by counting projectively flat connections. We show that its mod 2 evaluation is given by the triple cup product in cohomology, and so it coincides with a sum of Rohlin invariants. Our counting argument makes use of a natural action of the first cohomology on the moduli space of projectively flat connections; along the way we construct perturbations that are equivariant with respect to …
In this paper we prove that the Rohlin invariant is the unique invariant inducing a homomorphism on the Torelli group. Using this result we generalize the construction of invariants of homology $3$-spheres from families of trivial 2-cocycles on the Torelli group given by Pitsch to include invariants with values on an abelian group with $2$-torsion.
This is the second in a series of papers studying the relationship between Rohlin's theorem and gauge theory. We discuss an invariant of a homology S^1 cross S^3 defined by Furuta and Ohta as an analogue of Casson's invariant for homology 3-spheres. Our main result is a calculation of the Furuta-Ohta invariant for the mapping torus of a finite-order diffeomorphism of a homology sphere. The answer is the equivariant Casson invariant (Collin-Saveliev 2001) if the action has fixed points, and a version of the Boyer-Nicas (1990) invariant if the action is free. We deduce, for finite-order mapping …
This article surveys our ongoing project about the relationship between invariants extending the classical Rohlin invariant of homology spheres and those coming from 4-dimensional (Yang-Mills) gauge theory. The main conjecture towards which this project is directed is that the Rohlin invariant and the gauge theoretic invariant coincide for a homology $S^1\times S^3$. We discuss the implications of this conjecture for some classical problems in low-dimensional topology, and progress we have made towards proving the conjecture.
We introduce a gauge-theoretic integer lift of the Rohlin invariant of a smooth 4-manifold X with the homology of $S^1 \times S^3$. The invariant has two terms; one is a count of solutions to the Seiberg-Witten equations on X, and the other is essentially the index of the Dirac operator on a non-compact manifold with end modeled on the infinite cyclic cover of X. Each term is metric (and perturbation) dependent, and we show that these dependencies cancel as the metric and perturbation vary in a 1-parameter family.
In this paper we introduce a representation of a embedded knotted (sometimes Lagrangian) tori in $\BR^4$ called a hypercube diagram, i.e., a 4-dimensional cube diagram. We prove the existence of hypercube homology that is invariant under 4-dimensional cube diagram moves, a homology that is based on knot Floer homology. We provide examples of hypercube diagrams and hypercube homology, including using the new invariant to distinguish (up to cube moves) two "Hopf linked" tori. We also give examples of a "Trefoil" torus and an immersed knotted torus that is an amalgamation of the $5_2$ knot and a …
We show that the graph TQFT for Heegaard Floer homology satisfies a strong version of Atiyah's duality axiom for a TQFT. As an application, we compute some Heegaard Floer mixed invariants of 4-dimensional mapping tori in terms of Lefschetz numbers on $HF^+$.
For smooth embeddings of an integral homology 3-sphere in the 6-sphere, we define an integer invariant in terms of their Seifert surfaces. Our invariant gives a bijection between the set of smooth isotopy classes of such embeddings and the integers. It also gives rise to a complete invariant for homology bordism classes of all embeddings of homology 3-spheres in the 6-sphere. As a consequence, we show that two embeddings of an oriented integral homology 3-sphere in the 6-sphere are isotopic if and only if they are homology bordant. We also relate our invariant to the Rohlin invariant and accor…
We investigate the relation between the topological entropy of pseudo-Anosov maps on surfaces with punctures and the rank of the first homology of their mapping tori. On the surface $S$ of genus $g$ with $n$ punctures, we show that the entropy of a pseudo-Anosov map is bounded from above by $\dfrac{(k+1)\log(k+3)}{|χ(S)|}$ up to a constant multiple when the rank of the first homology of the mapping torus is $k+1$ and $k, g, n$ satisfy a certain assumption. This is a partial generalization of precedent works of Tsai and Agol-Leininger-Margalit.
This paper gives a new obstruction for ribbon-move equivalence of 2-knots. Let $K$ and $K'$ be 2-knots. Let $K$ and $K'$ are ribbon-move equivalent. One corollary to our main theorem is as follows. A 2-dimensional fibered knot whose fiber is the punctured 3-dimensional torus is not ribbon-move equivalent to any 2-dimensional knot whose Seifert hypersurface is a punctured homology sphere.
This is a survey of our recent work with Tom Mrowka on Seiberg-Witten gauge theory and index theory for manifolds with periodic ends. We explain how this work leads to a new invariant, which is related to the classical Rohlin invariant of homology 3-spheres and to the Furuta-Ohta invariant originating in Yang-Mills gauge theory. We give some new calculations of our invariant for 4-dimensional mapping tori.
We consider quotients of spheres by linear actions of real tori. To each quotient we associate a matroid built out of a diagonalization of the torus action. We find the integral homology groups of the resulting quotient spaces in terms of the Tutte polynomial of the matroid. We also find the homotopy type and homology of the singular space of such an action. Lastly, we consider the circumstances under which the orbit space is a manifold or, more specifically, a (homology) sphere.
We consider the pseudo-Anosov elements of the mapping class group of a surface of genus g that fix a rank k subgroup of the first homology of the surface. We show that the smallest entropy among these is comparable to (k+1)/g. This interpolates between results of Penner and of Farb and the second and third authors, who treated the cases of k=0 and k=2g, respectively, and answers a question of Ellenberg. We also show that the number of conjugacy classes of pseudo-Anosov mapping classes as above grows (as a function of g) like a polynomial of degree k.
We study the Seiberg-Witten invariant $λ_{\rm{SW}} (X)$ of smooth spin $4$-manifolds $X$ with integral homology of $S^1\times S^3$ defined by Mrowka, Ruberman, and Saveliev as a signed count of irreducible monopoles amended by an index-theoretic correction term. We prove a splitting formula for this invariant in terms of the Frøyshov invariant $h(X)$ and a certain Lefschetz number in the reduced monopole Floer homology of Kronheimer and Mrowka. We apply this formula to obstruct existence of metrics of positive scalar curvature on certain 4-manifolds, and to exhibit new classes of integral homo…
In this paper we show that there exist simply connected symplectic 4-manifolds which contain infinitely many knotted lagrangian tori, i.e. lagrangian embeddings of tori that are homotopic but not isotopic. Moreover, the homology class they represent can be assumed to be nontrivial and primitive. This answers a question of Eliashberg and Polterovich.
Let $K$ denote a knot inside the homology sphere $Y$. The zero-framed longitude of $K$ gives the complement of $K$ in $Y$ the structure of a bordered three-manifold, which may be denoted by $Y(K)$. We compute the quasi-isomorphism type of the bordered Floer complex of $Y(K)$ in terms of the knot Floer complex associated with $K$. As a corollary, we show that if a homology sphere has the same Heegaard Floer homology as $S^3$ it does not contain any incompressible tori. Consequently, if $Y$ is an irreducible homology sphere $L$-space then $Y$ is either $S^3$, or the Poicaré sphere $Σ(2,3,5)$, or…
In this paper we show that flat (m-1)-dimensional tori give nontrivial rational homology cycles in congruence covers of the locally symmetric space SL(m,Z) \SL(m,R)/SO(m). We also show that the dimension of the subspace of H_{m-1}(Γ\SL(m,R)/SO(m);Q) spanned by flat (m-1)-tori grows as one goes up in congruence covers.
For any pair of integers $n\geq 1$ and $q\geq 2$, we construct an infinite family of mutually non-isotopic symplectic tori representing the homology class $q[F]$ of an elliptic surface E(n), where $[F]$ is the homology class of the fiber. We also show how such families can be non-isotopically and symplectically embedded into a more general class of symplectic 4-manifolds.
We extend the techniques in a previous paper to calculate the Heegaard Floer homology groups for fibered 3-manifolds M whose monodromy is a power of a Dehn twist about a genus-1 separating circle on a surface of genus g > 1. We only consider non-torsion Spin^c-structures on M.
We prove the additivity of the Casson-Seiberg-Witten invariant of integral homology $S^1 \times S^3$ under fiber sum along embedded curves and embedded tori, which is the $4$-dimensional analogue of the additivity of the Casson invariant under connected-sum and splicing along knots.
In this paper we show that any good toric contact manifold has well defined cylindrical contact homology and describe how it can be combinatorially computed from the associated moment cone. As an application we compute the cylindrical contact homology of a particularly nice family of examples that appear in the work of Gauntlett-Martelli-Sparks-Waldram on Sasaki-Einstein metrics. We show in particular that these give rise to a new infinite family of non-equivalent contact structures on $S^2 \times S^{3}$ in the unique homotopy class of almost contact structures with vanishing first Chern class…
Let K \subset Y be a knot in a three manifold which admits a longitude-framed surgery such that the surgered manifold has first Betti number greater than that of Y. We find a formula which computes the twisted Floer homology of the surgered manifold, in terms of twisted knot Floer homology. Using this, we compute the twisted Heegaard Floer homology \underline{HF}^+ of the mapping torus of a diffeomorphism of a closed Riemann surface whose mapping class is periodic, giving an almost complete description of the structure of these groups. When the mapping class is nontrivial, we find in particula…
We calculate the Heegaard Floer homologies$HF^+(M,s) for mapping tori M associated to certain surface diffeomorphisms, where s is any Spin^c structure on M whose first Chern class is non-torsion. Let gamma and delta be a pair of geometrically dual nonseparating curves on a genus g Riemann surface Sigma_g, and let sigma be a curve separating Sigma_g into components of genus 1 and g-1. Write t-gamma, t_delta, and t_sigma for the right-handed Dehn twists about each of these curves. The examples we consider are the mapping tori of the diffeomorphisms t_gamma^m circ t_delta^n for m,n in Z and that …
A graph manifold rational homology $3$-sphere $W$ with a left-orderable fundamental group admits a co-oriented taut foliation, though it is unknown whether it admits a smooth co-oriented taut foliation. In this paper we extend the gluing theorem of arXiv:1401.7726 to graph manifold rational homology solid tori and use this to show that there are smooth foliations on the pieces of $W$ which come close to matching up on its JSJ tori. This is applied to prove that a graph manifold with left-orderable fundamental group is not an L-space.
We prove a surgery formula of the Casson-Seiberg-Witten invariant of integral homology $S^1 \times S^3$ along an embedded torus, which could either be regarded as an extension of the product formula for Seiberg-Witten invariants or a manifestation of the surgery exact triangle in $4$-dimensional Seiberg-Witten theory of homology $S^1 \times S^3$. As an application, we compute this invariant for mapping tori of $3$-manifolds under diffeomorphisms of finite order and fixed-point set being a simple closed curve. This computation generalizes the result of Lin-Ruberman-Saveliev.
For each member of an infinite family of homology classes in the K3-surface E(2), we construct infinitely many non-isotopic symplectic tori representing this homology class. This family has an infinite subset of primitive classes. We also explain how these tori can be non-isotopically embedded as homologous symplectic submanifolds in many other symplectic 4-manifolds including the elliptic surfaces E(n) for n>2.
Given a knot $K$ inside an integer homology sphere $Y$, the Casson-Lin-Herald invariant can be interpreted as a signed count of conjugacy classes of irreducible representations of the knot complement into $SU(2)$ which map the meridian of the knot to a fixed conjugacy class. It has the interesting feature that it determines the Tristram-Levine signature of the knot associated to the conjugacy class chosen. Turning things around, given a 4-manifold $X$ with the integral homology of $S^{1}\times S^{3}$, and an embedded torus $T$ inside $X$ such that $H_{1}(T;\mathbb{Z})$ surjects onto $H_{1}(X;\…
We investigate the operation of torus surgery on tori embedded in $S^4$. Key questions include which 4-manifolds can be obtained in this way, and the uniqueness of such descriptions. As an application we construct embeddings of 3-manifolds into 4-manifolds by viewing Dehn surgery as a cross section of a surgery on a surface. In particular, we give new embeddings of homology spheres into $S^4$.
Echeverria recently introduced an invariant for a smoothly embedded torus in a homology $S^1\times S^3$, using gauge theory for singular connections. We define a new topological invariant of such an embedded torus, analogous to the classical Levine-Tristram invariant of a knot. In the 3-dimensional situation, a count of singular connections on a knot complement reproduces the Levine-Tristram invariant. We compute the invariant for a number of examples embedded tori, and show that our topological invariant is the same as what one might expect from Echeverria's invariant. Langte Ma has subsequen…
We use the theory of sutured TQFT to classify contact elements in the sutured Floer homology, with $\Z$ coefficients, of certain sutured manifolds of the form $(Σ\times S^1, F \times S^1)$ where $Σ$ is an annulus or punctured torus. Using this classification, we give a new proof that the contact invariant in sutured Floer homology with $\Z$ coefficients of a contact structure with Giroux torsion vanishes. We also give a new proof of Massot's theorem that the contact invariant vanishes for a contact structure on $(Σ\times S^1, F \times S^1)$ described by an isolating dividing set.
We study the question of how many embedded symplectic or Lagrangian tori can represent the same homology class in a simply connected symplectic 4-manifold.
We describe a new approach to the study of the set of all simple geodesics on a hyperbolic punctured torus. We introduce a valuation on the first integral homology group of the torus. This valuation associates to each homology class the length of the unique simple geodesic in it. We show that this valuation extends to a norm on the homology with real coefficients. We analyze the structure of this norm, and its variation over the moduli space of punctured tori. These results are applied to obtain sharp asymptotic estimates on the number of simple geodesics of bounded length..
We define an simple invariant of an embedded nullhomologous Lagrangian torus and use this invariant to show that many symplectic 4-manifolds have infinitely many pairwise symplectically inequivalent nullhomologous Lagrangian tori. We further show that for a large class of examples that lambda(T) is actually a C-infinity invariant. In addition, this invariant is used to show that many symplectic 4-manifolds have nontrivial homology classes which are represented by infinitely many pairwise inequivalent Lagrangian tori, a result first proved by S Vidussi for the homotopy K3-surface obtained from …
Modifying the method of [21], we compute the perturbed $HF^+$ for some special classes of fibered three manifolds in the second highest spin$^c$-structures $S_{g-2}$. The special classes considered in this paper include the mapping tori of Dehn twists along a single non-separating curve and along a transverse pair of curves.
This short note presents a simple construction of nonisotopic symplectic tori representing the same primitive homology class in the symplectic 4-manifold E(1)_K, obtained by knot surgery on the rational elliptic surface E(1) with the left-handed trefoil knot K. E(1)_K has the simplest homotopy type among simply-connected symplectic 4-manifolds known to exhibit such property.
We introduce topological invariants of knots and braid conjugacy classes, in the form of differential graded algebras, and present an explicit combinatorial formulation for these invariants. The algebras conjecturally give the relative contact homology of certain Legendrian tori in five-dimensional contact manifolds. We present several computations and derive a relation between the knot invariant and the determinant.
We define a norm on homology of punctured tori equipped with a complete hyperbolic metric of finite volume and use it to find asymptotics on the growth of the number of simple geodesics of bounded length.
We apply representation theory to study the homology of equivariant Dehn-fillings of a given finite, regular cover of a compact 3-manifold with boundary a torus. This yields a polynomial which gives the rank of the part of the homology carried by the solid tori used for Dehn-filling. The polynomial is a symmetrized form of the group determinant studied by Frobenius and Dedekind. As a corollary every such hyperbolic 3-manifold has infinitely many virtually Haken Dehn-fillings.
Let E(1)_K denote the closed 4-manifold that is homotopy equivalent (hence homeomorphic) to the rational elliptic surface E(1) and is obtained by performing Fintushel-Stern knot surgery on E(1) using a knot K in S^3. We construct an infinite family of homologous non-isotopic symplectic tori representing a primitive homology class in E(1)_K when K is any nontrivial fibred knot in S^3. We also show how these tori can be non-isotopically embedded as homologous symplectic submanifolds in other symplectic 4-manifolds.
Contact homology for Legendrian submanifolds in standard contact $(2n+1)$-space is rigorously defined using moduli spaces of holomorphic disks with Lagrangian boundary conditions in complex $n$-space. It provides new invariants of Legendrian isotopy. Using these invariants the theory of Legendrian isotopy is shown to be very rich. For example, infinite families of pairwise non-isotopic Legendrian $n$-spheres and $n$-tori, which are indistinguishable by means of previously known invariants, are constructed. In a sense, the definition of contact homology presented in this paper is a high dimensi…
We prove a number of new restrictions on the enumerative properties of homology manifolds and semi-Eulerian complexes and posets. These include a determination of the affine span of the fine $h$-vector of balanced semi-Eulerian complexes and the toric $h$-vector of semi-Eulerian posets. The lower bounds on simplicial homology manifolds, when combined with higher dimensional analogues of Walkup's 3-dimensional constructions \cite{Wal}, allow us to give a complete characterization of the $f$-vectors of arbitrary simplicial triangulations of $S^1 \times S^3, \C P^2,$ $ K3$ surfaces, and $(S^2 \ti…
Let M be a compact connected orientable 3-manifold, with non-empty boundary that contains no 2-spheres. We investigate the existence of two properly embedded disjoint surfaces S_1 and S_2 such that M - (S_1 \cup S_2) is connected. We show that there exist two such surfaces if and only if M is neither a Z_2 homology solid torus nor a Z_2 homology cobordism between two tori. In particular, the exterior of a link with at least 3 components always contain two such surfaces. The proof mainly uses techniques from the theory of groups, both discrete and profinite.
