The curves-and-surfaces tag has no usage guidance.

**11**

votes

**0**answers

725 views

### Hamiltonian cycles and fundamental groups

I'm interested in the interplay between the Hamiltonian cycles of graphs and the compact surfaces they embed in. I was doing some reading on the Lovász conjecture for Cayley graphs, I started noticing ...

**9**

votes

**0**answers

135 views

### Area of the minimal surface of a non-planar quadrilateral in 3d

Consider a non-planar quadrilateral in three dimensions, i.e. four points $x_1,\dots,x_4$ in $\mathbb{R}^3$ that do not lie on a plane and connected by straight lines. Then, by general theory of ...

**8**

votes

**0**answers

657 views

### What is the relation between hypocycloids and ideals in polynomial rings as alluded to in Arnold's text on teaching mathematics?

While browsing through this site, I came upon the text of Arnold: "On teaching mathematics".
http://pauli.uni-muenster.de/~munsteg/arnold.html
containing the phrase
... it can be said that a ...

**7**

votes

**0**answers

91 views

### Kinematics of rolling knots

It is well known that there are trefoil knots without tritangent planes, and with 3d printers one can print these beautiful objects and make them roll on planes.
(An ...

**6**

votes

**0**answers

110 views

### Harmonic map heat flow in positive curvature

Suppose I wish to relax/smooth a map $\phi:M\rightarrow N$ between two surfaces $M,N$ embedded in $\mathbb{R}^3$. I could try flowing the map using harmonic heat flow, which (as I understand it) is ...

**6**

votes

**0**answers

522 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 ...

**4**

votes

**0**answers

201 views

### Are there Zoll pancakes?

How flat (flat in pancake-style, not in curvature 0-style), in some extrinsic intuitive measure, can a Zoll surface of revolution (embedded in Euclidean three-space) be?
I don't want to impose a ...

**3**

votes

**0**answers

220 views

### Hypersurface with singularities

I heard once about one open problem. That was about existing a hypersurface of a small degree (5? or 6?) passing through some number (5? 6?) of 3-fold points and 2-fold lines (3 lines?).
It was said ...

**3**

votes

**0**answers

170 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 ...

**3**

votes

**0**answers

117 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

**0**answers

66 views

### Topological/numerical constraints for the existence of more than one pencil

A famous theorem of Castelnuovo and de Franchis tells us that for $S$ a smooth projective complex algebraic surface that for $b \geq 2$, pencils $f : S \to B$ of genus $b :=g(B)$ are in bijective ...

**2**

votes

**0**answers

310 views

### Symmetry on a sphere

Let $u$ be a smooth function on the sphere $S^2$. Suppose there exists $C>0$ such that for all $R \in SO(3)$, the area of every nonempty connected component of $\{x\in S^2: u(x)> u(Rx)\}$ is at ...

**2**

votes

**0**answers

158 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

**0**answers

273 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 ...

**1**

vote

**0**answers

124 views

### Was this particular case of the tube formula known before Weyl and Hotelling?

The tube formula is a really nice result in differential geometry which relates the volume of the tubular neighborhood of a submanifold to its intrinsic geometry. It has been proved by Weyl in 1939 ...

**1**

vote

**0**answers

74 views

### Is triple point intersection 'generic' in Teichmuller space?

Let $S$ be a hyperbolic surface of finite type and $\alpha,\beta$ be two closed curves. Consider $X$ to be the set of all those points $\chi$ in the Teichmuller space $\mathcal{T}(S)$ of $S$ such that ...

**1**

vote

**0**answers

74 views

### General reparameterization of a b-spline

Say I have a bspline function (or curve) of order $k_1$, defined over some knot vector
$\mathbf{t} = \{ t_i\}_1^{n_1}$, i.e. $$f(x) = \sum_i a^i B_{i,k_1}(x).$$
Do you know of a process of finding ...

**1**

vote

**0**answers

142 views

### Uniqueness of lifting of very ample line bundle on smooth proper surfaces over DVR

Let $R$ be a complete Henselian discrete valuation ring of characteristic 0, $X_R$ be a surface smooth, proper and flat over $R$. Assume that the residue field $k$ of $R$ is algebraically closed of ...

**1**

vote

**0**answers

42 views

### Connectivity and contarctibility of complexes associated to curves and arcs

There are various complexes associated to a surface using the curves and arcs e.g. Curve complex, Arc complex, curve arc complex and so on (for a collection of such objects see This). Now to ...

**1**

vote

**0**answers

201 views

### Embedding a projective curve in a smooth surface (using a Bertini theorem)

Let $C$ be a reduced (not irreducible) projective curve of degree $d$ such that $C$ contains at most double points. By a result due to Kleiman and Altman, we know that there exists a smooth surface ...

**1**

vote

**0**answers

193 views

### Pull-back of globally generated sheaves

Let $X$ be a smooth projective surface in $\mathbb{P}^3$, $D=\sum_i n_iD_i$ an effective Cartier divisor. Let $C$ be a smooth irreducible curve on $X$. Denote by $i:C \hookrightarrow X$ is the closed ...

**1**

vote

**0**answers

151 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 ...

**0**

votes

**0**answers

64 views

### Embedding curves in hypersurfaces

Consider a curve $C$ in $\mathbb{F}_q^m$, say. I am interested in the existence of curves not contained in any small degree hypersurface.
For instance, a helix is not contained (or non-embeddable) in ...

**0**

votes

**0**answers

41 views

### Angle at self-intersection points of a curve in hyperbolic surface

Let $F$ be a hyperbolic surface of finite type. Let $\alpha$ be a closed oriented geodesic with more than one self intersection. Suppose all the self-intersections are double points. Let $\angle_p$ ...

**0**

votes

**0**answers

41 views

### Unitary derivative and countable set

Let $\mathbf{r}:I\to\mathbb{R}^2$, where $I\subseteq\mathbb{R}$ is an open interval, be a continuous function that is not constant on any subinterval $J\subseteq I$ such that at each point $t\in I$ ...

**0**

votes

**0**answers

94 views

### Positive curvature of the boundary away from a point implies regularity?

In a paper I'm refereeing, the authors make use of the following geometric fact:
Let $U$ be an open subset of $\mathbb{R}^2$. If there is a point $p\in \partial U$ so that $\partial U \backslash p$ ...

**0**

votes

**0**answers

84 views

### Intersection points of closed curves inscribed in a convex polygon

Suppose that I have two distinct simple closed curves, $C_1$ & $C_2$, and each is inscribed in a convex polygon, D. By inscribed, I mean tangent to each side of D. In particular, I am most ...

**0**

votes

**0**answers

227 views

### “Spreading out” locally free sheaves

Let $Y$ be a regular surface flat, projective over $R$, where $R$ is complete DVR. Let $X$ be the generic fiber and $F$ be a locally free sheaf on $X$. We know that if the rank of $F$ is $1$ then we ...

**0**

votes

**0**answers

221 views

### Understanding a proof of a lemma in elliptic surfaces

In the following paper , The Kahler-Ricci flow on surfaces of positive Kodaira dimension (Sung and Tian) in page 621, I am trying to understand the proof of part 1 of Lemma 3.4.
In the part 1 of ...

**0**

votes

**0**answers

53 views

### A question on the curvature of smooth and embedded curves in a plane

I am from China. This is my first question in this website.
Given a family of embedded, smooth and closed curves $\{X_i(s)\}_{i=1}^\infty$ in a plane, let us denote by $L_i$ the perimeter and ...

**0**

votes

**0**answers

76 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|$, ...

**0**

votes

**0**answers

83 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 ...

**0**

votes

**0**answers

332 views

### Approximate a piecewise linear path by a path with bounded curvature

I have a piecewise linear path in two dimensions (with finitely many pieces). I would like to approximate it by a curve whose radius of curvature is bounded away from 0 (i.e. I specify the bound a ...

**0**

votes

**0**answers

301 views

### Boxing the Rational Box

You surely all know the Perfect Cuboid problem. Here is a bit of pondering
on the Euler box (space diagonal doesn't have to be rational).
We start with the generators p,q,r and the surface ...

**-3**

votes

**0**answers

61 views

### pure ideal and indecomposable rings

I have a commutative ring with identity $R $ such that for every pure ideal $I $ (for any ideal $J $ of $R $ we have $I\cap J=IJ$)of $R $, the ring $R/I $ is indecomposable ring, now I want to know ...