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

learn more… | top users | synonyms

13
votes
0answers
322 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
163 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 ...
9
votes
0answers
82 views
+300

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, $...
6
votes
0answers
311 views

Response Surface Methodology using Moving Least Squares Method

I would like to obtain the response surface of a mathematical function for reliability-based design optimization (RBDO). To obtain a reliably response surface, I learned that moving least squares ...
6
votes
0answers
56 views

Solving a 2nd-order elliptic PDE with non-constant coefficients

I wonder how I can solve the following 2nd-order PDE on the positive semiplane $\{x>0\}$: $$(\partial_x^2+\frac{1}{x}\partial_y^2)\phi=\delta(x-x_0)\delta(y).$$ I notice that the l.h.s. is the ...
6
votes
0answers
157 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
154 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
206 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 ...
5
votes
0answers
81 views

a subspace of $\mathbb R^3$ with $\pi_1=\mathbb Z_2$

I've been wondering about such problems. It is well known that $\mathbb{RP}^2$ cannot be realized as a subspace of $\mathbb R^3$. But does there exist a space $X\subset\mathbb R^3$ (maybe even $...
5
votes
0answers
80 views

Compact surfaces with boundary of constant negative curvature

Consider a surface (with boundary) diffeomorphic to $S^1 \times [0, 1]$ and with constant negative curvature, sitting inside $\mathbb{R}^3$. All the examples I know of such surfaces are "part of" (or "...
5
votes
0answers
126 views

Computing a contraction of an exceptional divisor.

For a few days, I have been working on the following problem, from Qing Liu's book: Let $\mathcal{O_K}$ be a discrete valuation ring with uniformizing parameter t and residue characteristic $\neq 2,3$...
5
votes
0answers
95 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 ...
5
votes
0answers
623 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 ...
4
votes
0answers
93 views

How to calculate the area of the visible parts of a 3D PieChart?

I have created a 3D Pie Chart whose major feat (among the others) is to be rotated: I did it to demonstrate how the visual perception of data in a Pie Chart can be distorted depending on the ...
4
votes
0answers
134 views

Two twisted cubic curves in $\mathbb P^3$ intersect iff they lie in a common cubic surface

Let $C_1$ and $C_2$ be twisted cubic curves in $\mathbb P^3$. I want to prove that they intersect if and only if they lie in common cubic surface, perhaps singular. The second condition can be ...
4
votes
0answers
46 views

Misinterpretations of Hilbert's Theorem?

I've seen a few posts here that make certain claims that are related to Hilbert's theorem. For instance: "I know that there is no complete surface embedded in $\Bbb R^3$ of constant curvature $-k$ ...
4
votes
0answers
75 views

Manifold is cut along hypersurfaces; how to define a connection on this?

May $M$ be a smooth manifold with boundary $\partial M$. Metrics and Connection can be defined everywhere. But now this manifold is cut by a smooth hypersurface $A$ and the cut goes along $M \cap A$ ...
4
votes
0answers
128 views

How to classify this surface

I know that it should be either a sphere, torus, Klein bottle, real projective plane, or a connect sum of any combination of these, but I don't know the steps in identifying what kind of surface this ...
4
votes
0answers
80 views

What is the mean curvature of a developable surface?

I am trying to calculate the mean curvature of a developable surface but having some difficulty. Any help would be greatly appreciated! I am very new to differential geometry so please bear with me, ...
4
votes
0answers
128 views

What is the co-kernel of the morphism of vector bundles?

Let $X$ be a surface, and $i:C\subset X$ be a smooth curve. Let $A$ be a line bundle on $C$, and $E$ be a vector bundle of rank $r$ on $X$. Suppose there is a surjection: $E\longrightarrow i_*A\...
4
votes
0answers
84 views

Given the equation for a surface, how to find enclosed volume?

Suppose we give an equation of the form $f(x_1,x_2,..., x_n)=C$, with $f$ a smooth function, and assume this is such that defines a closed surface in $\mathbb{R}^{n+1}$. Assume also that the equation ...
4
votes
0answers
60 views

Property that defines Quadric Surface

The book < Geometry and the Imagination > (written by David Hilbert) introduces a property of a Quadric Surface without a proof. Property : The cone consisting of all the tangents from a ...
4
votes
0answers
99 views

Blowing up a Singular Point More Than Once.

I am trying to understand how $I_n$-fibres appear in an elliptic surface by performing a sequence of blow-ups. To be concrete, I am looking at the following elliptic surface given in Weierstrass ...
4
votes
0answers
99 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 ...
4
votes
0answers
449 views

The Birman–Hilden Theorem and the Nielsen–Thurston classification

So this post is half question/half reference request, as I'm sure it's the kind of thing people would have thought about before (and indeed the question might even be trivial), but I've been unable to ...
4
votes
0answers
83 views

Space of solutions to $f(x+y) = f(x) + f(y)$ when $f$ is convex

Let $f:\mathbb{R}^n\rightarrow\mathbb{R}$ be a nonlinear convex function, and let $x\in\mathbb{R}^n$ be an arbitrary vector. Define the set $\Omega_f(x)$ as $\Omega_f(x) \triangleq \{z\in\mathbb{R}^n:...
4
votes
0answers
229 views

Morse theory and homology of an algebraic surface (example)

Let $T_n$ denote the $n$-th Chebyshev polynomial and define $f_n(x,y,z)\!:=\!T_n(x)\!+\!T_n(y)\!+\!T_n(z)$ and $$Z_n:=\mathcal{Z}(f_n) \subseteq \mathbb{R}^3,$$ the Bachoff-Chmutov surface, where in ...
4
votes
0answers
227 views

Understanding surface area of a revolution/length of curve

I don't quite understand why the formula to find the surface area of a revolution is what it is: $$A = 2\pi \int_a^b x\ \sqrt{1 + \left(\frac{\text{d}y}{\text{d}x}\right)^2}\ \text{d} x.$$ I would'...
3
votes
0answers
26 views

Given a first fundamental form, showing a particular second form cannot exist

If I have a first fundamental form $ \mathrm{d}u^2+\cos^2 u \mathrm{d}v^2$, I am trying to show that the second fundamental form cannot equal $f(u,v)\mathrm{d}v^2$ for a smooth function $f(u,v)$. I ...
3
votes
0answers
46 views

Polar forms of algebraic curves & surfaces

A paper I'm reading says the following ... With homogeneous coordinates $\mathbf{x} = [x,y,z,w]$, let $F(\mathbf{x}) = 0$ be the equation of a surface of degree $n$. The first polar form of $F(\...
3
votes
0answers
26 views

Reference to an atlas of curves and surfaces?

I remember at more than one university math department there being a set of glass cabinets with a number of physical models of surfaces. They were all algebraic varieties on the reals (of limited ...
3
votes
0answers
58 views

Hypersurfaces containing given lines

Let $L_1, ..., L_n$ be non-intersecting (general, if necessary) lines in $\mathbb P^3$. I need to find the dimension of the space of polynomials of degree $d$, vanishing on these lines. ...
3
votes
0answers
39 views

Is the given set an open subset of the $\mathcal{G}^r_d(|L|)$

Let $X$ be a smooth projective surface over $\mathbb{C}$. Let $L$ be a very ample line bundle on $X$. We have a variety $\mathcal{G}^r_d(|L|_s)$ associated to the linear system of curves $|L|$. The ...
3
votes
0answers
116 views

Grothendieck and Segre's proof of the Hodge Index theorem

On a field of positive characteristic we have the following well-known and important result: (Hodge Index theorem) Let $H$ be an ample divisor on a surface $X$, and suppose that $D$ is a divisor,...
3
votes
0answers
40 views

name this Romanesque surface

I happened to notice that the surface $$ x = \sin(u-v), y = \sin(v), z = \sin(-u) $$ or equivalently (if I haven't blundered) $$ x^4 + y^4 + z^4 - 2 x^2 y^2 - 2 x^2 z^2 - 2 y^2 z^2 + 4 x^2 y^2 z^2 = 0 ...
3
votes
0answers
46 views

About rational curves on elliptic K3 surfaces

I am trying to read this paper http://arxiv.org/pdf/math/9902092.pdf. I have some trouble at the end in Corollary 3.27, and also Proposition 3.24. 0)Morally speaking my main trouble is that i don't ...
3
votes
0answers
228 views

Squeezed cylinder parametrization

A Cylinder is such a common surface. But is there a parametrization for an isometrically $ R^2 $ bent cylinder whose major and minor dimensions are along x, y axes? I used an approximation to ...
3
votes
0answers
87 views

Calculating the equation of a multivariable surface of revolution

I'm stucked with a surface equation problem so I would be very thankful if someone could help me with it. What the excercise says: Find the equation of the revolution surface that is spanned when ...
3
votes
0answers
92 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 ...
3
votes
0answers
101 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 \...
3
votes
0answers
94 views

Homotopy versus path-homotopy on punctured surface

I have some problems with homotopies. The situation is this: Let $X$ be a surface, which is homeomorphic to a 2-Sphere with a finite number (at least 3) of points removed (equivalently, an open ...
3
votes
0answers
58 views

Find the surface integral of $f=|x|-|y|$ over the part of $z=1-\frac{x^2}{M}-\frac{y^2}{N}$ inside a cylinder.

(a) Find the surface integral of $f=|x|-|y|$ over the part of $z=1-\frac{x^2}{M}-\frac{y^2}{N}$ inside the region $\frac{x^2}{M^2}+\frac{y^2}{N^2}=1$ (b) Find the surface integral of $f=|xy|$ over ...
3
votes
0answers
103 views

Working with projection of areas?

I was recently solving a physics problem which had to do with the momentum imparted by a photon beam to a perfectly absorbing sphere and a perfectly reflecting one. Considering the former and Putting ...
3
votes
0answers
211 views

Calculating the Solid Angle

$\textbf{Problem:}$ Consider we have a class $C^1$ parameterization $\psi:[a_1,b_1]\times[a_2,b_2]\rightarrow\mathbb{R}^3-\{0\}$ for the surface $S$. Also, consider that $S$ is such that the map $\...
3
votes
0answers
172 views

Does the dual of a vector bundle with ample determinant have global sections

Let $E$ be a locally free sheaf on a smooth projective variety $X$ over $\mathbb C$. Suppose that $\det E$ is an ample line bundle on $X$. Is $$H^0(X,E^\vee) =0?$$ In fact, if $E$ of rank $1$, it is ...
3
votes
0answers
57 views

What are the easiest surfaces of general type

The "easiest type" of curves of general type are those of genus two. In this case $\chi(X,\mathcal O_X) = -1$ and $\deg K = 2$, where $K$ is the canonical sheaf. I'm a bit lost when it comes to ...
3
votes
0answers
459 views

Surfaces are homeomorphic iff are diffeomorphic.

I have read this statement in several places: "Two surfaces are homeomorphic iff are diffeomorphic". I think the nontrivial implication follows in this manner: First, we triangulate the surface and ...
2
votes
0answers
38 views

Total Gaussian curvature

For a compact surface, $S$, in $\mathbb{R}^3$, how would I go about showing that the total Gaussian curvature $\int_S K da \leq 4 \pi$? I feel like Hopf's Umlaufsatz and the Gauss-Bonnet Theorem are ...
2
votes
0answers
30 views

For surfaces in $\mathbb R^3$, does $ ds^2 = du^2 + G(u)^2 dv^2$ implies $|\frac{\partial G(u)}{\partial u}| ≤1 $?

Let we have a regular surface in $\mathbb R^3$, parameterized by $ \vec r(u,v)$. Suppose that the first fundamental form (metric) of this surface is given by: $ ds^2 = du^2 + G(u)^2 dv^2$ (G(u) only ...
2
votes
0answers
32 views

Does this base change yield another dominant morphism?

Here's something that seems to be true, or at least I hope it to be true, but I'm unable to prove it: Let $S$ be a $k$-rational surface and $B$ a curve, both projective, smooth and geometrically ...