arXiv research

The paper proves infinitely many non-isotopic splitting 3-spheres for split sphere links in 4D.

Diagrammatic method characterizes non-split surfaces in 3-sphere.

Disk surgery on primitive disks of genus-3 Heegaard splittings of 3-sphere yields no primitive disks.

Authors prove a conjecture about the Goeritz group of 3-sphere Heegaard splittings.

Confirming the Powell Conjecture for genus-3 Heegaard splittings of the 3-sphere.

Study on 3-sphere Goeritz group's twisted first homology group.

An updated proof of a 1933 theorem of Goeritz, exhibiting a finite set of generators for the group of automorphisms of the 3-sphere that preserve a genus two Heegaard splitting. The group is analyzed via its action on a certain connected 2-complex. (The analogous problem for higher genus Heegaard splittings appears to …

Note on connectedness of primitive disk complex.

Study Goeritz groups of link decompositions, focusing on their asymptotic behavior.

The paper studies invariants of surfaces in the 3-sphere using handlebody-links.

Homology 3-spheres are shown to be equivalent through specific twists.

New parametrization of 3-spheres using Johnson subgroups.

New generators prove sufficiency for Goeritz group of 3-sphere.

A manifold which admits a reducible genus-$2$ Heegaard splitting is one of the $3$-sphere, $S^2 \times S^1$, lens spaces or their connected sums. For each of those splittings, the complex of Haken spheres is defined. When the manifold is the $3$-sphere, $S^2 \times S^1$ or the connected sum whose summands are lens spac…

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

Let ${\mathcal H}$ be the group of isotopy classes of orientation preserving homeomorphisms of $S^3$ that preserve a Heegaard splitting of genus two. In this paper, we use a tree in the barycentric subdivision of the disk complex of a handlebody of the splitting to obtain a finite presentation of ${\mathcal H}$.

We show that every p-fold strictly-cyclic branched covering of a b-bridge link in the 3-sphere admits a p-symmetric Heegaard splitting of genus g=(b-1)(p-1). This gives a complete converse to a result of Birman and Hilden, and gives an intrinsic characterization of p-symmetric Heegaard splittings as p-fold strictly-cyc…

For any rational homology 3-sphere and one of its spin^{c}-structures, Ozsvath and Szabo defined a topological invariant, called d-invariant. Given a knot in the 3-sphere, the d-invariants associated with the prime-power-fold branched covers of the knot, obstruct the smooth sliceness of the knot. These invariants bear …

Invalidation of a key lemma leaves the Powell Conjecture unresolved.

New formulas for knot invariants under specific surgeries.

The paper studies a splitting theorem for a specific invariant of 4-manifolds.

We construct an invariant $z (M) =1+a_1(A^4-1)+ a_2(A^4-1)^2+a_3(A^4-1)^3 + \cdots \in \mathbb{Q} [[A^4-1]]= \mathbb{Q} [[A+1]]$ for an integral homology $3$-sphere $M$ using a completed skein algebra and a Heegaard splitting. The invariant $z(M)\mathrm{mod} ((A+1)^{n+1})$ is a finite type invariant of order $n$. In p…

Study invariants of $\mathbb{Z}/p$-homology 3-spheres from abelianization of mapping class groups.

Study of mapping class groups for specific 3-manifolds.

The goal of this paper is to offer a comprehensive exposition of the current knowledge about Heegaard splittings of exteriors of knots in the 3-sphere. The exposition is done with a historical perspective as to how ideas developed and by whom. Several new notions are introduced and some facts about them are proved. In …

In a 3-manifold M, let K be a knot and R be an annulus which meets K transversely. We define the notion of the pair (R,K) being caught by a surface Q in the exterior of the link given by K and the boundary curves of R. For a caught pair (R,K), we consider the knot K^n gotten by twisting K n times along R and give a low…

M. Kontsevich proposed a topological construction for an invariant Z of rational homology 3-spheres using configuration space integrals. G. Kuperberg and D. Thurston proved that Z is a universal real finite type invariant for integral homology spheres in the sense of Ohtsuki, Habiro and Goussarov. We discuss the behavi…

For rational homology 3-spheres, there exist two universal finite-type invariants: the Le-Murakami-Ohtsuki invariant and the Kontsevich-Kuperberg-Thurston invariant. These invariants take values in the same space of "Jacobi diagrams", but it is not known whether they are equal. In 2004, Lescop proved that the KKT invar…

For every rational homology 3-sphere with 2-torsion only we construct a unified invariant (which takes values in a certain cyclotomic completion of a polynomial ring), such that the evaluation of this invariant at any odd root of unity provides the SO(3) Witten-Reshetikhin-Turaev invariant at this root and at any even …

M. Kontsevich proposed a topological construction for an invariant Z of rational homology 3-spheres using configuration space integrals. G. Kuperberg and D. Thurston proved that Z is a universal real finite type invariant for integral homology spheres in the sense of Ohtsuki, Habiro and Goussarov. We review the Kontsev…

We bound the value of the Casson invariant of any integral homology 3-sphere $M$ by a constant times the distance-squared to the identity, measured in any word metric on the Torelli group $\T$, of the element of $\T$ associated to any Heegaard splitting of $M$. We construct examples which show this bound is asymptotica…

We present an alternative definition for the Goussarov--Habiro filtration of the Z-module freely generated by oriented integral homology 3-spheres, by means of Lagrangian-preserving homology handlebody replacements (LP-surgeries). Garoufalidis, Goussarov and Polyak proved that the graded space (G_n)_n associated to thi…

It is proven here that if the connected sum of two tunnel number one knots in the 3-sphere is a tunnel number two knot, then at least one of the summand knots has a genus two Heegaard splitting with a meridian as a primitive element. Hence this is a necessary and sufficient condition for tunnel number one knots to have…

For any link of two components in an integral homology sphere, we define an instanton Floer homology whose Euler characteristic is the linking number between the components of the link. We relate this Floer homology to the Kronheimer-Mrowka instanton Floer homology of knots. We also show that, for two-component links i…

Study spaces of knots and links in specific 3-manifolds.

Minimal Heegaard surfaces are shown to have index 1 for generic metrics.

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 prove Furuta-type bounds for the intersection forms of spin cobordisms between homology 3-spheres. The bounds are in terms of a new numerical invariant of homology spheres, obtained from Pin(2)-equivariant Seiberg-Witten Floer K-theory. In the process we introduce the notion of a Floer K_G-split homology sphere; thi…

Scharlemann constructed a connected simplicial 2-complex $Γ$ with an action by the group ${\mathcal H_{2}}$ of isotopy classes of orientation preserving homeomorphisms of $S^3$ that preserve the isotopy class of an unknotted genus 2 handlebody $V$. In this paper we prove that the 2-complex $Γ$ is contractible. Therefor…

The study classifies transverse spheres in flag manifolds and finds new examples.

Standard position for surfaces extended to weakly generalized alternating links.

Extends Seifert algorithm to 3-manifolds via surgery.

For a genus-1 1-bridge knot in the 3-sphere, that is, a (1,1)-knot, a middle tunnel is a tunnel that is not an upper or lower tunnel for some (1,1)-position. Most torus knots have a middle tunnel, and non-torus-knot examples were obtained by Goda, Hayashi, and Ishihara. We generalize their construction and calculate th…

Researchers compute the spectrum of Hodge-Laplacian on 1-forms for SU(2) and SO(3).

We analyze the orbifolds that can be obtained as quotients of hyperbolic 3-manifolds admitting a Heegaard splitting of genus two by their orientation preserving isometry groups. The genus two hyperbolic 3-manifolds are exactly the hyperbolic 2-fold branched coverings of 3-bridge links. If the 3-bridge link is a knot, w…

Study finds volume lower bounds for specific 3-orbifolds.

The paper develops a new theory of double Johnson filtrations for mapping class groups.

We consider quantum invariants of 3-manifolds associated with arbitrary simple Lie algebras. Using the symmetry principle we show how to decompose the quantum invariant as the product of two invariants, one of them is the invariant corresponding to the projective group. We then show that the projective quantum invarian…