**11**

votes

**1**answer

1k views

### Classification of surfaces and the TOP, DIFF and PL categories for manifolds

A surface is simply a 2-manifold. The classification theorem for compact connected surfaces (with boundary) is commonly regarded in the categories TOP, DIFF and PL. Well known proofs (e.g. via ...

**4**

votes

**1**answer

251 views

### Representing groups with two generators as graph automorphisms

Suppose we have a group $G$ which can be generated by two elements $x$, $y$. Call $H$, $K$, $L$ the subgroups of $G$ generated by $x$, $y$ and $y^{-1}x^{-1}$, respectively.
With these data, we can ...

**4**

votes

**2**answers

971 views

### What is parameterization of the trefoil knot surface in R³?

What is a parameterization, say (x(u,v),y(u,v),z(u,v)), of the trefoil knot surface in R³ whose cross-section can be circular or, in general, elliptic?
Thanks!

**8**

votes

**2**answers

1k views

### Connected sum of surfaces

I'm looking for a detailed reference about connected sums. I'd like it to contain a proof that a connected sum of connected surfaces is independent - up to homeomorphism - of the various choices ...

**2**

votes

**2**answers

342 views

### Contraction of curves on surfaces

Assume we have a surface $S$ (smooth if you want), and a map $f: S \to V$ that contracts a curve $C \subset S$. What condition would give a factoring of $f$ through a contraction $c: S \to V'$ ...

**1**

vote

**2**answers

268 views

### Abelian subgroups of ball quotient

Let $X$ be a compact complex surface of general type which a ball quotient. Is it true that $\pi_{1}(X)$ can not contain ${\mathbb{Z}}^{2}$ as a subgroup? What kind of infinite abelian groups can ...

**2**

votes

**1**answer

793 views

### How to rigorously prove that simple closed curves on a surface are primitive closed curves ?

Let me first state the definitions :
A not-nullhomotopic closed curve / loop $c$ on an orientable surface $X,c:[0,1]\to X$ is called simple closed curve is $c|[0,1)$ is injective and [ $c(0)=c(1) ] ...

**3**

votes

**2**answers

460 views

### Surface fitting with convexity requirement

Hi all,
Consider a cloud of points in 3D space (x,y,z). The data is well-behaved, once plotted the surface looks like some sort of spheroid. I assumed a form for the fitting function f(x,y,z) = c1 ...

**3**

votes

**2**answers

297 views

### Moving a canonical divisor on a normal surface away from the singular locus

In a previous question Moving a Weil divisor on a normal surface away from a finite set of closed points I probably asked for too much. As J.C. Ottem pointed out, it is not always possible to move a ...

**2**

votes

**3**answers

394 views

### Moving a Weil divisor on a normal surface away from a finite set of closed points

Let $Y$ be a normal surface and let $X$ be a closed subscheme of codimension 2, i.e., $X$ is a finite set of closed points.
Let $D$ be a Weil divisor on $Y$.
Question. Does there exist a Weil ...

**1**

vote

**0**answers

151 views

### Is -(E,E) greater or equal to 2 for a minimal resolution

I'm quite confused by the terminology minimal resolution and minimal model.
Let $f:X\longrightarrow Y$ be a minimal resolution of singularities, where $Y$ is a normal surface.
Let $E$ be an ...

**4**

votes

**1**answer

716 views

### intersection number

I vaguely recall the following fact that I'd like to use in my research. It should be easy to see that this holds (if it does) but I can't seem to prove it.
Let $p:X\longrightarrow S$ be a (regular) ...

**2**

votes

**2**answers

399 views

### The exceptional locus of a minimal resolution of singularities

Let X be a surface. (A surface is an excellent integral normal separated 2-dimensional scheme.)
Let $\psi:Y\longrightarrow X$ be a minimal resolution of singularities and let $E$ be an irreducible ...

**1**

vote

**1**answer

576 views

### Hirzebruch surfaces

I am sorry for too naive and stupid question,
How can I express the 2nd Hirzebruch surface, $F_{2}$ in terms of $SO(3)$. Can F_{2} be realizable as the total space of a bundle over $\mathbb{R}_{+}$ ...

**1**

vote

**2**answers

683 views

### Names of certain surfaces

Are there any generally used names for the following algebraic and nonalgebraic surfaces? Any references to literature where the surfaces are studied are also appreciated.
Surface I. Implicit ...

**0**

votes

**4**answers

534 views

### What is the quantity 2(handles)+crosscaps called?

It is well-known that up to homeomorphism, the complete set of orientable surfaces is $\lbrace S_g : g=0,1,\dots \rbrace$, where $S_g$ is the sphere with $g$ handles. The complete set of ...

**1**

vote

**2**answers

344 views

### Can one obtain surfaces with interesting invariants as resolutions of singular surfaces?

(Perhaps a not very well defined question)
Let $(S_t)_t$ be a (flat) family of compact complex surfaces. Assume the generic member is smooth while $S_0$ has isolated singularities. As the simplest ...

**15**

votes

**2**answers

998 views

### Simple curves on non-orientable surfaces.

Given an element in the (first) homology group of a surface, I would like to know if it can be represented as a simple closed curve. For orientable surfaces, this is well-known, but I wasn't able to ...

**15**

votes

**5**answers

926 views

### Is a rhombus rigid on a sphere or torus? And generalizations.

If a rectangle is formed from rigid bars for edges and joints
at vertices, then it is flexible in the plane: it can flex
to a parallelogram.
On any smooth surface with a metric, one can define a ...

**1**

vote

**0**answers

290 views

### Abel-Jacobi map for regular fibered surfaces.

Let $f:C\to S$ be a regular fibered surface where $S=Spec(R)$, $R=dvr$. Assume $C$ has smooth geometrically integral generic fibre $C_K$. We also assume the existence of a section $x\in C(S)$. Let ...

**3**

votes

**1**answer

232 views

### Removing intersections of curves in surfaces

Let $C_1, \dots, C_n$ be a family of disjoint simple curves in a surface $\Sigma$. If $C$ is any simple curve in $\Sigma$, it turns out that we can map $C$ to a curve $C'$ (via a homeomorphism of ...