Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 \...
JMK's user avatar
  • 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(...
dkyopt's user avatar
  • 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 ...
Learning math's user avatar
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 $\...
Hengchao Chen's user avatar
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)=\...
Hengchao Chen's user avatar
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, $\...
Kaira's user avatar
  • 305
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 ...
Leo Moos's user avatar
  • 5,038
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 \...
Adrien's user avatar
  • 91
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 ...
Ryan Vaughn's user avatar
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 ...
Adam's user avatar
  • 323
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,...
ABIM's user avatar
  • 5,405
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 ...
Bogdan's user avatar
  • 1,759
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 $...
Bogdan's user avatar
  • 1,759
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)\...
Bogdan's user avatar
  • 1,759
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)$, ...
Shaq155's user avatar
  • 459
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 ...
Catologist_who_flies_on_Monday's user avatar
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 ...
Yuchen Bi's user avatar
  • 101
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 ...
user avatar
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) ...
SBK's user avatar
  • 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 $$||...
Ryan Unger's user avatar
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)$ ) ...
Sam's user avatar
  • 49
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 $\...
Spencer's user avatar
  • 1,771
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\...
Federico Cantero's user avatar
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 ...
protocokodo's user avatar