For questions about surfaces.

learn more… | top users | synonyms

37
votes
4answers
1k 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 ...
21
votes
2answers
607 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 ...
20
votes
3answers
258 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? ...
18
votes
3answers
1k 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 ...
18
votes
4answers
888 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
2answers
378 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. ...
15
votes
3answers
2k 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 ...
14
votes
4answers
230 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?
14
votes
2answers
242 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 ...
12
votes
1answer
538 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 ...
11
votes
1answer
178 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
2answers
260 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 ...
9
votes
1answer
128 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 : ...
9
votes
1answer
100 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
1answer
627 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 ...
8
votes
2answers
604 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
223 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 ...
8
votes
3answers
225 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.
8
votes
1answer
246 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
2answers
548 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 ...
8
votes
1answer
120 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 ...
8
votes
1answer
121 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
1k 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
4answers
278 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 ...
7
votes
2answers
373 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 ...
7
votes
1answer
156 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 ...
7
votes
2answers
184 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
119 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
110 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 ...
6
votes
3answers
2k 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
174 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$ ...
6
votes
1answer
226 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$ ...
6
votes
2answers
82 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 ...
6
votes
2answers
56 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?
6
votes
1answer
108 views

What surfaces in $\mathbb R^3$ are such that every planar section (with more than 1 point) has nontrivial symmetry?

In $\mathbb R^3$ , the intersection of a plane and a sphere (e.g. $x^2 + y^2 + z^2 = 1$) is either empty, a single point, or a circle. All isometries of those circles are realized by isometries of ...
6
votes
1answer
182 views

How to correct a wrong proof about the Birman exact sequence?

I've given a proof of the exactness of the Birman exact sequence of groups: $$1\to\pi_1(S_{g,r}^s)\to MCG(S_{g,r}^{s+1})\overset{\lambda}{\to} MCG(S_{g,r}^s)\to 1$$ making use of classifying spaces ...
6
votes
1answer
81 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 ...
6
votes
1answer
158 views

Geodesic of a Surface in $\mathbb{R}^3$

I'm not familiar with geodesics. How can I show that a curve $c$ given by $c(t)=(t,f(t)\cos{\alpha},f(t)\sin{\alpha})$ for $\alpha$ constant is a geodesic on $M$ where $M=\left\{(x,y,z) \in \Bbb{R}^3 ...
6
votes
1answer
141 views

Compute the differential of a smooth map

Let $S\subseteq \mathbb{R}^3$ be an oriented regular surface and let $N$ be a field of normal unitary vector on $S$. We consider the map $F:S\times \mathbb{R}\rightarrow \mathbb{R}^3$ defined by ...
6
votes
2answers
217 views

Embedded surface in $\mathbb{R}^3$

Let $U \subseteq \mathbb{R}^2$ be an open set and let $\sigma : U \rightarrow \mathbb{R}^3$ be a parametrization of an oriented surface $S$ embedded in $\mathbb{R}^3$ whose unit normal in $\sigma ...
6
votes
0answers
123 views

Wicked domain of integration in a triple integral

I am dealing with a domain of integration of the form: $\left(\frac{x-y}{x+y}\right)^2+\left(\frac{y-z}{y+z}\right)^2+\left(\frac{x-z}{x+z}\right)^2\leq k$ The region looks like this (for $k=0.2$): ...
6
votes
0answers
124 views

Paper cylinder inside out

My question is related with paper folding: Given a cylinder of paper it is possible to turn it inside out using folding along lines. This is a Martin Gardner recreational puzzle. Secondly, ...
6
votes
0answers
142 views

Normal subgroups of the fundamental group of a non-orientable surface.

Let $N^2_g$ be a non-orientable closed genus $g\geq 2$ surface. Is there a way to explicitly list the normal subgroups of $\pi_1(N^2_g)$ in terms of generators and relations? I am interested in ...
6
votes
1answer
208 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 ...
5
votes
2answers
365 views

What function has a graph that looks like this?

I delete my file which I used to produce this graph. Does anybody have some idea how to produce it again? Thanks for a while.
5
votes
2answers
126 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 ...
5
votes
1answer
394 views

Universality of Tate-conjectures

We all know that Prof.John Tate proposed a set of conjectures(along with Prof.Emil Artin) formally spread under the name of "Tate conjectures", they have a wide range of influence on various fields of ...
5
votes
2answers
1k 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 ...
5
votes
1answer
100 views

Number of fibrations over a curve.

Fix a non-singular complex projective curve $C$. I would like to know how many non-singular complex projective surfaces $S$ have the following properties (up to isomorphism): There is a fibration ...
5
votes
1answer
102 views

Is this function bounded? Next question about integral $\int_{\partial M} \frac{1}{||y-x||} n_y \cdot \nabla_y \frac1{||y-x||} dS_y$.

Let $\partial M$ be $C^2$ closed surface in $\mathbb{R}^3$, $M$ is open. Show that $$ f(x) = \frac{\int_{\partial M} \left| \frac{1}{||y-x||} n_y \cdot \nabla_y \frac{1}{||y-x||} \right| ...