All Questions
24 questions
6
votes
2
answers
390
views
Continuity of perimeter with respect to metric
Let $\Omega$ be an open set in a closed manifold, $(M^n, g)$. We can define the perimeter as
$$\text{Per}_g(\Omega) = \sup\bigg\{\int_{\Omega} \text{div}_g(T) dVol_g, \; : \; T \in C^1(M, T M), \quad \...
- 337
3
votes
1
answer
189
views
Randomly perturbed function has no accumulated critical point almost surely?
Given a smooth function $f$ and a smooth manifold $\mathcal{M}$ in $\mathbb{R}^d$, define the set
$$
S(v):=\{x:{\rm Proj}_{T_x{\mathcal{M}}}(v)=\nabla_{\mathcal{M}}f(x)\}.
$$
Is correct to say that $S(...
- 43
1
vote
1
answer
181
views
For proper group action on closed Riemannian manifold, must the union of orbits with non-unique closest points to a given point be of 0 volume measure
Let $(M,g)$ be a closed (compact without boundary) Riemannian manifold of finite dimension, with the volume measure $\mu:= \mu(E):=\int_{E}d\operatorname{vol}_g \forall E \in \mathcal{B}(M),$ the ...
- 1,467
1
vote
1
answer
160
views
Differentiability of an integral of geodesic distance
Let $(M,g)$ be an $m$-dimensional Riemannian symmetric space and $d(\cdot,\cdot)$ be the geodesic distance function. Fix any $\alpha\in M$ and $v\in T_\alpha M$ with $\|v\|=1$.
Q1: Define
$$
g(t)=\...
- 125
1
vote
1
answer
260
views
What does $g_x^{-1}$ mean where $g$ is a Riemannian metric?
I am reading this paper about the Wasserstein-Fisher-Rao distance and they define the Wasserstein-Fisher-Rao distance on a manifold as follows (page 9):
Here, $M$ is a compact Riemannian manifold, $\...
- 305
2
votes
0
answers
91
views
Measurability of the union of cut loci along a curve
Let $(M,g)$ be a Riemannian symmetric space and $\alpha(s)$ be a geodesic. Define
$$
U(t)=\cup_{s\in[0,t]}{\rm Cut}(\alpha(s))
$$
as the union of the cut loci ${\rm Cut}(\alpha(s))$ along the curve $\...
- 125
3
votes
0
answers
100
views
Are there Lojasiewicz-Simon estimates with boundary?
Let $M$ be an analytic manifold with boundary $\partial M$, equipped with a Riemannian metric $g$, which is also analytic up to and including the boundary.
Are there Lojasiewicz–Simon estimates ...
- 5,038
5
votes
2
answers
1k
views
Continuity of Hausdorff measure on level sets
Let $\Omega\subset\mathbb{R}^2$ a open and bounded set with smooth boundary and $\phi:\Omega\to\mathbb{R}$ a smooth function such that:
$\bullet$ $\phi^{-1}(0)\neq\emptyset$;
$\bullet$ $\nabla\phi(x)\...
- 1,759
2
votes
1
answer
742
views
Continuity of the perimeter of level sets w.r.t. level function
Working with the level set method introduced by Osher & Sethian in shape optimization I came across a simple question that I did not succeed to prove. It mainly asserts that the perimeter of the ...
- 1,759
9
votes
0
answers
202
views
approximation of currents
Let $M$ be a closed Riemannian manifold of dimension $d$. Let $d \alpha$ be a smooth exact $p$-form. We define a current $T_{d \alpha}$ as follows : for any smooth $(d-p)$-form $\beta$ we set
$$ T_{d \...
- 91
0
votes
0
answers
425
views
Compact connected Riemannian manifolds are Ahlfors regular metric space
Let $(M,g)$ be a compact connected $n$-dimensional Riemannian manifold; let $(X,d)$ denote its associated metric (length) space. A comment on the original formulation of this post mentioned that $(X,...
- 5,405
5
votes
0
answers
261
views
Laplacian spectrum and measured Gromov-Hausdorff convergence of Riemannian manifolds with boundary
In the paper "Collapsing of Riemannian manifolds and eigenvalues of Laplace operator" by Kenji Fukaya, it is proven that the spectrum of the Laplacian is continuous with respect to measured ...
- 409
1
vote
1
answer
258
views
Isoperimetric inequality for domains in the exterior of a precompact open set in Riemannian manifold
Fix $n\geq 2$ and let $$\mathbb{H}^{n}=\mathbb{R}_{+}\times \mathbb{S}^{n-1}$$ be the hyperbolic space, so that any point $x\in \mathbb{H}^{n}$ can be represented in polar coordinates $x=(r, \theta)$, ...
- 459
2
votes
0
answers
354
views
Continuity of surface integrals on level sets
Let $\phi:\mathbb{R}^2\to\mathbb{R}$ such that $\phi^{-1}(0)\neq\emptyset$ and $\phi\in C^1(W)$ where $W$ is a compact neighborhood of $\phi^{-1}(0)$, with $\nabla\phi\neq 0$ in $W$. So there is some $...
- 1,759
1
vote
0
answers
134
views
Hausdorff dimension of a compact Lie group [closed]
Let $G$ be a compact Lie group (for simplicity assume $G=SO(3)$). Equip $G$ with a left-invariant Riemannian metric and let $m$ be left-invariant Haar measure on $G$.
Now that $G$ is a metric space ...
- 323
0
votes
0
answers
131
views
Barycenters on Hadamard Manifolds
Let $(M,g,m_0)$ be a pointed-Hadamard manifold with Riemmanian distance function $d_g$, $(X,\Sigma,\mu)$ be a finite measure space. We use $L^2(\mu;M,m_0)$ to denote the metric space consisting of ...
5
votes
1
answer
201
views
The Hausdorff dimension of the union of singular orbits and exceptional orbits
Suppose we have a compact connected Lie group $G$ acting as isometries on a compact manifold $M^n.$ Then is it necessarily true that the Hausdorff dimension of the union of singular and exceptional ...
user78128
2
votes
0
answers
92
views
lower volume bound of submanifolds with small mean curvature integral data
$(M^n,g)$ is a smooth submanifold in $\mathbb{R}^p$ ,and $B_1$ is the unit ball centered in the origin 0.
Is there a $\epsilon >0$，
when assuming $\int_{M\cap B_1} |H|^n \leq \epsilon$, and the ...
- 101
6
votes
0
answers
156
views
Does an 8 dimensional compact Riemannian manifold contain an embedded minimal hypersurface?
It is well know that if $(M^{n+1},g)$ is a compact Riemannian manifold and $n \leq 6$ then there exists a smooth, embedded minimal hypersurface $\Sigma^n$ in $M$ (infinitely many such $\Sigma$, even)
...
- 1,179
2
votes
1
answer
316
views
Is the $L^p$ space of tensors complete?
On a Riemannian manifold $(M,g)$, let $\mathcal L^p(M,k)$ denote the space of measurable $k$-tensors $T$ (i.e., the coordinate components in any chart are Lebesgue measurable) for which the norm
$$||...
- 738
5
votes
1
answer
243
views
sequence of graphs converge in the sense of varifold to multiplicity 2 plane
Say in $R^3$, is there a sequence of smooth graphs $f_n$ over some plane P, such that the graphs as submanifolds in $R^3$ converge in the sense of varifold (as Radon measures on $R^3 \times Gr(2,3)$ ) ...
- 49
5
votes
1
answer
411
views
Averaging maps of Riemannian manifolds
Let $M$ be a compact Riemannian manifold. We know how to average functions $f\colon M\to {\mathbb R}$; the integral $\frac{\int_M f}{\int_M 1}$ returns a value in ${\mathbb R}$. If intead $f\colon M\...
- 666
3
votes
0
answers
354
views
Brakke's theorem for gap in entropy between self-shrinkers
In their paper The round sphere minimizes entropy among closed self shrinkers, Colding-Ilmanen-Minicozzi-White state "It follows from Brakke's theorem that $\mathbb{R}^n$ has the least entropy of any ...
- 61
3
votes
0
answers
109
views
What dimension bound is known on the singular set of a linear combination of eigenfunctions of Laplacian?
Let $(M,g)$ be a smooth, closed Riemannian manifold and suppose that $\phi_1,\dots,\phi_m$ are eigenfunctions of the Laplacian on $M$. Write $f = \phi_1 + \dots + \phi_m$.
How big can the set $\...
- 1,771