# Tagged Questions

**0**

votes

**0**answers

58 views

### How to define the distributional Hessian for a convex function on a $C^0$ Riemannian manifold?

M is a $C^1$ manifold with a $C^0$ Riemannian metric, f is a convex function on M. How to define a functional on M which can represent $Hessf$?
For example: for $\Delta f$ we can define the ...

**6**

votes

**1**answer

414 views

### Is there a sideways-walking rolling convex body?

Let $K$ be a solid, homogenous convex body in $\mathbb{R}^3$.
Place $K$ on an inclined plane, and let it roll down the plane,
under some reasonable assumptions of friction between $K$ and
the plane, ...

**0**

votes

**0**answers

33 views

### Buseman function is regular on manifolds without boundary containing a line?

For an n-dim noncompact manifold M without boundary. Assume M contains a line $\gamma$. For every point $p \in M$, let $\widetilde{p\gamma(t)}$ be the geodesic from p to $\gamma(t)$.
Choose a ...

**0**

votes

**0**answers

46 views

### Guassian upper bound of the heat kernel implies ultracontrativity?

For spaces satisfies uniformlly local doubling and Poincare inequality (for example, Riemannian manifold with Ricci curvature bounded below RCD(K,N)).
By Sturm's paper, we have bounds on the heat ...

**5**

votes

**2**answers

288 views

### Volume-preserving projective transformations are isometries

What is a simple, elementary proof of the following result?
A continuously differentiable map from the unit sphere $S^n \subset \mathbb{R}^{n+1}$ $(n > 1)$ to itself that preserves volumes and ...

**4**

votes

**1**answer

336 views

### Triple bubble conjecture: Natural candidate?

Is there a standard natural candidate surface for
the shape that encloses three given volumes
in $\mathbb{R}^3$ and has minimal surface area?
I know the planar triple bubble conjecture was ...

**7**

votes

**0**answers

184 views

### quantitative version of the rigidity of the 2-sphere

I am looking for a quantitaive version of the following theorem:
A compact surface with $K\equiv 1$ is isometric to the round sphere.
Of course I get the Berger, Brendle-Schoen Theorem which insures ...

**3**

votes

**1**answer

184 views

### A question on differential forms and integral invariants

The following question comes up in the study of metrics with the same unparameterized geodesics in Riemannian and Finsler geometry:
Question. Let $M$ be a closed manifold of dimension $2n+1$ and let ...

**5**

votes

**1**answer

185 views

### Boundaries of relatively hyperbolic groups

When the interior of an n-manifold $M$ has a pinched negative curvature metric of finite volume, then its fundamental group $\Gamma=\pi_1M$ is relatively hyperbolic relative to the parabolic groups ...

**7**

votes

**0**answers

193 views

### Surfaces with many (but not solely) closed geodesics?

Let $S$ be a closed surface embedded in $\mathbb{R}^3$,
let's say of genus zero.
I seek examples of $S$ with the following property:
If one selects a random any point $p$ on $S$, and a random
...

**0**

votes

**1**answer

74 views

### harmonic maps from cone to $S^2$ locally lipschitz?

Are the harmonic maps from a 2-dimensional cone to $S^2$ locally lipschitz or Holder continuous?

**5**

votes

**1**answer

217 views

### Why is proving $C^{\infty}$ regularity of sub Riemannian geodesics so hard?

In Montgomery's A Tour of Subriemannian Geometries, Their Geodesics and Applications, problem 10.1 in Chapter 10 asks "Is every minimizing geodesic smooth ?".
Can someone explain what are the major ...

**1**

vote

**2**answers

132 views

### Local vs distance function metric structures

The geodesic distance $d(p_1, p_2)$ on a geodesically complete, Riemanian manifold is a metric in the sense of a metric space metric. I'd like to know when other infinitesimal metric structures (e.g. ...

**1**

vote

**2**answers

180 views

### Möbius transformation by 3 points in the Minkowski model

Goal
I'm interested in describing Möbius transformations in the plane, and I'd like to define them in terms of three points and their images.
What I have tried
I know that a projective ...

**13**

votes

**4**answers

744 views

### What is the analog of the “Fundamental Theorem of Space Curves,” for surfaces, and beyond?

The "Fundamental Theorem of Space Curves"
(Wikipedia link; MathWorld link)
states that there is a unique (up to congruence)
curve in space that simultaneously realizes
given continuous curvature ...

**0**

votes

**2**answers

338 views

### Isometric embeddings of metric spaces in Hilbert spaces

There are plenty of isometric embeddings of metric spaces in Banach spaces. Nevertheless, I have been unable to find any significant result on isometric embeddings into Hilbert spaces. My question is: ...

**1**

vote

**1**answer

140 views

### Normal tubular neighborhood theorem for semi(or pseudo)-riemannian manifolds

Suppose you have a manifold $M$ and a closed sub-manifold $A$, and let $g$ be a semi-riemannian metric,ie, $g_x$ defines a quadratic form on $T_xM$ such that $g_x(v,v)\ge0$, but $g_x(v,v)=0$ not ...

**1**

vote

**1**answer

181 views

### Harmonic function defined on a cone

It's well known that: Given a continuous function defined on the boundary of the disk, then there exists a unique harmonic function in the interior of the disk. What if we replace the disk by a cone?
...

**18**

votes

**5**answers

782 views

### Lightray trapped between two mirror disks: Computation formulation?

I would like to calculate the angle of a ray $r$ from a given
point $p$ such that it gets "stuck" reflecting between
two congruent mirror-disks.
For why there is such a ray, see the (amazing!) answer
...

**2**

votes

**1**answer

157 views

### Closed surface with uncountably many conic points?

Let $M^2$ be a closed surface, say the 2-sphere. Is there any example of metric on it such that there are uncountably many points are conic and the metric is smooth elsewhere?
We call $p\in M$ a ...

**4**

votes

**3**answers

227 views

### On discrete version of curve shortening flow

One can define an analogous version of the curve shortening flow for polygons in $\mathbb R^2$, namely defined by the differential equation $\dot{p_i}(t)=\frac{v_i(t)}{|v_i(t)|^2}$, where $p_i$ is the ...

**3**

votes

**0**answers

86 views

### construction of heat kernels for non-compact manifolds with boundary

Recently, I am studying heat semigroup for noncompact manifolds with boundary.
In Issac Chavel's book "eigenvalues in Riemannian geometry". "Given a noncompact Riemannian manifold, it need not be ...

**1**

vote

**2**answers

241 views

### Preservation of injectivity radius

Suppose I have a smooth, noncompact manifold $M$ with metrics $g_i$ for $i = 1,2$. Suppose there exists a $C \geq 1$ such that
$$ C^{-1} d_1(x,y) \leq d_2(x,y) \leq C d_1(x,y)$$
where $d_i$ are the ...

**2**

votes

**1**answer

180 views

### Optimal, conformal diffeomorphisms between two surfaces in 3D

Let $S_1$ and $S_2$ be two smooth, closed surfaces embedded in $\mathbb{R}^3$.
Q. Is there a natural definition of the optimal, conformal diffeomorphism between $S_1$ and $S_2$?
I am imagining ...

**1**

vote

**0**answers

96 views

### Divergence of geodesics in $P(n,\mathbb{R})$

I'm reading Bridson & Haefliger's book on non-positively curved spaces. Specifically the parts in II.10 on $P(n,\mathbb{R})$. These are positive definite matrices, viewed as the image of symmetric ...

**5**

votes

**3**answers

228 views

### When does heat kernel have both Gaussian upper and lower bounds?

Recently, I am reading Sturm's paper "Analysis on local Dirichlet form III: X is a locally compact separable Hausdorff space and m is a positive Radon measure with supp[m]=X.
$\varepsilon$ is a ...

**1**

vote

**1**answer

126 views

### heat kernel $p_t(x_0,y) \in D(\Delta) \cap L^\infty$ for a manifold with Ricci curvature bounded below?

X is an n-dim Riemannian manifold with the Dirichlet form
$$
\varepsilon (u,v) =-\int_X \langle \nabla u,\nabla v \rangle
$$
for $u,v \in W^{1,2}(X)$.
Let $P_t$ and $p_t(x,y)$ be the associate ...

**0**

votes

**0**answers

63 views

### $|\nabla f|^2 \in W^{1,2}(M)$ for harmonic function f on manifolds with two nonparabolic ends?

We know that if a complete noncompact manifold M has two nonparabolic ends, then we can construct a nonconstant bounded harmonic function with finite Dirichlet integral defined on the whole M.
...

**2**

votes

**1**answer

108 views

### Are harmonic maps quasiconformal at the boundary of hyperbolic spaces?

Let $M$ be a hyperbolic $3$-manifold and $X$ a negatively curved, simply connected space with geometric boundary $\partial X$.
If $\rho:\pi_1M\rightarrow Isom(X)$ does not fix a point in $\partial ...

**1**

vote

**2**answers

240 views

### How to construct a harmonic function with non-zero gradient on manifold with two nonparabolic ends?

We know that if a complete noncompact manifold M has two nonparabolic ends, then we can construct a nonconstant bounded harmonic function with finite Dirichlet integral defined on the whole $M$.
More ...

**1**

vote

**0**answers

76 views

### Alexandrov spaces satisty $BE(K,N)$ and $BE(K,\infty)$?

Assume the Dirichlet form $\varepsilon$ adimits a Carre du champ $\Gamma$ and introduce the multilinear form $\Gamma_2$ $$
\Gamma_2 [f,g;\phi]:=\frac12 \int_X (\Gamma (f,g)L\phi ...

**0**

votes

**1**answer

126 views

### harmonic forms with respect to different metrics

Given a smooth manifold M with two different metric, we can consider U and V, the spaces of harmonic k-forms on M with respect to the first metric and second metric respectively. The question is ...

**8**

votes

**1**answer

279 views

### Oloid and sphericon: rolling develops entire surface

Wikipedia says that,
"The oloid is one of the only known objects, along with some members of the sphericon family, that while rolling, develops its entire surface."
Below are illustrations of ...

**3**

votes

**1**answer

264 views

### Shortest geodesic loop vs. shortest periodic geodesic

Are there simple conditions on a Riemannian metric on the two-sphere that imply that a geodesic loop of minimal length is actually a periodic geodesic?
For example, is this true for small ...

**2**

votes

**2**answers

195 views

### Geodesics in Graphs:Shortest Paths vs Going as Straight Ahead as Possible

According to Wikipedia http://en.wikipedia.org/wiki/Geodesic, a geodesic " is a generalization of the notion of a "straight line" to "curved spaces " and further " In the presence of an affine ...

**7**

votes

**2**answers

218 views

### Transitive geodesics on closed surfaces of genus greater than one

A well-known result of Hedlund and Morse states that if a Riemannian metric on a closed surface of genus $g > 1$ has no conjugate points, then it carries transitive geodesics (i.e., geodesics whose ...

**3**

votes

**2**answers

217 views

### Geodesic transformations of the complex projective plane

Are there non-trivial diffeomorphisms (i.e., different from isometries) of the complex projective plane that map geodesics (for the canonical Riemannian metric) to geodesics?
Same question for all ...

**11**

votes

**0**answers

237 views

### Has Cheeger's 'de Rham cohomology' of metric measure spaces been studied beyond its definition?

In J. Cheeger's 'Differentiability of Lipschitz Functions on Metric Measure Spaces' (Geometric and Functional Analysis, 1999, Vol. 9 pp 428-517, see here), a 'de Rham cohomology group' ...

**6**

votes

**2**answers

311 views

### Weitzenböck Identity for $\Delta_{\bar{\partial}_E}$

This question is related to this MO question and this MSE question.
Let $E$ be a hermitian holomorphic vector bundle over a hermitian manifold $X$. The bundle $\bigwedge^{\bullet,\bullet}X\otimes ...

**2**

votes

**1**answer

133 views

### Dirichlet form on Riemannian manifold is tight?

$M$ is an $n$-dimensional Riemannian manifold. Consider the Dirichlet form $$\varepsilon \left( {u,v} \right) = \int_M {\left\langle {\nabla u,\nabla v} \right\rangle }, \quad u ,v \in {W^{1,2}}\left( ...

**4**

votes

**0**answers

224 views

### Averaging lengths and distances

A natural way in which Finsler metrics appear in Riemannian geometry is as averages of Riemannian metrics (e.g., the average of the arc-length elements
$\sqrt{dx^2 + dy^2}$ and $\sqrt{2dx^2 + 3dy^2}$ ...

**6**

votes

**1**answer

513 views

### How metric is Riemannian geometry

Let $(M, g)$ be a finite-dimensional Riemannian manifold. It is well-known, that the Riemannian metric induce a metric on the manifold by
$$d(x, y) = \text{inf} \int_a^b \| \dot\gamma(t) \| \, ...

**7**

votes

**0**answers

171 views

### Systoles of hyperbolic (Riemann) surfaces of large genus

Let $m$ be a Riemannian metric on $S_g$ the surface of genus $g$, and $sys(m)$ be the length of the shortest non contractible cycle with respect to $m$.
The systolic inequality claims that for any ...

**1**

vote

**1**answer

198 views

### examples where some point of the Gromov-Hausdorff limit space has non-unique tangent cones

Suppose $\left( {{M_i},{q_i}} \right)\mathop \to \limits^{G - H} \left( {X,{q_\infty }} \right)$, ${\rm Ric}_{M_i} \ge - \left( {n - 1} \right)$, and ${q_\infty }$ is regular, i.e. all the tangent ...

**0**

votes

**0**answers

65 views

### $\left( {M_i^n,{q_i}} \right) \to \left( {{R^k},{q_\infty }} \right)$,but the scaling not?

Suppose $\left( {M_i^n,{q_i}} \right) \to \left( {{R^k},{q_\infty }} \right)$,where $Ri{c_{{M_i}}} \ge - 1/i$.Then $\left( {{\lambda _i}{M_i},{q_i}} \right) \to \left( {{R^k},0} \right)$ for any ...

**0**

votes

**0**answers

92 views

### Area on the unit sphere swept out by big circles corresponding to a curve

For a point on the unit sphere, we know the plane perpendicular to the line through the origin and the point cuts the sphere with a big circle. When the point moves along a sphere curve, the ...

**1**

vote

**0**answers

140 views

### The proof of Cheeger's splitting theorem for almost nonnegative Ricci curvature manifolds

Cheeger's splitting theorem says "Let $\left( {M_i^n,{p_i}} \right)\mathop \to \limits^{G - H} \left( {X,p} \right)$ with $Ric\left( {{M_i}} \right) \ge - \left( {n - 1} \right){\varepsilon _i}$ ...

**3**

votes

**1**answer

103 views

### Existence of Simple Closed Straightest Geodesics

There are at least three distinct simple closed quasigeodesics on convex polyhedra [Mat. Sb. (N.S.), 1949, 25(67) :2, 275–306 Quasi-geodesic lines on a convex surface Pogorelov].
Is the same true ...

**3**

votes

**2**answers

201 views

### Ball-Box Theorem and Sequence of Distributions

Let $(e^k,g^k)$ be a sequence of 2d smooth distributions in $R^3$ (with Euclidean metric) s.t $e^k,g^k$ are orthogonal. Let $f^k$ normal direction to this distribution. Suppose $[e^k,g^k] \neq 0 $ on ...

**5**

votes

**1**answer

129 views

### Stability of Pu's isosystolic inequality

The volume of a Riemannian metric on the projective plane is $2\pi$ and length of every non-contractible loop is greater than $\pi - \epsilon$ for some small, positive number $\epsilon$. Is this ...