Classification of genus-two surfaces in $S^3$

Filippo Baroni

2023-09-11

Abstract:We describe an algorithm to decide whether two genus-two surfaces embedded in the 3-sphere are isotopic or not. The algorithm employs well-known techniques in 3-manifolds topology, as well as a new algorithmic solution to a problem on free groups.

Geometric Topology

What problem does this paper attempt to address?

Determining the Topology of Real Algebraic Surfaces

Jin-San Cheng,Xiao-Shan Gao,Ming Li

DOI: https://doi.org/10.1007/11537908_8

2005-01-01

Abstract:An algorithm is proposed to determine the topology of an implicit real algebraic surface in ℝ3. The algorithm consists of three steps: surface projection, projection curve topology determination and surface patches composition. The algorithm provides a curvilinear wireframe of the surface and the surface patches of the surface determined by the curvilinear wireframe, which have the same topology as the surface. Most of the surface patches are curvilinear polygons. Some examples are used to show that our algorithm is effective.
Uniformly polynomial-time classification of surface homeomorphisms

Filippo Baroni

2024-02-01

Abstract:We describe an algorithm which, given two essential curves on a surface $S$, computes their distance in the curve graph of $S$, up to multiplicative and additive errors. As an application, we present an algorithm to decide the Nielsen-Thurston type (periodic, reducible, or pseudo-Anosov) of a mapping class of $S$. The novelty of our algorithms lies in the fact that their running time is polynomial in the size of the input and in the complexity of $S$ -- say, its Euler characteristic. This is in contrast with previously known algorithms, which run in polynomial time in the size of the input for any fixed surface $S$.

Geometric Topology,Computational Geometry
Bordered Surfaces in the 3-Sphere with Maximum Symmetry

Chao Wang,Shicheng Wang,Yimu Zhang,Bruno Zimmermann

DOI: https://doi.org/10.1016/j.jpaa.2017.10.002

IF: 0.834

2017-01-01

Journal of Pure and Applied Algebra

Abstract:We consider orientation-preserving actions of finite groups G on pairs (S-3, Sigma), where Sigma denotes a compact connected surface embedded in S3. In a previous paper, we considered the case of closed, necessarily orientable surfaces, determined for each genus g > 1 the maximum order of such a G for all embeddings of a surface of genus g, and classified the corresponding embeddings. In the present paper we obtain analogous results for the case of bordered surfaces Sigma (i.e. with non-empty boundary, orientable or not). Now the genus g gets replaced by the algebraic genus alpha of Sigma (the rank of its free fundamental group); for each alpha > 1 we determine the maximum order m(alpha) of an action of G, classify the topological types of the corresponding surfaces (topological genus, number of boundary components, orientability) and their embeddings into S-3. For example, the maximal possibility 12(alpha - 1) is obtained for the finitely many values alpha = 2, 3, 4, 5, 9, 11, 25, 97, 121 and 241. (C) 2017 Elsevier B.V. All rights reserved.
On the classification of singular cubic threefolds

Sasha Viktorova

2024-05-05

Abstract:We classify combinations of isolated singularities that can occur on complex cubic threefolds generalizing analogous results for cubic surfaces due to Schläfli and Bruce--Wall. In addition, we provide concise combinatorial description of the possible configurations of simple singularities: they essentially correspond to subgraphs of a certain graph.

Algebraic Geometry
Totally Geodesic Surfaces in Hyperbolic 3-Manifolds: Algorithms and Examples

Brannon Basilio,Chaeryn Lee,Joseph Malionek

2024-03-19

Abstract:Finding a totally geodesic surface, an embedded surface where the geodesics in the surface are also geodesics in the surrounding manifold, has been a problem of interest in the study of 3-manifolds. This has especially been of interest in hyperbolic 3-manifolds and knot complements, complements of piecewise-linearly embedded circles in the 3-sphere. This is due to Menasco-Reid's conjecture stating that hyperbolic knot complements do not contain such surfaces. Here, we present an algorithm that determines whether a given surface is totally geodesic and an algorithm that checks whether a given 3-manifold contains a totally geodesic surface. We applied our algorithm on over 150,000 3-manifolds and discovered nine 3-manifolds with totally geodesic surfaces. Additionally, we verified Menasco-Reid's conjecture for knots up to 12 crossings.

Geometric Topology
Embedding Surfaces, Handlebodies and Finite Graphs into $S^3$ with Maximum Symmetry

Chao Wang,Shicheng Wang,Yimu Zhang,Bruno Zimmermann

2012-01-01

Abstract:We restrict our discussion to the orientable category. For $g > 1$, let $OE_g$ be the maximum order of a finite group $G$ acting on the closed surface $\Sigma_g$ of genus $g$ which extends over $(S^3, \Sigma_g)$, where the maximum is taken over all possible embeddings $\Sigma_g\hookrightarrow S^3$. We will determine $OE_g$ for each $g$, indeed the action realizing $OE_g$. In particular, with 23 exceptions, $OE_g$ is $4(g+1)$ if $g\ne k^2$ or $4(\sqrt{g}+1)^2$ if $g=k^2$, and moreover $OE_g$ can be realized by unknotted embeddings for all $g$ except for $g=21$ and $481$.
Classification of orientable torus bundles over closed orientable surfaces

Naohiko Kasuya,Issei Noda

2024-11-03

Abstract:Let $g$ be a non-negative integer, $\Sigma _g$ a closed orientable surface of genus $g$, and $\mathcal{M}_g$ its mapping class group. We classify all the group homomorphisms $\pi _1(\Sigma _g)\to G$ up to the action of $\mathcal{M}_g$ on $\pi _1(\Sigma _g)$ in the following cases; (1) $G=PSL(2;\mathbb{Z})$, (2) $G=SL(2;\mathbb{Z})$. As an application of the case (2), we completely classify orientable $T^2$-bundles over closed orientable surfaces up to bundle isomorphisms. In particular, we show that any orientable $T^2$-bundle over $\Sigma _g$ with $g\geq 1$ is isomorphic to the fiber connected sum of $g$ pieces of $T^2$-bundles over $T^2$. Moreover, the classification result in the case (1) can be generalized into the case where $G$ is the free product of finite number of finite cyclic groups. We also apply it to an extension problem of maps from a closed surface to the connected sum of lens spaces.

Geometric Topology,Algebraic Topology,Group Theory
Automorphisms of the 3-sphere that preserve a genus two Heegaard splitting

Martin Scharlemann

DOI: https://doi.org/10.48550/arXiv.math/0307231

2003-07-17

Abstract: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 remain unresolved.)

Geometric Topology
A classification of maximally symmetric surfaces in the 3-dimensional torus

Chao Wang,Bruno Zimmermann

DOI: https://doi.org/10.48550/arXiv.1804.02575

2018-04-08

Abstract:If a finite group of orientation-preserving diffeomorphisms of the 3-dimensional torus leaves invariant an oriented, closed, embedded surface of genus g>1 and preserves the orientation of the surface, then its order is bounded from above by 12(g-1). In the present paper we classify (up to conjugation) all such group actions and surfaces for which the maximal possible order 12(g-1) is achieved, and note that the unknotted surfaces can be realized by equivariant minimal surfaces in a 3-torus.

Geometric Topology
Unknotting Nonorientable Surfaces of Genus 4 and 5

Mark Pencovitch

2024-02-28

Abstract:Expanding on work by Conway, Orson, and Powell, we study the isotopy classes rel. boundary of nonorientable, compact, locally flatly embedded surfaces in $D^4$ with knot group $\mathbb{Z}_2$. In particular we show that if two such surfaces have fixed knot boundary $K$ in $S^4$ such that $\vert \det(K) \vert =1$, the same normal Euler number, and the same nonorientable genus $4$ or $5$, then they are ambiently isotopic rel. boundary. This implies that closed, nonorientable, locally flatly embedded surfaces in the $4$-sphere with knot group $\mathbb{Z}_2$ of nonorientable genus $4$ and $5$ are topologically unknotted. The proof relies on calculations, implemented in Sage, which imply that the modified surgery obstruction is elementary. Furthermore we show that this method fails for nonorientable genus $6$ and $7$.

Geometric Topology
Embedding Surfaces into $S^3$ with Maximum Symmetry

Chao Wang,Shicheng Wang,Yimu Zhang,Bruno Zimmermann

DOI: https://doi.org/10.4171/ggd/334

2015-01-01

Groups Geometry and Dynamics

Abstract:We restrict our discussion to the orientable category. For $g > 1$, let $OE_g$ be the maximum order of a finite group $G$ acting on the closed surface $\Sigma_g$ of genus $g$ which extends over $(S^3, \Sigma_g)$, where the maximum is taken over all possible embeddings $\Sigma_g\hookrightarrow S^3$. We will determine $OE_g$ for each $g$, indeed the action realizing $OE_g$. In particular, with 23 exceptions, $OE_g$ is $4(g+1)$ if $g\ne k^2$ or $4(\sqrt{g}+1)^2$ if $g=k^2$, and moreover $OE_g$ can be realized by unknotted embeddings for all $g$ except for $g=21$ and $481$.
On the classification of product-quotient surfaces with $q=0$, $p_g=3$ and their canonical map

Federico Fallucca

2024-05-07

Abstract:In this work we present new results to produce an algorithm that returns, for any fixed pair of natural integers $K^2$ and $\chi$, all regular surfaces $S$ of general type with self-intersection $K_S^2=K^2$ and Euler characteristic $\chi(\mathcal O_S)=\chi$, that are product-quotient surfaces. The key result we obtain is an algebraic characterization of all families of regular product-quotients surfaces, up to isomorphism, arising from a pair of $G$-coverings of $\mathbb P^1$. As a consequence of our work, we provide a classification of all regular product-quotient surfaces of general type with $23\leq K^2\leq 32$ and $\chi(\mathcal O_S)=4$. Furthermore, we study their canonical map and present several new examples of surfaces of general type with a high degree of the canonical map.

Algebraic Geometry,Group Theory
Surfaces of genus $g\geq 1$ in 3D contact sub-Riemannian manifolds

Eugenio Bellini,Ugo Boscain

DOI: https://doi.org/10.1051/cocv/2023072

2024-07-12

Abstract:We consider surfaces embedded in a 3D contact sub-Riemannian manifold and the problem of the finiteness of the induced distance (i.e., the infimum of the length of horizontal curves that belong to the surface). Recently it has been proved that for a surface having the topology of a sphere embedded in a tight co-orientable structure, the distance is always finite. In this paper we study closed surfaces of genus larger than 1, proving that such surfaces can be embedded in such a way that the induced distance is finite or infinite. We then study the structural stability of the finiteness/not-finiteness of the distance.

Differential Geometry,Dynamical Systems
Untangling Graphs on Surfaces

Éric Colin de Verdière,Vincent Despré,Loïc Dubois

2023-11-01

Abstract:Consider a graph drawn on a surface (for example, the plane minus a finite set of obstacle points), possibly with crossings. We provide an algorithm to decide whether such a drawing can be untangled, namely, if one can slide the vertices and edges of the graph on the surface (avoiding the obstacles) to remove all crossings; in other words, whether the drawing is homotopic to an embedding. While the problem boils down to planarity testing when the surface is the sphere or the disk (or equivalently the plane without any obstacle), the other cases have never been studied before, except when the input graph is a cycle, in an abundant literature in topology and more recently by Despré and Lazarus [SoCG 2017, J. ACM 2019]. Our algorithm runs in O(m + poly(g+b) n log n) time, where g >= 0 and b >= 0 are the genus and the number of boundary components of the input orientable surface S, and n is the size of the input graph drawing, lying on some fixed graph of size m cellularly embedded on S. We use various techniques from two-dimensional computational topology and from the theory of hyperbolic surfaces. Most notably, we introduce reducing triangulations, a novel discrete analog of hyperbolic surfaces in the spirit of systems of quads by Lazarus and Rivaud [FOCS 2012] and Erickson and Whittlesey [SODA 2013], which have the additional benefit that reduced paths are unique and stable upon reversal; they are likely of independent interest. Tailored data structures are needed to achieve certain homotopy tests efficiently on these triangulations. As a key subroutine, we rely on an algorithm to test the weak simplicity of a graph drawn on a surface by Akitaya, Fulek, and Tóth [SODA 2018, TALG 2019].

Computational Geometry,Data Structures and Algorithms
A diagrammatic presentation and its characterization of non-split compact surfaces in the 3-sphere

Shosaku Matsuzaki

DOI: https://doi.org/10.1142/s0218216521500711

2023-10-22

Abstract:We give a presentation for a non-split compact surface embedded in the 3-sphere by using diagrams of spatial trivalent graphs equipped with signs and we define Reidemeister moves for such signed diagrams. We show that two diagrams of embedded surfaces are related by Reidemeister moves if and only if the surfaces represented by the diagrams are ambient isotopic in the 3-sphere.

Geometric Topology,Algebraic Geometry
Self-intersections of surfaces that contain two circles through each point

Niels Lubbes

2024-09-28

Abstract:We classify the singular loci of real surfaces in three-space that contain two circles through each point. We characterize how a circle in such a surface meets this loci as it moves in its pencil and as such provide insight into the topology of the surface.

Algebraic Geometry,Metric Geometry
Isoptic surfaces of segments in $S^2\times R$ and $H^2\times R$ geometries

Géza Csima

2023-04-04

Abstract:In this work, we examine the isoptic surface of line segments in the $S^2\times R$ and $H^2\times R$ geometries, which are from the 8 Thurston geometries. Based on the procedure first described in [10], we are able to give the isoptic surface of any segment implicitly. We rely heavily on the calculations published in [41, 42]. As a special case, we examine the Thales sphere in both geometries, which are called Thaloid. In our work we will use the projective model of $S^2\times R$ and $H^2\times R$ described by E. Molnár in [20].

Metric Geometry
Isometric embeddings of surfaces for scl

Alexis Marchand

2024-10-03

Abstract:Let $\varphi:F_1\to F_2$ be an injective morphism of free groups. If $\varphi$ is geometric (i.e. induced by an inclusion of oriented compact connected surfaces with nonempty boundary), then we show that $\varphi$ is an isometric embedding for stable commutator length. More generally, we show that if $T$ is a subsurface of an oriented compact (possibly closed) connected surface $S$, and $c$ is an integral $1$-chain on $\pi_1T$, then there is an isometric embedding $H_2(T,c)\to H_2(S,c)$ for the relative Gromov seminorm. Those statements are proved by finding an appropriate standard form for admissible surfaces and showing that, under the right homology vanishing conditions, such an admissible surface in $S$ for a chain in $T$ is in fact an admissible surface in $T$.

Geometric Topology,Group Theory
Immersed surfaces with knot group $\mathbb{Z}$

Anthony Conway,Allison N. Miller

2024-10-07

Abstract:This article is concerned with locally flatly immersed surfaces in simply-connected $4$-manifolds where the complement of the surface has fundamental group $\mathbb{Z}$. Once the genus and number of double points are fixed, we classify such immersed surfaces in terms of the equivariant intersection form of their exterior and a secondary invariant. Applications include criteria for deciding when an immersed $\mathbb{Z}$-surface in $S^4$ is isotopic to the standard immersed surface that is obtained from an unknotted surface by adding local double points. As another application, we enumerate $\mathbb{Z}$-disks in $D^4$ with a single double point and boundary a given knot; we prove that the number of such disks may be infinite. We also prove that a knot bounds a $\mathbb{Z}$-disk in $D^4$ with $c_+$ positive double points and $c_-$ negative double points if and only if it can be converted into an Alexander polynomial one knot via changing $c_+$ positive crossings and $c_-$ negative crossings. In $4$-manifolds other than $D^4$ and $S^4$, applications include measuring the extent to which immersed $\mathbb{Z}$-surfaces are determined by the equivariant intersection form of their exterior. Along the way, we prove that any two $\mathbb{Z}^2$-concordances between the Hopf link and an Alexander polynomial one link $L$ are homeomorphic rel. boundary.

Geometric Topology
On the degree of irrationality of low genus $K3$ surfaces

Federico Moretti,Andrés Rojas

2024-01-08

Abstract:Given a general polarized $K3$ surface $S\subset \mathbb P^g$ of genus $g\le 14$, we study projections $S\hookrightarrow \mathbb P^g\dashrightarrow \mathbb P^2$ of minimal degree and their variational structure. In particular, we prove that the degree of irrationality of all such surfaces is at most $4$, and that for $g=7,8,9,11$ there are no rational maps $S\dashrightarrow \mathbb P^2$ of degree $3$ induced by the primitive linear system. Our methods combine vector bundle techniques à la Lazarsfeld with derived category tools, and also make use of the rich theory of singular curves on $K3$ surfaces.

Algebraic Geometry

Classification of genus-two surfaces in $S^3$

Determining the Topology of Real Algebraic Surfaces

Uniformly polynomial-time classification of surface homeomorphisms

Bordered Surfaces in the 3-Sphere with Maximum Symmetry

On the classification of singular cubic threefolds

Totally Geodesic Surfaces in Hyperbolic 3-Manifolds: Algorithms and Examples

Embedding Surfaces, Handlebodies and Finite Graphs into $S^3$ with Maximum Symmetry

Classification of orientable torus bundles over closed orientable surfaces

Automorphisms of the 3-sphere that preserve a genus two Heegaard splitting

A classification of maximally symmetric surfaces in the 3-dimensional torus

Unknotting Nonorientable Surfaces of Genus 4 and 5

Embedding Surfaces into $S^3$ with Maximum Symmetry

On the classification of product-quotient surfaces with $q=0$, $p_g=3$ and their canonical map

Surfaces of genus $g\geq 1$ in 3D contact sub-Riemannian manifolds

Untangling Graphs on Surfaces

A diagrammatic presentation and its characterization of non-split compact surfaces in the 3-sphere

Self-intersections of surfaces that contain two circles through each point

Isoptic surfaces of segments in $S^2\times R$ and $H^2\times R$ geometries

Isometric embeddings of surfaces for scl

Immersed surfaces with knot group $\mathbb{Z}$

On the degree of irrationality of low genus $K3$ surfaces