(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
0answers
10 views

Parallel transport and reparametrization

Let $M$ denote a Riemannian manifold, $\gamma$ a geodesic of $M$ defined on $\mathbb{R}$. Let $t_{0} \in \mathbb{R}$ and $(\alpha,\beta) \in \mathbb{R}^{2}$. I define the reparametrized geodesic ...
1
vote
1answer
31 views

$\Delta e^i =0$ where $e_i$ is geodesic.

Let $e_i$ be a geodesic coordinate vector field and $e^i$ be its coframe. Then $$\Delta e^i =0$$ This is right ? If so how can we prove ? $$\Delta e^i (e_j)=\nabla_k \nabla_k e^i(e_j) = e_k( ...
1
vote
0answers
41 views

Manifold characteristics in terms of Riemannian metric

I wonder what characteristics of Riemannian manifold can be expressed in terms of metric? Are there any results similar to Gauss–Bonnet theorem? Does the Riemannian metric give any information about ...
4
votes
2answers
65 views

Why are Euclidean and hyperbolic lengths proportional to first order?

In his book “Three-Dimensional Geometry and Topology”, Thurston constructs a Riemannian metric for the Poincare disk model and begins as follows. He says that, given any (hyperbolic) line segment $s$ ...
1
vote
1answer
39 views

surface in $R^3$ that has $ds^2 = du^2/v^2 + dv^2/v^2$

For a 2D surface, if we have the first fundamental form of $$ ds^2 = du^2/v^2 + dv^2/v^2$$, can we integrate it out to get the parameter form of the surface embedded in $R^3$? I tried something like ...
3
votes
0answers
32 views

Weakening Sobolev coefficient in an elliptic estimate.

One of the classical estimates for Sobolev norms and elliptic operators is the following: let $L$ be an elliptic operator of order $l$, then there is some $C > 0$ such that for all $u \in H^{s+l}$ ...
5
votes
2answers
137 views

Two distinct geodesics joining two points on a compact manifold

This is a problem from the book Gallot, Hulin, Lafontaine: Riemannian geometry (3rd edition). Exercise 2.118: For a compact Riemannian manifold, let $p,q$ two points such that $d(p,q) = ...
3
votes
1answer
59 views

The computation of the Laplacian of the heat kernel on a Riemannian manifold

From John Roe, Elliptic Operators, topology and asymptotic methods , page 99 Let $M$ be a manifold of dimension $n$ with fixed point $q$. Let a geodesic local coordinate system $x^{i}$ originate from ...
0
votes
0answers
40 views

Minimizing geodesics don't have kinks

I'm working in a Riemannian manifold where all pairs of points are connected by a minimizing geodesic (i.e. a geodesic whose length equals the distance between the points). Here geodesics are ...
0
votes
0answers
35 views

Constant curvature geodesic circles on a surface with constant Gauss curvature

Referring to: Curvature of geodesic circles on surface with constant curvature, Is it possible to combine further the last two of the three equations in the link given above into a single ODE / PDE ...
1
vote
1answer
45 views

Are the topology of a manifold and the topology induced by the metric of a manifold the same?

I am a physics student trying to understand in a rigorous way what a manifold is so please bear with me. Ok, so I am just learning what a topology is and from what I have understood up till now is ...
2
votes
1answer
40 views

What is the adjoint of the connection operator on a Clifford bundle?

From Elliptic Operators, topology and asymptotic methods, John Roe, page 43-45. Let $M$ be a Riemannian manifold. Let $S$ be a Clifford bundle over $M$, such that each $S_{m}$ over $m\in M$ is a ...
10
votes
2answers
242 views

What meaning did Riemann assign to $dx$?

Detlef Laugwitz wrote a monumental biography of Riemann. The book was translated into English by Shenitzer. Laugwitz discusses Riemann's fundamental essay Uber die Hypothesen, welche der Geometrie ...
1
vote
1answer
24 views

An assumption used to derive the curvature tensor for Riemannian submersions

I was reading the literature about Riemannian submersions, and I came across the result showing the relation between the curvature tensor $\bar{R}$ in a manifold $M$ and the curvature tensor $R$ in a ...
1
vote
2answers
66 views

Is there any difference between a flat manifold and an affine space?

What is the difference, if any, between a flat manifold (in which the Riemann tensor vanished identically) and an affine space?
3
votes
1answer
59 views

Is a Riemannian metric a $2$-form?

In Lee's Riemannian Manifolds; An introduction to Curvature, he defines a Riemannian metric as an element of $\Gamma(T^2_0M)$, a $(2,0)$-tensor. Is this the same thing as a $2$-form? Is there a ...
0
votes
0answers
14 views

manifolds with similar extrinsic and intrinsic distances ( locally)

Is there any specific name for those manifolds caracterized by having (locally) similar ( in some epsilon sense) extrinsic and intrinsic distances?
1
vote
0answers
39 views

Why is the matrix of a Riemannian metric positive definie?

Maybe I could post this as a linear algebra problem but I'll give some context. I know that if $(U, x_1, \ldots, x_n)$ is a local chart of a smooth manifold $M$ I can write locally a Riemannian ...
1
vote
0answers
18 views

Does the conformal class of a complex projective curve contain the Fubini-Study metric?

Let $X \subset \mathbb CP^2$ be a complex curve with metric $g$ induced by the Fubini-Study metric on $\mathbb CP^2$. Since in the case of two-dimensional real manifolds a complex structure is ...
1
vote
1answer
28 views

Example of complete not-connected riemannian manifold

Are there examples of complete Riemannian manifolds which are not connected ? This question follows my previous question. The more I think about it and the less I'm convinced it exists.
2
votes
1answer
70 views

Riemannian metric and geodesic

For all $p \in \mathbb{R} \smallsetminus \lbrace 0,1 \rbrace$, let $\displaystyle M(p)=\frac{1}{p^{2}(p-1)^{2}}$. Then, let $g_{p} \, : \, (u,v) \, \longmapsto \, uM(p)v$. I am not sure about the ...
1
vote
1answer
37 views

When do isometries commute with the compatible derivative operator on a semi-Riemannian manifold?

Let $M$ and $\tilde{M}$ be smooth manifolds, each with a metric $g_{ab}$ and $\tilde{g}_{ab}$, assumed here to be smooth symmetric invertible tensor fields, which are non-degenerate but not ...
2
votes
2answers
60 views

Ricci Tensor, Curvature and Scalar Curvature computation from definition

I am studying a little of Riemannian geometry and I am having some problem in making the connection between two expressions of Ricci tensor, curvature and scalar curvature. Well, in the book that I am ...
0
votes
1answer
31 views

Question on Torsion free condition for Levi-Civita connection

I was watching a video on Riemannian Geometry. The lecturer mentions that given the defining condition for a connection on a Riemannian manifold $M$ i.e. : $$\nabla_X(Y) : \chi(M) \times \chi(M) \to ...
1
vote
0answers
44 views

Parallel Transport of Geodesic Velocity Vectors

Given a Riemannian manifold $M$ with Riemannian metric $g_{x}:T_{x}M\times T_{x}M\rightarrow\mathbb{R}$ and distance $d:M\times M\rightarrow\mathbb{R}$ determined by length of minimizing geodesics, ...
10
votes
2answers
238 views

Non-ellipticity of Yang-Mills equations

Let $D=\text{d}+A$ be a metric connection on a vector bundle with curvature $F=F_D$. How does one prove that the Yang-Mills equations $$ \frac{\partial}{\partial x^i}F_{ij}+[A_i,F_{ij}]=0 $$ from ...
1
vote
1answer
41 views

Levi Civita connection along principal curvature directions

Let $(M,g)$ be a surface that can be immersed into $\mathbb{R}^3$. Denote by $\nabla$ the associated Levi Civita connection. Further, let $X_1,X_2$ be the directions of principal curvature which are ...
1
vote
1answer
31 views

Difference betwee parameterization and embedding of manifolds

What is the difference between embedding and parameterization? Why, for example, we say Gauss parameterization of a convex hypersurfaces, and we don't call it an embedding?
3
votes
2answers
77 views

Riemannian manifolds are metrizable?

I've seen lots of casual claims that Riemannian manifolds (even without assuming second-countability) are metrizable. In the path-connected case, we can use arc-length to create a distance function. ...
0
votes
1answer
32 views

Easy solution to Yamabe problem for surfaces

The Yamabe problem asks if, given a Riemannian manifold $(M,g_0)$, it is possible to find a conformal metric $g$ on $M$ with constant scalar curvature. I would like to know if there is some "easy" ...
1
vote
1answer
45 views

extension of a local orthonormal frame on a hypersurface

Let $N$ be a $(n+1)$-dimensional Riemannian manifold and $M\subset N$ a Riemannian hypersurface (embedded or immersed). Let $M$ and $N$ be oriented and choose a unit normal vector field $\nu$ along ...
2
votes
1answer
75 views

relative sign in Hodge star of tensor product

Let $V$ be a vector space of arbitrary (finite) dimension and let $(V, \langle \ ,\ \rangle, I) = (W_1, \langle\ ,\ \rangle_1, I_1) \oplus (W_2, \langle\ ,\ \rangle_2, I_2)$ be a direct sum ...
2
votes
1answer
69 views

What is the meaning of the symbol $\nabla^k$?

In T.Aubin's book, a course in differential geometry, he write the formula $\Delta f=-\nabla^k\nabla_kf$ on a Riemannian manifold, but he never define the symbol $\nabla^k$. It seems that the notation ...
0
votes
1answer
41 views

Riemannian Metric Notation

I am just being introduced to Riemannian metrics, and I am having a bit of confusion on the notation. When reading, I've encountered some different notation in different sources, so I want to make ...
1
vote
1answer
68 views

Gradient of norm of embedding

Let $\varphi:(M,g,\nabla)\to\mathbb{R}^n$ be a smooth embedding of a convex hypersurface. I want to explicitly calculate $$\langle \varphi,\varphi_{\ast}(\nabla\|\varphi\|^2)\rangle.$$ In particular, ...
3
votes
1answer
38 views

How do we check conformal equivalence of parametrized surfaces, e.g. parallel surfaces?

Suppose we have two parametrized surfaces in $\mathbb{R}^3$: $$ X,Y:\mathbb{R}^2 \rightarrow \mathbb{R}^3 $$ The induced metric on either surface is the pullback of the Euclidean metric $\bar g$ due ...
3
votes
0answers
37 views

What distinguishes elliptical coordinates from polar coordinates?

I am trying to identify what characteristic distinguishes elliptical coordinates from polar coordinates. For concreteness, let's write down the expressions. Polar: $$ x=r \cos(t) \\ y=r \sin(t) $$ ...
0
votes
1answer
33 views

Connected components of the complement of a closed geodesic on a hyperbolic surface.

Let $M$ be homeomorphic to a 2-sphere with a finite number $\geq 3$ of points removed. This implies that $M$ can be equipped with a complete, finite area hyperbolic metric. I imagine $M$ as an ideal ...
4
votes
1answer
115 views

Function whose gradient is of constant norm

Let $f:\mathbb R^n\rightarrow \mathbb R$ be a smooth function such that $\|\nabla f(x)\|=1$ for all $x\in \mathbb R^n$ and $f(0)=0$. I would like to prove that $f$ is linear. I first looked at the ...
1
vote
1answer
38 views

Does the possibility of linear coordinate changes imply that the manifold is Euclidean?

Question. Let $M$ be a smooth manifold admitting an atlas $\mathcal{A}$ (i.e. a collection of coordinate charts that covers the whole manifold) with the following property: for every pair ...
0
votes
0answers
51 views

Interior of a Dirichlet domain in a Riemannian manifold

Let $X\neq\varnothing$ be a complete connected Riemannian manifold. Suppose $G$ is a group of isometries of $X$, acting properly discontinuously on $X$. We assume there is a point $x_0\in X$ such that ...
2
votes
1answer
27 views

What is the exterior normal to the boundary of a Riemannian manifold?

Let $(M,g)$ be a Riemannian manifold with boundary $\partial M$. Let $p \in \partial M$ and in local coordinates $(x_1,\ldots,x_n)$ near $p = (0,\ldots,0)$ the manifold $M$ is given by $\{x_n ...
1
vote
0answers
35 views

Question about a particular estimate in Riemannian geometry.

I have been studying the book Some Nonlinear Problems In Riemannian Geometry - Thierry Aubin. On page $46$ he begins the proof of the Sobolev imbedding theorem to manifolds. The proof is divided in ...
1
vote
1answer
36 views

Constant in Sobolev-Poincare inequality on compact manifold $M$; how does it depend on $M$?

Let $M$ be a smooth compact Riemannian manifold of dimension $n$. Let $p$ and $q$ be related by $\frac 1p = \frac 1q - \frac 1n$. There is a constant $C$ such that for all $u \in W^{1,q}(M)$ ...
1
vote
0answers
50 views

Reference for construction on Riemannian Manifolds

I would like to know a book or an article where the connected sum of Riemannian manifolds is explained with some detail. I roughly know how to do the construction but I want to be able to check a more ...
1
vote
1answer
64 views

Riemannian Submerssion

I am reading John Lee's Riemannian Geometry Chapter 3, and I want to do some exercises. I think that I need some hints to solve the following: (Problem 3-8 of that book) Suppose $M$ and $N$ are ...
4
votes
1answer
68 views

Why doesn't a metric give an isomorphism $TX \cong T^*X$?

Any smooth manifold $X$ admits a Riemannian metric $g$, and we have a map $$ TX \to T^*X, \qquad (x, v) \mapsto (x, g(v,-)) $$ which is smooth if $g$ is. Why isn't this an isomorphism of vector ...
3
votes
1answer
125 views

Product neighborhood theorem with boundary

The Product Neighborhood Theorem states that if $N\subseteq M$ is a smooth compact submanifold without boundary of codimension $n$ and there is a trivialization of the normal bundle (wrt. some smooth ...
0
votes
0answers
15 views

Why $\dim(K\cap N(I)) +1 \geq \dim(K)$ if the index of the index form equals 1?

Let $c:[0,1]\rightarrow O$ a geodesic, $O$ Riemann manifold and let $\mathcal{W}$ the space of piecewise smoothl normal vector fields $W(t)$ along $c$ mit $W(0)=W(1)=0$. $N(I)$ is the nullspace of ...
0
votes
0answers
4 views

Perturbation of the boundary of a strictly stable minimal surface

Let $\Sigma \subseteq \mathbb{R}^3$ be a minimal surface with boundary $\Gamma$. Now let us assume that $\Sigma$ is strictly stable, that is, $\lambda_1(\Sigma,L) >0$, where $L$ is the stability ...