For questions about surfaces.

learn more… | top users | synonyms

1
vote
1answer
48 views

Proving that a surface is a Möbius strip

I have a given parametrization $X(u,v)$ of a surface $S$ in $\mathbb{R}$. I must prove that it is a Möbius strip. I cannot use graphical means and I am not to reparametrize the surface- essentially, I ...
1
vote
0answers
16 views

Action of Homeomorphisms on Proper Arc system.

Let $S_{g,n}$ be a surface of genus $g$ and with $n$ punctures. By an essential arc we mean an embeded arc (end points are in punctures) which is: Homotopically non-trivial i.e. not homotopic to a ...
0
votes
0answers
29 views

How does this integration by parts work: $\int_{Q}v\varphi_t\;dxdt = -\int_S \varphi v|_{S} \nu_t - \int_Q v_t \varphi\;dxdt$

Let $\Omega(t)$ be a bounded domain for each $t$. Let $Q=\bigcup_{t \in [0,T]} \Omega(t) \times \{t\}$ and $S=\bigcup_{t \in [0,T]} \partial\Omega(t) \times \{t\}$. The normal vector to $S$ at ...
2
votes
1answer
58 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) ...
2
votes
1answer
99 views

Topological surface thought experiment

Imagine a two-dimensional version of you lives on some compact, connected surface (orientable or non-orientable). How would you figure out on which surface you are living? Are there experiments you ...
2
votes
3answers
91 views

The principal curvatures of a surface of revolution

The principal curvatures of the surface at a point is defined as the maximal and the minimal curvature among all normal sections. It's claimed (say, on Stillwell's Geometry of Surfaces) that for a ...
6
votes
2answers
152 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
1answer
38 views

Why use Gauss and mean curvature to characterize a surface's deviation from being “flat” at one point?

We know for a 2-dimensional surface there are two orthogonal principal directions at every point, where the principal curvatures $\kappa_1$ and $\kappa_2$ are the two ends of the curvature spectrum ...
1
vote
0answers
50 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$ ...
3
votes
1answer
103 views

Showing to be Unit-sphere

First and second fundamental forms are both $du^2 +\cos^2 u dv^2$ I want to show that the surface is a part of the unit sphere. What I did is following; $E=L=1$ $F=M=0$ $N=G=\cos^2 u$ ...
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
80 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
47 views

What's the first fundamental form of a regular surface in complex coordinates and how to get it?

Precisely, the first fundamental form of a regular surface is given by $$ds^2=Edx^2+2Fdx\ dy+Gdy^2.$$ What's the form of $ds^2$ in complex coordinates $z=x+iy$.
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...
3
votes
0answers
57 views

homomorphism of fundamental groups induced by a map of two surfaces

I am trying to find another proof of the following theorem Theorem Let $X$ and $Y$ be two compact surfaces of genus greater than $2$. Then every homomorphism $π_1(X,x_0)→π_1(Y,y_0)$ is induced by a ...
2
votes
1answer
131 views

A 3-manifold with fundamental group isomorphic to a surface group.

Let $M$ be a 3-manifold (the case I am interested is $M$ closed orientable connected hyperbolic); suppose $\pi_1 (M)$ is isomorphic to the fundamental group of a (closed orientable connected) surface ...
2
votes
0answers
75 views

How do you integrate surface area in spherical coordinates?

A single-valued function of spherical coordinates $r(\theta,\phi)$ (where $(\theta,\phi)\in[0,\pi]\otimes[0,2\pi]$) naturally defines a surface in 3D space. How does one calculate the surface area of ...
1
vote
2answers
86 views

How to parametrize this region surface

$S$ is the portion of the plane $$x+2y-3z=3$$ in the octan bounded by the positive direction of the $x$ and $y$ axis and the negative direction of the $z$ axis. How can I parametrize this crazy ...
2
votes
1answer
45 views

Can any 3d surface be mapped to a 2d plane?

I could see a 3D surface being parameterized by 2 parameters such that the surface is broken up into many infinitesimally thin curves. Is this true even for surfaces that might "fold" over itself or ...
4
votes
0answers
47 views

What does the metric matrix G tell us here

Let $\phi:U \rightarrow S \subseteq \mathbb{R}^3$ be a chart from $U \subseteq \mathbb{R}^2$ to a surface $S$. $G = g_{ij}$ be the metric matrix such that $ g_{ij} = \frac{\partial \phi}{\partial ...
1
vote
1answer
508 views

Verify Divergence Theorem (using Spherical Coordinates)

I'm very used to calculating the flux of a vector field in cartesian coordinates, but I'm still getting tripped up when it comes to spherical or cylindrical coordinates. I was given the vector field: ...
0
votes
2answers
86 views

parametrize surface region

S is the elliptic region of the plane $y+z=1$ inside the cylinder $4x^2+4(y-0.5)^2=1$. First parametrize $S$ using $(x,y,z)=G(u,v)$ and then calculate $\displaystyle \frac{dG}{du}\times ...
0
votes
2answers
62 views

parametrize a disc

$S$ is the disc of radius 1 centered at the origin located on the $xy$ axis, oriented downward. First parametrize the given surface using $(x,y,z)= G(u,v)$ with $(u,v)$ in $W$ and then calculate ...
0
votes
1answer
32 views

How to find a parametrization of the set $\left\{(x,y,z): e^x+e^{-x}=z-\sqrt3y, 0<y<x<1\right\}$?

I have to find surface area of set $M=\left\{(x,y,z): e^x+e^{-x}=z-\sqrt3y, 0<y<x<1\right\}$ and my problem is to parametrize it, may you help me?
0
votes
1answer
36 views

Surface with border is homotopy equivalent to bouquet of circles

Why is any compact surface with non-trivial boundary homotopy equivalent to bouquet of circles? It was mentined in "Course homotopy topology" by Fomenko, Fuchs while calculating homotopy groups of ...
1
vote
1answer
214 views

a good introduction to Laplace Beltrami operator over differential manifolds?

I'd like to have a good reference to understand how the Laplacian operator get generalized over differential manifolds. More concretely, I want to understand and prove the equation : $$\Delta ...
0
votes
1answer
68 views

Trying to prove shortest distance between two points

I'm trying to prove that the shortest distance between two points in the Euclidean plane is a straight line: Here is what I've achieved so far; but I've got lost right at the end if anyone could ...
2
votes
2answers
51 views

How to plot a surface in maple where the range is given by an expression, not constants?

Im trying to plot the surface $z=(1+x^2)/(1+y^2)$ , but specifically the part of the surface that is above $|x|+|y|\leq1$. Cant seem to find any information on how to produce a plot in maple, where ...
1
vote
2answers
89 views

Total/Gaussian curvature is intrinsic, yet mean curvature is extrinsic, why?

What characteristics define the total/mean curvature to be intrinsic/extrinsic accordingly? What is different geometrically about these curvatures that cause them to be defined as this?
4
votes
1answer
43 views

Evaluating a surface integral of a paraboloid

Calculate the average value of $(1+4z)^{3}$ on the surface of the paraboloid $z=x^{2}+y^{2}$,$x^{2}+y^{2} \leq 1$ I'm not sure on how to start this problem. I have already found the area of the ...
2
votes
2answers
124 views

check if point is on a plane (using Heron formula ?)

Is this true that if any of parameters a, b, c, d is equal to sum of three others then 4 points are on same plane? I am given 4 points in 3 dimensional space. Is this correct to state that all 4 ...
0
votes
1answer
110 views

Find the area of the indicated surface

Find the surface area of the part of the sphere $x^2 + y^2 + z^2 = a^2$ inside the circular cylinder $x^2 + y^2 = ay$ ($r = a\sin(\theta)$ in polar coordinates), with $a > 0$. First time posting ...
3
votes
1answer
54 views

Why is the partial derivative of a surface a curve?

I'm trying to understand the proof for Green's Theorem and I've stumbled upon a few problems. In my notes, it says that: If $E$ is a simple (flat?) surface in $\mathbb{R}^2$ (I've been trying to ...
2
votes
1answer
40 views

Embedded and Non-Parametric Surface definition

What does it mean for a minimal surface to be embedded? For example the Scherk surfaces? How would I define what 'an embedded surface' is? And also what does it mean for a surface to be ...
3
votes
1answer
31 views

Proof of Castalnuovo's rationality criterion

Let $S$ be a complex projective smooth surface. If $D$ is a divisor on $S$, let's write $h^i(D)$ for $dim H^i(S,\mathcal{O}_S(D))$, where $\mathcal{O}_S(D)$ is the invertible sheaf associated to $D$. ...
1
vote
2answers
98 views

Total Curvature of 4 pi

What does it mean for a surface to have a total curvature of $4\pi $? I have seen that both the catenoid and Enneper surface are the only minimal surfaces that have this total curvature, but I don't ...
0
votes
2answers
205 views

Find tangent vector to surface given a point on the surface and its normal vector (for a sphere)

I need to know how to find a tangent vector to a point on the surface of a sphere if I am given the point P and the normal vector at that point N. I know that there are many possible tangent vectors ...
2
votes
1answer
97 views

Tangent space to a surface at boundary points

Let $M$ be a $2$-dimensional compact oriented surface in $\mathbb R^3$ with boundary $\partial M$. For any $p\in M \setminus \partial M$ tangent vectors are defined as speed vectors of smooth curves ...
1
vote
2answers
48 views

Is the hyperbolic plane the only simply connected hyperbolic 2-manifold?

Let $S$ be a simply connected Riemannian 2-manifold with everywhere negative curvature. Is $S$ necessarily diffeomorphic to $\mathbb{R}^2$?
4
votes
1answer
99 views

Any interesting properties of Fermat's Last Theorem Surfaces?

I wonder if there are any interesting geometric (as opposed to number-theoretic) properties of what might be called Fermat's Last Theorem surfaces, i.e., $x^d + y^d = z^d$. Below are the surfaces for ...
2
votes
0answers
29 views

diagrams of twist spun torus knots

Kindly can you explain to me how to obtain the double twist spun of torus knots from tangle diagram of the given torus knot. I found the method here ...
0
votes
2answers
101 views

2D data fitting

I have some numbers as a function of 2 variables: $(x, y) \mapsto z$. I would like to know which function $z=z(x,y)$ best fits my data. Unfortunately, I don't have any hint, I mean, there's no ...
0
votes
0answers
24 views

For any diagram of a surface-knot, what are the possible connections of edges?

The singular set of a surface-knot diagram is a disjoint union of i) a graph, which has 1- and 6-valent vertices corresponding to branch points and triple points respectively. ii) circles which has no ...
0
votes
1answer
61 views

Is every quadratic surface in $\mathbb{P}^3$ ruled?

Let $\mathbb{P}$ be the projective line over an algebraically closed field $k$. Is it true that every quadratic surface in $\mathbb{P}^3$ is ruled? How can one see that this is the case? This ...
1
vote
1answer
53 views

Linear systems and rational maps

I'm following Beauville's book on Complex Algebraic Surfaces. If $D$ is a divisor on a surface $S$, we write $|D|$ for the set of all effective divisors linear equivalent to $D$ and we call it a ...
0
votes
0answers
42 views

How to parametrise this surface integral

This is the question: $ S $ is the boundary of the region $ \{(x,y,z):0≤z≤h, a^2 ≤x^2+y^2 ≤b^2 \}$ where $ h,a,b$ are positive and $a<b$. ${\bf F(r) } = \exp(x^2+y^2){\bf r}$ where $ {\bf ...
2
votes
1answer
94 views

Flux and Gauss theorem

I have a problem; There seems to be something wrong with my understanding of gauss theorem. Let's say $F = [y ; x^2y; y^2z]$. I want to calculate the flux of $F$ going out of $$D = \{1 \le z \le 2 - ...
3
votes
2answers
102 views

Elliptic curves on a K3 surface

Let $X$ be an elliptic K3 surface. Let $\alpha$ be a smooth curve of genus $\geq3$. Define $$d(\alpha)=\min\lbrace \epsilon\cdot \alpha \ | \ \epsilon \mbox{ is an elliptic curve on } X \rbrace, $$ ...
2
votes
1answer
47 views

Cohomology of the moving part of a linear system

Let $X$ be a smooth projective complex surface, $L$ a line bundle decomposed in its fixed and moving part as $|L|=F+|M|$. Intuitively, the inclusion of $|M|$ into $|L|$ yields an isomorphism ...
1
vote
1answer
41 views

Fixed components of linear systems on K3 surfaces

On a K3 surface, let $D$ be an effective divisor with $D^2\geq0$. Let $$D\sim D'+\Delta$$ be its decomposition in moving part and fixed part, respectively. Let $\Gamma$ be a prime component of ...