It is a natural consequence of fundamental properties of the Casson invariant that the Rokhlin invariant of an amphichiral integral homology 3-sphere M vanishes. In this paper, we give a new direct proof of this vanishing property. For such an M, we construct a manifold pair (Y,Q) of dimensions 6 and 3 equipped with some additional structure (6-dimensional spin e-manifold), such that Q = M \cup M \cup (-M) and (Y,Q) \cong (-Y,-Q). We prove that (Y,Q) bounds a 7-dimensional spin e-manifold (Z,X) by studying the cobordism group of 6-dimensional spin e-manifolds and the Z/2-actions on the two--point configuration space of M minus one point. For any such (Z,X), the signature of X vanishes, and this implies the vanishing of the Rokhlin invariant. The idea of the construction of (Y,Q) comes from the definition of the Kontsevich-Kuperberg-Thurston invariant for rational homology 3-spheres.
We show that the bar version of the $\mathrm{Pin}(2)$-monopole Floer homology of a three-manifold $Y$ equipped with a self-conjugate spin$^c$ structure $\mathfrak{s}$ is determined by the triple cup product of $Y$ together with the Rokhlin invariants of the spin structures inducing $\mathfrak{s}$. This is a manifestation of mod $2$ index theory, and can be interpreted as a three-dimensional counterpart of Atiyah's classic results regarding spin structures on Riemann surfaces.
We study the dependence of the eta invariant $η_D$ on the spin structure, where $D$ is a twisted Dirac operator on a (4k+3)-dimensional spin manifold. The difference between the eta invariants for two spin structures related by a cohomolgy class which is the reduction of a $H^1(M,\Za)$-class is shown to be a half integer. As an application of the technique of proof the generalized Rokhlin invariant is shown to be equal modulo 8 for two spin structures related in this way.
We define Pin(2)-equivariant Seiberg-Witten Floer homology for rational homology 3-spheres equipped with a spin structure. The analogue of Froyshov's correction term in this setting is an integer-valued invariant of homology cobordism whose mod 2 reduction is the Rokhlin invariant. As an application, we show that there are no homology 3-spheres Y of Rokhlin invariant one such that Y # Y bounds an acyclic smooth 4-manifold. By previous work of Galewski-Stern and Matumoto, this implies the existence of non-triangulable high-dimensional manifolds.
We compute the connected Heegaard Floer homology (defined by Hendricks, Hom, and Lidman) for a large class of 3-manifolds, including all linear combinations of Seifert fibered homology spheres. We show that for such manifolds, the connected Floer homology completely determines the local equivalence class of the associated $ι$-complex. Some identities relating the rank of the connected Floer homology to the Rokhlin invariant and the Neumann-Siebenmann invariant are also derived. Our computations are based on combinatorial models inspired by the work of Némethi on lattice homology.
We show the existence of hyperbolic 4-manifolds with vanishing Seiberg-Witten invariants, addressing a conjecture of Claude LeBrun. This is achieved by showing, using results in geometric and arithmetic group theory, that certain hyperbolic 4-manifolds contain L-spaces as hypersurfaces.
In this note, we exhibit infinite families of tight non-fillable contact manifolds supported by planar open books with vanishing Heegaard Floer contact invariants. Moreover, we also exhibit an infinite such family where the supported manifold is hyperbolic.
J.-B. Meilhan and the second author showed that any Milnor $\barμ$-invariant of length between 3 and $2k+1$ can be represented as a combination of HOMFLYPT polynomial of knots obtained by certain band sum of the link components, if all $\barμ$-invariants of length $\leq k$ vanish. They also showed that their formula does not hold for length $2k+2$. In this paper, we improve their formula to give the $\barμ$-invariants of length $2k+2$ by adding correction terms. The correction terms can be given by a combination of HOMFLYPT polynomial of knots determined by $\barμ$-invariants of length $k+1$. …
The contact invariant is an element in the monopole Floer homology groups of an oriented closed three manifold canonically associated to a given contact structure. A non-vanishing contact invariant implies that the original contact structure is tight, so understanding its behavior under symplectic cobordisms is of interest if one wants to further exploit this property. By extending the gluing argument of Mrowka and Rollin to the case of a manifold with a cylindrical end, we will show that the contact invariant behaves naturally under a strong symplectic cobordism. As quick applications of the …
An odd Seiberg-Witten invariant imposes bounds on the signature of a closed, almost complex 4-manifold with vanishing first Chern class. This applies in particular to symplectic 4-manifolds of Kodaira dimension zero.
We consider Milnor invariants for certain covering links as a generalization of covering linkage invariants formulated by R. Hartley and K. Murasugi. A set of Milnor invariants for covering links is a cobordism invariant of a link, and that this invariant can distinguish some links for which the ordinary Milnor invariants coincide. Moreover, for a Brunnian link $L$, the first non-vanishing Milnor invariants of $L$ is modulo-$2$ congruent to a sum of Milnor invariants of covering links. As a consequence, a sum of linking numbers of ' iterated' covering links gives the first non-vanishing Milnor…
In this note, we revisit the $Θ$-invariant as defined by R. Bott and the first author. The $Θ$-invariant is an invariant of rational homology 3-spheres with acyclic orthogonal local systems, which is a generalization of the 2-loop term of the Chern-Simons perturbation theory. The $Θ$-invariant can be defined when a cohomology group is vanishing. In this note, we give a slightly modified version of the $Θ$-invariant that we can define even if the cohomology group is not vanishing.
In this paper we will make use of the Mackaay-Vaz approach to the universal $\mathfrak{sl}_3$-homology to define a family of cycles (called $β_3$-invariants) which are transverse braid invariants. This family includes Wu's $ψ_{3}$-invariant. Furthermore, we analyse the vanishing of the homology classes of the $β_3$-invariants and relate it to the vanishing of Plamenevskaya's and Wu's invariants. Finally, we use the $β_3$-invariants to produce some Bennequin-type inequalities.
Fintushel and Stern showed that the Brieskorn sphere $Σ(2,3,7)$ bounds a rational homology ball, while its non-trivial Rokhlin invariant obstructs it from bounding an integral homology ball. It is known that their argument can be modified to show that the figure-eight knot is rationally slice, and we use this fact to provide the first additional examples of Brieskorn spheres that bound rational homology balls but not integral homology balls: the families $Σ(2,4n+1,12n+5)$ and $Σ(3,3n+1,12n+5)$ for $n$ odd. We also provide handlebody diagrams for a rational homology ball containing a rationally…
We show that an orientable pseudo-Anosov homeomorphism has vanishing Sah-Arnoux-Fathi invariant if and only if the minimal polynomial of its dilatation is not reciprocal. We relate this to works of Margalit-Spallone and Birman, Brinkmann and Kawamuro. Mainly, we use Veech's construction of pseudo-Anosov maps to give explicit pseudo-Anosov maps of vanishing Sah-Arnoux-Fathi invariant. In particular, we give new infinite families of such maps in genus 3.
We show that any pseudo-Anosov map that is a lift of pseudo-Anosov homeomorphism of a nonorientable surface has vanishing SAF invariant. We also provide a criterion to certify that a pseudo-Anosov map is not such a lift.
We give a sufficient condition under which vanishing property of Cochran-Orr-Teichner knot concordance obstructions splits under connected sum. The condition is described in terms of self-annihilating submodules with respect to higher-order Blanchfield linking forms. This extends results of Levine and the authors on distinguishing knots with coprime Alexander polynomials up to concordance. As an application, we show that the knots constructed by Cochran, Orr and Teichner as the first examples of nonslice knots with vanishing Casson-Gordon invariants are not concordant to any knot of genus one.
Hom gives an example of a knot with vanishing Upsilon invariant but nonzero epsilon invariant. We build more such knots that are linearly independent in the smooth concordance group.
Casson-type invariants emerging from Donaldson theory over certain negative definite 4-manifolds were recently suggested by Andrei Teleman. These are defined by a count of a zero-dimensional moduli space of flat instantons. Motivated by the cobordism program of proving Witten's conjecture, we use a moduli space of PU(2) Seiberg-Witten monopoles to exhibit an oriented one-dimensional cobordism of the instanton moduli space to the empty space. The Casson-type invariant must therefore vanish.
Ozsvath-Szabo contact invariants are a powerful way to prove tightness of contact structures but they are known to vanish in the presence of Giroux torsion. In this paper we construct, on infinitely many manifolds, infinitely many isotopy classes of universally tight torsion free contact structures whose Ozsvath-Szabo invariant vanishes. We also discuss the relation between these invariants and an invariant on T^3 and construct other examples of new phenomena in Heegaard--Floer theory. Along the way, we prove two conjectures of K Honda, W Kazez and G Matic about their contact topological quant…
In this paper we construct an infinite family of knots with vanishing Upsilon invariant $Υ$, although their secondary Upsilon invariants $Υ^2$ show that they are linearly independent in the smooth knot concordance group. We also prove a conjecture in a paper by Allen.
We derive a formula for the $\barμ$-invariant of a Seifert fibered homology sphere in terms of the eta-invariant of its Dirac operator. As a consequence, we obtain a vanishing result for the index of certain Dirac operators on plumbed 4-manifolds bounding such spheres.
We shall prove a new non-vanishing theorem for the stable cohomotopy Seiberg-Witten invariant of connected sums of 4-manifolds with positive first Betti number. The non-vanishing theorem enables us to find many new examples of 4-manifolds with non-trivial stable cohomotopy Seiberg-Witten invariants and it also gives a partial, but strong affirmative answer to a conjecture concerning non-vanishing of the invariant. Various new applications of the non-vanishing theorem are also given. For example, we shall introduce variants $\barλ_k$ of Perelman's $\barλ$ invariants for real numbers $k$ and com…
We make use of $\mathcal{F}$-structures and technology developed by Paternain - Petean to compute minimal entropy, minimal volume, and Yamabe invariant of symplectic 4-manifolds, as well as to study their collapse with sectional curvature bounded from below. À la Gompf, we show that these invariants vanish on symplectic 4-manifolds that realize any given finitely presented group as their fundamental group. We extend to the symplectic realm a result of LeBrun which relates the Kodaira dimension with the Yamabe invariant of compact complex surfaces.
The hyperbolic class and vanishing laws in a TMF-valued four-manifold invariant
C. N. Yang Institute for Theoretical Physics, Stony Brook University（杨振宁理论物理研究所，石溪大学）；Weinberg Institute, The University of Texas at Austin（温伯格研究所，德克萨斯大学奥斯汀分校）
We extend the vanishing theorem for the Seiberg-Witten invariants of a manifold with positive scalar curvature to the case when the curvature is allowed to be negative on a set of small volume. (The precise curvature bounds are described in the paper.) The idea is to combine the method of `semigroup domination' with the Weitzenbock formula. The same curvature hypothesis implies the vanishing of the Seiberg-Witten invariant of any finite covering space. We also show that, in high dimensions, a spin manifold with mostly positive scalar curvature in fact admits a metric of positive scalar curvatu…
We prove that, under a simple condition on the cohomology ring, every closed 4-manifold has mod 2 Seiberg-Witten simple type. This result shows that there exists a large class of topological 4-manifolds such that all smooth structures have mod 2 simple type, and yet some have non-vanishing (mod 2) Seiberg-Witten invariants. As corollaries, we obtain adjunction inequalities and show that, under a mild topological condition, every geometrically simply connected closed 4-manifold has the vanishing mod 2 Seiberg-Witten invariant for at least one orientation.
Using the knot Floer homology filtration, we define invariants associated to a knot in a three-manifold possessing non-vanishing Floer co(homology) classes. In the case of the Ozsvath-Szabo contact invariant we obtain an invariant of knots in a contact three-manifold. This invariant provides an upper bound for the Thurston-Bennequin plus rotation number of any Legendrian realization of the knot. We use it to demonstrate the first systematic construction of prime knots in contact manifolds other than the three-sphere with negative maximal Thurston-Bennequin invariant. Perhaps more interesting, …
In this paper we prove a vanishing theorem for the contact Ozsvath--Szabo invariants of certain contact 3--manifolds having positive Giroux torsion. We use this result to establish similar vanishing results for contact structures with underlying 3--manifolds admitting either a torus fibration over the circle or a Seifert fibration over an orientable base. We also show -- using standard techniques from contact topology -- that if a contact 3--manifold (Y,ξ) has positive Giroux torsion then there exists a Stein cobordism from (Y,ξ) to a contact 3--manifold (Y,ξ') such that (Y,ξ) is obtained from…
We define Seiberg-Witten equations on closed manifolds endowed with a Riemannian foliation of codimension 4. When the foliation is taut, we show compactness of the moduli space under some hypothesis satisfied for instance by closed K-contact manifolds. Furthermore, we prove some vanishing and non-vanishing results and we highlight that the invariants may be used to distinguish different foliations on diffeomorphic manifolds.
New estimates are derived concerning the behavior of self-dual hamonic 2-forms on a compact Riemannian 4-manifold with non-trivial Seiberg-Witten invariants. Applications include a vanishing theorem for certain Seiberg-Witten invariants on compact 4-manifolds of constant negative sectional curvature.
We develop a geometric approach to stable homotopy groups of spheres in the spirit of the work of Pontrjagin and Rokhlin. A new proof of the Hopf Invariant One Theorem by J.F.Adams is obtained in all dimensions except 15 and 31. To prove that the stable Hopf invariant H: Π_n \to Z/2 vanishes for n>31, we apply methods of geometric topology. The Pontrjagin-Thom construction along with Hirsch's compression lemma identify every α\in Π_n with the framed bordism class of a framed immersion of a closed n-manifold into R^{n+k}, for any given k>0. Its self-intersection M projects to an immersion f: M …
We recently defined an invariant of contact manifolds with convex boundary in Kronheimer and Mrowka's sutured monopole Floer homology theory. Here, we prove that there is an isomorphism between sutured monopole Floer homology and sutured Heegaard Floer homology which identifies our invariant with the contact class defined by Honda, Kazez and Matić in the latter theory. One consequence is that the Legendrian invariants in knot Floer homology behave functorially with respect to Lagrangian concordance. In particular, these invariants provide computable and effective obstructions to the existence …
Using the work of Dwyer, Weiss, and Williams we associate an invariant to any topologically trivial family of smooth h-cobordisms. This invariant is called the smooth structure class, and is closely related to the higher Franz--Reidemeister torsion of Igusa and Klein. We compute the smooth structure class in terms of a fiberwise generalized Morse function using fiberwise Poincaré--Hopf theory. This computation gives rise to a duality theorem for the smooth structure class that generalizes Milnor's duality theorem for the Whitehead torsion. From this result we deduce a vanishing theorem that im…
We study the flux homomorphism for closed forms of arbitrary degree, with special emphasis on volume forms and on symplectic forms. The volume flux group is an invariant of the underlying manifold, whose non-vanishing implies that the manifold resembles one with a circle action with homologically essential orbits.
