The tag has no usage guidance.

learn more… | top users | synonyms

2
votes
0answers
40 views

decomposition of codim 1 currents

Let $T$ be an codimension one rectifiable mass-minimizing current. If $\partial T\llcorner B_R(a)=0$, then it is possible to write $T$ as an infinite sum of oriented boundaries: $T\llcorner ...
1
vote
0answers
59 views

A third degree surface and a touching sphere [closed]

Let consider a surface $z=1/(xy)$ and a sphere defined by $(x-1.5)^2+(y-1.5)^2+(z-1.5)^2=3/4$. The sphere touches the surface at (1,1,1). Is it possible to prove that point (1,1,1) is the only ...
3
votes
1answer
195 views

Polars of algebraic curves and surfaces

I asked this on Math.StackExchange, but received no response, so trying here ... A paper I'm reading says the following ... With homogeneous coordinates $\mathbf{x} = [x,y,z,w]$, let ...
2
votes
1answer
155 views

Families of smooth projective varieties over dvr

Let $R$ be a discrete valuation ring with residue field $k$, an algebraically closed field of characteristic zero and $\pi:X\to \mbox{spec}(R)$ a smooth, projective family of surfaces. Denote by ...
11
votes
0answers
428 views

Functions approximated by rolling epicycle curves

Imagine a decreasing sequence of (positive) radii $r_1 > r_2 > r_3 > \cdots$ and a series of nested circles $C_1 \supset C_2 \supset C_3 \supset \cdots$ with these radii, initially each ...
3
votes
1answer
219 views

Locus of points where difference in gravitational forces is constant

Is there a name for the curve in the plane defined by $a/\|x - p\|^2 - b/\|x - q\|^2=\mathrm{constant}$ where $a$ and $b$ are fixed numbers and $p$ and $q$ are fixed points? How about if I don't ...
0
votes
2answers
290 views

Derivation of surfaces

In an Euclidean linear plane, the evolute of a given curve $C$ with support function $h(t)$ can be regarded as a kind of derivative $C'$ of $C$. Indeed, $C'$ has support function $h'(\pi/2 -t)$. Is ...
15
votes
5answers
658 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 ...
2
votes
0answers
35 views

Largest disk inside a spherical domain

It is known (Pestov-Ionin theorem) that if $k_{max}$ is the maximum curvature of a smooth planar loop $\gamma$, then there is a disk of radius $1/k_{max}$ inside $\gamma$. I wonder is there any ...
12
votes
1answer
424 views

A cubic and six conics problem

I am an electrical engineer system. I live in Viet Nam. I am not a Mathematician. I construct and found a problem as follows: Let a cubic, and five conics $(C_1)$, $(C_2)$, $(C_3)$, $(C_4)$, $(C_5)$. ...
5
votes
1answer
103 views

Finite union of affinoid is affinoid in proper smooth rigid curves (unless it is everything)

In several papers I have found the surprising statement that finite unions of affinoid subspaces of a proper smooth and connected rigid curve are either the whole curve or again affinoid. Could you ...
3
votes
0answers
65 views

Umbilic points on Euclidean hypersurfaces

Every smooth embedding of $S^2$ into $\mathbb{R}^3$ has at least one umbilic point (in fact, the recent proof of the Caratheodory conjecture yields two such points). The usual proof of this is to use ...
-1
votes
1answer
428 views

Meeting point of the vertices of a square cloth on x-y plane

Consider a standard square sheet lying on the xy plane with edge length n. Is it possible to determine the coordinates (x, y, z) of the point where the vertices of the sheet will meet, when each of ...
2
votes
0answers
106 views

Laplace-Beltrami of the Gauss map

Let $M$ be a surface in $\mathbb{R}^3$ given by a regular chart, say $X:M \longrightarrow \mathbb{R}^3$, with its first fundamental form $g$, Gauss map $N$, Gaussian curvature $K$ and mean curvature ...
3
votes
0answers
100 views

Intersection patterns of loops on surfaces

Let $a,b$ be to simple closed loops on a surface $S$ with homologically trivial intersection (more generally I'm also interested in the case when $b$ is 1-codimensional). Denote their intersection on ...
1
vote
1answer
60 views

Marginally Trapped surfaces with constant Gaussian curvature

By marginally trapped surface I mean a spacelike surface in a 4-dimensional Lorentzian manifold such that the mean curvature vector is lightlike. In my research I have stumbled across marginally ...
30
votes
1answer
928 views

Wanted, dead or alive: Have you seen this curve? (circular variant of cardioid)

Let me start with the context. This is definitely not a "research level" question, but I'm hoping that the research community will be able to settle for me whether or not a particular construction ...
14
votes
3answers
679 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 ...
7
votes
3answers
199 views

In the $\mathbb{H}^3$ upper half space model, is a hemiellipsoid perpendicular to the plane at infinity a minimal surface?

Given a Jordan curve on the $\mathbb{H}^3$ boundary at infinity, there is a minimal surface (topological disk) in $\mathbb{H}^3$ with the curve as its asymptotic boundary ...
0
votes
0answers
165 views

Explicit form of certain polynomials and intersection of curves

Let $X$ be a smooth degree $d$ hypersurface in $\mathbb{P}^3$ and $C, D$ two effective divisors on $X$ intersecting at finitely many points. Is it true that if $C$ and $D$ intersect in ''low'' number ...
0
votes
0answers
91 views

When is the product of curves a complete intersection variety

Let $C$ be a smooth, projective curve over $\mathbb{C}$ of genus $g$. Let $L$ be a globally generated line bundle on $C$ and let $h^0(C,L)=r+1$. Let $\phi_L:C\rightarrow\mathbb{P}^r$ be the morphism ...
7
votes
2answers
536 views

Besides the tracioid are there other surfaces of revolution that have a constant negative curvature?

There is no surface in $ R^3 $ that can represent the complete hyperbolic plane (Hilberts theorem) so we always have to do with a surface that is not completely equivalent, has a cusp somewhere, but ...
0
votes
1answer
240 views

What does the action of a 2-torsion line bundle on $Pic^d(C)$ do to the number of sections?

Let $C$ be a smooth projective curve over $\mathbb{C}$. Let $A$ be a degree $d$ line bundle on $C$, and $M$ be a degree 0 line bundle on $C$ such that $M^2=\mathcal{O}_C$, that is, it is a 2-torsion ...
2
votes
1answer
126 views

Relation between curves in a complete linear system contained in another

Let $X$ be a projective surface over $\mathbb{C}$, let $x\in X$ be the only singular point of $X$. Let $L$ be an ample line bundle on $X$. Consider the blow up $Y$ of $X$ along $x$, ...
6
votes
1answer
116 views

Self-avoiding/reflecting geodesics on a convex surface

Let $S$ be the surface of a convex body embedded in $\mathbb{R}^3$. For me $S$ is a convex polyhedron, but I am happy to view $S$ as a smooth body with positive Gaussian curvature at each point, or ...
1
vote
0answers
81 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 ...
4
votes
2answers
775 views

base points of multiplicity $>1$

Let $S$ be a smooth projective surface (I am mostly intrested in the case when $S$ is a product of curves, say $S=\mathbb{P}^1 \times \mathbb{P}^1$ but probably this is not important). Consider a ...
2
votes
1answer
119 views

On conflicting descriptions for tor of a local cohomology group

Let $X$ be a smooth projective surface and $C$ a Cartier divisor on $X$. Denote by $\mathcal{H}^1_C(\mathcal{O}_X)$ the sheaf associated to the presheaf $U \mapsto H^1_{C \cap U}(\mathcal{O}_X|_U)$. ...
2
votes
1answer
40 views

Is the length function associated with the twist parameter an increasing function?

Let $S$ be a closed hyperbolic surface and $x$ be an oriented simple closed curve in $S$. Let $y$ be an oriented closed curve such that the geometric intersection number between $x$ and $y$ is ...
1
vote
0answers
130 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 ...
6
votes
0answers
133 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 ...
20
votes
1answer
976 views

Why is it so hard to prove Toeplitz' conjecture?

I'm a layman in mathematics, so please excuse me in advance for anything in this question that may be inappropriate :D. Well: Four years ago, I was reading (and working to solve the puzzles on) ...
1
vote
1answer
61 views

Finding t vlaue in Bezier curve [closed]

According to this question, I'm looking for some method to find the t value in Quadratic bezier curve equation: $$ B(t)=P_0+t(1-t)P_1+t^2P_2 \space \space where \space 0 ≤ t ≤ 1 $$ In this ...
0
votes
1answer
172 views

Model over DVR for smooth projective curves

Let $C$ be a smooth, projective, geometrically irreducible curve of genus at least $2$ over a complete discrete valued field $F$ of characteristic zero (not necessarily algebraically closed). Let $R$ ...
22
votes
2answers
728 views

Is every closed curve in 3D a geodesic on a genus-0 surface?

Let $\gamma$ be a smooth, closed, unknotted curve embedded in $\mathbb{R}^3$. Q. Does there always exist a smooth, embedded, genus-zero surface $S \subset \mathbb{R}^3$ such that $\gamma$ is a ...
1
vote
0answers
77 views

Can a cylinder be regarded as a Riemannian manifold? [closed]

Consider the surface of a bounded cylinder consisting of a top,bottom and side part together with the metric induced by the euclidean norm on $\mathbb{R}^3$. Can this space be regarded as a Riemannian ...
2
votes
4answers
649 views

Intrinsic definition of arc length [closed]

Is there an intrinsic way of defining the arc length of a curve in $\mathbb{R}^{3}$, that is without resorting to a parametrization of the curve?
3
votes
1answer
314 views

On equations defining space curves

I am reading a text by Prof. Szpiro Tata lectures on equations defining space curves. In the proof of Proposition $1.2$ on page $12$ he gives explicit description of the defining equations of a local ...
7
votes
0answers
101 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 ...
0
votes
0answers
66 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
0answers
47 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$ ...
6
votes
1answer
136 views

Reduction of self-intersections without reducing the geometric intersection

Let $F$ be a hyperbolic surface. Given a closed curve $a$, let $\bar{a}$ denotes the free homotopy class of $a$. Let $i(\bar{a},\bar{b})$ denotes the geometric intersection number and $i(\bar{a})$ ...
3
votes
2answers
242 views

Effective cone of C x C where C is a Fermat curve

A search of the literature reveals that for a curve $C$ of genus $\geq 2$, determining the effective cone of $C \times C$ is hard. My question is this: do we know a single example of a curve $C$ of ...
1
vote
1answer
129 views

Image of any curve can be parametrized without zero derivative?

Let $\gamma :[a,b]\to\mathbb{R}^2$ be a $C^{1} ([a,b])$ injective application. Is it true that there is another continuous parametrization $\rho:[c,d]\to\mathbb{R}^2$ such that the following two sets ...
0
votes
1answer
85 views

Double coset separability and the existence of vanishing sequences for surface group

Definition: Let $G$ be a group. $G$ is said to be double coset separable if given any finitely generated subgroups $H$ and $K$ in $G$, given any $g\in G$ and $h\not\in HgK$, there exists a finite ...
5
votes
1answer
268 views

Ivanov's metaconjecture on surface homeomorphisms.

In Fifteen problems about MCG Ivanov stated the following metaconjecture: Every object naturally associated to a surface S and having a sufficiently rich structure has $Mod(S)$ as its groups of ...
0
votes
0answers
95 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$ ...
1
vote
1answer
176 views

How to find isothermal coordinates equivalent to circles in far limit?

I am trying to find the most general rotational coordinate systems for Euclidean 3-space, with the following two defining characteristics: 1) being equivalent to spherical coordinates in the limit of ...
3
votes
0answers
227 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 ...
1
vote
1answer
132 views

Another type of derivative, and the associated primitive

Let $\mathbf{v}:(a,b)\to\mathbb{R}^2$ be a continuous function, such that $||\mathbf{v}(t)||=1,\ \forall t\in (a,b)$. Find all continuous functions $\mathbf{r}:(a,b)\to\mathbb{R}^2$ so that: $ ...