4
votes
1answer
52 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
30 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
57 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?
-2
votes
0answers
97 views

Solutions to do Carmo's Riemannian Geometry [on hold]

I have lot difficult in solving problem in Riemannian Geometry by Manfredo do Carmo. Does anyone know solution book of those? I just want ask if anybody know so! Gracias!
1
vote
0answers
22 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: ...
0
votes
1answer
32 views

Simple question on symmetric tensors 2

This question is related to this one Simple question on symmetric tensors. To prove that a vector field $Z$ is Killing, we use the identity $$0=(L_Zg)(X,Y)=g(X,\nabla_YZ)+g(\nabla_XZ,Y)\ \ \ \forall ...
1
vote
1answer
18 views

Is the image under a homeomorphism of the cut locus $C_p$ a null-set?

Let $M$ be a complete Riemannian manifold with a point $p  \in M$ and let $U \subset T_pM$ be an open disk containing $0_p$ in the tangent space to $p$. By $C_p$ we denote the image of the boundary of ...
2
votes
1answer
44 views

Hessian is proportional to the metric everywhere

Let $(\Omega^{n+1},g)$ be a compact Riemannian manifold with smooth boundary. Let $f\in C^{\infty}(\bar{\Omega})$ satisfies $\operatorname{Hess}f=\frac{1}{n+1}g.$ Suppose the minimum of $f$ occures at ...
4
votes
0answers
46 views

Visualizing covariant derivative

I am trying to show an intuition behind covariant derivatives on a sphere, but I realize my intuition is probably incorrect. I first want to show why the covariant derivative of the tangent vector ...
1
vote
1answer
93 views

The relation between geodesics and distances on a Riemannian manifold

My question is about computing the distance between two points in a Riemannian manifold. Suppose that $(M,g)$ is compact so that it is geodesically complete and geodesically convex. Let ...
2
votes
1answer
28 views

In uniform circular motion in R^2, is acceleration in the normal bundle?

In physics we learn that accleration is a vector quantity parallel to the radius and orthogonal to the velocity. With the embedding $\mathbb{S}^1 \hookrightarrow \mathbb{R}^2$ and the induced ...
0
votes
1answer
31 views

Definition of a lipschitz 1-form on a manifold

What is the definition of a Lipschitz-regular 1-form on a riemannian manifold?
1
vote
0answers
49 views

geometrical consequences of nonpositive or negative Ricci curvature.

well,that's pretty much the question. I'd like to know if somebody could point me out if there's any geometrical implications following an upper bound on the Ricci curvature on a riemannian manifold. ...
2
votes
0answers
20 views

The invariance of the Ricci tensor under diffeomorphisms and its non-ellipticity.

Consider $(M,g)$ a compact Riemannian manifold. When viewed as a second order (non-linear) differential operator $$ \text{Ric} : C^{\infty}(\text{Sym}^2_+T^*M) \to C^{\infty}(\text{Sym}^2T^*M), $$ the ...
2
votes
0answers
50 views

Ovals of constant $ k_g$ on constant $K$ surfaces

Prove that: Constant geodesic curvature lines on constant Gauss curvature surfaces are closed Ovals/Loops. Find perimeter/length of this Oval/Loop in terms of $ k_g$ and $K$ I believe the proof ...
1
vote
0answers
43 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 ...
1
vote
1answer
46 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 ...
0
votes
0answers
52 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
50 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 ...
3
votes
1answer
62 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 ...
2
votes
1answer
71 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
61 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 ...
1
vote
0answers
46 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
239 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
42 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?
0
votes
1answer
34 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
46 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
77 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 ...
0
votes
1answer
42 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
71 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
40 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
117 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 ...
1
vote
1answer
40 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
52 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 ...
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 ...
7
votes
1answer
102 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 ...
4
votes
2answers
78 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
24 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 ...
1
vote
2answers
51 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
48 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
33 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 ...
5
votes
0answers
55 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
135 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
0answers
49 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 ...