arXiv research

We found an infinite family of counterexamples to Batson's conjecture.

The paper shows how to unknot certain nonorientable surfaces in 4-dimensional spaces.

The nonorientable 4-genus $γ_4(K)$ of a knot $K$ is the smallest first Betti number of any nonorientable surface properly embedded in the 4-ball, and bounding the knot $K$. We study a conjecture proposed by Batson about the value of $γ_4$ for torus knots, which can be seen as a nonorientable analogue of Milnor's Conjec…

We develop obstructions to a knot K in the 3-sphere bounding a smooth punctured Klein bottle in the 4-ball. The simplest of these is based on the linking form of the 2-fold branched cover of the 3-sphere branched over K. Stronger obstructions are based on the Ozsvath-Szabo correction term in Heegaard-Floer homology, al…

New method shows nonorientable surfaces in 4D are topologically unknotted.

Minimal singular fibers found in nonorientable Lefschetz fibrations.

Study on maximal surfaces with high genus in Lorentz-Minkowski space.

The nonorientable four-ball genus of a knot K is the smallest first Betti number of any smoothly embedded, nonorientable surface F in B^4 bounding K. In contrast to the orientable four-ball genus, which is bounded below by the Murasugi signature, the Ozsvath-Szabo tau-invariant, the Rasmussen s-invariant, the best lowe…

Two elements generate all mappings of a nonorientable surface.

New bounds on nonorientable four-ball genus for torus knots.

Same-genus Seifert surfaces for non-split alternating links are smoothly isotopic.

Study on nonorientable 4-genus of double twist knots.

The concordance genus of a knot K is the minimum Seifert genus of all knots smoothly concordant to K. Concordance genus is bounded below by the 4-ball genus and above by the Seifert genus. We give a lower bound for the concordance genus of K coming from the knot Floer complex of K. As an application, we prove that ther…

We compare the values of the nonorientable three genus (or, crosscap number) and the nonorientable four genus of torus knots. In particular, let T(p,q) be any torus knot with p even and q odd. The difference between these two invariants on T(p,q) is at least k/2, where p = qk + a and 0 < a < q and $k\geq 0$. Hence, the…

New findings on generating mapping class groups of nonorientable surfaces.

Nonorientable spanning surfaces of periodic knots can have arbitrarily high first Betti number.

Geography problem for nonorientable surfaces bounded by knots.

We prove that the hyperelliptic mapping class group of a nonorientable surface of genus $g\geq 4$ has a faithful linear representation of dimension $g^2-1$ over $\mathbb{R}$.

Maximal dilatation found on nonorientable surfaces.

On each nonorientable surface of odd genus $g \geq 5$, we give a mapping class whose dilatation on an invariant subsurface is the golden ratio.

Let $N$ be a connected nonorientable surface of genus $g$ with $n$ punctures. Suppose that $g$ is odd and $g+n \geqslant 6$. We prove that the automorphism group of the complex of curves of $N$ is isomorphic to the mapping class group $\mathcal M_{N}$ of $N$.

Automorphism group of nonorientable surface curve graph matches surface homeomorphisms.

Generators found for nonorientable surfaces with many punctures.

Call a smooth knot (or smooth link) in the unit sphere in $\mathbb{C}^2$ analytic (respectively, smoothly analytic) if it bounds a complex curve (respectively, a smooth complex curve) in the complex ball. Let $K$ be a smoothly analytic knot. For a small tubular neighbourhood of $K$ we give a sharp lower bound for the 4…

New generators found for twist subgroup of nonorientable surfaces.

The study explores nonorientable 3-manifolds using open books and their monodromies.

This paper extends quasimorphism results to nonorientable surfaces.

We obtain a finite set of generators for the level 2 mapping class group of a closed nonorientable surface of genus $g\ge 3$. This set consists of isotopy classes of Lickorish's Y-homeomorphisms also called crosscap slides.

We determine the smallest stretch factor among pseudo-Anosov maps with an orientable invariant foliation on the closed nonorientable surfaces of genus 4, 5, 6, 7, 8, 10, 12, 14, 16, 18 and 20. We also determine the smallest stretch factor of an orientation-reversing pseudo-Anosov map with orientable invariant foliation…

Let $N_{g,n}$ denote the nonorientable surface of genus $g$ with $n$ boundary components and $M(N_{g,n})$ its mapping class group. We obtain an explicit finite presentation of $M(N_{g,n})$ for $n=0,1$ and all $g$ such that $g+n>3$.

Klein bottle embeds into specific lens spaces.

A classification of spanning surfaces for alternating links is provided up to genus, orientability, and a new invariant that we call aggregate slope. That is, given an alternating link, we determine all possible combinations of genus, orientability, and aggregate slope that a surface spanning that link can have. To thi…

Let $N$ be a compact, connected, nonorientable surface of genus $g$ with $n$ boundary components. Let $\mathcal{C}(N)$ be the curve complex of $N$. We prove that if $(g, n) \neq (1,2)$ and $g + n \neq 4$, then there is an exhaustion of $\mathcal{C}(N)$ by a sequence of finite superrigid sets.

A crosscap transposition is an element of the mapping class group of a nonorientable surface represented by a homeomorphism supported on a one-holed Klein bottle and swapping two crosscaps. We prove that the mapping class group of a compact nonorientable surface of genus $g\ge 7$ is generated by conjugates of one cross…

Let Ng be the connected closed nonorientable surface of genus g >= 5 and Mod(Ng) denote the mapping class group of Ng. We prove that the outer automorphism group of Mod(Ng) is either trivial or Z if g is odd, and injects into the mapping class group of sphere with four holes if g is even.

Proves mapping class group of nonorientable surfaces can be generated by three torsions.

Let $N$ be a compact, connected, nonorientable surface of genus $g$ with $n$ boundary components, and $\mathcal{C}(N)$ be the complex of curves of $N$. Suppose that $g + n \leq 3$ or $g + n \geq 5$. If $λ: \mathcal{C}(N) \rightarrow \mathcal{C}(N)$ is an injective simplicial map, then $λ$ is induced by a homeomorphism …

We define Casson-Gordon sigma-invariants for links and give a lower bound of the slice genus of a link in terms of these invariants. We study as an example a family of two component links of genus h and show that their slice genus is h, whereas the Murasugi-Tristram inequality does not obstruct this link from bounding …

Based on work of Rasmussen, we construct a concordance invariant associated to the knot Floer complex, and exhibit examples in which this invariant gives arbitrarily better bounds on the 4-ball genus than the Ozsvath-Szabo tau invariant.

Classifies homomorphisms from braid groups to mapping class groups of nonorientable surfaces.

We prove that each superinjective simplicial map of the complex of curves of a compact, connected, nonorientable surface is induced by a homeomorphism of the surface, if $(g, n) \in \{(1, 0), (1, 1), (2, 0), (2, 1), (3, 0)\}$ or $g + n \geq 5$, where $g$ is the genus of the surface and $n$ is the number of the boundary…

Crosscap slide is a homeomorphism of a nonorientable surface of genus at least 2, which was introduced under the name Y-homeomorphism by Lickorish as an example of an element of the mapping class group which cannot be expressed as a product of Dehn twists. We prove that the subgroup of the mapping class group of a clos…

For a closed 4-manifold $X$ and a knot $K$ in the boundary of punctured $X$, we define $γ_X^0(K)$ to be the smallest first Betti number of non-orientable and null-homologous surfaces in punctured $X$ with boundary $K$. Note that $γ^0_{S^4}$ is equal to the non-orientable 4-ball genus and hence $γ^0_X$ is a generalizati…

We give a method for obtaining infinitely many framed knots which represent a diffeomorphic 4-manifold. We also study a relationship between the $n$-shake genus and the 4-ball genus of a knot. Furthermore we give a construction of homotopy 4-spheres from a slice knot with unknotting number one.

Let $N$ be a compact, connected, nonorientable surface of genus $g$ with $n$ boundary components. Let $\mathcal{C}(N)$ be the curve complex of $N$. We prove that if $(g,n) = (3,0)$ or $g + n \geq 5$, then there is an exhaustion of $\mathcal{C}(N)$ by a sequence of finite rigid sets. This improves the author's result on…

This paper calculates the non-orientable 4-genus for knots with 10 crossings.

We prove a cabling formula for the concordance invariant $ν^+$, defined by the author and Hom. This gives rise to a simple and effective 4-ball genus bound for many cable knots.

Nonorientable 4-manifolds can be fibred over 2-disks with nonorientable fibers.