arXiv research

Surgery obstructions extended to integer homology spheres using Heegaard Floer homology.

New links split by integer homology spheres but not by others.

We show that among Seifert fibered integer homology spheres, Poincare sphere (with either orientation) is the only non-trivial example which has trivial Heegaard Floer homology. Together with an earlier result, this shows that if an integer homology sphere has trivial Heegaard Floer homology, then it is a connected sum…

We show that the integer homology sphere obtained by splicing two nontrivial knot complements in integer homology sphere L-spaces has Heegaard Floer homology rank strictly greater than one. In particular, splicing the complements of nontrivial knots in the 3-sphere never produces an L-space. The proof uses bordered Flo…

The cosmetic surgery conjecture is a longstanding conjecture in 3-manifold theory. We present a theorem about exceptional cosmetic surgery for homology spheres. Along the way we prove that if the surgery is not a small seifert $\mathbb{Z}/2\mathbb{Z}$-homology sphere or a toroidal irreducible non-Seifert surgery then t…

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 classe…

Auckly gave two examples of irreducible integer homology spheres (one toroidal and one hyperbolic) which are not surgery on a knot in the three-sphere. Using Heegaard Floer homology, the authors and Karakurt provided infinitely many small Seifert fibered examples. In this note, we extend those results to give infinitel…

The study confirms conjectures about slopes of knots using knot Floer homology.

The paper constructs new rational homology 3-spheres bounding rational homology 4-balls.

Study shows infinite-rank summand in homology concordance group of knots.

Study extends contact cosmetic surgeries to non-trivial Legendrian knots in L-spaces.

Study exact surgery formula in involutive Heegaard Floer homology.

Using Taubes' periodic ends theorem, Auckly gave examples of toroidal and hyperbolic irreducible integer homology spheres which are not surgery on a knot in the three-sphere. We give an obstruction to a homology sphere being surgery on a knot coming from Heegaard Floer homology. This is used to construct infinitely man…

In this paper we develop a method to compute the Burns-Epstein invariant of a spherical CR homology sphere, up to an integer, from its holonomy representation. As application, we give a formula for the Burns-Epstein invariant, modulo an integer, of a spherical CR structure on a Seifert fibered homology sphere in terms …

The main result of this paper is that any $3$-dimensional manifold with a finite group action is equivariantly, invertibly homology cobordant to a hyperbolic manifold; this result holds with suitable twisted coefficients as well. The following two consequences motivated this work. First, there are hyperbolic equivarian…

This paper gives infinitely many examples of non L-space irreducible integer homology 3-spheres whose fundamental groups do not have nontrivial $\widetilde{PSL_2(\mathbb{R})}$ representations.

Study irreducible SU(2) representations for knots in 3D.

For each rational homology 3-sphere $Y$ which bounds simply connected definite 4-manifolds of both signs, we construct an infinite family of irreducible rational homology 3-spheres which are homology cobordant to $Y$ but cannot bound any simply connected definite 4-manifold. As a corollary, for any coprime integers $p,…

The study determines lens spaces that can be obtained from surgeries on knots in the Poincaré homology sphere.

Proves SU(2) representations for certain 3-spheres with embedded tori.

We prove that the fundamental group of any integer homology 3-sphere different from the 3-sphere admits irreducible representations of its fundamental group in SL(2,C). For hyperbolic integer homology spheres this comes with the definition, and for Seifert fibered integer homology spheres this is well known. We prove t…

We define an integer valued invariant of homology spheres using the methods of SU(3) gauge theory and study its behavior under orientation reversal and connected sum.

New homology $q_2$ from 3D cobordism to integers.

The SU(3)-Casson invariant for integral homology 3-spheres as studied by Boden-Herald possesses a 'spectral flow obstruction' to being an integer valued invariant which depends only on the non-degenerate (perturbed) moduli space of flat SU(3)-connections. This obstruction is the non-trivial spectral flow of a family of…

We construct hyperbolic integer homology 3-spheres where the injectivity radius is arbitrarily large for nearly all points of the manifold. As a consequence, there exists a sequence of closed hyperbolic 3-manifolds which Benjamini-Schramm converge to H^3 whose normalized Ray-Singer analytic torsions do not converge to …

Proves exact triangle linking knot instanton Floer homology to surgeries.

New invariants for 3-manifolds derived from equivariant Cerf theory.

We develop techniques for computing the integer valued SU(3) Casson invariant. Our method involves resolving the singularities in the flat moduli space using a twisting perturbation and analyzing its effect on the topology of the perturbed flat moduli space. These techniques, together with Bott-Morse theory and the spl…

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…

The paper shows links with 2 components are not smoothly slice in a specific 4-manifold.

For each integral homology sphere $Y$, a function $Γ_Y$ on the set of integers is constructed. It is established that $Γ_Y$ depends only on the homology cobordism of $Y$ and it recovers the Frøyshov invariant. A relation between $Γ_Y$ and Fintushel-Stern's $R$-invariant is stated. It is shown that the value of $Γ_Y$ at…

We will announce some results on the values of quantum sl_2 invariants of knots and integral homology spheres. Lawrence's universal sl_2 invariant of knots takes values in a fairly small subalgebra of the center of the h-adic version of the quantized enveloping algebra of sl_2. This implies an integrality result on the…

We modify the construction of knot Floer homology to produce a one-parameter family of homologies for knots in the three-sphere. These invariants can be used to give homomorphisms from the smooth concordance group to the integers, giving bounds on the four-ball genus and the concordance genus of knots. We give some app…

We prove that the quantum SO(3)-invariant of an arbitrary 3-manifold $M$ is always an algebraic integer, if the order of the quantum parameter is co-prime with the order of the torsion part of $H_1(M,\BZ)$. An even stronger integrality, known as cyclotomic integrality, was established by Habiro for integral homology 3-…

The study examines hyperbolic 3-manifolds with uniform spectral gaps for coclosed 1-forms.

Identifies a mod-$p$ triple cup product for rational homology 3-spheres with specific first homology.

For any knot $K$ which bounds non-orientable and null-homologous surfaces $F$ in punctured $n\mathbb{C}P^2$, we construct a lower bound of the first Betti number of $F$ which consists of the signature of $K$ and the Heegaard Floer $d$-invariant of the integer homology sphere obtained by $1$-surgery along $K$. By using …

We prove that for every integer k>1 there is a simply connected rational homology 5-sphere $\scriptstyle{M^5_k}$ with spin such that $\scriptstyle{H_2(M^5_k,\bbz)}$ has order $\scriptstyle{k^2},$ and $\scriptstyle{M^5_k}$ admits a Riemannian metric of positive Ricci curvature. Moreover, if the prime number decompositio…

We define four versions of equivariant instanton Floer homology ($I^+, I^-, I^\infty$ and $\widetilde I$) for a class of 3-manifolds and $SO(3)$-bundles over them including all rational homology spheres. These versions are analogous to the four flavors of monopole and Heegaard Floer homology theories. This construction…

Researchers compute knot invariants in Seifert manifolds using Wilson loops.

We show that every irreducible toroidal integer homology sphere graph manifold has a left-orderable fundamental group. This is established by way of a specialization of a result due to Bludov and Glass for the almagamated products that arise, and in this setting work of Boyer, Rolfsen and Wiest may be applied. Our resu…

We prove the existence of a new algorithm for 3-sphere recognition based on Groebner basis methods applied to the variety of $\text{\em SL}(2,\C)$-representation of the fundamental group. An essential input is a recent result of the second author, stating that any integer homology 3-sphere different from the 3-sphere a…

A 3-manifold $M$ is said to be $p$-periodic ($p\geq 2$ an integer) if and only if the finite cyclic group of order $p$ acts on $M$ with a circle as the set of fixed points. This paper provides a criterion for periodicity of rational homology three-spheres. Namely, we give a necessary condition for a rational homology t…

New invariants help study satellite knots and their concordance.

This paper analyzes $Δ_a$ invariants in non-perturbative complex Chern-Simons theory.

We give new obstructions to the module structures arising in Heegaard Floer homology. As a corollary, we characterize the possible modules arising as the Heegaard Floer homology of an integer homology sphere with one-dimensional reduced Floer homology. Up to absolute grading shifts, there are only two. We use this coro…

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 kn…

New instanton invariants for rational homology spheres defined and shown to be functorial.