A branch of differential geometry dealing with Riemannian manifolds. *Riemannian manifolds* are smooth manifolds with an inner product smoothly attached to the tangent space of each point. Usually, Riemannian geometry focuses on the notions of distance, curvature, and shape. Consider using this tag ...

learn more… | top users | synonyms

0
votes
1answer
20 views

Strongly convex set is contractible

A subset $S\in M$ is called strongly convex, or geodesically convex, if for any $p,q\in S$ there is a unique normal minimal geodesic $\gamma$ joining $p$ to $q$, and $\gamma$ is contained in $S$. For ...
0
votes
1answer
18 views

Reference about the space of closed curves in Riemann manifold

Some days ago, I listened a report about the width of Riemann manifold. I am interesting in the space of closed curves in Riemann manifold. It seemly has good topology and different construction.For ...
1
vote
0answers
14 views

Show that the convex neighborhood in a Riemannian Manifold are subset contractibles

Show that the convex neighborhood in a Riemannian Manifold are subset contractibles (to any of their points). A subset $A$ of the differential manifold $M$ is contractible to the point $a\in A$ ...
1
vote
1answer
10 views

Example of a surface with no unit-speed geodesic at all time $(-\infty,\infty)$

I am stuck on the following problem, which was given as homework. What is an example of a 2-dimensional surface in $\mathbb{R}^3$ such that it's not possible to find a unit-speed geodesic $\sigma: ...
2
votes
1answer
32 views

What value of $c$ makes this Riemannian metric complete?

I was given the following question in my differential geometry class. The instructor does not use a textbook, and gives only theorems and proofs with no examples, so I don't know how to do ...
0
votes
0answers
37 views

Explicit form of the exponential map

I am stuck by the following problem. Let $ g = 1/y^2 (dx \otimes dx + dy \otimes dy)$ be a Riemannian metric on the half-plane $ S = \mathbb{R}^2_{y > 0}$. What is the explicit form of the ...
0
votes
0answers
20 views

Software of symbolic computation

In Riemann geometry, there are many complex compute , for example in the picture below.If want to get 2.5.16 it needs about 3 page to compute. And it is easy to mistake because it is complex. But the ...
1
vote
1answer
18 views

Show that exist a “good” cover $\{U_{\alpha}\}$ of the Differential Manifold

Let $M$ differential manifold. Show that exist a cover set $\{U_{\alpha}\}$ of $M$ with the following propierties: $$U_{a}\mbox{ is a open "contractible", for each } \alpha $$ $$\mbox{If } ...
0
votes
1answer
21 views

Computing the “Mean Value” of a Point Sample From an Arbitrary Manifold

A friend of mine noticed that taking the "mean" of two points on the circle isn't as easy as just computing the arithmetic mean of their arguments: If one point has argument $-3.13$ radians and one ...
3
votes
0answers
33 views

ALL Orthogonality preserving linear maps from $\mathbb R^n$ to $\mathbb R^n$?

That is we have a linear transformation, i.e. an $ n\times n $ matrix $A$, such that for every pair of vectors $ v $ and $ w $ we have $$ \langle v,w\rangle=0 \ \ \ \implies \ \ \ \ \ \langle ...
2
votes
1answer
29 views

Basic question about the metric tensor

So I am reading Barrett O'Neil's Elementary Differential Geometry, which defines the metric tensor $g_p$ on a surface $M$ to be a bilinear symmetric positive-definite function on the set of ordered ...
3
votes
1answer
114 views

Does every manifold M always admit a Riemannian metric?

In the book "Geometry and Topology for Physicists" by Nash and Sen, in Section 7.6, after showing that the structure group $GL(n,\mathbb{R})$ of a frame bundle $F(M)$ (for a general manifold $M$ of ...
1
vote
0answers
20 views

On lifts of a trajectory of a quadratic differential

Let $X$ be a Riemann surface of genus $g\ge 2$ and $q$ a holomorphic quadratic differential on $X$. The differential $q$ defines a flat metric with conical singularities on $X$: if $q=f(z)dz^2$ ...
0
votes
2answers
52 views

Equivalent definition of metric compatibility for a connection: what does $\nabla g$ mean?

So the definition I know for metric compatibility is: $$Xg(Y,Z)=g(\nabla_XY,Z)+g(Y,\nabla_XZ),$$ which make sense, as $g(Y,Z)$ is a smooth function from the manifold to reals and we think of $X$ as ...
1
vote
1answer
18 views

Show that Riemannian manifold $M$ is contractible if the loop space $\Omega_{p,p}$ is contractible.

Show that Riemannian manifold $M$ is contractible if the loop space $\Omega_{p,p}$ is contractible. The problem is from the following material. It contends that the result is by standard Morse ...
0
votes
0answers
33 views

Convex subsets of pinched Hadamard manifolds

Let $X$ be a pinched Hadamard manifold (in my particular case, $X=\mathbb H^n$ is the $n$-dim. hyperbolic space) and $N$ be a closed (edit : open) convex subset of $X$. Is it true that $N$ is also a ...
1
vote
2answers
223 views

Is a Riemannian metric positive definite or positive semidefinite?

From Wikipedia The Fisher information matrix is a N x N positive semidefinite symmetric matrix, defining a Riemannian metric on the N-dimensional parameter space, But a Riemannian metric is ...
0
votes
1answer
36 views

Kato's inequality

Let u be a smooth function defined in a Riemannian manifold $(M,g)$. The well known Kato's inequality states $$|∇|∇u||^2≤|∇^2u|^2$$ where $∇^2$ represents the Hessian operator of $M$. I would like ask ...
1
vote
0answers
21 views

a algebraic concept in reimannian geometry?

let $(M,g)$ is a $C^{\infty}$ manifold with product form of $M=R \times \Theta $ the for each element $\varepsilon (r,\theta )\in M$, the tangent space $T_{\varepsilon}M$ is natural isomorphic to ...
1
vote
1answer
21 views

Is the set $\bigsqcup_{p\in M} \{v\in T_pM: |v|_g< r_p\}$open in $TM$?(where $r_p$ the injectivity radius at $p$)

Let $(M,g)$ is a Riemannian manifold. (1)If $D_p$ is the largest domain on which $\exp_p$ can be a diffeomorphism, then is the set $$D=\bigsqcup_{p\in M} D_p$$ open in $TM$? (2)Likewise, if we denote ...
3
votes
1answer
32 views

The continuity of injectivity radius

Let $M$ be a Riemannian manifold. $r:M\to [0,+\infty]$ denotes the function assigns to $p\in M$ the injectivity radius $r_p$ of the exponential map $\exp_p$. Is this function $r$ is continuous or ...
0
votes
1answer
48 views

Whether there is easy way to compute $R_{ij}=\frac{1}{2}Rg_{ij}$ in 2-dimension

In 2-dimensional Riemann manifold ,Ricci curvature is given by $$ R_{ij}=\frac{1}{2}Rg_{ij} $$ My PDE teachers teach me to compute it by the way. $$ R_{11}=g^{ij}R_{1i1j}=g^{22}R_{1212} \\ ...
11
votes
0answers
309 views

Norm Inequality on a Compact Riemannian Manifold

Consider the following problem: Suppose $(M, g_{ij})$ is a compact Riemannian manifold. Assume $u$ is a smooth, nonnegative function which satisfies the differential inequality $$\Delta u \geq ...
0
votes
0answers
27 views

Riemann Curvature tensor for surfaces

Let $M$ be a regular surface on $\mathbb{R}^3$. I am trying to express the Riemann's curvature tensor: $$R(X,Y)Z=\nabla_X\nabla_YZ-\nabla_Y\nabla_XZ-\nabla_{[X,Y]}Z$$ respect $R(\vec x_i,\vec x_j)\vec ...
3
votes
0answers
31 views

What do I need to review for Riemannian Geometry?

Well, I have been about two years without studying almost anything. I am going to start a thesis about three dimensional spaces (need to understand and explain their isometries, curvature, geodesics), ...
4
votes
1answer
162 views

Zeros of the second fundamental form

Let $ f:M \rightarrow N $ be a minimal immersion (of arbitrary codimension or an hypersurface if it is necessary) and let $ |A| $ be the norm of its second fundametal form.If $ A $ is not identically ...
0
votes
1answer
20 views

Why the well-defined of Gauss map depends on surface is orientable?

Let $S$ is a surface. Define a mapping $g:S\rightarrow S^2\subset R^3$ of $S$ into the unit sphere $S^2$ , associating to every $p\in S$ a unit vector $N(p)\in S^2$ normal to $T_pS$. Why the ...
6
votes
1answer
224 views

Geometric Interpretation: Parallel forms are harmonic

Let $(M,g)$ be a Riemannian manifold. The canonical volume form $\mu=\sqrt{\det g_{ij}}\mathrm{d}x^1\wedge\dots\wedge\mathrm{d}x^m$ is parallel w.r.t. the induced Levi-Civita conection $\nabla$ ...
-1
votes
2answers
92 views
+100

Show that , for all $(s_{0},t_{0})\in [0,1]\times [0,a]$, the curves $s\to f(s,t_{0})$, $t\to f(s_{0},t)$ are orthogonals.

Let $f:[0,1]\times [0,a]\to M$ a parameterized surface such that for all $t_{0}\in[0,a]$, the curve $s\to f(s,t_{0})$, $s\in [0,1]$, is a parameterized geodesic by arc lenght , orthogonal to the ...
1
vote
0answers
36 views

How to show $\nabla_a\nabla_c R_{ad}-\nabla_c \nabla _a R_{ad}=-R_{cade} R_{ae}-R_{ce} R _{de}$?

$\nabla$ is Riemann connection and $R_{ij}=g^{kl}R_{ikjl}$. How to show $\nabla_a\nabla_c R_{ad}-\nabla_c \nabla _a R_{ad}=-R_{cade} R_{ae}-R_{ce} R _{de}$ ? Or generate commutator of generate ...
1
vote
2answers
256 views

Geodesic versus geodesic loop

Let (M,g) be a closed manifold and let $\alpha$ be an element of $G=\pi_1(M,p)$ we can define the norm of $\alpha$ with respect to p as the infinimum riemannian length of a representative of $\alpha$ ...
2
votes
2answers
44 views

Canonical notion of parallel transport

I have a "What is the right search term?" style question: Suppose $S\subset\mathbb{R}^3$ is a surface and that we are given two points $x,y\in S$. Furthermore, take $v_x\in T_x S$ to be a tangent ...
0
votes
0answers
19 views

Computing of proof of Li-Yau estimate

I try to compute the red line in picture below: \begin{align} \Delta(\partial_tL) +R\Delta L +\partial_t R &=\Delta(Q+|\nabla L|^2)+R(\frac{\Delta R}{R}-\frac{|\nabla R|^2}{R^2}) + \Delta R +R^2 ...
1
vote
1answer
49 views

Divergence of vector field on manifold

This is a follow-up question to the one I made here. On the wiki page, the divergence of a vector field $X$, denoted $\nabla\cdot X$, is defined as the function satisfying $\left(\nabla\cdot ...
0
votes
0answers
97 views

Codimension one foliation

let $f:M \rightarrow \mathbb{R}$ be a nowhere vanishing function defined on a Riemannian manifold $(M,g)$. consider the distribution $\ker(df)$. This is clearly involutive and thus defines a ...
1
vote
1answer
19 views

Question about homogeneity of the geodesic

I have the following questions about the Homogenity of geodesic: Let $\gamma:(-\delta,\delta)\to M$, where $t\to\gamma(t,q,v)$ is a geodesic, then ...
1
vote
1answer
20 views

Show that exist a unique field $G$ on $TM$ whose paths are of the form $t\to (\gamma(t),\gamma'(t))$, where $\gamma$ is a geodesic on $M$.

Show that exist a unique field $G$ on $TM$ whose paths are of the form $t\to (\gamma(t),\gamma'(t))$, where $\gamma$ is a geodesic on $M$. My approach: Suppose such field actually exist, consider a ...
1
vote
0answers
22 views

Dirichlet problem for a ball in a Riemannian Manifold

I'm trying to work through the 2nd chapter "Volume comparison" of Jeff Cheeger's "Degeneration of Riemannian Metrics under Ricci Curvature Bounds". But with the last section I have some problems. ...
1
vote
1answer
23 views

Lie derivative of two differnt size related tensors

Let $\bar{M}=I\times M$ be a pseudo-Riemannian manifold equipped with metric $\bar g=-dt^2\oplus f^2g$ where $(M,g)$ is a Riemannian manifold, $I$ is an open connected interval and $f$ is a positive ...
2
votes
1answer
42 views

Affine manifolds which are *not* locally symmetric

Let $M$ be a manifold equipped with an affine connection $\nabla$. By standard theorems of differential geometry we have convex normal coordinate balls around every point in which geodesics are axis. ...
1
vote
1answer
42 views

Two proof of Petersen's 'Manifold'

Picture below is from the 5 page of Petersen's Manifold. First, why diffeomorphism is forced to be a lieanr isomorphism? The define of diffeomorphism accords to Wiki. Second , what space the point ...
1
vote
0answers
22 views

Metric evolving under Ricci flow with nonnegative scalar curvature is shrinking?

Let $g_{ij}(x,t)$ be a complete solution of the Ricci flow on a surface with bounded and nonnegative scalar curvature ,why the metric is shrinking ?
1
vote
1answer
46 views

Understanding wedge products for differential forms

I am trying to understand the derivation of coordinate expression for the Laplace-Beltrami operator (wiki here). The Wikipedia page says that $\nabla\cdot X$ is an operator mapping a function to a ...
0
votes
0answers
11 views

All movements that preserve the interval

Given the Minkowski space with the usual metric, I have to find all the movements that preserve the interval. I have been able to prove that the Lorentz Transformations are invariant but, ...
1
vote
0answers
27 views

What is $P\times_G E$?

I know what is principal bundle and associated bundle according Wiki.But I am not understand what is $P\times_G E$ .Seemly it is bundle,but I am not sure what structure is it . Below picture is from ...
4
votes
2answers
41 views

Proving the Ricci identity

I'm trying to prove the Ricci identity Let $Z^a$ be a vector field, $R^a_{\,bcd}$ the Riemann curvature tensor and $\nabla$ a torsion-free connection. Then: ...
0
votes
0answers
16 views

Proof of an equation of Contact Riemannian metric structure.

Let $(M,g, \eta,\xi,\phi)$ be contact metric structure and $\{e_0=\xi,e_i,\phi e_i\}$ be a local orthonormal frame so-called $\phi$-basis. How to prove the following equation: ...
3
votes
2answers
40 views

Can a conformal map be turned into an isometry?

Let $f: (M, g) \to (M, g)$ be a conformal diffeomorphism of the riemannian manifold $(M, g)$, with $$ g(f(p))(Df(p) \cdot v_1, Df(p) \cdot v_2) = \mu^2(p) g(p)(v_1, v_2), \quad \forall p \in M, \, ...
13
votes
0answers
278 views

Exponential map on the ellipsoid.

Consider the ellipsoid $M \subseteq \mathbb{R}^3$ defined by $$\frac{x^2}{a^2} + \frac{y^2}{b^2} + \frac{x^2}{c^2} = 1,$$ where $0 < a < b < c$, equipped with the usual Riemannian metric ...
1
vote
0answers
36 views

Harmonicity on semisimple groups

Let $G$ be a semisimple real Lie group, $U(\mathfrak{g})$ its universal enveloping algebra, let $\Omega$ be the Casimir element in $U(\mathfrak{g})$ and let $f$ be a smooth (or analytic) real-valued ...