The tag has no wiki summary.

learn more… | top users | synonyms

8
votes
1answer
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
0answers
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
1answer
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
0answers
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
4answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
2answers
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
3answers
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
1answer
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
1answer
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
0answers
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
2answers
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
2answers
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
2answers
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
3answers
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
2answers
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
1answer
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
3answers
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
2answers
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
3answers
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
0answers
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
3answers
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
3answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
3answers
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
1answer
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
2answers
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
2answers
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
1answer
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
1answer
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
1answer
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 ...