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