(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
1answer
39 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
90 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
37 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
51 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
82 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
77 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
45 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
74 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
45 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
41 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
39 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
122 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
39 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
30 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
36 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
51 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
62 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
72 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
69 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
130 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
19 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
5 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 ...
7
votes
1answer
105 views

Ellipticity of Ricci tensor, does it depend on coordinates?

Well, I am afraid this is a silly question because I know the answer must be 'yes, it does'. But I don't see why. I put the problem in context. The ricci tensor can be regarded as a differential ...
0
votes
1answer
46 views

What are the laplacian operators for the three two dimensional metrics of one variable dependence?

What are the laplacian operators from the three following two dimensional metrics of one variable dependence : \begin{align} (A) && d\mathcal{l}^2 = e^{2w(x_2)} \left( dx_1^2 + dx_2^2 \right) ...
4
votes
2answers
80 views

Known methods to detect coordinate singularities?

MOTIVATION In Riemannian geometry, when one writes the metric tensor in a particular coordinate system, certain 'fake' singularities might appear that have little to do with the geometry near them. ...
0
votes
0answers
26 views

Reference frame rotation depending on metric tensor $g_{\mu\nu}$

My simple question is: The infinitesimal line element is $$ds^2=g_{\mu\nu}dx^{\mu}dx^{\nu}$$ where $g_{\mu\nu}$ is the metric tensor of the space. Is it possible from the simple knowledge of ...
0
votes
0answers
37 views

Is this cohomology isomorphic to De Rham Cohomology?

Let $(M,g)$ be a Riemannian manifold. Put $d^{*}= *d*$ where $*$ is the Hodge $*$ operator. So $d^{*}\circ d^{*}=0$. Then it introduce a (c0)homology. What is a relation between this ...
0
votes
1answer
39 views

Hyperbolic metric of arbitrary curvature.

I've been trying to find this online, in books, etc, but I can never find the expression for the metric on the unit disk $$\mathbb{D} = \{ z \in \mathbb{C} : |z| < 1 \}$$ that has constant ...
0
votes
1answer
54 views

How to solve for the extrinsic variables of a one variable scaled conformal metric to an equivalent metric?

Given the following metric equivalence \begin{align} e^{2w(x_2)} \left( dx_1^2+dx_2^2 \right) = dy_1^2+dy_2^2+dy_3^2 \end{align} is their a known solution for the extrinsic variables $y_1(x_1,x_2)$, ...
2
votes
1answer
25 views

Local geodesics in uniquely geodesic spaces

Suppose $Y$ is a proper, uniquely geodesic metric space. In such a space, is any local geodesic in fact a geodesic? Here the terms "geodesic" and "local geodesic" are taken in the metric sense: a ...
0
votes
0answers
37 views

Scwarzschild solution question

Since we set the ricci tensor to be zero everywhere, why is it still a solution if it doesn't apply to the point where the point mass exists? Shouldn't it apply also to that point as well, or am I ...
1
vote
2answers
52 views

Question about a notation. Norm of the derivative of a function at a point

Given is an analytic function from $M$ to $N$, both equipped with conformal Riemannian metric, say $g$ and $h$ resp. What might the $h$ norm of the derivative of the function at a point mean? ...
1
vote
1answer
60 views

Left-invariant Riemannian metric on $SO(3)$

Let's consier the manifold $SO(3)$. First problem is to show that $T_I SO(3)$ is a space of skew-symmetric matrices $3\times 3$. How can I deduce it? Then I have to prove there exists exactly one ...
1
vote
0answers
34 views

Computing geodesic distances from structural data

I am attempting to compute geodesic distances on manifolds where structural data have been sparsely sampled. First, off I am not well versed in the mathematics of differential geometry but I do have ...
1
vote
0answers
64 views

Calculate Geodesic Path of $N\times N$ matrix on Riemannian manifold of fixed rank

If I have two matrices $A(0)$ at $t=0$ and $A(1)$ at $t=1$, they are $N\times N$ matrices, and they are on the Riemannian manifold of rank $K$. How to calculate the geodesic path $A(t)$? I haven't ...
5
votes
0answers
59 views

Decomposition of Laplacian into tangental and normal components w.r.t. submanifold

If I have the covariant Laplacian operator acting on a tensor e.g. $\nabla^2 h_{\mu\nu}$ on a (pseudo-Riemannian) manifold, and I have (say a codimension-2) submanifold, how can I "decompose" the ...
9
votes
1answer
141 views

Is every scalar differential operator on $(M,g)$ that commutes with isometries a polynomial of the Laplacian?

On $(\mathbb{R}^n, g_{\text{std}})$ with $\Delta$ the Laplacian, the following holds: Fact: Every scalar differential operator $D$ that satisfies $D \circ F^* = F^* \circ D$ for all isometries $F ...
0
votes
1answer
47 views

Calculate geodesic path on matrix manifold

I have a matrix which is change with time. Let me denote it as A(t). I know t=0 it is A(0) and I know t=1 it is A(1). A is symmetric positive semi-definite matrix. What I want to do is find the ...
0
votes
1answer
22 views

Boundedness of Riemannian curvature gradient

I'm reading a paper by Wan-Xiong Shi "Deforming the metric on complete Riemannian manifolds". And there is a statement without proof. It can be summarized as follows: Let $B(x_{0},\gamma)$ be a ...
0
votes
0answers
53 views

Using the Hodge theorem to decompose the metric tensor

There has been a previous discussion about concrete constructions using the Hodge theorem , Construction of Hodge decomposition Let me try to ask here about a specific case where one is trying to ...
2
votes
1answer
50 views

Is a connected compact Riemannian manifold of dimension 1 unique?

The tiles says almost everything. It is known that a connected compact topological manifold of dimension 1 is isomorphic to $S^1$. What if we replace "topological" by "riemannian"?
0
votes
0answers
20 views

Reformating Function

Is there such a function where a ambiguous ;n-dimensional, field/space (defined by a function) is plugged in and returns a flattened field where the basic units along the function are then formatted ...
3
votes
1answer
110 views

Connections in non-Riemannian geometry

In case of Riemannian geometry the connection $\Gamma^i_{jk}$ as is derived from the derivatives of the metric tensor $g_{ij}$ is ought to be symmetric wrt to its lower two indices. But in the case of ...
2
votes
1answer
60 views

Extension of smooth maps at a cusp

There is a short remark in deCarmos "Riemannian Geometry" (p. 67) and I wonder about the condition that the vertex angles must be $\neq \pi$. If $s_1$ and $s_2$ are two differentiable maps on an ...
0
votes
1answer
30 views

Do we need a metric to define plurisubharmonic functions?

There are various notions of 'harmonicity' on various manifold. Sometimes, I am counfuesed by the definitions. For real manifold, the harmonic manifold is defined by $\Delta f=0$, where $\Delta$ is ...
1
vote
0answers
49 views

Almost complex structure compatible with Levi-Civita connection of immersed submanifold?

Suppose we have Riemannian manifold $M$ isometrically immersed in a Kähler manifold $\tilde{M}$. Let $\tilde{g}$ be the metric and $\tilde{\nabla}$ the Levi-Civita connection on $\tilde{M}$ , we know ...
1
vote
0answers
53 views

All differentiable functions on $\mathbb{S}^n$

Consider the sphere $\mathbb{S}^n$ embedded in $\mathbb{R}^{n+1}$. Let $N$ be the north pole of the sphere and $S$ the south pole. Every point on $\mathbb{S}^n \backslash \{N,S\}$ is defined uniquely ...
1
vote
1answer
36 views

Hyperbolic (and related) structures on open unit disk

I am facing some confusion about different structures on the open unit disk $D:=\{ z \in \mathbb{C}, |z|<1 \}$. By Riemann Mapping Theorem we know there is just one complex structure on $D$, up to ...
1
vote
1answer
78 views

Reference about Gauss-Bonnet-Chern theorem.

I would like to get some references which explains Gauss-Bonnet-Chern theorem and its original proof by Chern. I tried to read his paper published in 1944 "A Simple Intrinsic Proof of the Gauss-Bonnet ...