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

2
votes
2answers
70 views

Topologies in a Riemannian Manifold

I'm studying Differential Manifolds using Manfredo do Carmo's Book (Riemannian Geometry) and although I see no mention of this in Do Carmo's book, it's really easy to see a Riemannian Manifold as a ...
3
votes
0answers
69 views

How to adapt the discrete-time to continuous, $(A) \Rightarrow (B)$?

in class was proved oseledets theorem for discrete time, following guidelines Ricardo Mañe book. Theorem discrete Oseledets (A) : Let $ M ^ n $ be a Riemannian manifold, $ f: M \rightarrow M $ be ...
1
vote
1answer
46 views

A simple metric question

In their article Killing vector fields of standard static spacetimes, Dobarro and Unal derived the following simple identity. Note that if $h:I→R$ is smooth and $Y,Z∈ {\frak{X}}\left(I\right)$, ...
0
votes
1answer
51 views

Existence of normal orthogonal frame on sphere such that it is normal at every point in a neighbourhood?

It seems that on sphere $S^{n-1}$, there exists a better frame than the usually normal frame. In the literature, some author asserts that there exists a local orthogonal frame ...
1
vote
0answers
40 views

The uniqueness of the Einstein metric on $\mathbb CP^n$

Is the Fubini-Study metric the unique Einstein metric (up to scaling by a constant) on $\mathbb CP^n$? More restrictively, Is the Fubini-Study metric the unique Kahler-Einstein metric (up to scaling ...
0
votes
1answer
46 views

Prove that there are no complete regular minimal surfaces lying above a paraboloid

Prove that there are no complete regular minimal surfaces lying above a paraboloid contained in $U=\{(x,y,z) \in \mathbb{R}^3 : a(x^2+y^2)<z\}$. Here $a>0$. I've had this problem on my mind ...
1
vote
0answers
70 views

(locally) “almost convex” property of the distance function in a general Riemannian manifold

Given two constant-speed geodesics $\gamma_1$ and $\gamma_2$ in an euclidean space $\mathbb E^n$, it is possibile to see that: $$ t \mapsto d(\gamma_1(t), \gamma_2(t)) $$ is a convex function. The ...
0
votes
0answers
55 views

About Geodesic polar coordinate

What is different from geodesic polar coordinates and other polar coordinates? Geodesic polar coordinates has a form of $$ds^2=dr^2+f(r,\theta)^2\,\,d\theta^2$$ In $S^2$, $f(r,\theta)=\sin(r)$ which ...
3
votes
1answer
52 views

Question about complete metric on manifolds

I've recently been wondering about whether non-complete metrics on manifolds can be transformed into complete metrics on manifolds and whether all manifolds have complete metrics. After some googling ...
1
vote
0answers
28 views

Ricci scalar algebra

Is this derivation correct? If $R=0$, $R$ being the scalar curvature, then: $$R_{;k}=0$$ $$(g^{ac}g^{bd}R_{abcd})_{;k}=0$$ $$g^{ac}g^{bd}(R_{abcd})_{;k}=0$$ $$R_{abcd;k}=0$$
4
votes
1answer
36 views

No Lorentzian metric on $S^{2}$

In the book Riemannian Geometry by Gallot et al there is a remark at the beginning that there is no Lorentzian metric on $S^{2}$. Is it a difficult theorem? Or there is an easy solution? Any hint/idea ...
2
votes
1answer
44 views

Conformal classes and almost-complex structures

It is well-known that on closed oriented surfaces $S$, conformal classes of metrics on $S$ correspond bijectively to complex structures on $S$. My understanding is that this correspondance goes as ...
3
votes
3answers
123 views

Differentiability of the distance function

Suppose that $d:X \times X \to \mathbb{R}$ is a geodesic distance function on a smooth Riemannian manifold $X$ ($d$ is determined by metric tensor) and $x \in X$ is fixed. What can be said about the ...
1
vote
0answers
42 views

The finiteness of the fundamental group of a closed Ricci-flat manifold

If $M$ is a Ricci-flat closed Riemannian manifold with $H^1(M,\mathbb R^n)=0$, can we show the fundamental group of $M$ is finite?
3
votes
1answer
40 views

The isometry group of the simply-connected Ricci-flat closed manifold

If $M$ is a simply-connected Ricci-flat closed manifold, then is $I(M)$ the isometry group finite?
2
votes
1answer
106 views

Distance between two points on the Clifford torus

How can I obtain the distance between two points $\mathbf{x}=(x_1,x_2,x_3,x_4)$ and $\mathbf{y}=(y_1,y_2,y_3,y_4)$ that belong to the $2$-torus $\mathbb{S}^1\times \mathbb{S}^1$? This is, I want to ...
3
votes
0answers
57 views

Ricci SCALAR curvature

Are there any manifolds that have NULL SCALAR curvature but not null ricci curvature tensor? For dim>2, obviously. Edit: Are there, also, any manifolds of null scalar curvature but ricci curvature ...
1
vote
1answer
48 views

A question on self-dual differential 2-forms

This question is from Lemma 2 in Derdzinski's paper. Let $$\omega=e_1\wedge e_2+e_3\wedge e_4, \eta=e_1\wedge e_3+e_4\wedge e_2, \theta=e_1\wedge e_4+e_2\wedge e_3$$ be a basis for self-dual ...
2
votes
0answers
98 views

Pushforward along an exponential map

My differential geometry is a bit rusty, so I'd like some help with what follows: I have the following setting: $M,N$ Riemannian manifold of dimension $m<n$ with codimension $d$, $M$ in embedded ...
2
votes
1answer
59 views

Is there an efficient way to prove orthogonality of a coordinate system?

Suppose we define a new orthogonal coordinate system, such as spherical coordinates defined by $$x = r \sin \theta \cos \phi, y = r \sin \theta \sin \phi, z = r \cos \theta.$$ Is there an efficient ...
0
votes
0answers
31 views

Version of gauss theorem

I came across a statement which says that the version of Gauss-Theorem says that : $$\int_{\partial \Omega } f div_{\partial \Omega } v ds = - \int_{\partial \Omega} v \cdot \nabla^{\tau} f ds + ...
4
votes
1answer
76 views

Is there an easy way to reason about expressions involving lots of indices?

I have been reading some Riemannian geometry recently. So far, I think I am understanding the concepts well enough. However, I am finding it difficult to translate some of the notation into meaning. ...
1
vote
1answer
92 views

On local isometry of mappings

Apropos discussion at this link: locally isometric is not a symmetric relation. My instructor told me that a counterexample to the symmetric relation here could be actually even simpler than the ...
1
vote
1answer
53 views

The formula for a distance between two point on Riemannian manifold

Given a Riemannian (say, connected) manifold $(M,g)$ one can produce the metric via a formula $d(x,y)=\inf_{\gamma}l(\gamma)$ where $\gamma$ is piecewise smooth curve joining $x$ and $y$. My question ...
8
votes
1answer
169 views

Is there a codifferential for a covariant exterior derivative?

For forms on a Riemannian $n$-manifold $(M,g)$ there is a notion of a codifferential $\delta$, which is adjoint to the exterior derivative: $$\int \langle d \alpha, \beta \rangle \operatorname{vol} = ...
5
votes
1answer
72 views

Naturality of the pullback connection

I'm completely stuck proving the naturality of the pullback connection. The strategy suggested is a follows: We let $\phi: (M,g) \to (\tilde{M}, \tilde{g})$ be an isometry, with connections ...
1
vote
1answer
50 views

Noncomplete riemannian manifolds

In Lee's Riemannian manifolds text, he claims that "on $\mathbb{R}^n$ with metric $(\sigma^{-1})^* g$ obtained from the sphere from stereographic projection, there are geodesics that escape to ...
0
votes
0answers
17 views

Under what conditions does a one variable off diagonal component make a curved metric irreducible into a diagonal curved metric?

I am currently working with the following metric \begin{align} ds^2 = P(r)dt^2-2C(r)dtdr-Q(r)dr^2-r^2d\theta^2-\sin^2(\theta)r^2d\phi^2 \end{align} and I am attempting to solve a problem concerning ...
0
votes
1answer
61 views

Of the three tensors, Riemann Tensor, Ricci Tensor, and Ricci Scalar, which ones are only zero in a flat metric?

I think that the Riemann tensor is zero only in the presence of a flat metric. However, the Ricci Tensor and the Ricci Scalar, are unknown to me, whether they are zero only in the presence of a flat ...
3
votes
2answers
180 views

What is the scalar product of tensors?

Given there a vector space $V$ with a scalar product $g(v_1,v_2)$ on it, what is the scalar product on, say, $V \otimes V^*$ ? According to Jeffrey Lee's "Manifolds and Differential Geometry" (see ...
0
votes
0answers
16 views

Question about Schur's theorem..

I understand that if a manifold is isotropic at any point, then the manifold has constant scalar curvature and the following identity holds: $$R_{abcd}=\frac{R}{n(n-1)}(g_{ac}g_{bd}-g_{ad}g_{bc})$$ ...
1
vote
1answer
57 views

Boothby's exercise $I.3.1$ on showing that a subset of $\mathbb{R}^{2}$ is not a manifold

First time here, so sorry for the rookie mistakes. I'm a $4^{th}$ year physics student taking Riemannian Geometry so my background on the subject is very small. I'm trying to solve Boothby's exercise ...
3
votes
1answer
61 views

If $\operatorname{div} X = 0$ what can be said about $X^\flat$?

If vector field $X$ is divergent free $$\operatorname{div} X = 0$$ what are the properties of a corresponding covector field $X^\flat$ (via musical isomorphism with a metric $g$)? Are there some ...
2
votes
2answers
65 views

Christoffel's symbols for a dual connection

Suppose that $\Gamma^{\beta}_{i\alpha}$ are Christoffel symbols for a connection with respct to a (local) basis $\{E_1,...,E_n\}$. I tried to prove that the Christoffel symbols for a dual connection ...
1
vote
0answers
81 views

Computing the Fubini-Study metric

I would like to compute the Fubini-Study metric $g_{FS}$ for $\mathbb{CP}^{n}$ using as definition the metric induced from the round metric of the sphere by the Hopf fibration. I tried to compute on ...
0
votes
1answer
42 views

When to take derivative with respect to distance?

I had a previous question about the divergence in spherical coordinates and using the usual formula found on wikipedia "List of formulas in Riemannian geometry" I could not get the correct form of the ...
1
vote
0answers
55 views

Norm equivalence of p-forms

Let $U$ be a bounded domain in the Euclid space $(\mathbb{R}^d,g)$. $g_{\wedge^p}$ denotes the fiber metric of $\wedge^pT^{\ast}\mathbb{R}^d$ derived from $g$. $A^p$ denotes the set of p- forms on ...
0
votes
0answers
31 views

Relationship between differentiation and integration of vector fields?

Let $V\in\Gamma(T\mathbb{R}^n)$ be a vector field and $\gamma:[a,b]\to \mathbb{R}^n$ a curve. Let $\nabla$ be the Euclidean connection, i.e. $\nabla_XY=XY^k\frac{\partial}{\partial x^k}$. We have a ...
1
vote
0answers
26 views

How to compute the derivative of this functional on a manifold?

I'm a little puzzled by the following computation. Suppose $\Sigma$ is a compact two-dimensional Riemannian manifold and $M$ is any Riemannian manifold. Let $\Omega$ be some space of functions from ...
2
votes
1answer
65 views

Why are parallel vector fields called parallel?

In Lee's "Riemannian Manifolds: An Introduction to Curvature" given a curve $\gamma:[a,b]\to M$ and a tangent vector $V_0\in T_{\gamma(t_0)}M$, where $t_0\in [a,b]$, there is a drawing of the parallel ...
2
votes
0answers
121 views

Confusion regarding Riemann normal coordinates

I'm trying to understand Riemann normal coordinates. This "simple" example using the surface of a unit sphere is from http://www.maths.bris.ac.uk/~macpd/gen_rel/snotes.pdf (p26). The “north pole” ...
0
votes
0answers
36 views

what is wrong with my (too strong to be true) generalization of a Gromov result?

In his paper "Volume and bounded cohomology", page 59 (267), Gromov proves the following result: "Let $V$ be a smooth $n$-dimensional manifold, and let $P$ be a piecewise smooth polyhedron of ...
0
votes
1answer
36 views

Riemannian geometry algebra

Is this derivation correct? $$ R^{ab}_{;a}=0 $$ $$ g_{ac}g_{bd}R^{ab}_{;a}=0 $$ $$ (g_{ac}g_{bd}R^{ab})_{;a}=0 $$ $$ R_{cd;a}=0 $$ And does that mean I now have $n^3$ equation as opposed to $n$?
0
votes
1answer
24 views

computing the components of $f^*g_N$

Let $M$ and $N$ are to compact complex manifolds of dimensions $m$ and $k$ respectively, and $f:M\to N$ is a holomorphic map then how can we compute the components of $f^*g_N$
2
votes
0answers
33 views

mean curvature of a nonlinear parabolic PDE

I want to compute the mean curvature of a reaction diffusion equations of the form $$ u_t=u_{xx}-u^2 $$ Any suggestions is appreciated!
5
votes
1answer
68 views

Space of oriented lines in $\mathbb{R}^{n+1}$ as symplectic quotient.

I've been working out a nice example of symplectic reduction, and have come to a solution only after quite a lot of effort. So I was wondering if anyone knew a more straightforward route to the ...
0
votes
1answer
44 views

Connected and simply connected neighborhoods

Suppose that $E \to M$ is a (smooth) vector bundle over smooth manifold $M$. One can find the covering $\{U_i\}_i$ with the property that $E|_{U_i}$ is trivial vector bundle. The prooblem is the ...
3
votes
1answer
83 views

Why Riemannian metrics have to be smooth?

Why do Riemannian metrics have to be smooth? Can you give an example of a smooth curve with a none smooth metric and show me what possibly will go wrong if our metric is not smooth?
1
vote
1answer
33 views

A Couple Formulas in Besse's “Einstein Manifolds”

In Besse's "Einstein Manifolds," Chapter 6D, there are 2 formulas which I am interested in, which apply to compact Riemannian $4$-manifolds: ...
1
vote
1answer
56 views

Why are there infinitely many connections on a Riemannian manifold?

I've just started learning some Riemannian manifold stuff, and I'm getting confused about the concept of connection. A connection $\nabla: \Gamma(T\mathcal{M})\times \Gamma(T\mathcal{M}) \rightarrow ...