(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

1
vote
0answers
34 views

Volume of the ball in smooth Riemannian manifold

If V(x,r) is the volume of a ball B(x, r) on a smooth Riemannian manifold, for fixed point x, is the function V(x, r) continue or differential for radius r?
0
votes
1answer
44 views

Length Minimizing Properties of Geodesics on Surfaces?

Can anyone recommend me some nice references about lengh minimizing properties of geodesics? I'm looking for a treatment in the case of surfaces, but more general viewpoints will also be welcome. ...
0
votes
0answers
23 views

There are no conjugate points on a surface with negative Gaussian curvature?

I'm trying to understand the following theorem about conjugate points: Theorem. Let $M$ be a complete surface with Gaussian curvature $K\leq 0$, then there are no conjugate points on $M$. Proof: Let ...
1
vote
1answer
64 views

Can I construct an affine connection on a Riemannian manifold from arbitrary Christoffel Symbols?

The question is rather simple. All my definitions are as in Do Carmo's "Riemannian Geometry". If $M$ is a Riemannian Manifold, can I construct an affine connection $\nabla$ on it by setting, for all ...
2
votes
1answer
45 views

Computing the volume element of an oriented Riemannian manifold

I'm reading Gallot-Hulin-Lafontaine, and in section 2.7 they say they following: I wanted to check that the second $v_g,$ given in a local oriented chart, satisfied the first property. So I ...
2
votes
1answer
142 views

Why do these geometric assumptions imply these statements about relative homology?

I'm reading the paper Coverage in sensor networks via persistent homology. As in the paper, let $\mathcal{D}$ be a bounded domain in $\mathbf{R}^d$. We make the following assumptions: A5 The ...
1
vote
0answers
30 views

Isometries and geodesics in projective plane using covering

We define a relation in the sphere by identifying the antipodal points, the quotient space obtained is the projective plane $\mathbb{P}^2$. Also, the quotient map ...
0
votes
1answer
39 views

Derivative of riemannian metric

I dont understand the following detail $$ \frac{1}{2} \int_a^b \frac{d}{dt}(g(X,X)ds = \int_a^bg(\nabla_YX, X)$$ Here $X = d\phi (\partial/\partial s)$ and $Y =d\phi (\partial/\partial t)$. Where ...
2
votes
2answers
71 views

Ricci Soliton geometric meaning

I wonder what is the geometrical, intuitive meaning of a Ricci soliton on a manifold. The definition that I use is as follows. $V$ is a vector field on the manifold, $g$ is a Riemannian metric. ...
2
votes
1answer
76 views

Reference request-What is the prerequisite of S.S.Chern's proof of the generalised Gauss-Bonnet theorem?

The title basically explains everything. The OP is an independent learner, who in the current stage sets S.S.Chern's proof of the generalised Gauss-Bonnet theorem as the goal. But what is the ...
2
votes
1answer
66 views

Intuition/visualization for a non-flat connection

I'd just like to check whether my visualization for a way to get a non-flat connection is correct. The definition I am using for a connection is, for a fiber bundle $\rho:E \to B$, a smooth ...
1
vote
1answer
36 views

For Green's function of $\Delta-c$, how to show $\int_{X}G(x,y)(\Delta-c)f(y) dy=\pm f(x)$?

Let $X$ be a compact Riemnnian manifold and $\Delta$ the Laplacian. Suppose that $G(x,y)$ be the Green's function of the elliptic operator $\Delta-c$ for a positive constant $c$. I think the ...
5
votes
0answers
117 views

Geodesic equation from Christoffel symbols

Let $\mathcal{P}:=\mathcal{P}(\mathcal{X})$ be the $n$-dimensional manifold of all (strictly positive) probability vectors (distributions) on $\mathcal{X}=\{x_0,\dots,x_n\}$, i.e., each ...
2
votes
1answer
48 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
30 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
59 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
59 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
83 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
55 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
59 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 ...
2
votes
0answers
56 views

Gradient of a real-valued function on SO(3)

I have struggling with a problem of evaluating the gradient of a cost function on the Lie group of rotations: SO(3). The cost is the following: \begin{equation} ...
1
vote
0answers
10 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
121 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
96 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
37 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
69 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
49 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
56 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
37 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
18 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
111 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
49 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
40 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
59 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
61 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
23 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
18 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
45 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
50 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
34 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
13 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
99 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
173 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
54 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
101 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
44 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
36 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 ...