For questions about surfaces.

learn more… | top users | synonyms

2
votes
1answer
197 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
54 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
106 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
32 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
127 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
1answer
88 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
81 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 ...
2
votes
1answer
103 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
134 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
61 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
61 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 ...
2
votes
1answer
68 views

Degree of blow up of a smooth projective surface

Let $X$ be a smooth projective hypersurface in $\mathbb{P}^3$ and $\{x_i\}_{i \in I}$ be a finite set of closed points in $X$. Let $X'$ be the blow up of $X$ at these points. Then, $1)$ Is there a ...
2
votes
2answers
111 views

parametrization of plane in $\mathbb R^3$

Parametrize the plane in $\mathbb R^3$ with direction vectors $\hat u$ and $\hat v$ and through the point $p$ as in representation as the range of a $C^1$ function $f:\mathbb R^2\to\mathbb R^3$. ...
3
votes
1answer
68 views

Irreducible hypersurfaces vs irreducible polynomials

I know there exists a bijective correspondence between affine irreducible hypersurfaces and irreducible polynomials. This correspondence associates to each irreducible hypersurface ...
1
vote
2answers
461 views

Find the surface area obtained by rotating $y=1+3x^2$ from $x=0$ to $x=2$ about the y-axis.

Find the surface area obtained by rotating $y= 1+3 x^2$ from $x=0$ to $x = 2$ about the $y$-axis. Having trouble evaluating the integral: Solved for $x$: $x=0, y=1$ $x=2, y=13$ $$\int_1^{13} ...
0
votes
1answer
31 views

Multivariable Calculus Surface Integral Calculation

I have a surface bounded by $x^2+y^2=1$ and $x^2+y^2=9$ (cylinders) as well as the planes z=0 and z=3.The vector field is $(yx^3,xy^3,x)$. I know this involves the divergence theorem, where I would ...
0
votes
2answers
41 views

Three Surface Integrals

Could someone assist with the following three surface integrals? Q1 The portion of the cone $z=\sqrt{x^2+y^2}$ that lies inside the cylinder $x^2+y^2 =2x$. Q2 The portion of the paraboloid ...
2
votes
1answer
70 views

Intersections with elliptic curves on a K3 surface

This is a fairly simple question. Suppose $E$ is an elliptic curve on a K3 surface $X$. Can we say that $E$ must intersect any curve $D\subset X$ of genus $g(D)\geq3$ ?
9
votes
1answer
146 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 : ...
4
votes
1answer
72 views

Cubic surface and birational equivalence

Following Shafarevich "Algebraic Geometry II", I found this example. Let $X_3\subset\mathbb{P}^3$ a smooth cubic surface. To prove that $X_3$ is rational he claims that there is a birational map ...
6
votes
2answers
89 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 ...
2
votes
0answers
46 views

What kind of surface is this?

I'm not a math guru, but just fascinated by it, so sorry if my questions are only curiosity and not high level. In some contemporary art website I have found this image: In the right side there is ...
0
votes
2answers
39 views

Implicit Representation of Surfaces - Basic Quesion

I am reading on implicit representations of surfaces and cant quite come around the following example. Take $F : \mathbb{R^3} \rightarrow \mathbb{R}$, where $F(x,y,z)=x^2+y^2+z^2$. Now we want to ...
2
votes
2answers
63 views

Quadric surface as a $\mathbb{F}_n$ surface

The minimal models for rational projective smooth surfaces are $\mathbb{P}^2$ or the surfaces $\mathbb{F}_n$ for $n\neq 1$, where ...
3
votes
1answer
84 views

Del Pezzo surface of degree $4$

I'd like to show that the del Pezzo surface $S_4\subset\mathbb{P}^4$ (i.e. the complete intersection of two quadrics) is rational. I've got two possibilities: 1- I show that is the blow-up of ...
2
votes
1answer
73 views

Smooth surface that is a complete intersection

I have this definition of a projective complex algebraic surface that is a complete intersection. A surface $S\subset\mathbb{P}^{r+2}$ is said to be a complete intersection if it is a trasversal ...
0
votes
0answers
74 views

equivariant map $\mathbb{CP}^1 \to \mathbb{CP}^2:$ where does it send the boundary

Start from a map $\mathbb{CP}^1 \ni (u:v) \mapsto (x:y:z) \in \mathbb{CP}^2$ given by $$ x = au^2, \quad y = av^2, \quad z = uv,$$ where $a \in \mathbb{R}$ is a parameter. The image of the map is the ...
1
vote
1answer
200 views

Covering of orientable surface (Hatcher)

The following is an exercise from Hatcher, Algebraic Topology, that I'm struggling with (exercise 2.2.23): Show that if the closed orientable surface $M_g$ of genus $g$ is a covering space of $M_h$, ...
2
votes
2answers
578 views

Homology of orientable surface of genus $g$

I came across the problem of computing the homology groups of the closed orientable surface of genus $g$. Here Homology of surface of genus $g$ I found a solution via cellular homology. This seems ...
1
vote
1answer
29 views

holomorphic disk and crosscap as quotients of $\mathbb{CP}^1$ by antiholomorphic involutions

Consider $\mathbb{CP}^1 \ni (u:v)$ and the maps $$ \sigma_{\pm}: \quad (u:v) \mapsto (\overline{v}:\pm\overline{u})$$ How do we show that the quotient $\mathbb{CP}^1/\sigma_+$ gives a disk, and ...
1
vote
1answer
114 views

Linear systems and hyperplane sections on surfaces

Let $S$ be a smooth projective surface. If $H$ is an hyperplane section on $S$ and $D$ a divisor (that can be not effective) such that $(H.D)<0$, why can we conclude that the linear system $|D|$ is ...
4
votes
1answer
130 views

Book with color pictures of algebraic surfaces

I have a pretty specific question: I'm looking for a book with color pictures of algebraic surfaces. Could anyone point me in the right direction?
1
vote
1answer
39 views

$\int_{S_{n-1}} \exp(i a\cdot\xi) \,\mathrm{d}S(\xi)$

Let $n\in\mathbb{N}$ and $a\in\mathbb{R}^n$. The question is to find the value $$A_n := \int_{S_{n-1}}\exp(i a\cdot\xi)\,\mathrm{d}S(\xi),$$ where $S_{n-1}$ denotes the $(n-1)$-dimensional sphere in ...
4
votes
1answer
177 views

Hyperplane sections on projective surfaces

I am studying Beauville's book "Complex Algebraic Surfaces". At page 2 he defines the intersection form (.) on the Picard group of a surface. For $L, L^\prime \in Pic(S)$ ...
0
votes
0answers
60 views

Auto-intersection of a line on a smooth cubic surface

Can someone help me with the following idea? I think that i made a mistake: Let $X$ be a smooth surface of degree $d$ in $\mathbb{P}^3$ and $L$ denote the divisor class of a line on $X$. We have ...
4
votes
1answer
174 views

The Definition of the Second Fundamental Form

Let $r:M\rightarrow{\mathbb{R}^{n+1}}$ be an isometric immersion and $M$ is an $n$-dimensional Riemannian Manifold. That is to say, $M$ is the hypersurface in $\mathbb{{R}^{n+1}}$. Then we can ...
0
votes
2answers
163 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 ...
0
votes
0answers
66 views

The Geometrical Mean of $T^2$#$RP^2=RP^2$#$RP^2$#$RP^2$

This is my homework: $T^2$#$RP^2=RP^2$#$RP^2$#$RP^2$ Below is what I have think: From the book of M.A.Armstrong, I find $RP^2$#$RP^2$#$RP^2$ is a sphere which is attached by three Mobius ...
20
votes
3answers
276 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? ...
1
vote
0answers
65 views

Help with Plateau's Laws

Can someone please explain mathematically what is meant by the term 'smooth' in Plateau's First Law: "Soap films are made of entire smooth surfaces" Thank you in advance!
2
votes
2answers
1k views

Surface area of intersection of two cylinders

Let $$R=\{(x,y,z):y^2+z^2\leq 1\,\, \text{and}\,\, x^2+z^2\leq 1\}.$$ Compute the volume of $R$. Compute the area of its boundary $\partial R$. I'm fine with #1. For #2, I have a ...
1
vote
1answer
148 views

What is a rational elliptic surface?

I know what is an elliptic surface, and I also know what is a Rational surface. However I can't find the definition of Rational elliptic surface. Can any one help me? I read this on the Kulikov ...
1
vote
1answer
147 views

Showing that a map between surfaces is a local isometry

Currently studying Differential Geometry of Curves and Surfaces. We have: $$\sigma:(0,\infty) × \mathbb{ R} \to \mathbb{R}^3, \quad (u,v) \to \frac{1}{\sqrt{2}} (u \cos v,u\sin v ,u)$$ We need to ...
2
votes
0answers
36 views

Difference between diffeomorphisms fixing a point or a whole neighborhood.

Let $S_g$ be a closed orientable surface of genus $g$ and $S_{g}^1$ a closed orientable surface with one boundary component. Let $p$ be in $S_g$ and let's note $\mathrm{Diff}_+(S_g,p)$ the set of ...
2
votes
1answer
150 views

A lemma on the growth of the number of certain edge paths for a given train track

How to prove the following lemma from the book "Closed curves on surfaces" written by Francis Bonahon? Lemma: For any fattened train track $\Phi$, the number of edge paths of $\Phi$ of length $r$ ...
1
vote
1answer
56 views

Parametrize $|x|+|y|+|z|=1$

How can we parametrize the surface $|x|+|y|+|z|=1$? Here I mean differentiable parametrize. I think we may need to divide it into 8 pieces and consider them respectively.
1
vote
1answer
65 views

Determining the surface with given polynomial borders

Let's say we'd like to guess the shape (I'm not sure the word 'approximate' is appropriate here) of some surface when we are given its borders via third order polynomials (i.e. we are given their ...
0
votes
0answers
36 views

Integration by substitution on surface

Suppose I have an integral on the boundary of a Lipschitz domain $\Omega \subset \mathbb{R}^n$ $$\int_{\partial\Omega} f(x-y)dS$$. where $dS$ is the surface element $dS = g(x)dx$. Can I do a ...
1
vote
1answer
61 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
83 views

Are there odd-sheeted coverings of non-orientable surfaces by orientable surfaces?

For any non-orientable surface (compact,connected) $X$ with genus $h$, we have a $2n$-sheeted cover of $X$ by an orientable surface $Y$ first by covering $X$ by $\Sigma_{h-1}$ (a double cover) and ...