arXiv research

New metrics with non-negative scalar curvature are always Ricci-flat on certain surgeries.

In 1986, Matveev defined the notion of Borromean surgery for closed oriented 3-manifolds and showed that the equivalence relation generated by this move is characterized by the pair (first betti number, linking form up to isomorphism). We explain how this extends for 3-manifolds with spin structure if we replace the li…

Proves Gromov's conjecture on total mean curvature using surgery and positive mass theorems.

Matveev introduced Borromean surgery on 3-manifolds, and proved that the equivalence relation on closed, oriented 3-manifolds generated by Borromean surgeries is characterized by the first homology group and the torsion linking pairing. Massuyeau generalized this result to closed, spin 3-manifolds, and the second autho…

Study preserves metrics with positive Bakry-Émry Ricci curvature via surgery.

We show that for generic Riemannian metrics on a simply-connected closed spin manifold of dimension at least 5 the dimension of the space of harmonic spinors is no larger than it must be by the index theorem. The same result holds for periodic fundamental groups of odd order. The proof is based on a surgery theorem for…

Estimates Manolescu's κ-invariant using spin 4-orbifolds.

New surgery exact triangles in Heegaard Floer homology for rational slopes.

We give a surgery formula for the torsions and Seiberg-Witten invariants associated with $Spin^c$-structures on 3-manifolds. We use the technique of Reidemeister-type torsions and their refinements.

Extends LOSS invariant naturality to positive contact surgeries.

Study of knot Floer homology and its relation to Heegaard Floer homology via equivariant surgery.

In this paper, given a knot K, for any integer m we construct a new surface Sigma_K(m) from a smoothly embedded surface Sigma in a smooth 4-manifold X by performing a surgery on Sigma. This surgery is based on a modification of the `rim surgery' which was introduced by Fintushel and Stern, by doing additional twist spi…

Study fermionic theories, their anomalies, and modular transformations.

We examine certain symmetries in the deficiencies of a rational surgery on a knot in $S^3$ by comparing the $\text{Spin}^c$-structures on the rational surgery with those on a related integral surgery. We then provide an application of these symmetries in the form of a theorem that obstructs Dehn surgeries in $S^3$. Thi…

The study classifies spin$^c$ manifolds with positive generalized scalar curvature.

We give a simple criterion for a pointwise curvature condition to be stable under surgery. Namely, a curvature condition $C$, which is understood to be an open, convex, O(n)-invariant cone in the space of algebraic curvature operators, is stable under surgeries of codimension at least $c$ provided it contains the curva…

Spaces of metrics with invertible Dirac operator are homotopy equivalent for cobordant manifolds.

New insights into cosmetic surgeries using Heegaard Floer homology.

We associate to a compact spin manifold M a real-valued invariant τ(M) by taking the supremum over all conformal classes over the infimum inside each conformal class of the first positive Dirac eigenvalue, normalized to volume 1. This invariant is a spinorial analogue of Schoen's $σ$-constant, also known as the smooth …

For a nullhomologous Legendrian knot in a closed contact 3-manifold Y we consider a contact structure obtained by positive rational contact surgery. We prove that in this situation the Heegaard Floer contact invariant of Y is mapped by a surgery cobordism to the contact invariant of the result of contact surgery. In ad…

Proves cobordism of CP^2 bundles generating oriented ring.

Given a simply-connected closed 4-manifold $X$ and a smoothly embedded oriented surface $Σ$, various constructions based on Fintushel-Stern knot surgery have produced new surfaces in $X$ that are pairwise homeomorphic to $Σ$, but not diffeomorphic. We prove that for all known examples of surface knots constructed from …

In this paper, results of J. Park and of B.D Park and Szabo on simply connected symplectic 4-manifolds are re-proven and extended to non-simply connected manifolds using Luttinger surgeries.

The paper calculates involutive Heegaard Floer homology for specific 3-manifolds.

We provide a new obstruction for a rational homology 3-sphere to arise by Dehn surgery on a given knot in the 3-sphere. The obstruction takes the form of an inequality involving the genus of the knot, the surgery coefficient, and a count of L-structures on the 3-manifold, that is spin-c structures with the simplest pos…

Develops a TQFT framework to compute $\hat{Z}$ invariants of three-manifolds.

Introduces integer-valued Heegaard Floer theory with canonical orientations.

New metrics found for 6k-dimensional manifolds with positive Ricci curvature.

We prove a positive mass theorem for some noncompact spin manifolds that are asymptotic to products of hyperbolic space with a compact manifold. As conclusion we show the Yamabe inequality for some noncompact manifolds which are important to understand the behaviour of Yamabe invariants under surgeries.

Abstract: Mapping 3-manifold bordisms to topological orders and domain walls.

In this paper we prove the existence of a natural mapping from the surgery exact sequence for topological manifolds to the analytic surgery exact sequence of N. Higson and J. Roe. This generalizes the fundamental result of Higson and Roe, but in the treatment given by Piazza and Schick, from smooth manifolds to topolog…

Innovative series invariant for knot complements, linking to existing invariants.

We prove that two closed oriented 3-manifolds have isomorphic quintuplets (homology, space of spin structures, linking pairing, cohomology rings, Rochlin function) if, and only if, they belong to the same class of a certain surgery equivalence relation introduced by Goussarov and Habiro.

We show an Uhlenbeck type estimate for closed simply connected manifolds which provides the existence of certain exact sequences in K-area homology. This leads to the behavior of the K-area homology under surgery. Moreover, we give an index theoretic obstruction to positive scalar curvature on compact spin manifolds wi…

Let M be a compact manifold with a fixed spin structure χ. The Atiyah-Singer index theorem implies that for any metric g on M the dimension of the kernel of the Dirac operator is bounded from below by a topological quantity depending only on M and χ. We show that for generic metrics on M this bound is attained.

From Furuta's $\frac{10}{8}$ theorem, we derive a smooth slicing obstruction for knots in $S^3$ using a spin $4$-manifold whose boundary is $0$-surgery on a knot. We show that this obstruction is able to detect torsion elements in the smooth concordance group and find topologically slice knots which are not smoothly sl…

Some generalizations and variations of the Fintushel-Stern rim surgery are known to produce smoothly knotted surfaces. We show that if the fundamental groups of their complements are cyclic, then these surfaces are topologically unknotted. Using a twist-spinning construction from high-dimensional knot theory, we constr…

In this article, we prove that on any compact spin manifold of dimension m congruent 0,6,7 mod 8, there exists a metric, for which the associated Dirac operator has at least one eigenvalue of multiplicity at least two. We prove this by catching the desired metric in a subspace of Riemannian metrics with a loop that is …

For a knot K and its knot Floer complex CFK^-(K), we introduce an algorithm to compute the bordered Floer bimodule of the complement of the knot and its meridian. The grading of the module computes spin^c-summands of a meridional knot in the large Dehn surgery manifold, which can be also extended to arbitrary framing n…

We study a symplectic surgery operation we call unchaining, which effectively reduces the second Betti number and the symplectic Kodaira dimension at the same time. Using unchaining, we give novel constructions of symplectic Calabi-Yau surfaces from complex surfaces of general type, as well as from rational and ruled s…

The paper constructs positive scalar curvature metrics via immersions.

The Heegaard Floer correction term ($d$-invariant) is an invariant of rational homology 3-spheres equipped with a Spin$^c$ structure. In particular, the correction term of 1-surgeries along knots in $S^3$ is a ($2\mathbb{Z}$-valued) knot concordance invariant $d_1$. In this paper, we estimate $d_1$ for the $(2,q)$-cabl…

Given an oriented rational homology 3-sphere M, it is known how to associate to any Spin^c-structure σon M two quadratic functions over the linking pairing. One quadratic function is derived from the reduction modulo 1 of the Reidemeister-Turaev torsion of (M,σ), while the other one can be defined using the intersectio…

Let $M$ be a compact manifold with a metric $g$ and with a fixed spin structure $χ$. Let $λ\_1^+(g)$ be the first non-negative eigenvalue of the Dirac operator on $(M,g,χ)$. We set $τ(M,χ):= \sup \inf λ\_1^+(g)$ where the infimum runs over all metrics $g$ of volume 1 in a conformal class $[g\_0]$ on $M$ and where the…

Extends metric properties over surgeries to higher codimensions.

Two 4-manifolds are stably diffeomorphic if they become diffeomorphic after connected sum with S^2 x S^2's. This paper shows that two closed, orientable, homotopy equivalent, smooth 4-manifolds are stably diffeomorphic, provided a certain map from the second homology of the fundamental group with coefficients in Z/2 to…

Let $G$ be a compact connected Lie group, and $M$ a compact Hamiltonian $G$-space, with moment map $J$. For each $G$-equivariant Hermitian vector bundle $E$ over $M$, one has an associated twisted Spin-C Dirac operator, whose equivariant index is a symplectic invariant of $E$. In the present paper, we study gluing prop…

We establish two exact sequences for the lattice cohomology associated with non-degenerate plumbing graphs. The first is the analogue of the surgery exact triangle proved by Ozsvath and Szabo for the Heegaard-Floer invariant HF^+; for the lattice cohomology over Z_2-coefficients it was proved by J. Greene. Here we prov…