In this paper, we investigate existence of inequivalent smooth structures on closed smooth non-orientable 4-manifolds building upon results of Akbulut, Cappell-Shaneson, Fintushel-Stern, Gompf, and Stolz. We add to the number of known constructions and provide new examples of exotic manifolds that are obtained as an application of Gluck twists to the standard smooth structure. Inspection of the smooth structure on the oriented 2-covers yields existence results of orientation-reversing exotic free involutions.
Let $N_{g}$ denote the closed non-orientable surface of genus $g$ and let ${\mathcal M} _g$ denote the mapping class group of $N_{g}$. Let ${\mathcal T} _g$ denote the twist subgroup of ${\mathcal M} _g$ which is the subgroup of ${\mathcal M} _g$ is generated by all Dehn twists. In this thesis, we proved that ${\mathcal T} _g$ is generated by six involutions for $g \geq 16$ or $g = 14$.
Let $N_{g,n}$ denote the closed non-orientable surface of genus $g$ with $n$ punctures and let ${\mathcal N}_{g,n}$ denote the mapping class group of $N_{g,n}$. Szepietowski showed that ${\mathcal N}_{g,n}$ is generated by finitely many involutions. The number of elements in his generating set depends linearly on $g$ and $n$. In the case of $n=0$, Szepietowski found an involution generating set in such a way that the number of its elements does not depend on $g$, showing that ${\mathcal N}_{g,0}$ is generated by four involutions. In this thesis, for $n \geq 0$, we prove that ${\mathcal N}_{g,n…
Quandles with involutions that satisfy certain conditions, called good involutions, can be used to color non-orientable surface-knots. We use subgroups of signed permutation matrices to construct non-trivial good involutions on extensions of odd order dihedral quandles. For the smallest example of order 6 that is an extension of the three-element dihedral quandle, various symmetric quandle homology groups are computed, and applications to the minimal triple point number of surface-knots are given.
We study the orientation preserving involutions of the orientable 3-dimensional handlebody $H_g$, for any genus $g$. A complete classification of such involutions is given in terms of their fixed points.
We show that the normal closure of any periodic element of the mapping class group of a non-orientable surface whose order is greater than 2 contains the commutator subgroup, which for $g\geq 7$ is equal to the twist subgroup, and provide necessary and sufficient conditions for the normal closures of involutions to contain the twist subgroup. Finally, we provide a criterion for a periodic element to normally generate $\mathcal{M}(N_g)$ and give examples.
It was shown by Bonahon-Otal and Hodgson-Rubinstein that any two genus-one Heegaard splittings of the same 3-manifold (typically a lens space) are isotopic. On the other hand, it was shown by Boileau, Collins and Zieschang that certain Seifert manifolds have distinct genus-two Heegaard splittings. In an earlier paper, we presented a technique for comparing Heegaard splittings of the same manifold and, using this technique, derived the uniqueness theorem for lens space splittings as a simple corollary. Here we use a similar technique to examine, in general, ways in which two non-isotopic genus-…
In an earlier paper we showed that the space of deformations of a smooth, compact, orientable Harvey-Lawson submanifold HL in a G2 manifold M can be identified with the direct sum of the space of smooth functions and closed 2-forms on HL. In that paper, we also introduced a new class of Lagrangian-type 4-dimensional submanifolds inside G2 manifolds, called them RS submanifolds, and proved that the space of deformations of a smooth, compact, orientable RS submanifold in a G2 manifold M can be identified with closed 3-forms on RS. In this short note, we define a new class of Lagrangian-type 4-di…
The main result of this paper is that for every closed, connected, orientable, irreducible 3-manifold $M$, there is an integer $ n_M$ such that any abstract graph with no automorphism of order 2 which has a 3-connected minor whose genus is more than $n_M$ has no achiral embedding in $M$. By contrast, the paper also proves that for every graph $γ$, there are infinitely many closed, connected, orientable, irreducible 3-manifolds $M$ such that some embedding of $γ$ in $M$ is pointwise fixed by an orientation reversing involution of $M$.
In this paper, we classify smooth 5-manifolds with fundamental group isomorphic to $\z/2$ and universal cover diffeomorphic to $S^2 \times S^3$. This gives a classification of smooth free involutions on $S^2 \times S^3$ up to conjugation.
Given a knot in the 3-sphere, the non-orientable 4-genus or 4-dimensional crosscap number of a knot is the minimal first Betti number of non-orientable surfaces, smoothly and properly embedded in the 4-ball, with boundary the knot. In this paper, we calculate the non-orientable 4-genus of knots with crossing number 10.
We show that if $F$ is a smooth, closed, orientable surface embedded in a closed, orientable 3-manifold $M$ such that for each Riemannian metric $g$ on $M$, $F$ is isotopic to a least-area surface $F(g)$, then $F$ is incompressible.
We study trisections of smooth, compact non-orientable 4-manifolds, and introduce trisections of non-orientable 4-manifolds with boundary. In particular, we prove a non-orientable analogue of a classical theorem of Laudenbach-Poénaru. As a consequence, trisection diagrams and Kirby diagrams of closed non-orientable 4-manifolds exist. We discuss how the theory of trisections may be adapted to the setting of non-orientable 4-manifolds with many examples.
The Reeb graph of a function on a smooth manifold is the graph obtained as the space of all connected components of level sets such that the set of all vertices coincides with the set of all connected components of level sets including singular points. Reeb graphs are fundamental and important in the algebraic and differential topological theory of Morse functions and their generalizations. In this paper, as a related fundamental and important study, for given graphs, we construct certain smooth functions inducing the graphs as the Reeb graphs. Such works have been demonstrated by Masumoto, Mi…
Let $X$ be a closed, simply-connected, smooth, spin 4-manifold whose intersection form is isomorphic to $n(-E_8)\bigoplus mH$, where $H$ is the hyperbolic form. In this paper, we prove that for $n$ such that $n\equiv 2 ~{\rm mod} ~4$, there exists a locally linear pseudofree $\mathbb{Z}_2$-action on $X$ which is nonsmoothable with respect to any possible smooth structure on $X$.
We discuss differences between genera of smooth and locally-flat non-orientable surfaces in the 4-ball with boundary a given torus knot or 2-bridge knot. In particular, we establish that a result by Batson on the smooth non-orientable 4-genus of torus knots does not hold in the locally-flat category. We further show that certain families of torus knots are not the boundary of an embedded Möbius band in the 4-ball and other 4-manifolds. Our investigation of non-orientable surfaces with boundary a given torus knot is motivated by our approach to unify the proof of the existence of inscribed squa…
Let $X$ be a smooth, compact, oriented $4$-manifold. Building upon work of Li-Liu, Ruberman, Nakamura and Konno, we consider a families version of Seiberg-Witten theory and obtain obstructions to the existence of certain group actions on $X$ by diffeomorphisms. The obstructions show that certain group actions on $H^2(X , \mathbb{Z})$ preserving the intersection form can not be lifted an action of the same group on $X$ by diffeomorphisms. Using our obstructions, we construct numerous examples of group actions which can be realised continuously but can not be realised smoothly for any differenti…
3-dimensional Harvey Lawson submanifolds were introduced in an earlier paper by Akbulut-Salur, as examples of Lagrangian-type manifolds inside G2 manifold. In this paper, we first show that the space of deformations of a smooth, compact, orientable Harvey-Lawson submanifold HL in a G2 manifold M can be identified with the direct sum of the space of smooth functions and closed 2-forms on HL. We then introduce a new class of Lagrangian-type 4-dimensional submanifolds inside G2, call them RS submanifolds and prove that the space of deformations of a smooth, compact, orientable RS submanifold in a…
We show that the equivariant and non-equivariant non-orientable 4-genus of p-periodic knots may differ, for any choice of p>1. Similar results have previously been obtained for the smooth 4-genus and non-orientable 3-genus of a periodic knot. These stand in contrast to Edmods' acclaimed result by which the equivariant and non-equivariant Seifert genus of a periodic knot agree.
A natural generalization of interval exchange maps are linear involutions, first introduced by Danthony and Nogueira. Recurrent train tracks with a single switch provide a subclass of linear involutions. We call such linear involutions non-classical interval exchanges. They are related to measured foliations on orientable flat surfaces. Non-classical interval exchanges can be studied as a dynamical system by considering Rauzy induction in this context. This gives a refinement process on the parameter space similar to Kerckhoff's simplicial systems. We show that the refinement process gives an …
In formulating a non-orientable analogue of the Milnor Conjecture on the $4$-genus of torus knots, Batson developed an elegant construction that produces a smooth non-orientable spanning surface in $B^4$ for a given torus knot in $S^3$. While Lobb showed that Batson's surfaces do not always minimize the non-orientable $4$-genus, we prove that they always do minimize among surfaces that share their normal Euler number. We also completely determine the possible pairs of normal Euler number and first Betti number for non-orientable surfaces whose boundary lies in a class of torus knots for which …
The non-orientable 4-genus of a knot in the 3-sphere is defined as the smallest first Betti number of any non-orientable surface smoothly and properly embedded in the 4-ball, with boundary the given knot. We compute the non-orientable 4-genus for all knots with crossing number 8 or 9. As applications we prove a conjecture of Murakami's and Yasuhara's, and give a new lower bound for the slicing number of knot.
We show that a certain involution on the well known homology sphere (the boundary of the Mazur manifold) induces a nontrivial homomorphism on its Heegard-Floer homology groups (recently defined by Ozsvath and Szabo). We discuss a possible application of this to constructing exotic smooth structures on 4-manifolds.
We investigate constraints on embeddings of a non-orientable surface in a $4$-manifold with the homology of $M \times I$, where $M$ is a rational homology $3$-sphere. The constraints take the form of inequalities involving the genus and normal Euler class of the surface, and either the Ozsváth--Sazbó $d$-invariants or Atiyah--Singer $ρ$-invariants of $M$. One consequence is that the minimal genus of a smoothly embedded surface in $L(2p,q) \times I$ is the same as the minimal genus of a surface in $L(2p,q)$. We also consider embeddings of non-orientable surfaces in closed $4$-manifolds.
In this paper, we prove a geometrization conjecture, every orientable smooth closed 3-manifold with finite fundamental group is homeomorphic to $S^3/G$ for some finite cyclic subgroup $G\subset {Isom}^+(S^3)$.
We investigate when a Legendrian knot in standard contact $\mathbb{R}^3$ has a non-orientable exact Lagrangian filling. We prove analogs of several results in the orientable setting, develop new combinatorial obstructions to fillability, and determine when several families of knots have such fillings. In particular, we determine completely when an alternating knot (and more generally a plus-adequate knot) is decomposably non-orientably fillable, and classify the fillability of most torus and 3-strand pretzel knots. We also describe rigidity phenomena of decomposable non-orientable fillings, in…
Gay and Kirby recently introduced the concept of a trisection for arbitrary smooth, oriented closed 4-manifolds, and with it a new topological invariant, called the trisection genus. This paper improves and implements an algorithm due to Bell, Hass, Rubinstein and Tillmann to compute trisections using triangulations, and extends it to non-orientable 4-manifolds. Lower bounds on trisection genus are given in terms of Betti numbers and used to determine the trisection genus of all standard simply connected PL 4-manifolds. In addition, we construct trisections of small genus directly from the sim…
The (4k+2)-dimensional Kervaire manifold is a closed, piecewise linear (PL) manifold with Kervaire invariant 1 and the same homology as the product of two (2k+1)-dimensional spheres. We show that a finite group of odd order acts freely on a Kervaire manifold if and only if it acts freely on the corresponding product of spheres. If the Kervaire manifold M is smoothable, then each smooth structure on M admits a free smooth involution. If k + 1 is not a 2-power, then the Kervaire manifold in dimension 4k+2 does not admit any free TOP involutions. Free "exotic" (PL) involutions are constructed on …
In this paper, a classification of free involutions on 3-dimensional homotopy complex projective spaces is given. By the $\mathbb Z_2$-equivariant Montgomery-Yang correspondence, we obtain all smooth involutions on $S^6$ with fixed-point set an embedded $S^3$.
Rochlin proved that a closed 4-dimensional connected smooth oriented manifold $X^4$ with vanishing second Stiefel-Whitney class has signature $σ(X)$ divisible by 16. This was generalized by Kervaire and Milnor to the statement that if $ξ\in H_2(X;\mathbb{Z})$ is an integral lift of an element in $H_2(X; \mathbb{Z}/2\mathbb{Z})$ that is dual to $w_2(X)$, and if $ξ$ can be represented by an embedded sphere in $X$, then the self-intersection number $ξ^2$ is divisible by 16. This was subsequently generalized further by Rochlin and various alternative proofs of this result where given by Freedman, …
We give a generalized Thurston--Bennequin-type inequality for links in $S^3$ using a Bauer--Furuta-type invariant for 4-manifolds with contact boundary. As a special case, we also give an adjunction inequality for smoothly embedded orientable surfaces with negative intersection in a closed oriented smooth 4-manifold whose non-equivariant Bauer--Furuta invariant is non-zero.
It is known that every exotic smooth structure on a simply connected closed 4-manifold is determined by a codimention zero compact contractible Stein submanifold and an involution on its boundary. Such a pair is called a cork. In this paper, we construct infinitely many knotted imbeddings of corks in 4-manifolds such that they induce infinitely many different exotic smooth structures. We also show that we can imbed an arbitrary finite number of corks disjointly into 4-manifolds, so that the corresponding involutions on the boundary of the contractible 4-manifolds give mutually different exotic…
