Surface is a two-dimensional submanifold of three-dimensional Euclidean space.

learn more… | top users | synonyms

98
votes
18answers
11k views

How to distinguish walking on a sphere or on a torus?

Imagine that you're a flatlander walking in your world. How could you distinguish if the world is a sphere or a torus ? I can't see the difference from this point of view. If you are interested, this ...
47
votes
4answers
2k views

How to identify surfaces of revolution

Given a surface $f(x,y,z)=0$, how would you determine whether or not it's a surface of revolution, and find the axis of rotation? The special case where $f$ is a polynomial is also of interest. A ...
31
votes
2answers
1k views

Convex surface on which any two points $a,b$ can be joined by a curve of length $(\pi/2-\epsilon)|a-b|$

I am trying to solve an exercise on page 13 of the book Metric structures on Riemannian and non-Riemannian spaces by Gromov. Construct a closed, convex surface $X$ in $\mathbb R^3$ such that any ...
22
votes
3answers
3k views

Interesting implicit surfaces in $\mathbb{R}^3$

I have just written a small program in C++ and OpenGl to plot implicit surfaces in $\mathbb{R}^3$ for a Graphical Computing class and now I'm in need of more interesting surfaces to implement! Some ...
21
votes
3answers
342 views

Is an isometric embedding of a disk determined by the boundary?

Suppose we cut a disk out of a flat piece of paper and then manipulate it in three dimensions (folding, bending, etc.) Can we determine where the paper is from the position of the boundary circle? ...
19
votes
1answer
478 views

What Rubik's Twist configuration has the lowest visible surface area?

The Rubik's Twist has been a fun time sink. From the wiki page, [It] is a toy with twenty-four wedges that are right isosceles triangular prisms. The wedges are connected by spring bolts, so that ...
18
votes
4answers
1k views

Mathematical formula to generate a curved Chinese-style roof

I want to create a Chinese-style curved roof programmatically, something like in the right part of this picture: As seen in the picture, the roof appears to have four curved segments, which ...
17
votes
3answers
4k views

Cutting a Möbius strip down the middle

Why does the result of cutting a Möbius strip down the middle lengthwise have two full twists in it? I can account for one full twist--the identification of the top left corner with the bottom right ...
17
votes
2answers
546 views

How to determine that a surface is symmetric

Given a surface $f(x,y,z)=0$, how could you determine that it's symmetric about some plane, and, if so, how would you find this plane. The special case where $f$ is a polynomial is of some interest. ...
16
votes
2answers
904 views

A simply-connected closed surface is a sphere

From the Classification Theorem for closed (i.e. compact and boundaryless) surfaces, it follows that $S^2$ is the only closed surface with trivial $\pi _1$. That's easy because the fundamental group ...
15
votes
2answers
290 views

Area of supercircles, or how to integrate $\int_0^1 \sqrt[n]{1-x^n}dx$?

Martin Gardner, somewhere in the book Mathematical Carnival; talks about superellipses and their application in city designs and other areas. Superellipses(thanks for the link anorton) are defined by ...
14
votes
4answers
254 views

How to show in a clean way that $z^4 + (x^2 + y^2 - 1)(2x^2 + 3y^2-1) = 0$ is a torus?

How to show in a clean way that the zero-locus of $$z^4 + (x^2 + y^2 - 1)(2x^2 + 3y^2-1) = 0$$ is a torus?
13
votes
0answers
332 views

Exponential map on the ellipsoid.

Consider the ellipsoid $M \subseteq \mathbb{R}^3$ defined by $$\frac{x^2}{a^2} + \frac{y^2}{b^2} + \frac{x^2}{c^2} = 1,$$ where $0 < a < b < c$, equipped with the usual Riemannian metric ...
12
votes
0answers
165 views

On the variation of a Kähler metric on a surface by pullback of the complex structure

Let $\Sigma$ be a compact, connected, oriented surface, and let $\rho\in\Omega^2(\Sigma)$ be a fixed volume form. Then any (almost) complex structure $J\in\Omega^0(M;\operatorname{End}TM)$ compatible ...
11
votes
2answers
3k views

implicit equation for “double torus” (genus 2 orientable surface)

The embedded torus in $\mathbb R^3$ can be described by the set of points in $(x,y,z)\in \mathbb R^3$ satisfying $T(x,y,z)=0$, where $T$ is the polynomial $T(x,y,z)=(x^2+y^2+z^2+R^2-r^2)^2-4R^2(x^2+y^...
11
votes
1answer
247 views

Are there exotic symplectic structures on $ S^2 $?

Besides the obvoius symplectic structure on $ S^2$ given by the area element in the standard embedding $ S^2 \to \Bbb R^3$, are there any other closed 2-forms on $ S^2$ which produce nonisomorphic ...
10
votes
1answer
337 views

Why do varieties with torsion canonical sheaf have finite etale covers with trivial canonical sheaf

Let $B$ be a variety with torsion canonical sheaf, i.e., $\omega^{\otimes n}_B \cong \mathcal O_B$ for some $n>0$. Then, why does there exist a finite (etale?) morphism $X\to B$ such that $K_X$ is ...
10
votes
2answers
498 views

Integral of wedge product of two one forms on a Riemann surface

I'm having trouble verifying an elementary assertion made in this answer on MathOverflow. It seems more like a math.stackexchange question, so I'm asking it here. Anyway, the assertion is as follows ...
10
votes
1answer
1k views

Generalization of ellipse equation to higher dimensional surfaces

This question was motivated by Definition of an ellipsoid based on its focal points . I'd like to avoid terms like ellipsoid, so I'll use terms like one-dimensional ellipse (a normal ellipse in the ...
9
votes
2answers
133 views

Prove that any shape 1 unit area can be placed on a tiled surface

Given a surface of equal square tiles where each tile side is 1 unit long. Prove that a single area A, of any shape, but just less than 1 unit square in area can be placed on the surface without ...
9
votes
2answers
549 views

isolated non-normal surface singularity

I am looking for an isolated non-normal singularity on an algebraic surface. One obvious example occurs to me: the union of two $2$-dimensional affine subspaces of $\mathbb{A}^4$ which meet in a point....
9
votes
3answers
275 views

What curve is this?

This is my earring (see the image please) and my question is: Does this curve have a name? If it does, which one? Regards! And thank you.
9
votes
2answers
694 views

What are all topological spaces obtained by gluing the edges of a triangle?

I am currently learning about polygonal presentations of surfaces. In the notation I'm using (following Lee's "Topological Manifolds"), $\langle a, b \ |\ aba^{-1}b^{-1}\rangle$ is a presentation of ...
9
votes
1answer
88 views

What's the name of the surface and Is it a $C^2$ smooth surface? [duplicate]

what's the name of the surface? Is it a $C^2$ smooth surface? Its implicit equation is: $(x−2)^2(x+2)^2+(y−2)^2(y+2)^2+(z−2)^2(z+2)^2+3(x^2y^2+x^2z^2+y^2z^2)+6xyz−10(x^2+y^2+z^2)+22=0$
9
votes
1answer
239 views

K3 surfaces as complete intersections

I'm following Beauville's book "Complex Algebraic Surfaces". If $S$ is a K3 surface and $C$ is a smooth not hyperelliptic curve of genus g, then we have a birational morphism $\phi : S\rightarrow\...
9
votes
1answer
141 views

A “trivial” implication I don't understand.

I'm reading the article "Belyi's theorem for complex surfaces - Gabino Gonzalez Diez" and there are few lines of a certain proof that I don't understand (the author claims that all is trivial): ...
9
votes
0answers
131 views

Surface of the intersection of $n$ balls

Suppose there are $n$ balls (possibly, of different sizes) in $\mathbb R^3$ such that their intersection $\mathfrak C$ is non-empty and has a positive volume (i.e. is not a single point). Apparently, $...
8
votes
4answers
393 views

Why is $\pi r^2$ the surface of a circle

Why is $\pi r^2$ the surface of a circle? I have learned this formula ages ago and I'm just using it like most people do, but I don't think I truly understand how circles work until I understand why ...
8
votes
2answers
627 views

Is the Euler characteristc defined wrong? If not, why not?

Ever since learning that $$\chi(S_0\# S_1) = \chi(S_0)+\chi(S_1)-2$$ (where $\chi$ denote the Euler characteristic), I've wondered whether $\chi$ isn't "defined wrong." If we let $\chi' = 2-\chi,$ ...
8
votes
1answer
169 views

Why can all surfaces with boundary be realized in $\mathbb{R}^3$?

I'm having trouble comprehending an informal proof of the fact that all compact surfaces with boundary can be realized in $\mathbb{R}^3$. I'm trying to find a proof of it on the internet, but I can't ...
8
votes
1answer
496 views

Are these definitions of intersection multiplicity equivalent?

I am pretty sure the answer is yes. I normally work over $\mathbb{C}$ so i will do so here as well, to prevent myself from making silly mistakes. In projective space, one has Serre's famous ...
8
votes
1answer
141 views

Surface integral of $2x+y+2z=16$

Here's the question: Find the surface area of the part of the plane $2x+y+2z=16$ bounded by the surfaces $x=0$, $y=0$ and $x^2+y^2=64$. So, I know I have to parameterize the surface $S:\mathbf{x}=\...
8
votes
1answer
123 views

Playing with the torus and semisimplicial sets (prove that $\phi$ and $\psi$ are not homotopic)

Recall that we can express the torus $|X.| \cong T$ as a square with edges $e$ and $f$, diagonal $g$, faces $T_1$ and $T_2$, and a single vertex $v$, and appropriate identifications. Let $Y.$ be the ...
8
votes
1answer
136 views

Varieties with the property that the cotangent bundle restricted to a complete nonsingular curve is free

Let $X$ be a $d$-dimensional smooth projective connected variety with cotangent sheaf $\Omega^1_X$ over $\mathbb C$. Suppose that for any nonsingular complete curve $C$ and non-constant morphism $\...
7
votes
4answers
2k views

Drawing a thickened Möbius strip in Mathematica

I would like to have Mathematica plot a "thickened Möbius strip", i.e. a torus with square cross section that is given a one-half twist. Ideally, I would like this thickened Möbius strip to be ...
7
votes
2answers
358 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$ ...
7
votes
2answers
141 views

1-dimensional foliation on a surface

Is it possible to find a 1-dimensional nonsingular foliation on an orientable surface with one boundary component such that lines of the foliation are transverse to the boundary?
7
votes
2answers
120 views

Ideal sheaf on a surface

Let $S\subset\mathbb{P}^n$ a smooth complex projective surface. I consider the exact sequence $$0\rightarrow I_S\rightarrow\mathcal{O}_{\mathbb{P}^n}\rightarrow\mathcal{O}_S\rightarrow 0,$$ where $I_S$...
7
votes
2answers
200 views

Are endomorphisms of degree one always automorphisms

Let $B$ be a smooth projective connected variety over $\mathbb C$. Let $\sigma:B\to B$ be an endomorphism of degree one. Do I understand correctly that $\sigma$ is an automorphism? I believe this ...
7
votes
1answer
131 views

Intersection of curves on surfaces and the sheaf $\mathcal O_{C\cap C'}$

Let $S$ be a (complex) projective surface and let $C,C'\subset S$ two closed irreducible curves (namely two prime Weil divisors). It is well defined the scheme $C\cap C'$ (as fibered product of $C\...
7
votes
1answer
117 views

isometries of the sphere

There is a theorem by Pogorelov that if a $C^2$ surface $M$ in $\mathbb{R}^3$ is isometric to the unit 2-sphere, then $M$ is itself (a rigid motion of) the sphere. What is known about isometric ...
7
votes
1answer
169 views

Do K3 surfaces with an Enriques involution have a polarization of bounded degree

Does there exists a real number $C$ with the following property. For any Enriques surface $E$ over a number field $K$ with K3 cover $X\to E$, there exists an ample divisor $H$ on $X$ such that $H^2 \...
7
votes
1answer
224 views

How to determine surface from given normal vectors and their distance on that surface

Situation: We have a bendable, non-stretchable surface, like a piece of cloth, with a regular grid on it. Unknown manipulation of the surface is done while preserving it's structure We recieve 3 ...
7
votes
1answer
209 views

Can anyone solve a stochastic differential equation - related to neuroscience research?

I'm a neuroscience grad student, and I'm hoping one of ya'll could help me solve this problem regarding particle diffusion. It relates to my research on molecular-level neural plasticity, but I've ...
6
votes
4answers
471 views

How can we find geodesics on a one sheet hyperboloid?

I am looking at the following exercise: Describe four different geodesics on the hyperboloid of one sheet $$x^2+y^2-z^2=1$$ passing through the point $(1, 0, 0)$. $$$$ We have that a curve $\...
6
votes
3answers
3k views

Geodesic of a curved surface

I'm trying to read Lambourne's Relativity, Gravitation and Cosmology, but as this seems more of a maths question I've posted it here rather than in the physics forum. The author talks about affinely ...
6
votes
2answers
626 views

Quick question: Chern classes of Sym, Wedge, Hom, and Tensor

Given $L$ is a line bundle and $V$ is bundle of rank $r$ on a surface (compact complex manifold of dim 2). Recall the formula for $c_1$ and $c_2$: $c_1(V\otimes L)=c_1(V)+rc_1(L)$ $c_2(V\...
6
votes
2answers
947 views

Difference between tangent space and tangent plane

I’ve avoided doing any manifold (regretting it somewhat) courses, however do have some understanding. Let $p$ be a point on a surface $S:U\to \Bbb{R}^3$, we define: The tangent space to $S$ at $p$, $...
6
votes
3answers
138 views

What are these quotient spaces homeomorphic to?

I would like to know what the following spaces $X$ and $Y$ look like. More precisely, I want to know if they are homeomorphic to some other known spaces. I define $X$ and $Y$ as a quotient of the ...
6
votes
1answer
360 views

Are varieties of Kodaira dimension zero precisely the varieties with torsion canonical sheaf

Let $B$ a smooth projective connected variety over $\mathbf C$. Suppose that $K_B$ is torsion. Then, clearly, the Kodaira dimension of $B$ is zero. Does the converse hold? That is, suppose that $B$ ...