1
vote
0answers
22 views

Connected sum of surfaces with boundary

The connected sum of closed surfaces (2-manifolds) is defined by removing a disk from each and gluing the exposed edges together. When defining the connected sum of surfaces with boundary, is the ...
0
votes
1answer
27 views

Simple closed curve definition of genus

The genus of a connected surface can be defined as the maximum number of disjoint simple closed curves that can be removed from it without disconnecting it. Why must the simple closed curves be ...
1
vote
1answer
59 views

Nonorientable surfaces: genus or demigenus?

The genus $g$ of a closed, orientable surface is the maximum number of disjoint simple closed curves that can be drawn on the surface without disconnecting it. In terms of the Euler characteristic, ...
2
votes
1answer
53 views

Does the connected sum depend on direction of gluing?

The connected sum of two surfaces (2-manifolds) is defined by removing a disk from each and gluing the cut edges: (Image adapted from Wikipedia) Does the resultant surface (up to homeomorphism) ...
6
votes
2answers
131 views

Closed, orientable surface whose genus is very hard to find intuitively

I'm introducing the Classification Theorem on closed and orientable surfaces in a talk on (intuitive) topology, and to motivate it I'd like an example of an embedding of a surface in $\mathbb{R}^3$ ...
1
vote
0answers
42 views

Proof of Euler Characteristic for Sphere

Theorem 1. All cell decompositions of a sphere $S$ have Euler characteristic 2. This is well-known, but I had this idea for an intuitive proof: for any cell decomposition $\Gamma$ with $V$ ...
0
votes
0answers
33 views

Example of 1-dimensional hypersurface in $\mathbb{R}^2$ which is compact?

Is there an explicit example of a $1$-dimensional $C^k$ hypersurface in $\mathbb{R}^2$ which has no boundary and is compact? I know of a circle, but want something like an interval.
3
votes
0answers
77 views

If there exists a diffeomorphism between two surfaces, what is the relation between Laplace-Beltrami operators on the surfaces?

Let $S(0)$ and $S(t)$ be a hypersurface in $\mathbb{R}^n$. Suppose there is a diffeomorphism $F^0_t:S(0) \to S(t)$. Suppose we have the Laplace-Beltrami operator $\Delta_{S(\cdot)}$. Let $u:S(t) \to ...
0
votes
1answer
14 views

If $S$ is a $C^k$ hypersurface, is $S\times (0,\infty)$ a $C^k$ hypersurface too?

Let $S$ be an $n$ dimensional $C^k$ hypersurface in $\mathbb{R}^{n+1}.$ Is $S \times (0,\infty)$ also a $C^k$ hypersurface (in $\mathbb{R}^{n+2}$)? I don't know what the chart map should be...
0
votes
2answers
106 views

Is a closed compact 2-Manifold that is embedded in euclidean 3-space always orientable?

I am sorry if this is a trivial question but I am a little confused right now so please bear with me. Since non-orientable compact 2-manifolds without boundary cannot be embedded in three-dimensional ...
1
vote
1answer
57 views

Bounding an integral on boundary of Lipschitz domain

Let $\Omega \subset \mathbb{R}^n$ be a bounded Lipschitz domain with bounded boundary $\Gamma.$ So $\Gamma$ is a hypersurface of dimension $(n-1)$. I want to show that $$\int_\Gamma ...
3
votes
2answers
158 views

A non orientable closed surface cannot be embedded into $\mathbb{R}^3$

Can someone please remind me how this goes? Here's the idea of proof I'm trying to recall: let $S$ be a closed surface (connected, compact, without boundary) embedded in $\mathbb{R}^3$. Then one can ...
0
votes
2answers
123 views

surface vs differentiable manifold

Every surface is a smooth manifold, but the reciprocal is verified? some concrete example of a differentiable manifold is not surface? Thanks in advance for the suggestions.
3
votes
2answers
71 views

Algebraic surface as a smooth manifold

Let $S$ be the set of points $x=(x_1,x_2,\ldots,x_9)\in \mathbb{R}^9$ which satisfy the following conditions: $$x_1^{2}+x_2^{2}+x_3^{2}=x_4^{2}+x_5^{2}+x_6^{2}=x_7^{2}+x_8^{2}+x_9^{2}=1$$ ...
1
vote
1answer
65 views

Virtual knot diagrams on surfaces with genus?

To the best of my limited understanding, a virtual knot diagram may be thought of as the projection of an embedding of $\mathbb{S}^1$ in a 2-manifold with genus onto $\mathbb{R}^2$. That is to say it ...
3
votes
0answers
68 views

Do we really need to use the Jordan-Schönflies Theorem to prove that every surface can be triangulated?

I have read that most proofs of the triangulability of surfaces require the use of the Jordan-Schönflies Theorem. However, is such high-tech machinery really needed? The problem is that 3-manifolds ...
3
votes
0answers
368 views

Ambient Isotopy

From Hirsch's Differential Topology, p. 180. The first of the isotopy extension theorems says; Let $A\subset M$ be a compact submanifold and $F:V\times I \rightarrow S^{3}$ an isotopy of $A$. If ...
2
votes
1answer
160 views

Supposedly “trivial” implication that injective surfaces are incompressible

My question is about a passage in Algorithmic Topology and Classification of 3-Manifolds by Sergei Matveev. Let $F$ be a surface in some $3$-manifold $M$. $F$ is called incompressible if for every ...