(Stub) The study of differential geometry with notions of infinitesimal distance given by a Riemannian metric. This allows us to consider questions about the shape of a manifold by studying its curvature.

learn more… | top users | synonyms

2
votes
1answer
61 views

If $\Gamma^k_{ij}(p)=0$, then $\nabla_{E_i}E_j (p)=0?$

I'm having the same problem as it was questioned here. I can't get throught the step where I need to show that $\nabla_{E_i}E_j (p)=0$. It only leads to $$ \nabla_{E_i}E_j(p)=\sum_{lk}^n ...
1
vote
1answer
35 views

Question on Normal Coordinates

I'm having a hard time trying to understand something that I'm suspicious is pretty stupid. I'll refer to Wikipedia to settle the term's I'll refer to. ...
1
vote
1answer
65 views

Multi Index Dirac delta function

If we assume the following result: $$\delta^{\alpha_1,\alpha_2,\cdots , \alpha_k, \rho}_{\beta_1,\beta_2,\cdots , \beta_k, \rho} = (n-k)\delta^{\alpha_1,\alpha_2,\cdots , ...
0
votes
1answer
80 views

Why the geodesic curvature is invariant under isometric transformations?

As I know the geodesic curvature $$ \kappa_g = \sqrt{det~g} \begin{vmatrix} \frac{du^1}{ds} & \frac{d^2u^1}{ds^2} + \Gamma^1_{\alpha\beta} \frac{du^\alpha}{ds} \frac{du^\beta}{ds} \\ ...
5
votes
1answer
104 views

Explicit description of flat connections under pullback on principal bundles over Riemann surfaces

I'm trying to find a proof/reference for a statement that I've seen quoted in some way or the other, but without reference. The setting: let $P\longrightarrow M$ be a flat principal $G$-bundle over ...
0
votes
0answers
9 views

Short-time representation of variations of metrics on principal bundles via exp?

Let us consider a principal $G$-bundle $P\longrightarrow M$ together with an $H$-reduction $s$, where $H$ is a maximally compact Lie subgroup. As an $H$-reduction, $s\in\Gamma(M,P/H)$, hence we can ...
1
vote
1answer
70 views

Which of principal curvature, Gaussian curvature and mean curvature is intrinsic ? Why?

Which of principal curvature, Gaussian curvature and mean curvature is intrinsic and why? Which book will have this explanation? I read a book (Remannian Geometry, Do Carmo, p129). It has a saying: ...
1
vote
2answers
81 views

Isometries and inner product in Hyperbolic SPACE (H3)

Well, the title says what I need to know/understand, when I studied upper half plane I remember that isometries are Mobius transformations (If I am not wrong), now I have no clue about it. Thanks for ...
1
vote
0answers
11 views

Is $C^0([0,T]\times M) \subset L^1(0,T;L^1(M))$ dense for $M$ a compact Riemannian manifold?

Let $M$ be a compact Riemannian manifold. Is $C^0([0,T]\times M) \subset L^1(0,T;L^1(M))$ dense?
0
votes
1answer
15 views

Density of bounded functions in $L^1(0,T;L^1(M))$?

Let $u \in L^1(0,T;L^1(M))$ where $M$ is a compact Riemannian manifold. Is it possible to find $u_n$ such that $u_n \to u$ in $L^1(0,T;L^1(M))$ and $u_n$ are bounded everywhere or almost everywhere on ...
7
votes
2answers
184 views

Geometric meaning of symmetric connection

If $(M, g)$ is Riemannian manifold, there is unique connection $\nabla$, called Levi-Civita connection, satisfying the following: 1) Compatibility with Riemannian metric, i.e. $\nabla(g)$=0 2) ...
3
votes
2answers
126 views

Equivalent definitions of vector field

There are two definitions of a vector field on a smooth manifold $M$. A smooth map $V:M \rightarrow TM, \forall p \in M:V(p) \in T_p M$. A linear map $V:C^{\infty}(M) \rightarrow C^{\infty}(M), ...
0
votes
1answer
61 views

Problem in proving the property of Lie bracket of vector fields

Let $M$ be a Riemannian manifold, $f \in C^{\infty}(M)$, $X,Y$ vector fields on $M$. Then i have to prove $[X,f\cdot Y]=f\cdot [X,Y]+X(f)\cdot Y$. First i use the definition of Lie bracket: $[X,f\cdot ...
4
votes
1answer
75 views

The Levi-Civita connection in infinite dimensions

Is there an analogue of the Fundamental Theorem of Riemannian Geometry for (some subclass of) infinite-dimensional manifolds?
4
votes
1answer
53 views

“Bundle of metrics” on a principal bundle?

I've come across the term "bundle of metrics" on a principal bundle. In particular, my setting is that for $N\longrightarrow M$ a universal cover of a compact Riemann surface, $P\longrightarrow M$ a ...
4
votes
1answer
69 views

Gauss curvature of C^2 surfaces

In do Carmo's book on Differential Geometry of Curves and Surfaces, the proof of theorema egregium, that the Gauss curvature of a surface immersed in $\mathbb{R}^3$ is invariant under local ...
0
votes
2answers
47 views

geodesic based on fixed points

Question: For any points $p,q\in M$, does there exist a geodesic curve connecting $p$ and $q$? Let $M$ be some constant curvature space, like $\mathbb R^n$, $\mathbb S^n$, $\mathbb H^n$. The answer ...
2
votes
1answer
19 views

Riemann integral and homoemorphism

I am wondering what happens if I have the following setup: I have a homeomorphism: $\phi$ from the unit sphere to the unit cube. I know that the characteristic function of the unit sphere is Riemann ...
2
votes
1answer
123 views

Totally geodesic and autoparallel

Let $M$ be a Riemannian manifold. A submanifold $N$ of $M$ is totally geodesic if every geodesic in $N$ is also a geodesic in $M$. On the other hand, $N$ is an autoparallel submanifold of $M$ if ...
0
votes
1answer
50 views

When can you recover a connection from totally geodesic submanifolds?

Let $g_{ab}$ a Riemaniann ( Lorentzian ) metric in a $n-$dimensional manifold $N$ and let $M$ be a submanifold of $N$. In general, the Levi-Civitta connection induced by the induced metric in $M$ ...
0
votes
0answers
63 views

Strictly convex boundary of Riemannian manifold

Let $(M,g)$ be a compact smooth Riemannian manifold with boundary $\partial M\subset M$. What does it mean to say that the boundary is convex and strictly convex? I can find definitions of ...
1
vote
1answer
73 views

Reference - Riemannian Orbifolds

I am looking for papers or textbooks talking about the various analog theorems of Riemannian Geometry of Manifolds to Riemannian Orbifolds like Toponogovs Theorem, Bonnet-Myers, Gauss Bonnet etc. So ...
1
vote
2answers
83 views

convexity and center of mass in riemannian manifolds

every riemannian manifold M is locally convex. Let $U$ be an open convex subset of $M$. Let $x_0, \ldots, x_n$ be points in $U$. Consider the map $\sigma \: \Delta \to U$ (where $\Delta$ is the ...
1
vote
0answers
25 views

Weakest curvature assumption for existence of harmonic coordinates

Let (M, g) be a Riemannian manifold. What are the weakest curvature bounds for which one can construct harmonic coordinates on M (or at balls contained in M)? Does anybody maybe know if it is possible ...
1
vote
0answers
24 views

How to change the parametric equations of a hypersurface in $V_N$ to another form…

This exercise was given in the first pages of Synge & Schild Tensor Calculus. The parametric equations of a hypersurface in $V_N$ are $x^1=a\cos{u}$, $x^2 = a\sin{u^1}\cos{u^2}$, $x^3 = ...
0
votes
0answers
39 views

Notation on an estimate of the sectional curvature.

In a paper on the Ricci flow i am currently reading (http://arxiv.org/abs/math/0612095) the following estimate occurs several times (for example Lemma 4.1 and 4.2); $$\operatorname{sec}(g_0) \geq ...
2
votes
0answers
51 views

Seifert surfaces in Riemannian manifolds?

Does there exist an equivalent to Seifert surfaces for other Riemannian manifolds than $\mathbb{R}^3$? More precisely: Let $M$ be a simply-connected Riemannian manifolds and $K \subset M$ a (tame) ...
1
vote
1answer
77 views

Does a simply connected complete riemannian manifold with POSITIVE upper curvature bound have positive injectivity radius?

For example: I am thinking that some sort of rauch comparison theorem could be helpful
0
votes
1answer
35 views

Time evolution of Laplacian

While reading monograph on the Ricci flow, I came accross a fact (at least I think it is a fact), which is not proved explicitly in that book. Assume a smooth 1-parameter family of Riemannian metrics ...
0
votes
0answers
18 views

The time evolution of levi-Civita connection

Assume a smooth one-parameter family of Riemannian metrics $g_{t}$. Write $h:=\frac {\partial}{\partial t}g$. In addition, assume that the Levi-civita connection on the Riemannian manifold ...
3
votes
1answer
131 views

Question about Hopf-Rinow theorem

I'm studying Hopf-Rinow theorem and I don't see a step in the proof. Could someone help me, please? (Definition) Let's $(M, \langle,\rangle)$ an ANII(axiom numerability 2) and Hausdorff Riemannian ...
5
votes
3answers
293 views

Prerequisite for Petersen's Riemannian Geometry

A professor recently told me that if I can cover the chapters on curvature in Petersen's Riemannian geometry book (linked here) within the next few months then I can work on something with him. ...
0
votes
1answer
66 views

Definition of the integral of a vector field on Riemannian manifold and Euclidean spaces

Given a compact Riemannian manifold $(M,g)$ and a vector field $X \in \mathfrak{X}(M)$, is it possible to define the integral of $X$ on $M$? What if $M$ is a Euclidean space? Clearly the definition ...
1
vote
0answers
103 views

Given a diffeomorphism between two surfaces, is there an expression for the pullback of the covariant derivative of a vector field?

Let $A$ and $B$ be two surfaces (smooth enough) in an affine space $M$ with metric $g$. Let $g^A$, $g^B$ be the metric tensors on the two surfaces induced by $g$, and $\nabla^A$, $\nabla^B$ the ...
2
votes
2answers
54 views

Are all critical points of energy geodesics?

Let $\gamma$ be a smooth curve in a Riemannian manifold and consider the arclength functional $L(\gamma) = \int_a^b |\gamma'(t)|\, dt$ and the energy functional $E(\gamma) = \frac{1}{2}\int_a^b ...
2
votes
0answers
39 views

Why Riemannian metrics defining the same angles are conformal [duplicate]

Suppose $g_1$ and $g_2$ are two metrics defining the same angles, which means $g_1(X,Y)/(g_1(X,X)g_1(Y,Y))^{0.5}=g_2(X,Y)/(g_2(X,X)g_2(Y,Y))^{0.5}$ for all pairs of vector $X,Y$.I want to prove that ...
2
votes
0answers
83 views

Completeness of a Riemannian manifold with boundary

I have some issues understanding the notion of completeness of a Riemannian manifold with boundary. In the case of Riemannian manifolds without boundary, I found that completeness is usually defined ...
1
vote
1answer
77 views

Request for online reference to Hamilton's “The Ricci Flow on Surfaces”

Does anyone know of an online source for Richard Hamilton's paper "The Ricci Flow on Surfaces?" I've searched Google for it and it doesn't seem to give any results.
6
votes
1answer
162 views

Which textbook of differential geometry will introduce conformal transformation?

Which textbook of differerntial geometry will have these formulas about conformal transformation? $$\tilde g_{ij} = e^{2\varphi}g_{ij}$$ $$\tilde \Gamma^k{}_{ij} = \Gamma^k{}_{ij}+ ...
4
votes
1answer
108 views

Klein Bottle Embedding on $\mathbb{R}^4$.

First of all, I am aware of the question in How to embed Klein Bottle into $R^4$ , which was inconclusive. Anyway, I've made some progress, but I still have a question. I am using Do Carmo's ...
1
vote
1answer
17 views

The higher-order estimates for the distance function

Let $M$ be a complete Riemannian manifold such that inj$(M)\geq l>0$ and $|\nabla^k\text{Rm}|\leq A_k$ for any $k \geq 0$ . For a point $p$ on $M$, we have a distance function $r(x)=d(x,p)$. For ...
1
vote
0answers
27 views

Scalar Curvature of a metric on the hemisphere, from a paper on the Min-Oo Conjecture

I'm reading a paper on the Min-Oo Conjecture (http://arxiv.org/abs/1004.3088), and I'm stuck on the following step in a proposition: Given a metric $g_0(t)$ on the upper hemisphere $\mathbb{S}^n_+$, ...
4
votes
1answer
83 views

Schwarzschild metric tensor normal vectors

The Euclidean Schwarzschild metric describing a manifold (a black hole, though this is not relevant to the question) is given by, $$\mathrm{d}s^2 = \left( 1-\frac{2GM}{r}\right)\mathrm{d}\tau^2 + ...
3
votes
1answer
62 views

The Lie derivative by an infinitesimal action is invertible at an isolated zero point

Let a compact Lie group $G$ act on a manifold $M$. Fix $X \in \mathfrak g$ and we write $X_M$ for the infinitesimal action of $X$. Assume that $p \in M$ is a zero point of $X_M$. Define a linear map ...
3
votes
1answer
39 views

Chain rule quesition: proving that the Weingarten map is self-adjoint

I'm reading through the proof in this paper (http://www.math.leidenuniv.nl/scripties/JaibiBach.pdf) but I'm stuck at the line: "Using the chain rule we get: $L_p(\phi_v) = -Dn(\phi_v) = - \frac ...
3
votes
1answer
114 views

Tensor Laplacian

For a general tensor $T_{\mu_1 \dots \mu_n}$ on a (pseudo-)Riemannian manifold, is it true that $\Delta (T_{\mu_1 \dots \mu_n})= (\Delta T)_{\mu_1 \dots \mu_n}$? In general, it is not true that ...
5
votes
1answer
94 views

Is a bounded (Riemannian) manifold always totally bounded?

Let $(M,g)$ be a finite dimensional Riemannian manifold. Suppose it is bounded as a metric space, i.e. $$\sup \{ d(x,y) | x,y \in M \} < \infty$$ where $d$ is the distance induced by $g$. Is $M$ ...
2
votes
1answer
67 views

A lemma is John Lee's Riemannian Manifold having problem with proving it

The tangential connection on an embedded submanifold $M ⊂ R^n$ is symmetric. the hint is let $X,Y$ be vector fields that are tangent of M at points of M, so is $[X,Y]$ I start with $$T(X,Y)=\nabla_x ...
0
votes
0answers
29 views

Variation on Fubini's Theorem

My attempt: Let $P_1$ be a regular partition of $R_1$ and $P_2$ a regular partition of $R_2$. Denote by $P$ the corresponding regular partition of $R_1\times R_2$. Given a generalized rectangle ...
1
vote
0answers
34 views

Definition of a Regular Partition of a Closed Generalized Rectangle in $\mathbb R^n$

What the heck does this definition of a regular partition $P$ of $R$ mean? I follow what it is saying until we get to the last part, "the $k_1\cdot k_2\cdot \cdots \cdot k_n$ subrectangles of the ...