Questions tagged [riemannian-geometry]

Riemannian Geometry is a subfield of Differential Geometry, which specifically studies "Riemannian Manifolds", manifolds with "Riemannian Metrics", which means that they are equipped with continuous inner products.

Filter by
Sorted by
Tagged with
5 votes
1 answer
353 views

Geodesic distance on $\mathrm{SO}(n)$

$\DeclareMathOperator\SO{SO}$Recently I came across this old MSE post or this paper (w.o. proof) discussing the geodesic distance on $\SO(n)$ when it is equipped with the left-invariant Riemannian ...
Math_Newbie's user avatar
2 votes
0 answers
131 views

An attempt to define expected value of a Riemannian manifold valued random variable - what'll go wrong?

Let $X:\Omega\to (M,g)$ be a random variable taking values in a Riemannian manifold $(M,g)$ with the Riemannian volume form denoted by $dvol_g(x).$ We know that there's no standard way to generalize ...
Learning math's user avatar
2 votes
0 answers
65 views

$ \varepsilon $-regularity, harmonic maps vs harmonic heat flow

Let $ \Omega\subset\mathbb{R}^n $ be a bounded domain with smooth boundary and $ (N,h)\subset\mathbb{R}^L $ is a smooth compact Riemannian manifold. Consider the local minimizer $ u\in W^{1,2}(\Omega,...
Luis Yanka Annalisc's user avatar
1 vote
0 answers
153 views

Ricci-flat metrics on complex tori of dimension $n \geq 3$

Let $\mathbb{T}^n = \mathbb{C}^n /\Lambda$ be a complex torus of (complex) dimension $n$. If $n=2$, it is a theorem of Berger that the Ricci-flat metrics on $\mathbb{T}^2$ are flat. This follows from ...
AmorFati's user avatar
  • 1,349
1 vote
0 answers
63 views

Integrability (and hence regularity) of $\alpha$-harmonic maps

To prove the smoothness of an $\alpha$-harmonic map, Sachs and Uhlenbeck firstly show (in their paper "The existence of minimal immersions of 2-spheres") that it is in the Sobolev space $L^...
Wai's user avatar
  • 219
1 vote
0 answers
27 views

Bi-$M$-invariant measure on a Riemannian symmetric space

Let $G$ be a noncompact connected semi simple Lie group. Let $K$ be a maximal compact subgroup and $G=K\overline{A_{+}}K$ be a Cartan decomposition of $G.$ Let $M=Z_{K}(\mathfrak{a})$. Then how to ...
A beginner mathmatician's user avatar
2 votes
0 answers
110 views

Local smoothness of harmonic heat flow

Assume that $ (M,g) $ is a smooth closed manifold and $ \mathbb{S}^{L-1} $ is a unit sphere with dimension $ L-1 $ in $ \mathbb{R}^{L} $. Consider the equation of harmonic heat flow $$ \partial_tu-\...
Luis Yanka Annalisc's user avatar
0 votes
0 answers
102 views

Can a laplacian-beltrami operator have negative eigenvalues?

Is it possible for an Laplace-Beltrami operator for Riemannian manifold to have negative eigenvalues? If not, are there any non-riemannian manifolds where one may observe negative eigenvalues for heat ...
learning_physics's user avatar
4 votes
0 answers
112 views

Homotopy type / Homology of the free loop space of aspherical manifolds

Let $X$ be a (connected, smooth) closed aspherical manifold. Let $LX:=Map(S^1,X)$ be the free loop space of $X$. Pick $x_0\in X$ and let $\Omega_{x_0}(X)$ be the based loop space of $X$ (based at $x_0$...
Yeah's user avatar
  • 347
4 votes
1 answer
220 views

Geodesics on orthogonal matrix

Let $ O(n) $ be the manifold of orthornormal matrix, i.e. $$ O(n)=\{A\in\mathbb{R}^{n\times n}:A^TA=I\}. $$ Then $ O(n) $ is a submanifold of $ \mathbb{R}^{n\times n} $. On $ O(n) $, there is a ...
Luis Yanka Annalisc's user avatar
0 votes
0 answers
51 views

Projection of Fréchet mean(s) to tangent space of a Riemannian manifold versus mean of the projection of these points

Let $\{x_1\dots x_n\}\subset (M,g),$ where $(M,g)$ is a complete finite $d$ dimensional a Riemannian manifold. Let us denote by $\bar{x}$ a Fréchet mean of $\{x_1\dots x_n\},$ i.e. a minimizer of the ...
Learning math's user avatar
0 votes
1 answer
97 views

Local isometric embedding right inverse to a Riemannian submersion

Let $M$ and $N$ be Riemannian manifolds such that $\pi:M\to N$ is a surjective Riemannian submersion, i.e. for each $x\in M$, $$\langle \pi_{*x}(v),\pi_{*x}(w) \rangle_{\pi(x)} = \langle p(v), p(w) \...
Nathaël's user avatar
3 votes
0 answers
147 views

$N$th-order approximation of point stabilizing diffeomorphisms by $N$th-order jet group?

NOTE: migrated from math SE. I was wondering if ever higher jet groups of frames on a (possibly pseudo) Riemannian manifold $M$ approximate the point stabilizing subgroup of diffeomorphisms on $M$ as ...
R. Rankin's user avatar
  • 230
3 votes
0 answers
87 views

Cycloid on manifolds

Inspired by differential equation $$y(1+y'^2)=c$$ which generates the cycloid we consider the following differential equation on a Riemannian manifold: $$f(1+|\nabla f|^2)=c$$ On the other hand ...
Ali Taghavi's user avatar
5 votes
0 answers
339 views

Extending Gromov's inequality

In 1981 Gromov proved that all Riemannian metrics on the complex projective space $\mathbb CP^n$ satisfy the bound $$\DeclareMathOperator{stsys}{stsys} \DeclareMathOperator{vol}{vol} \frac{\stsys_2^n}{...
Mikhail Katz's user avatar
  • 15.1k
10 votes
0 answers
312 views

Why are conformal transformations so relevant?

I have been studying construction of initial data in general relativity for many years now and it turns out that the most efficient methods to construct such data rely at some point on conformally ...
Romain Gicquaud's user avatar
1 vote
0 answers
151 views

Relation between two gradient dynamics

If $f:\mathbb{R}^n\rightarrow\mathbb{R}_+$ is a nonnegative real analytic function and $g:\mathbb{R}^n\rightarrow\mathbb{R}$ is a strongly convex smooth function with a surjective gradient $\nabla g:\...
Jean Legall's user avatar
0 votes
1 answer
114 views

Curvature of an affine system

I find an interesting paper that mentioned the Definition of curvature of an affine optimal control system. It reminded me that many textbooks on Riemannian geometry only tell us about metrics, ...
lumw's user avatar
  • 111
3 votes
0 answers
189 views

Cheeger constant and isoperimetric ratio

$(S^2,g)$ is 2-dimensional sphere with Riemannian metric. Consider any curves $\gamma$ on $S^2$ dividing the total area $A$ into two parts $A_1+A_2 =A$. The isoperimetric ratio is $$ C_s(\gamma)=\frac{...
Enhao Lan's user avatar
  • 165
0 votes
0 answers
47 views

A Multiplicative Average of Positive Operators

Let $G$ be a finite group. I have an action of $G$ on a matrix algebra of positive operators, $\mathcal{M}$. In particular, $\mathcal{M}$ has a $G$-module structure, yielding a linear representation ...
user82261's user avatar
  • 121
0 votes
0 answers
157 views

A question on generalized Einstein manifold

Let $(M,g)$ be a Riemannian manifold. So $TM$ has a natural structure of a symplectic manifold. The zero section is denoted by $Z$. We define a Hamiltonian on $T^0 M=TM\setminus Z$ via $$...
Ali Taghavi's user avatar
2 votes
0 answers
143 views

Active areas of Research in Riemannian Geometry? [closed]

I've taken a course in Riemannian Geometry and would like to know which topics in Riemannian Geometry are nowadys topic of research
Marcos Martínez Wagner's user avatar
4 votes
0 answers
67 views

Riemannian manifolds with a unique distance property

Let $M$ be a compact Riemannian manifold with geodesic distance function $d$, of (normalised) diameter $1$. Some of my favourite manifolds $M$ have the property that there exists an integer $k$ such ...
Chris H's user avatar
  • 1,854
4 votes
1 answer
93 views

A formula in harmonic heat flow

Assume that $ (M,g) $ and $ (N,h) $ are two smooth closed manifold and $ N $ is embedded isometrically into $ \mathbb{R}^K $ for some $ K\in\mathbb{Z}_+ $. Assume that $ u\in C^{\infty}(M\times\mathbb{...
Luis Yanka Annalisc's user avatar
1 vote
1 answer
173 views

Is squared geodesic distance a Morse-Bott function on simply-connected Hadamard manifolds?

Let $M$ be a simply connected Hadamard manifold. That is, $M$ is a complete Riemannian manifold with sectional curvature bounded above by 0. Let $f(x,y)=\frac{1}{2}d^2(x,y)$, where $x,y \in M$, and $d(...
Spencer Kraisler's user avatar
1 vote
0 answers
67 views

Orbit projection geometry

Background: As shown in [1] and [2], for a closed smooth submanifold $M$ of $\mathbb R^d$, the domain $D_M$ of the projection map $P_M:D_M\rightarrow M$ has a dense interior $\Omega_M$ over which $P_M|...
miniii's user avatar
  • 59
5 votes
2 answers
331 views

Conformal Killing vector fields on compact surface of genus \ge 1

Let $(M, g)$ be a compact 2-dimensional Riemannian manifold with genus $\ge 1$. Can $M$ has a conformal Killing vector field $X$ other than Killing vector fields? That is, $L_X g = (\mathrm{div} X) g$ ...
user486255's user avatar
7 votes
1 answer
209 views

Existence of normal and harmonic coordinates around a point

Let $(M^n,g)$ be a Riemannian manifold with a fixed point $p$. Can we find a local coordinate system $(x_1,x_2,\cdots, x_n)$ around $p$ satisfying the following two at the same time: (1) $(x_1,x_2,\...
Adterram's user avatar
  • 1,361
2 votes
1 answer
111 views

Maximizing the first Neumann eigenvalue on disks

Let $D^2$ be a smooth disk and for any Riemannian metric in $D$, let $\mu_1(g)$ be the first positive Neumann eigenvalue of the Laplacian on $(D, g)$. Li and Yau proved that $$\mu_1(g) \operatorname{...
Eduardo Longa's user avatar
7 votes
0 answers
117 views

Steklov eigenvalue for circle valued functions

Let $(M,g)$ be a compact Riemannian manifold with boundary. It is well known that the first positive Steklov eigenvalue $\sigma_1$ of $M$ has the following variational characterization: $$\sigma_1(M,g)...
Eduardo Longa's user avatar
1 vote
1 answer
269 views

Pythagorean theorem in Riemann metrics of non constant curvature

I already asked the same question here, but received no answer. I was reading this interesting article by Givental Givental, Alexander. "The Pythagorean theorem: What is it about?" Amer. ...
user967210's user avatar
42 votes
1 answer
3k views

What is the shape of the perfect coffee cup for heat retention assuming coffee is being drunk at a constant rate?

Note: I asked this on Mathematics SE and even though @TheSimpliFire offered a bounty on it, no-one had a good answer Find the optimal shape of a coffee cup for heat retention. Assuming A constant ...
Michael McLaughlin's user avatar
2 votes
3 answers
262 views

Let $M$ be a manifold with a conformal structure and a volume measure. How can one reconstruct a metric on $M$ from this data in a geometric way?

Let $(M,g)$ be a (semi-)Riemannian manifold, and let $(M,[g])$ be the conformal class thereof. The following two sets are naturally torsors for the collection of positive-valued functions on $M$: The ...
Tim Campion's user avatar
  • 60.5k
1 vote
0 answers
81 views

Symmetric cones and symmetric spaces

I start by stating what I think I understood on symmetric cones (https://en.wikipedia.org/wiki/Symmetric_cone). Let $\mathcal{C}$ be a symmetric cone in a vector space $V$. There are Riemannian ...
Chevallier's user avatar
3 votes
1 answer
162 views

Do we have $d(P_{+}(\omega\wedge \theta))=d_{+}\omega\wedge \theta-\omega\wedge d_{+}\theta$ on a self-dual manifold?

Let $(X, g)$ be a smooth, oriented, Riemannian 4-diemnsional manifold. Let $\Lambda^2$ denote the bundle of 2-forms on $X$. Then the Hodge-star operator decomposes $\Lambda^2$ into the space of self-...
Zhaoting Wei's user avatar
  • 8,657
2 votes
1 answer
156 views

Are these the only first eigenfunctions on a hemisphere?

Let $\mathbb{S}^2_+$ denote the closed upper hemisphere of the unit round sphere in $\mathbb{R}^3$. It is well known that the first positive eigenvalue of the Laplacian on the closed unit sphere is $2$...
Eduardo Longa's user avatar
8 votes
2 answers
429 views

Show $\langle \log(R), \log(R^{-1}S) \rangle \geq \langle \log(R), \log(S) - \log(R) \rangle $ for all $R,S \in \mathrm{SO}(3)$

$\DeclareMathOperator\SO{SO}$I have a similar question to one I asked a few days ago. Lately, I've been researching Lie groups equipped with bi-invariant Riemannian metrics. One common object is $\SO(...
Spencer Kraisler's user avatar
5 votes
0 answers
126 views

Is every linear Lie group of bounded geometry?

$\newcommand\norm[1]{\lVert#1\rVert}$Given any point $p$ of a smooth Riemannian manifold $M$ there exists $r\in (0,\infty]$ such that the Riemannian exponential is a diffeomorphism in the geodesic ...
Marco's user avatar
  • 263
4 votes
0 answers
147 views

Is there a good description of harmonic maps from $\mathbf{C}$ to $\mathbf{H}$?

Given a non-constant holomorphic quadratic differential $\phi \, \mathrm{d} z^2$ on the complex plane $\mathbf{C}$, there is a harmonic diffeomorphism $u: \mathbf{C} \to \mathbf{H}$ into the ...
Leo Moos's user avatar
  • 4,968
3 votes
2 answers
444 views

Finding a hyperbolic metric with geodesic boundary on a given Riemann surface

Let $X$ be a Riemann surface with analytic boundary. Assume that $X$ has negative Euler characteristic. Then there exists a conformal hyperbolic metric $X$ such that $\partial X$ consists of geodesics ...
Yuxiao Xie's user avatar
4 votes
1 answer
181 views

Approximate isometric embeddings of surfaces

The fundamental theorem of surfaces states that if symmetric matrices $g_{ij}$, $l_{ij}\colon U\subset R^2\to R$, where $U$ is open and $g_{ij}$ is positive definite satisfy the Gauss and Codazzi ...
Mohammad Ghomi's user avatar
2 votes
0 answers
115 views

Integral geometric meaning of diameter

Let $X\subset \mathbb CP^n, n>2$ be a complex smooth algebraic hypersurface. Any hyperplane section $H\cap X$ is connected and has diameter $Diam(H\cap X)$ in the inner metric induced from the ...
Dmitrii Korshunov's user avatar
2 votes
0 answers
40 views

$1$-parameter family of metrics preserving the normal direction

Let $(M^n,g)$ be a compact Riemannian manifold with boundary, $n \geq 2$, and let $N$ be the unit outward normal to $\partial M$. Denote by $S^2(M)$ the symmetric covariant $2$-tensors, by $S^2_0(M)$ ...
Eduardo Longa's user avatar
2 votes
0 answers
226 views

A Question about an article by Birman, Series

Birman and Series in their article GEODESICS WITH BOUNDED INTERSECTION NUMBER ON SURFACES ARE SPARSELY DISTRIBUTED proved that the set of points on a hyperbolic surface (possibly with boundary) ...
Amirhossein's user avatar
4 votes
1 answer
179 views

Finding a real-analytic diffeomorphism

Let $U_1\subset \mathbb R^3$ be a simply connected bounded open set with a smooth boundary and let $U_2$ be a neighborhood of $U_1$. Does there exist a real-analytic diffeomorphism $\psi: U_2 \to W_2$ ...
Ali's user avatar
  • 4,045
8 votes
1 answer
498 views

Distance between two geodesics originating from separate but nearby points

Let $(M,g)$ be a complete Riemannian manifold with sectional curvatures constrained within $[\kappa_{\min},\kappa_{\max}]$. Suppose $x,y\in M$ are two points in $M$ and $v_x\in T_{x}M$ is a tangent ...
Hengchao Chen's user avatar
2 votes
0 answers
72 views

Euler-Poincaré characteristic of even-dimensional Einstein manifolds with nonnegative sectional curvature

My question is about whether there are some known conditions on the sign of the Euler-Poincaré characteristic for Einstein manifolds in even dimensions. In dimension $4$ some conditions on the sign of ...
Luigi's user avatar
  • 21
2 votes
1 answer
156 views

Teichmuller interpretation of unbounded holomorphic quadratic differentials

For a closed Riemann surface $\Sigma$ of genus $g \geq 2$, the space of holomorphic quadratic differentials on $\Sigma$ can be identified with the cotangent space $T_\Sigma^* \mathcal{T}_g$: in other ...
Leo Moos's user avatar
  • 4,968
8 votes
2 answers
569 views

Is it true $\left\|\log(RS)\right\|≤\left\|\log(R)+\log(S)\right\|$ for all $R,S \in \mathrm{SO}(3)$, where $\|\cdot\|$ is the Frobenius norm?

$\DeclareMathOperator\SO{SO}$I asked this initially in math stack exchange, but thought to ask it here since it is more advanced and related to my research topic. I study optimization on Lie groups ...
Spencer Kraisler's user avatar
3 votes
0 answers
171 views

Implicit function theorem in Riemannian manifold and Wasserstein space

My question is about to what extent can we extend the implicit function theorem to Riemannian manifolds. In the Euclidean space, consider a bivariate function $F \colon \Theta \times \mathcal{X} \...
Steve's user avatar
  • 1,117

1 2 3
4
5
60