Ferihe Atalan-Ozan
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$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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 difference between the two invariants on torus knots T(p,q) grows arbitrarily large for any fixed odd q, as p ranges over values of a fixed congruence class modulo q. This contrasts with the orientable setting. Seifert proved that the orientable three genus of the torus knot T(p…
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 lower bound in the literature on the nonorientable four-ball genus for any K is 3. We find a lower bound in terms of the signature of K and the Heegaard-Floer d-invariant of the integer homology sphere given by -1 surgery on K. In particular, we prove that the nonorientable four-ball…
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}$.
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.
Unknotting Nonorientable Surfaces of Genus 4 and 5
本文利用Sage计算修正手术障碍，证明D^4中纽结群为Z_2、亏格4或5且边界行列式绝对值为1的不可定向局部平坦曲面相对边界环境同痕，从而对应S^4闭曲面拓扑不打结，并指出方法在亏格6、7时失效。
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 exhaustion of $\mathcal{C}(N)$ by a sequence of finite superrigid sets.
Generating the mapping class group of a nonorientable surface of genus $g \geq 13$ by two elements
研究证明 genus $g \geq 13$ 的非定向曲面映射类群可由两个元素生成，改进了此前 $g \geq 19$ 的结论。
We investigate the nonorientable 4-genus $γ_4$ of a special family of 2-bridge knots, the twist knots and double twist knots $C(m,n)$. Because the nonorientable 4-genus is bounded by the nonorientable 3-genus, it is known that $γ_4(C(m,n)) \le 3$. By using explicit constructions to obtain upper bounds on $γ_4$ and known obstructions derived from Donaldson's diagonalization theorem to obtain lower bounds on $γ_4$, we produce infinite subfamilies of $C(m,n)$ where $γ_4=0,1,2,$ and $3$, respectively. However, there remain infinitely many double twist knots where our work only shows that $γ_4$ lie…
We show that there exists an admissible nonorientable genus $g$ Lefschetz fibration with only one singular fiber over a closed orientable surface of genus $h$ if and only if $g \geq 4$ and $h \geq 1$.
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, along with the G-signature theorem and the Guillou-Marin generalization of Rokhlin's theorem. We also apply Casson-Gordon theory to show that for every n greater than one there exists a knot that does not bound a topologically embedded nonorientable ribbon surface F in the 4-ball w…
On the nonorientable four-ball genus of torus knots
本文结合对合与无定向纽结 Floer 同调，给出光滑不可定向四球亏格的新下界，并证明其对多族环面纽结精确，同时否定大量环面纽结可界定局部平坦 Möbius 带。
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 of $N$.
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 compact, connected, nonorientable surface of genus $g$ with $n$ boundary components with $g \geq 5$, $n \geq 0$. Let $\mathcal{T}(N)$ be the two-sided curve complex of $N$. If $λ:\mathcal{T}(N) \rightarrow \mathcal{T}(N)$ is a superinjective simplicial map, then there exists a homeomorphism $h : N \rightarrow N$ unique up to isotopy such that $H(α) = λ(α)$ for every vertex $α$ in $\mathcal{T}(N)$ where $H=[h]$.
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 components.
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.
Let $\textrm{Mod}(N_{g, p})$ denote the mapping class group of a nonorientable surface of genus $g$ with $p$ punctures. For $g\geq14$, we show that $\textrm{Mod}(N_{g, p})$ can be generated by five elements or by six involutions.
The nonorientable 4-genus is an invariant of knots which has been studied by many authors, including Gilmer and Livingston, Batson, and Ozsváth, Stipsicz, and Szabó. Given a nonorientable surface $F \subset B^4$ with $\partial F = K\subset S^3$ a knot, an analysis of the existing methods for bounding and computing the nonorientable 4-genus reveals relationships between the first Betti number $β_1$ of $F$ and the normal Euler class $e$ of $F$. This relationship yields a geography problem: given a knot $K$, what is the set of realizable pairs $(e(F), β_1(F))$ where $F\subset B^4$ is a nonorienta…
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$.
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.
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 Conjecture for the orientable 4-genus of torus knots. We prove the conjecture for many infinite families of torus knots, by relying on a lower bound for $γ_4$ formulated by Ozsváth, Stipsicz, and Szabó. As a side product we obtain new closed formulas for the signature of torus knots.
We prove that, for $g\geq19$ the mapping class group of a nonorientable surface of genus $g$, $\textrm{Mod}(N_g)$, can be generated by two elements, one of which is of order $g$. We also prove that for $g\geq26$, $\textrm{Mod}(N_g)$ can be generated by three involutions if $g\geq26$.
We show that the monodromy of Klassen's genus two open book for $P^2 \times S^1$ is the $Y$-homeomorphism of Lickorish, which is also known as the crosscap slide. Similarly, we show that $S^2 \widetilde{\times} S^1$ admits a genus two open book whose monodromy is the crosscap transposition. Moreover, we show that each of $P^2 \times S^1$ and $S^2 \widetilde{\times} S^1$ admits infinitely many isomorphic genus two open books whose monodromies are mutually nonisotopic. Furthermore, we include a simple observation about the stable equivalence classes of open books for $P^2 \times S^1$ and $S^2 \w…
Let $N$ be a compact, connected, nonorientable surface of genus $g$ with $n$ boundary components. Let $λ$ be a simplicial map of the complex of curves, $\mathcal{C}(N)$, on $N$ which satisfies the following: $[a]$ and $[b]$ are connected by an edge in $\mathcal{C}(N)$ if and only if $λ([a])$ and $λ([b])$ are connected by an edge in $\mathcal{C}(N)$ for every pair of vertices $[a], [b]$ in $\mathcal{C}(N)$. We prove that $λ$ is induced by a homeomorphism of $N$ if $(g, n) \in \{(1, 0), (1, 1), (2, 0)$, $(2, 1), (3, 0)\}$ or $g + n \geq 5$. Our result implies that superinjective simplicial maps …
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 crosscap transposition. In the case when the surface is either closed or has one boundary component, we give an explicit set of $g+2$ crosscap transpositions generating the mapping class group.
Let $N_{g,s}$ denote the nonorientable surface of genus g with s boundary components. Recently Paris and Szepietowski obtained an explicit finite presentation for the mapping class group $M(N_{g,s})$ of the surface $N_{g,s}$, where $s\in{0,1}$ and $g+s>3$. Following this work we obtain a finite presentation for the subgroup $T(N_{g,s})$ of $M(N_{g,s})$ generated by Dehn twists.
Edmonds famously proved that every periodic knot of genus g possesses an equivariant Seifert surface of genus g. We show that this is not true if one instead considers nonorientable spanning surfaces of a periodic knot. We demonstrate by example that the difference between the first Betti number of an equivariant and a nonequivariant nonorientable spanning surface of a periodic knot, can be arbitrarily large.
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 closed nonorientable surface N generated by all crosscap slides is equal to the level 2 subgroup consisting of those mapping classes which act trivially on H_1(N;Z_2). We also prove that this subgroup is generated by involutions.
Unknotting nonorientable surfaces
本文研究四维球面与四维球体中非可定向曲面的拓扑解结问题，证明在法向欧拉数非极值或亏格较小时，具有二阶纽结群的曲面可解结或彼此同位。
Let $N_g^k$ be a nonorientable surface of genus \ $g\geq 5$ \ with \ $k$-punctures. In this note, we will give an algebraic characterization of a Dehn twist about a simple closed curve on $N_g^k$. Along the way, we will fill some little gaps in the proofs of some theorems in \cite{A} and \cite{I1} giving algebraic characterizations of Dehn twists about separating simple closed curves. Indeed, our results will give an algebraic characterization for the topological type of Dehn twists about separating simple closed curves.
We prove that the mapping class group $\mathcal{M}(N_g)$ of a closed nonorientable surface of genus $g$ different than 4 is generated by three torsion elements. Moreover, for every even integer $k\ge 12$ and $g$ of the form $g=pk+2q(k-1)$ or $g=pk+2q(k-1)+1$, where $p,q$ are non-negative integers and $p$ is odd, $\mathcal{M}(N_g)$ is generated by three conjugate elements of order $k$. Analogous results are proved for the subgroup of $\mathcal{M}(N_g)$ generated by Dehn twists.
Let N_{g,s} denote the nonorientable surface of genus g with s boundary components. Recently Paris and Szepietowski obtained an explicit finite presentation for the mapping class group M(N_{g,s}) of the surface N_{g,s}, where s\in{0,1} and g+s>3. Following this work we obtain a finite presentation for the mapping class group M(N_{g,s}) with generators being Dehn twists and one crosscap slide.
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 this end, we describe a straightforward algorithm, much like Seifert's Algorithm, through which to construct certain spanning surfaces called layered surfaces. A particularly important subset of these will be what we call basic layered surfaces. We can alter these surface by perform…
Let $S$ be a nonorientable surface of genus $g\ge 5$ with $n\ge 0$ punctures, and $\Mcg(S)$ its mapping class group. We define the complexity of $S$ to be the maximum rank of a free abelian subgroup of $\Mcg(S)$. Suppose that $S_1$ and $S_2$ are two such surfaces of the same complexity. We prove that every isomorphism $\Mcg(S_1)\to\Mcg(S_2)$ is induced by a diffeomorphism $S_1\to S_2$. This is an analogue of Ivanov's theorem on automorphisms of the mapping class groups of an orientable surface, and also an extension and improvement of the first author's previous result.
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 foliations on the closed orientable surfaces of genus 1, 3, 5, 7, 9 and 11. As a byproduct, we obtain that the stretch factor of a pseudo-Anosov map on a nonorientable surface or an orientation-reversing pseudo-Anosov map on an orientable surface does not have Galois conjugates on the uni…
Batson's conjecture is a non-orientable version of Milnor's conjecture, which states that the 4-ball genus of a torus knot $T(p,q)$ is equal to $\frac{(p-1)(q-1)}{2}$. Batson's conjecture states that the nonorientable 4-ball genus is equal to the pinch number of a torus knot, i.e. the number of a specific type of (nonorientable) band surgeries needed to obtain the unknot. The conjecture was recently proved to be false by Lobb. We will show that Lobb's counterexample fits into an infinite family of counterexamples.
Geometric representations of the braid group on a nonorientable surface
本文分类了从 $n$ 股辫群到亏格为 $g$ 的不可定向曲面纯映射类群的同态，证明了在特定参数条件下此类同态必为循环映射或映射至特定几何元素。
Automorphisms of fine curve graphs for nonorientable surfaces
本文证明了亏格 g ≥ 4 的闭不可定向曲面的精细曲线图自同构群同构于其同胚群。
Maximal dilatation on nonorientable surfaces
本文通过证明 Liechti-Strenner 多项式不可约，确立了其在偶数亏格 $g \geq 4$ 不可定向曲面上具有可定向不变叶状结构的伪 Anosov 微分同胚中的最大伸缩率。
Suppose that $f$ is a homomorphism from the mapping class group $\mathcal{M}(N_{g,n})$ of a nonorientable surface of genus $g$ with $n$ boundary components, to $\mathrm{GL}(m,\mathbb{C})$. We prove that if $g\ge 5$, $n\le 1$ and $m\le g-2$, then $f$ factors through the abelianization of $\mathcal{M}(N_{g,n})$, which is $\mathbb{Z}_2\times\mathbb{Z}_2$ for $g\in\{5,6\}$ and $\mathbb{Z}_2$ for $g\ge 7$. If $g\ge 7$, $n=0$ and $m=g-1$, then either $f$ has finite image (of order at most two if $g\ne 8$), or it is conjugate to one of four "homological representations". As an application we prove th…
We consider finite group-actions on closed, orientable and nonorientable 3-manifolds; such a finite group-action leaves invariant the two handlebodies of a Heegaard splitting of M of some genus g. The maximal possible order of a finite group-action of an orientable or nonorientable handlebody of genus g > 1 is 24(g-1), and in the present paper we characterize the 3-manifolds M and groups G for which the maximal possible order |G| = 24(g-1) is obtained, for some G-invariant Heegaard splitting of genus g > 1. If M is reducible then it is obtained by doubling an action of maximal possible order 2…
Let $M(N_{h,n})$ denote the mapping class group of a compact nonorientable surface of genus $h\ge 7$ and $n\le 1$ boundary components, and let $T(N_{h,n})$ be the subgroup of $M(N_{h,n})$ generated by all Dehn twists. It is known that $T(N_{h,n})$ is the unique subgroup of $M(N_{h,n})$ of index $2$. We prove that $T(N_{h,n})$ (and also $M(N_{h,n})$) contains a unique subgroup of index $2^{g-1}(2^g-1)$ up to conjugation, and a unique subgroup of index $2^{g-1}(2^g+1)$ up to conjugation, where $g=\lfloor(h-1)/2\rfloor$. The other proper subgroups of $T(N_{h,n})$ and $M(N_{h,n})$ have index great…
Minimal Generation of Mapping Class Groups: A Survey of the Nonorientable Case
本文综述了非定向面映射类群的最小生成理论，揭示了生成集的几何与代数关系，并扩展至有孔面，提供显式生成器和证明。
This paper considers *-graphs in which all vertices have degree 4 or 6, and studies the question of calculating the genus of nonorientable surfaces into which such graphs may be embedded. In a previous paper by the authors, the problem of calculating whether a given *-graph in which all vertices have degree 4 or 6 admits a Z2-homologically trivial embedding into a given orientable surface was shown to be equivalent to a problem on matrices. Here we extend those results to nonorientable surfaces. The embeddability condition that we obtain yields quadratic-time algorithms to determine whether a …
Quasimorphisms on nonorientable surface diffeomorphism groups
本文将可定向曲面微分同胚群上的拟态射构造推广至非可定向曲面，证明亏格至少为3的闭非可定向曲面微分同胚群单位分支上非平凡拟态射空间无穷维，并得出换位子长度与碎片长度无界。
Klein bottles in lens spaces
针对不可定向曲面在透镜空间中的嵌入问题，本文给出克莱因瓶仅能嵌入$L(4n,2n\pm 1)$的直接证明，并提供四种显式嵌入构造，补充了已有递推公式结果的直接论证与实例。
We show that on a nonorientable surface of genus at least 7 any power of a Dehn twist is equal to a single commutator in the mapping class group and the same is true, under additional assumptions, for the twist subgroup, and also for the extended mapping class group of an orientable surface of genus at least 3.
Margalit and Schleimer observed that Dehn twists on orientable surfaces have nontrivial roots. We investigate the problem of roots of a Dehn twist t_c about a nonseparating circle c in the mapping class group M(N_g) of a nonorientable surface N_g of genus g. We explore the existence of roots and, following the work of McCullough, Rajeevsarathy and Monden, give a simple arithmetic description of their conjugacy classes. We also study roots of maximal degree and prove that if we fix an odd integer n>1, then for each sufficiently large g, t_c has a root of degree n in M(N_g). Moreover, for any po…
Given a genus two Heegaard splitting for a non-prime 3-manifold, we define a special subcomplex of the disk complex for one of the handlebodies of the splitting, and then show that it is contractible. As applications, first we show that the complex of Haken spheres for the splitting is contractible, which refines the results of Lei and Lei-Zhang. Secondly, we classify all the genus two Heegaard splittings for non-prime 3-manifolds, which is a generalization of the result of Montesinos-Safont. Finally, we show that the mapping class group of the splitting, called the Goeritz group, is finitely …
We showed that the twist subgroup of the mapping class group of a closed connected nonorientable surface of genus $g\geq13$ can be generated by two involutions and an element of order $g$ or $g-1$ depending on whether $g$ is odd or even respectively.
Let (V,W;F) be a weakly reducible, unstabilized, genus three Heegaard splitting in an orientable, irreducible 3-manifold M and DVW(F) the subset of the disk complex D(F) consisting of simplices having at least one vertex from V and at least one vertex from W. In this article, we describe the shape of DVW(F) and prove that there is a function from the components of DVW(F) to the isotopy classes of the generalized Heegaard splittings obtained by weak reductions from (V,W;F), where this function describes how the thick levels are embedded in the relevant compression bodies.
Given a stabilized Heegaard splitting of a $3$-manifold, the primitive disk complex for the splitting is the subcomplex of the disk complex for a handlebody in the splitting spanned by the vertices of the primitive disks. In this work, we study the structure of the primitive disk complex for the genus two Heegaard splitting of each lens space. In particular, we show that the complex for the genus two splitting for the lens space $L(p, q)$ with $1\leq q \leq p/2$ is connected if and only if $p \equiv \pm 1 \pmod q$, and describe the combinatorial structure of each of those complexes. As an appl…
We give asymptotic bounds for the optimal Lipschitz constants for the systole map from the Teichmuller space to the curve complex. We give similar results to those known for closed surfaces in the cases when the genus is fixed or the ratio of genus and punctures is a rational number.
Let $M$ be an orientable, irreducible $3$-manifold admitting a weakly reducible genus three Heegaard splitting as a minimal genus Heegaard splitting. In this article, we prove that if $[f]$, $[g]\in Mod(M)$ give the same correspondence between two isotopy classes of generalized Heegaard splittings consisting of two Heegaard splittings of genus two, say $[\mathbf{H}]\to[\mathbf{H}']$, then there exists a representative $h$ of the difference $[h]=[g]\cdot[f]^{-1}$ such that (i) $h$ preserves a suitably chosen embedding of the Heegaard surface $F'$ obtained by amalgamation from $\mathbf{H}'$ whic…
For a genus two Heegaard splitting of a lens space, the primitive disk complex is defined to be the full subcomplex of the disk complex for one of the handlebodies of the splitting spanned by all vertices of primitive disks. In this work, we describe the complete combinatorial structure of the primitive disk complex for the genus two Heegaard splitting of each lens space. In particular, we find all lens spaces whose primitive disk complexes are contractible.
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 spaces or $S^2 \times S^1$, the combinatorial structure of the complex has been studied by several authors. In particular, it was shown that those complexes are all contractible. In this work, we study the remaining cases, that is, when the manifolds are lens spaces. We give a precis…
We consider finite group-actions on closed, orientable and nonorientable 3-manifolds M which preserve the two handlebodies of a Heegaard splitting of M of some genus g > 1 (maybe interchanging the two handlebodies). The maximal possible order of a finite group-action on a handlebody of genus g>1 is 12(g-1) in the orientation-preserving case and 24(g-1) in general, and the maximal order of a finite group preserving the Heegaard surface of a Heegaard splitting of genus g is 48(g-1). This defines a hierarchy for finite group-actions on 3-manifolds which we discuss in the present paper; we present…
We construct a minimal generating set of the level 2 mapping class group of a nonorientable surface of genus $g$, and determine its abelianization for $g\ge4$.
We explore the use of Costa and Farber's model for random simplicial complexes to give probabilistic evidence for exhaustion via rigid expansions on random simplicial complexes which are analogous of curve complexes. This has potential applications to action rigidity following Ivanov's meta-conjecture.
Let S be any orientable surface of infinite genus with a finite number of boundary components. In this work we consider the curve complex C(S), the nonseparating curve complex N(S) and the Schmutz graph G(S) of S. When all the topological ends of S carry genus, we show that all elements in the automorphism groups Aut(C(S)), Aut(N(S)) and Aut(G(S)) are geometric, i.e. these groups are naturally isomorphic to the extended mapping class group MCG*(S) of the infinite surface S. Finally, we study rigidity phenomena within Aut(C(S)) and Aut(N(S))
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。