The curves-and-surfaces tag has no wiki summary.

**8**

votes

**1**answer

591 views

### Geodesics on the twisted pseudosphere (Dini's surface)

I wonder how difficult it is to compute geodesics on Dini's Surface,
a twisted pseudosphere?
Here is one parametrization, from
Alfred Gray's Modern Differential Geometry of Curves and Surfaces, ...

**1**

vote

**0**answers

72 views

### invariance of the dimension of severi varieties of surfaces

Suppose I have a smooth projective surface $S\subset P^n$ embedded by a very ample linear system $|L|$. Consider now the generalized Severi varieties that parametrize curves on $S$ belonging to $|L|$, ...

**1**

vote

**1**answer

100 views

### Centralizer of a pseudo-Anosov element

What is the centralizer of a pseudo-Anosov element in the mapping class group of an orientable punctured surface? Is it cyclic? If so, where can I find a proof?

**3**

votes

**0**answers

157 views

### Mapping One Curve to another using Dehn Twists

Let $M$ be an orientable surface with genus $g>1$. Let $\alpha$ and $\beta$ represent two different isotopy classes of essential curves on the surface. Is anyone aware of a technique or algorithm ...

**10**

votes

**4**answers

480 views

### How to detect a simple closed curve from the element in the fundamental group?

(1) Given a fundamental group representation of a hyperbolic surface, i.e. $<a_j,b_j|\prod[a_j,b_j]=1>$, and given an element in this group, can we determine whether this element can be ...

**6**

votes

**1**answer

164 views

### Curvature flows for PL closed curves in the plane?

I'm curious to what extent people have studied "curvature flows" on PL closed curves in the plane.
There's a paper by Gage and Hamilton from 1986 that describes the long-term behaviour of smooth ...

**5**

votes

**1**answer

137 views

### Injective simplicial maps between Arc complexes

Let $A(S)$ denotes the Arc complex of a finite type hyperbolic surface $S$ with nonempty boundary. Let $\lambda:A(S)\rightarrow A(S)$ be a map such that on triangulations of $S$ i.e. on the top ...

**6**

votes

**0**answers

506 views

### Bezout Theorem in $\mathbb P^3$

For a $\mathbb C P^2$ is known a result: if through the generic points $p_1,p_2,\dots p_n$ with multiplicities $m_1,m_2\dots, m_n$ correspondingly a degree $d$ curve passes then $d^2\geq ...

**2**

votes

**1**answer

168 views

### winding number for outer-pointing normal

While trying to characterize the complexity of a closed differentiable curve (for a path planning application), I've been using a notion which is similar in spirit to the winding number of a curve. ...

**2**

votes

**1**answer

177 views

### Characterization of convex space curve

In general, a smooth curve $C$ in $R^3$ that lies entirely on the boundary of its convex hull, $\mathcal{H}(C)$, is defined to be convex.
Does any one know of a characterization of a curve in space ...

**0**

votes

**0**answers

78 views

### Existence of special pants decompositions for non-elementary representations into PSL(2,R)

A Theorem by Gallo, Goldman and Porter states the following:
Let $S_g$ be a closed orientable surface of genus $g$ with fundamental group $\Gamma_g$, and fix a non-elementary representation ...

**8**

votes

**2**answers

357 views

### Surface in 3D that realizes all pairs of principal curvatures

This is a question that Willie Wong raised in comments after he answered my question,
Surface analog of clothoid: curvatures covering $\mathbb{R}^3$. Willie's question is
more interesting (and ...

**1**

vote

**3**answers

278 views

### Surface analog of clothoid: curvatures covering $\mathbb{R}$

The clothoid $C$, a.k.a. the Euler spiral,
is one among many curves with
the property that its curvatures cover $\mathbb{R}$
in the sense that, for every $x \in \mathbb{R}$,
there is a point $p \in C$ ...

**6**

votes

**1**answer

232 views

### Representation of surface group

Is there a faithful representation of a surface group of genus $>2$ into $GL(n,\mathbb{C})$ for some $n$ for which, for each conjugacy class of each embedded loop in the fundamental group, the ...

**7**

votes

**1**answer

102 views

### A procedure to determine if an automorphism of a closed 2-manifold extends to an automorphism of a handlebody

In a paper of Casson and Gordon's "A loop theorem for duality spaces and fibred ribbon knots. Invent. Math. 74 (1983), no. 1, 119–137" they give a necessary criterion for a fibred knot to be a ribbon ...

**3**

votes

**0**answers

106 views

### The central fiber of this family of surfaces?

I have a question on a description of a central fiber of the following family of surfaces.
Let $B,C \subset \mathbb{P}^2$ be smooth curve of degree $2d$ and $d$ respectively. Let's consider the ...

**2**

votes

**2**answers

337 views

### Existence of smooth surfaces containing a curve

Let $C$ be a curve in $\mathbb{P}^3$, possibly non-reduced. Assume, there exists a smooth surface in $\mathbb{P}^3$ containing $C$. Is it true that for $d \gg 0$, a generic element of $I_d(C)$ defines ...

**12**

votes

**2**answers

522 views

### On closed simple curve with curvature at most 1

I am looking for the reference to the following theorem.
I have to apply a similar statement, and it would be nice to trace the source.
Please note, I know few proofs in fact it is Problem 3 in my ...

**1**

vote

**2**answers

264 views

### Producing $(-2)$ curves on a smooth surface

We know that blowing up a point on a surface produces a $(-1)$ curve. Is there any such standard techniques to produce $(-2)$ curves in a smooth surface?

**2**

votes

**3**answers

179 views

### How to tell if a second-order curve goes below the $x$ axis?

Suppose we have a second-order curve in general form:
(1) $a_{11}x^{2}+2a_{12}xy+a_{22}y^{2}+2a_{13}x+2a_{23}y+a_{33}=0$.
I'd like to know if there is a simple condition that ensures that the curve ...

**1**

vote

**2**answers

445 views

### Equation for simple Jacobian of a genus two curve

Let $X$ be a curve of genus two over a field $k$ with a $k$-rational point. Let $J$ be the Jacobian of $X$.
Can we write down an explicit equation for the abelian surface $J$?
I know $X$ can be ...

**4**

votes

**1**answer

160 views

### is there some condition I can impose on families of curves on a surface such that the second Ext between the ideal sheaf and the structure sheaf is zero?

(the title got out of hand)
Say I have a surface $X$, then I also have M, the Hilbert scheme of curves and points on X.
This can be seen as a moduli space of quotients $O_X \to O_Z$.
If $I_Z$ is the ...

**5**

votes

**3**answers

4k views

### Proof without words for surface area of a sphere [closed]

I love the book Proofs Without Words by Roger B. Nelsen. One of the proofs I liked the most was this: Area under one arch of a cycloid is 3 times the area of the wheel that traces it. You break the ...

**3**

votes

**2**answers

502 views

### Surfaces in $\mathbb R^3$ with negative curvature bounded away from zero

Is there a surface in $\mathbb R^3$ which is a closed subset and whose curvature is negative and bounded away from zero?
And the small-print...
By surface I mean smooth surface without ...

**0**

votes

**3**answers

351 views

### difference of curve classes

Let $X$ be a smooth protective variety, or just a smooth Kahler manifold. Is it possible to have two curves $C_1$ and $C_2$ in $X$ such that their difference in $H_2(X,\mathbb{Z})$ is a non-trivial ...

**2**

votes

**1**answer

228 views

### Generalization of Vogt's Theorem for curves in higher dimension

The Vogt's theorem for plane curves states that if A and B are endpoints of a spiral arc,
the curvature nondecreasing from A to B. The angle $\beta$ of the tangent to the arc at B with the chord AB ...

**2**

votes

**2**answers

470 views

### two curves filling a surface

Let $S$ be a closed surface of genus $g \geq 2$. There exist two simple closed curves filling $S$?
Definitions:
Two closed curves $\alpha, \beta$ fill $S$ if they have minimal intersection and $S ...

**3**

votes

**1**answer

456 views

### How to find the action of an automorphism on the 27 lines on a cubic surface?

Assume $C\subset \mathbb{P}^2$ is a smooth cubic curve. Then there is a cyclic triple cover $\pi: S\rightarrow \mathbb{P}^2$ ramified in $C$. Let $\sigma$ be the covering automorphism (sheet ...

**4**

votes

**1**answer

298 views

### Divisorial contraction: when is the image an algebraic space or a stack?

Let $X$ be a smooth projective surface (in the category of varieties, or schemes), and let $C\subset X$ be a curve (a priori not irreducible, but the irreducible case in itself is already ...

**2**

votes

**1**answer

187 views

### curvature of curves in the space of gaussians measures

I have a sequence of symmetric positive definite matrices in $GL(n)$ (in my case, covariance matrices of some gaussians) and vectors $R^n$ (the mean of these gaussians). I consider this sequence to be ...

**1**

vote

**0**answers

142 views

### Bonnesen's inequality for non-simple curves

Given a closed curve in the plane $\mathbb{R}^2$, it is well known that $L^2 \geq 4\pi A$ where $L$ is the length of the curve and $A$ is the area of the interior of the curve.
For a simple closed ...

**3**

votes

**3**answers

676 views

### A simple closed curve on a surface

How to describe a simple closed curve on an oriented surface of genus g? I know the answer only for the torus. It would be nice to find an article or a book where proof can be found.

**2**

votes

**0**answers

153 views

### An isoperimetric type maximization problem with a barrier.

I'm trying to minmize a particular functional which depends on a curve with fixed endpoints which lies below a fixed line in $\mathbb{R}^2$. Here are the details:
Let $(r(\theta), \theta)$ be a ...

**2**

votes

**1**answer

136 views

### Generalization of an inequality due to Gage for curve shortening Part II

I asked a question recently about generalizing an inequality due to Gage. This inequality asserts that given a convex domain $\Omega$ in $\mathbb{R}^2$ with support function $p(X) = \langle X, \nu ...

**2**

votes

**1**answer

306 views

### Quermassintegrals as mean curvature integrals

It is well-known that the quermassintegrals $W_{i}$ of a convex body $K\subset \mathbb{R}^{n}$ can be written as a mean curvature integral
$$ W_{i}(K)=n^{-1}\int_{\partial K}H_{i-1} ...

**2**

votes

**1**answer

235 views

### Generalization of an inequality due to Gage for curve shortening

There is a well known inequality due to Gage which asserts the following.
Let $\Omega$ be a smooth, convex set in $\mathbb{R}^2$ and let $p = \langle X, \nu \rangle$ be the support function of ...

**1**

vote

**2**answers

269 views

### Pencil of lines and degree $d$ curve in $\mathbb{CP}^2$

Question. Let $C$ be a generic smooth curve of degree $d$ in $\mathbb{CP}^2$, and let $P$ be an arbitrary point away from this curve. How many lines are there through point $P$ that are tangent, or ...

**9**

votes

**3**answers

942 views

### Extending birational isomorphisms between planar curves to the P^2

Let $k$ be a field and let $C,D$ be two integral curves in $\mathbb{P}^2_k$. Now let $f:C \to D$ be a birational isomorphism. Can $f$ be extended to $\mathbb{P}^2_k$. To be precise, does there exist a ...

**3**

votes

**1**answer

200 views

### Bezier Curves question

Hi everyone
I have a fairly simple question about bezier curves: can you represent n bezier curves that have been continuously joined together by a single bezier curve of degree 3n?
My instinct is ...

**2**

votes

**0**answers

245 views

### What is the analog of “monotonic” for scalar functions on surfaces?

"monotonic" is well defined for functions $f(x)$, where e.g. $x\in[0,1]$ and $f(x)\in\mathbb{R}$. The quality I particularly care about is that if $f(x)$ is monotonic then it will not have any local ...

**2**

votes

**1**answer

291 views

### Minimal surface as varities

Minimal surface equation is the following:
$$(1+ \phi_t^2) \phi_{xx} - 2 \phi_x \phi_t \phi_{xt} + (1 + \phi_x^2) \phi_{tt} =0$$
Solution of this equation $\phi(x,t)$ is minimal surface(non ...

**3**

votes

**1**answer

264 views

### Defining ideals for rational curves in space

A rational normal curve $C_d\subset\mathbb{P}^d$ is defined by quadrics. I guess, for the generic projection $\mathbb{P}^d\stackrel{\pi}{\to}\mathbb{P}^n$ the image $\pi(C_d)$ is still defined by ...

**1**

vote

**1**answer

266 views

### 'Reference' request: Program to work with cyclic quotient singularities.

I'm looking for program code to deal with cyclic quotient singularities on normal surfaces. In particular, at the moment I need that given a singularity $p$ like $p=\frac{1}{n}(1,a)$ the code ...

**9**

votes

**3**answers

431 views

### Flips of triangulations on non-orientable surfaces

Let $N_{k,r}$ be a non-orientable surface of genus $k$ (i.e the connected sum of $k$ projective planes) and with $p\geq 1$ punctures.
I'm looking at ideal triangulations of the surface, namely ...

**4**

votes

**1**answer

630 views

### Example of cone of numerically effective curves which is not polyhedral

I think I have seen more than one reference in which the cone of numerically effective curves can be 'not polyhedral', i.e. with an infinite number of extremal rays
I cannot remember where I read ...

**1**

vote

**2**answers

247 views

### Numerically negative exceptional divisor on a surface.

Suppose $S$ is an algebraic surface (possibly projective) over an algebraically closed field $k$. Suppose $D_i$ are irreducible smooth curves (rational, if you want) with negative self-intersection ...

**5**

votes

**2**answers

1k views

### Nagata's conjecture, Seshadri constant

What is it known now about Nagata's conjecture and Seshadri constant (http://en.wikipedia.org/wiki/Nagata%27s_conjecture_on_curves and http://en.wikipedia.org/wiki/Seshadri_constant) for toric ...

**2**

votes

**1**answer

259 views

### Does each finite morphism of curves have a model whose minimal resolution is semi-stable

Let $\pi:Y\to X$ be a finite morphism of smooth projective geometrically connected curves over a number field $K$.
Question. Does there exist a finite field extension $L/K$ and a regular model ...

**2**

votes

**1**answer

299 views

### Log resolutions on surfaces and 3-folds in characteristic p

If $X$ is a normal projective variety and $D$ a divisor in it, we say that $\pi\colon (\widetilde X,\widetilde D)\rightarrow (X,D)$ is a log resolution if $\widetilde X$ is a resolution of $X$, the ...

**4**

votes

**1**answer

438 views

### Del pezzo surfaces in positive characteristic

For me a Del Pezzo surface $X$ over an algebraically closed field of characteristic $p$ is an algebraic surface where the anticanonical bundle $\omega^{-1}_X$ or $-K_X$ is ample. (I prefer the second ...