# Questions tagged [surfaces]

A surface is a two-dimensional topological manifold. The term can also be used to describe a smooth surface, depending on the context.

233 questions
Filter by
Sorted by
Tagged with
109 views

80 views

### Restriction function as a Morse function

Let $\Sigma$ be a closed surface smoothly embedded in $\mathbb R^3$. For any Morse function $h:\mathbb R^3 \to \mathbb R$, can we isotope $\Sigma$ so that the restriction of $h$ on $\Sigma$ is also a ...
175 views

### Factoring a projection of surface groups through a free group

Consider the surface group $S_g=\langle a_1,b_1,a_2,b_2,\dots,a_g,b_g \mid [a_1,b_1][a_2,b_2]\cdots[a_{g},b_{g}]=1\rangle$, which is the fundamental group of the closed orientable genus-$g$ surface. ...
1k views

### Does a random walk on a surface visit uniformly?

Let $S$ be a smooth compact closed surface embedded in $\mathbb{R}^3$ of genus $g$. Starting from a point $p$, define a random walk as taking discrete steps in a uniformly random direction, each step ...
138 views

### Rigidity for convex surfaces in elliptic/hyperbolic space

From Alexandrov's work we know that any metric on the sphere with lower curvature bound $\kappa$ (in the sense of Alexandrov) can be realized as a closed convex surface (i.e. boundary of a compact ...
131 views

### Finitely connected orientable surface

Let $(M,g)$ be a finitely connected orientable complete Riemannian surface, that is, $M$ is homeomorphic to a compact orientable surface $\Sigma$ minus $k \geq 1$ points. Do you have references or a ...
1 vote
230 views

### Question in the proof of Hilbert's theorem

I'm researching about Hilbert's theorem which says that there isn't isometric immersion of a complete surface with constant negative Gaussian curvature in $\mathbb{R}^3$. I'm taking as a reference the ...
189 views

### Degree one self-map of $\Bbb R^2\big\backslash \big\{(n,0):n\in \Bbb Z\big\}$ not homotopic to any self-homotopy equivalence

Consider the surface $\Sigma=\Bbb R^2\big\backslash \big\{(n,0):n\in \Bbb Z\big\}$. Does there exist a proper map $f\colon \Sigma\to \Sigma$ of degree $1$ and not homotopic to any self-homotopy ...
241 views

### Are the “generalized Catalan numbers” of Dumitrescu–Mulase the "moments" of some "multivariate Wigner semicircle distribution"?

The classical Catalan numbers $$C_n = \frac{1}{n+1} \binom{2n}{n},$$ well-known for their numerous combinatorial interpretations (the second volume of Stanley's Enumerative Combinatorics famously ...
153 views

### Algebraic context for Mednykh's formula?

Let $S$ be a closed orientable surface and let $G$ be a finite group, then Mednykh's formula says that $$\sum_{V}d(V)^{\chi(S)} = |G|^{\chi(S) - 1} |\text{Hom}(\pi_1 S, G)|$$ where the sum is over ...
116 views

### Can the infinite jungle gym surface be expressed by an exhaustion of compact surfaces with one boundary component?

Is it possible to write the infinite jungle gym surface as the increasing union of compact surfaces whose boundaries consist of only one simple closed curve? I believe that this is true. This surface ...
1 vote
183 views

### The Schoenflies Theorem on two dimensional surfaces

Let $S$ be a surface and $U$ an open connected subset of $S$. If the frontier of $U$ in $S$ is a two sided circle $C$, then the closure of $U$ in $S$ is a surface whose boundary is $C$. I would like ...
1 vote
177 views

116 views

### Subgroups of Mod(S) generated by Dehn twists depend only on intersection numbers?

$\DeclareMathOperator\Mod{Mod}$Let $S$ be a closed surface and $\Mod(S)$ be its mapping class group. It is a well known fact, proved in the Primer on Mapping class groups for example, that the ...
161 views

### Lifting of a proper map in the cover is a proper map

Let $M$ be an orientable surface without boundary$($I am not assuming $M$ is compact, it can be non-compact$)$. Let $\Phi: M\to M$ be a proper homotopy-equivalnce$($A proper homotopy-equivalence can ...
1 vote
150 views

### Pair of pants decomposition for non-orientable surfaces

Pair of pants decomposition on orientable surfaces is a classic way to decompose orientable surface to simples surfaces. Is there a way to decompose non-orientable surfaces into pair of pants? ...
289 views

### Constant Gaussian curvature disks

This question has also been posted on MSE, but maybe here is the right place to post it. Is it true that if $D$ is a Riemannian $2$-disk having constant Gaussian curvature equal to $1$ and whose ...
1 vote
285 views

### Homotopy equivalence preserving all geometric intersection numbers

This question again might be silly, like the last post(deleted). Let me know I will delete it. Problem: Let $\Sigma$ be a surface without boundary and $f:\Sigma\to \Sigma$ be a proper homotopy ...
119 views

### Hyperbolic length of curve that does not enter a collar

Let $\Sigma$ be a compact surface of genus at least $1$ with one boundary component, equipped with a hyperbolic metric so that the boundary is geodesic. There is a version of the collar lemma that ...
698 views

140 views

### Cusps of hyperbolic surfaces under finite covers

The following statement seems true, but I don't know a proof or a reference for it (and I would like one). Let $\Gamma< \operatorname{PSL}(2,\mathbb R)$ be a nonuniform lattice with one cusp. We ...
171 views

### Representing relative homology classes orientable surfaces with boundary

Let $S$ be compact oriented surface without boundary. Then it is a classical result that a primitive class $\gamma \in H_1(S; \mathbb{Z})$ is always represented by a simple closed curve. It implies ...
40 views

279 views

I asked this question on MSE, but obtained no answer. Maybe this is the right place to post it. Let $D$ be a properly embedded free boundary disk in the closed unit ball $\mathbb{B}^3$ of $\mathbb{R}^... 1 vote 1 answer 120 views ### Spines of Teichmuller space of a non-orientable surface Let$S_{g,n}$be the orientable surface of genus$g$and$n$punctures. Denote$\Gamma_{g,n}$be the mapping class group of$S_{g,n}$and$\mathcal T_{g,n}$the Teichmüller space of$S_{g,n}$. In http:... 6 votes 1 answer 383 views ### The largest group acting on a non-orientable surface of genus 5 Let$N_5$denote the non-orientable surface of genus 5. In Conder's database https://www.math.auckland.ac.nz/~conder/BigSurfaceActions-Genus2to101-ByGenus.txt we can see that the biggest finite group$...
1 vote
I suspect the following statement is true: Let $(M^3,g)$ be a compact and orientable Riemannian $3$-manifold with nonempty boundary. Let $\{\Sigma_n\}_{n \geq 1}$ be a sequence of compact and ...