Finite rigid sets of the non-separating curve complex

Rodrigo De Pool

DOI: https://doi.org/10.1515/forum-2023-0024

2024-01-02

Forum Mathematicum

Abstract:We prove that the non-separating curve complex of every surface of finite type and genus at least three admits an exhaustion by finite rigid sets.

mathematics, applied

What problem does this paper attempt to address?

Finite rigid sets of the non-separating curve complex

Rodrigo de Pool

2023-11-30

Abstract:We prove that the non-separating curve complex of every surface of finite type and genus at least three admits an exhaustion by finite rigid sets.

Geometric Topology,Group Theory
Finite rigid sets in sphere complexes

Edgar A. Bering,Christopher J. Leininger

DOI: https://doi.org/10.1016/j.topol.2024.108862

IF: 0.583

2024-02-25

Topology and its Applications

Abstract:A subcomplex X≤C of a simplicial complex is strongly rigid if every locally injective, simplicial map X→C is the restriction of a unique automorphism of C . Aramayona and the second author proved that the curve complex of an orientable surface can be exhausted by finite strongly rigid sets. The Hatcher sphere complex is an analog of the curve complex for isotopy classes of essential spheres in a connect sum of n copies of S1×S2 . We show that there is an exhaustion of the sphere complex by finite strongly rigid sets for all n≥3 and that when n=2 the sphere complex does not have finite rigid sets.

mathematics, applied
On Non-Separating Simple Closed Curves in a Compact Surface

F Luo

DOI: https://doi.org/10.1016/0040-9383(96)00012-2

1997-01-01

Topology

Abstract:We introduce a semi-algebraic structure on the set  of all isotopy classes of non-separating simple closed curves in any compact oriented surface and show that the structure is finitely generated. As a consequence, we produce a natural finite dimensional linear representation of the mapping class group of the surface. Applications to the Teichmüller space, Thurston's measured lamination space, the harmonic Beltrami differentials, and the first cohomology groups of the surface are discussed.
The Riemannian Geometry of Superminimal Surfaces in Complex Space Forms

Shen Yibing

DOI: https://doi.org/10.1007/bf02106984

1996-01-01

Acta Mathematica Sinica English Series

Abstract:This paper deals with superminimal surfaces in complex space forms by using theFrenet framing. We formulate explicitly the length squares of the higher fundamental forms andthe higher curvatures for superminimal surfaces in terms of the metric of the surface and the Khlerangle of the immersion. Particularly, some curvature pinching theorems for minimal 2-spheres in acomplex projective space are given and a new characterization of the Veronese sequence is obtained.
Smooth Projective Surfaces with Infinitely Many Real Forms

Tien-Cuong Dinh,Cécile Gachet,Hsueh-Yung Lin,Keiji Oguiso,Long Wang,Xun Yu

DOI: https://doi.org/10.2422/2036-2145.202306_013

2024-01-01

ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE

Abstract:The aim of this paper is twofold. First of all, we confirm a few basic criteria of the finiteness of real forms of a given smooth complex projective variety, in terms of the Galois cohomology set of the discrete part of the automorphism group, the cone conjecture and the topological entropy. We then apply them to show that a smooth complex projective surface has at most finitely many non-isomorphic real forms unless it is either rational or a non-minimal surface birational to either a K3 surface or an Enriques surface. In the second part of the paper, we construct an Enriques surface whose blow-up at one point admits infinitely many non-isomorphic real forms. This answers a question of Kondo to us and also shows the three exceptional cases really occur.
Connectivity of Complexes of Separating Curves

Eduard Looijenga

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

2013-01-01

Groups Geometry and Dynamics

Abstract:We prove that the separated curve complex of a closed orientable surface ofgenus g is (g-3)-connected. We also obtain a connectivity property for aseparated curve complex of the open surface that is obtained by removing afinite set from a closed one, but it is then assumed that the removed set isendowed with a partition and that the separating curves respect that partition.These connectivity statements have implications for the algebraic topology ofthe moduli space of curves.
Separating semigroup of genus 4 curves

S. Yu. Orevkov

2024-12-03

Abstract:A rational function on a real algebraic curve $C$ is called separating if it takes real values only at real points. Such a function defines a covering $\mathbb R C\to\mathbb{RP}^1$. Let $c_1,\dots,c_r$ be connected components of $\mathbb R C$. M. Kummer and K. Shaw defined the separating semigroup of $C$ as the set of all sequences $(d_1(f),\dots,d_r(f))$ where $f$ is a separating function and $d_i(f)$ is the degree of the restriction of $f$ to $c_i$. In the present paper we describe the separating semigroups of all genus 4 curves. For the proofs we consider the canonical embedding of $C$ into a quadric $X$ in $\mathbb P^3$ and apply Abel's theorem to 1-forms obtained as Poincaré residues at $C$ of certain meromorphic 2-forms on $X$.

Algebraic Geometry
Uniform hyperbolicity of nonseparating curve graphs of nonorientable surfaces

Erika Kuno

2024-01-24

Abstract:Let $N$ be a connected finite type nonorientable surface with or without boundary components and punctures. We prove that the graph of nonseparating curves of $N$ is connected and Gromov hyperbolic with a constant which does not depend on the topological type of the surface by using the bicorn curves introduced by Przytycki and Sisto. The proof is based on the argument by Rasmussen on the uniform hyperbolicity of graphs of nonseparating curves for finite type orientable surfaces.

Geometric Topology
On rigid germs of finite morphisms of smooth surfaces

Vik.S. Kulikov

DOI: https://doi.org/10.1070/SM9315

2019-12-26

Abstract:We prove that a germ of a finite morphism of smooth surfaces is rigid if the germ of its branch curve has one of $ADE$-singularity types and establish a correspondence between the set of rigid germs and the set of Belyi rational functions $f\in \bar{\mathbb Q}(z)$.

Algebraic Geometry
The Restriction of Efficient Geodesics to the Non-separating Complex of Curves

Seth Hovland,Greg Vinal

2023-04-14

Abstract:In the complex of curves of a closed orientable surface of genus $g,$ $\mathcal{C}(S_g),$ a preferred finite set of geodesics between any two vertices, called \emph{efficient geodesics} introduced by Birman, Margalit, and Menasco in \cite{birman_margalit_menasco_2016}. The main tool used to establish the existence of efficient geodesics was a \emph{dot graph}, which recorded the intersection pattern of a reference arc with the simple closed curves associated with a geodesic path. The idea behind the construction was that a geodesic that is not initially efficient contains shapes in its corresponding dot graph. These shapes then correspond to surgeries that reduce the intersection with the reference arc. In this paper, we show that the efficient geodesic algorithm is able to be restricted to the non-separating curve complex; the proof of this will involve analysis of the dot graph and its corresponding surgeries. Moreover, we demonstrate that given any geodesic in the complex of curves we may obtain an efficient geodesic whose vertices, with the possible exception of the endpoints, are all nonseparating curves.

Geometric Topology
Nodal rational curves on Enriques surfaces of base change type

Simone Pesatori

2024-12-09

Abstract:Using lattice theory, Hulek and Schütt proved that for every $m\in\mathbb{Z}_+$ there exists a nine-dimensional family $\mathcal{F}_m$ of K3 surfaces covering Enriques surfaces having an elliptic pencil with a rational bisection of arithmetic genus $m$. We present a purely geometrical lattice free construction of these surfaces, that allows us to prove that generically the mentioned bisections are nodal. Moreover, we show that, for every $m\in\mathbb{Z}_+$, the very general Enriques surface covered by a K3 surface in $\mathcal{F}_m$ admits a countable set of nodal rational curves of arithmetic genus $(4k^2-4k+1)m+4k^2-4k$ for every $k\in\mathbb{Z}_+$, that form a rank 8 subgroup of the automorphism group of the surface. As an application, we compute the linear class of the $n$-torsion multisection for every $n\in\mathbb{N}$ for a general rational elliptic surface.

Algebraic Geometry
A Characterization of Curves that Lie on a Totally Umbilical Surface of a Space Form

Rafael López

2024-11-29

Abstract:We give necessary and sufficient conditions on the curvature and the torsion of a regular curve of the space forms $\h^3$ and $\s^3$ to be contained in a totally umbilical surface. In case that the curve has constant torsion, we obtain the value of the curvature of the curve. Also numerical pictures of these curves are shown.

Differential Geometry
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
Surfaces and semigroups at infinity

C. Galindo,F. Monserrat,C.-J. Moreno-Ávila,J.-J. Moyano-Fernández

2024-08-29

Abstract:We introduce surfaces at infinity, a class of rational surfaces linked to curves with only one place at infinity. The cone of curves of these surfaces is finite polyhedral and minimally generated. We also introduce the $\delta$-semigroup of a surface at infinity and consider the set $\mathcal{S}$ of surfaces at infinity having the same $\delta$-semigroup. We study how the generators of the cone of curves of surfaces in $\mathcal{S}$ behave.

Algebraic Geometry,Commutative Algebra
A note on complex plane curve singularities up to diffeomorphism and their rigidity

A. Fernández-Hernández,R. Giménez Conejero

DOI: https://doi.org/10.1007/s40687-024-00439-w

2024-03-27

Research in the Mathematical Sciences

Abstract:Abstract We prove that if two germs of plane curves ( C , 0) and $$(C',0)$$ ( C ′ , 0 ) with at least one singular branch are equivalent by a (real) smooth diffeomorphism, then C is complex isomorphic to $$C'$$ C ′ or to $$\overline{C'}$$ C ′ ̄ . A similar result was shown by Ephraim for irreducible hypersurfaces before, but his proof is not constructive. Indeed, we show that the complex isomorphism is given by the Taylor series of the diffeomorphism. We also prove an analogous result for the case of non-irreducible hypersurfaces containing an irreducible component that is non-factorable. Moreover, we provide a general overview of the different classifications of plane curve singularities.

mathematics
The cone of curves and the Cox ring of rational surfaces over Hirzebruch surfaces

Carlos Galindo,Francisco Monserrat,Carlos-Jesús Moreno-Ávila

2024-01-14

Abstract:Let $X$ be a rational surface obtained by blowing up at a configuration $\mathcal{C}$ of infinitely near points over a Hirzebruch surface $\mathbb{F}_\delta$. We prove that there exist two positive integers $a \leq b$ such that the cone of curves of $X$ is finite polyhedral and minimally generated when $\delta \geq a$, and the Cox ring of $X$ is finitely generated whenever $\delta \geq b$. The integers $a$ and $b$ depend only on a combinatorial object (a graph decorated with arrows) representing the strict transforms of the exceptional divisors, their intersections and those with the fibers and special section of $\mathbb{F}_\delta$.

Algebraic Geometry
Every finite graph arises as the singular set of a compact 3‐D calibrated area minimizing surface

Zhenhua Liu

DOI: https://doi.org/10.1002/cpa.22194

2024-03-11

Communications on Pure and Applied Mathematics

Abstract:Given any (not necessarily connected) combinatorial finite graph and any compact smooth 6‐manifold M6 with the third Betti number b3≠0 , we construct a calibrated 3‐dimensional homologically area minimizing surface on M equipped in a smooth metric g , so that the singular set of the surface is precisely an embedding of this finite graph. Moreover, the calibration form near the singular set is a smoothly GL(6,R) twisted special Lagrangian form. The constructions are based on some unpublished ideas of Professor Camillo De Lellis and Professor Robert Bryant.

mathematics, applied
Noncompact surfaces, triangulations and rigidity

Stephen C. Power

2024-03-28

Abstract:Every noncompact surface is shown to have a (3,6)-tight triangulation and a characterisation of such triangulations is given in terms of length constraints on the boundary walks of superfaces of a given genus. Applications are given to the generic rigidity of associated countable bar-joint frameworks in R^3. In particular, every noncompact surface has a (3,6)-tight triangulation that is minimally 3-rigid. A proof of Kerékjártó's classification of noncompact surfaces is also given.

Combinatorics,Geometric Topology
Automorphism groups of simplicial complexes of infinite type surfaces

Jesús Hernández Hernández,José Ferrán Valdez Lorenzo

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

2014-02-14

Abstract: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))

Geometric Topology
Every finite graph arises as the singular set of a compact $3$-d calibrated area minimizing surface

Zhenhua Liu

2023-10-24

Abstract:Given any (not necessarily connected) combinatorial finite graph and any compact smooth $6$-manifold $M^6$ with the third Betti number $b_3\not=0$, we construct a calibrated 3-dimensional homologically area minimizing surface on $M$ equipped in a smooth metric $g$, so that the singular set of the surface is precisely an embedding of this finite graph. Moreover, the calibration form near the singular set is a smoothly $GL(6,\mathbb{R})$ twisted special Lagrangian form. The constructions are based on some unpublished ideas of Professor Camillo De Lellis and Professor Robert Bryant.

Differential Geometry

Finite rigid sets of the non-separating curve complex

Finite rigid sets of the non-separating curve complex

Finite rigid sets in sphere complexes

On Non-Separating Simple Closed Curves in a Compact Surface

The Riemannian Geometry of Superminimal Surfaces in Complex Space Forms

Smooth Projective Surfaces with Infinitely Many Real Forms

Connectivity of Complexes of Separating Curves

Separating semigroup of genus 4 curves

Uniform hyperbolicity of nonseparating curve graphs of nonorientable surfaces

On rigid germs of finite morphisms of smooth surfaces

The Restriction of Efficient Geodesics to the Non-separating Complex of Curves

Nodal rational curves on Enriques surfaces of base change type

A Characterization of Curves that Lie on a Totally Umbilical Surface of a Space Form

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

Surfaces and semigroups at infinity

A note on complex plane curve singularities up to diffeomorphism and their rigidity

The cone of curves and the Cox ring of rational surfaces over Hirzebruch surfaces

Every finite graph arises as the singular set of a compact 3‐D calibrated area minimizing surface

Noncompact surfaces, triangulations and rigidity

Automorphism groups of simplicial complexes of infinite type surfaces

Every finite graph arises as the singular set of a compact $3$-d calibrated area minimizing surface