5
votes
1answer
63 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$ ...
1
vote
0answers
55 views

Calculus on manifolds

I am studying manifold theory ( smooth manifold). As I study the subject, I feel more and more confused. I am not yet at chapter dealing with deferential forms and integration. I can understand that ...
2
votes
1answer
39 views

measure on non-oriented Riemannian manifold

Let $M$ be a non-oriented Riemannian manifold of dimension $m$. Nash embedding theorem implies that there exists an isometric embedding $\phi: M\longrightarrow \mathbb{R}^n$ for $n$ sufficiently ...
2
votes
1answer
58 views

Notation and hierarchy of cartesian spaces, euclidean spaces, riemannian spaces and manifolds

I am confused by some definitions. Forgive the looseness of my language. A Cartesian space is basically a space of points that can be represented by n-tuples ( and other things, but I won't go into ...
3
votes
1answer
52 views

Is this a geodesic?

Let $(M,g)$ be a riemannian manifold. Let $p$ in $M$ and $v,v_{0}$ two vectors in $\mathrm{T}_{p}M$. I am looking at the curve $$ \gamma \, : \, t \, \longmapsto \, \mathrm{Exp}_{p}(tv+v_{0}) $$ ...
0
votes
2answers
62 views

Supremum Definition in context of a Rectifiable/Differentiable Curve

I am trying to prove that if I have 2 paramterizations of the same curve $\gamma$ and $\sigma$ (i.e. there is continuous bijective map $\phi$ such that $\sigma = \gamma \circ \phi$) then if the curve ...
4
votes
1answer
113 views

What does it mean “being geodesic” is not invariant?

We know that "being geodesic" is not invariant under re-parametrization. Only affine re-parametrization preserves the property of being a geodesic. Also, a geodesic is locally distance minimizer. ...
6
votes
1answer
88 views

Geodesics of one-dimensional manifold

I apologize if my post is "silly" because I don't know much about riemannian geometry. I know that $M = (0,1)$ (the open unit interval) can be seen as a one-dimensional manifold. Since $M$ is an ...
0
votes
0answers
51 views

Finding the components of the Riemannian tensor given the components of a metric.

I am looking at a manifold of dimension $n$ (And I am considering a local co-ordinates system $x_1,x_2,\ldots x_n$) and the metric defined by the components $g_{ij} = \frac{\delta_{ij}}{x_1^2}$. I'm ...
6
votes
0answers
34 views

Elliptic Regularity on Manifolds

Sorry if this has been asked before. Are there are books which talk about elliptic regularity on manifolds? Everything I've been able to find has been about $\mathbb{R}^N$. Can every question about ...
-4
votes
1answer
266 views

Another vector bundles over of a Riemannian manifold

How is that any other vector bundle over a Riemannian manifold can be turn into a Riemannian manifold as well? I think that the question is of interest due to the presence in math.SE of several ...
1
vote
1answer
71 views

Submanifold is complete

If $M$ is a complete manifold and $N\subset M$ is a closed, embedded submanifold with the induced Riemannian metric, show that $N$ is complete. I really don't know where to start. This is not ...
1
vote
1answer
49 views

Metric tensors. Have I got the correct understanding?

My course is covering metric tensors in a slap-dash way, so I want to ensure I have understood correctly how they are described. I hope you can confirm this! So, I believe that a metric tensor is a ...
1
vote
2answers
74 views

Why is this curve a topological manifold?

Why is $$M=\{(z_1,z_2)\in \mathbb{C}^2 \, |\,\, z_1^3-z_2^4=0 \}$$ a topological manifold? I understand for example why why $|z|=1$ is a topological manifold, since I can write every point as ...
3
votes
2answers
60 views

Riemannian Manifolds with $n(n+1)/2$ dimensional symmetry group

Given a $n$-dimensional connected Riemannian manifold $(M,g)$, its symmetry group $G$ can be considered as a subbundle of orthonormal frame bundle of $M$ (which I call $F_OM$), yielding: $$\dim G\le ...
2
votes
1answer
174 views

Tensors constructed out of metric other than the Riemann curvature tensor

Let $(M,g_{ab})$ be a Riemannian (or Pseudo-Riemannian) manifold and let us define a tensor field as 'something' that transforms in an appropriate way under coordinate transformations. (This is how ...
4
votes
0answers
80 views

Diffeomorphism invariant scalars of a Riemannian manifold

Let $(M,g_{ab})$ be a Riemannian manifold. I know of the following scalars that one can construct them out of the metric and its derivatives: Ricci scalar $R$ $R_{ab}R^{ab}$ $R_{abcd}R^{abcd}$ ...
0
votes
0answers
21 views

Abelian Lie Group [duplicate]

Take a Lie group G and consider the tangent space at one of its points. In particular, the tangent space at the identity e is usually denoted by g := $T_e G$. Can you prove that, if G is an abelian ...
0
votes
3answers
81 views

Negative curvature compact manifolds

I know there is a theorem about the existence of metrics with constant negative curvature in compact orientable surfaces with genus greater than 1. My intuition of the meaning of genus make me think ...
2
votes
1answer
79 views

negative Euler characteristic $\Rightarrow$ homotopy unique up to homotopy

In a paper by John Franks I stumbled upon the following: Let $M$ be a surface and $f:M \rightarrow M$ be a homeomorphism, which is homotopic to the identity on $M$. That means, that there is ...
5
votes
1answer
142 views

Proving that Hermitian Metric yields Hermitian Structure on Complex Manifold

Let $g$ be a Riemannian metric on an almost complex manifold $(M,J)$. Suppose $g$ is Hermitian in the sense that $$g(JX,JY) = g(X,Y)$$ Let $\Omega$ be the associated fundamental (Kahler) form ...
0
votes
0answers
60 views

French translation, and what is the curvature of a metric?

I have a french paper to read. There is the notion of une collection des courbures des métriques $g_t$. Now I would guess that this refers to a collection of curvatures of metrics $g_t$, however ...
5
votes
2answers
159 views

Compatibility of a connection and metric

Every Riemannian manifold admits a metric connection. Suppose $M $ is a manifold and $\nabla $ is an arbitrary connection on the tangent bundle. Does $M$ necessarily admit a metric such that $\nabla$ ...
0
votes
0answers
57 views

Connection on Submanifold using given connection on ambient manifold

This result features in Hicks' Notes on Differential Geometry book.The theorem states that given $C^\infty$ fields X and Y on a submanifold M, we have $$\bar D_X Y=D_X Y+V(X,Y)$$ where $\bar D$ is a ...
1
vote
0answers
37 views

Explanation required of the following definition:

This is a definition I encountered in a paper. I hope someone will be able to help me understand it. The authors assume a Frenet curve $\alpha(s)$ on a 3-D Riemannian Manifold as any non-geodesic unit ...
4
votes
2answers
234 views

Lie bracket is a connection?

In Road to Reality, section 14.6 on Lie derivative Penrose writes: Now $\epsilon^2 [j,h]$ corresponds to an $O(\epsilon^2)$ gap in the ‘parallelogram’ whose initial sides are $e_j$ and $e_h$ at ...
4
votes
1answer
73 views

Smooth mapping between Manifolds

Given: two Euclidean spaces $\mathcal{P},\mathcal{P'}$ (with their usual smooth structure) and a injective smooth mapping $f:\mathcal{P}\to\mathcal{P'}$ a Riemannian manifold $(\mathcal{M}\subset ...
1
vote
0answers
50 views

warped products

Problem: Consider the following warped product $M^{n+1}=\mathbb{R}\times_{f} \mathbb{P}^{n}$, where $\mathbb{P}$ is a complete n-dimensional Riemannian manifold, $f:\mathbb{R}\rightarrow\mathbb ...
3
votes
1answer
121 views

Is there a Smooth Real Manifold which is not a Riemannian Manifold?

I am taking a course in Differential Topology right now, but I know of another Subject called "Riemannian Geometry" which studies Riemannian Manifolds. The definition of a real smooth manifold and a ...
2
votes
1answer
92 views

Precise definition of isotropic curve of a conformal structures on a manifold?

Could you please provide me with the precise definition of isotropic curves of a conformal structure on a manifold $M$? If there is such a definition, then can I say the following: if $c$ is an ...
2
votes
1answer
110 views

Visualize $\mathbb{S}^3/\Gamma$!

I thought the only 3-manifold with positive constant curvature is $\mathbb{S}^3$. But I faced $\mathbb{S}^3/\Gamma$, where $\Gamma$ is a finite subgroup of $SO(4)$ and surprised! My problem is that I ...
4
votes
1answer
62 views

Geodesic complete subset of a connected manifold

This may be a very silly question but let us consider a connected Riemanian manifold $(M,g)$ and a subset $O\subset M$. Can we have $O$ geodesic complete (in the sense of all geodesics linking two ...
2
votes
1answer
138 views

Visualization of the diffeomorphism!

Basic to all mathematics is the notion-here used quite informally-of a set with structure. For every type of structure there is a notion of equivalence (or isomorphism)-a one-to-one onto ...
2
votes
3answers
145 views

Extending a map of manifolds continuously

Let $M$ and $N$ be manifolds, and $A \subset M$ compact. Let $f:A \rightarrow N$ be a continuous mapping. Show there exists an open neighborhood $U$ containing $A$ and continuous extension $g:U ...
1
vote
1answer
36 views

Reference request for studying on space forms

I would like to study on Space form, But I dont know what book or notes are suitable for beginning basically. Can someone help me? Thanks.
1
vote
0answers
58 views

On the canonical neighborhoods

Suppose $M$ is a 3-dimensional manifold, John W. Morgan and Frederick Tsz-Ho Fong in their "Ricci Flow and Geometrization of 3-Manifolds" book as a definition of canonical neighborhoods have ...
3
votes
1answer
72 views

Construct harmonic function on noncompact manifold

$M$ is a non-compact Riemannian manifold, $p \in M$. Consider Dirichlet problems: $\Delta u = 0$ in ${B_p}\left( i \right)$ ($i = 1,2, \dots $), $u{|_{\partial {B_p}\left( i \right)}} = {f_i}$, ${f_i} ...
0
votes
0answers
40 views

isomorphism of two compex line bundles

I am looking for some non-trivial examples of Line Bundles and an example about isomorphism of two line bundles. With details
2
votes
2answers
32 views

Manifolds with finitely many ends

In the article ' The structure of stable minimal hypersurfaces in $ R^{n+1} $ ( http://arxiv.org/pdf/dg-ga/9709001.pdf) of Cao-Shen-Zhu the remark 2 at page 3 contains a statement that i don't ...
2
votes
1answer
61 views

Hamiltonian reduction in symplectic geometry

If $V$ is symplectic and $W^\perp \subseteq W\subseteq V$, then why is $W$ a pre-symplectic vector space? Why is $W/W^\perp$ symplectic?
0
votes
1answer
71 views

Why $\Sigma$ is minimal, if $\frac{d}{dt} |_{t=0} \mathrm{Area}(\Sigma_t)=0$?

In this work http://arxiv.org/pdf/1204.2883v1.pdf Martin Li claimed that $\Sigma\subset M$ is minimal and $\Sigma$ meets $\partial M$ orthogonally along $\partial \Sigma$ if, only if, $$0 = ...
2
votes
1answer
121 views

Gradient of a functional

Given a compact manifold with a Riemannian metric $g$, we define the total scalar curvature by $$E(g)=\int_M RdV$$ Let us consider the first variation of $E$ under an arbitrary change of metric. We ...
0
votes
1answer
176 views

About Sectional Curvature

In a paper by Yann Ollivier: Let $x$ be a point in $X$, $v$ a small tangent vector at $x$, $y$ the endpoint of $v$, $w_x$ a small tangent vector at $x$, and $w_y$ the parallel transport of $w_x$ from ...
1
vote
1answer
81 views

Difference between “Live” and “Define”

In many mathematical text to determine an object on manifold, the verbs "live" and "define" are used. I'm interested to know whether there is a difference between the concepts of "to define" and "to ...
4
votes
1answer
218 views

Why do we need Lie derivative?

If a manifold is equipped with Levi-Civita connection, Why do we need Lie derivative? In Euclidean space to calculate directional derivative of a vector field V along W, we parallel transport V along ...
5
votes
1answer
181 views

A question about concept of pushforward

In An Introduction to Smooth manifolds by Lee is written: for any smooth vector fields V and W on a manifold $M$, let $\theta$ be the flow of $V$, and define a vector $(\mathcal{L}_v W)_p$ at each ...
3
votes
2answers
207 views

Property of normal coordinates

Let $M$ be a Riemannian manifold and $\nabla$ the Levi-Civita conection. I need to prove the following. Let $B$ be an open ball of radius $r$ in $T_pM$ such that $\left.exp_p\right|_B$ be a ...
1
vote
1answer
109 views

Show that the vector field $\operatorname{grad}f$ is smooth

Let $M$ be a Riemannian manifold and $ f:M\rightarrow\mathbb{R}$ be a smooth function. Define a vector field $\operatorname{grad}f$ in $M$ as $$\langle\operatorname{grad}f,\,V\rangle=df(V)$$ for all ...
6
votes
1answer
313 views

Vector field and integral curve

Let M a riemaniann manifold, $V$ a vector field in M, and $\phi_t$ the respective flow Let $p\in M$, and $\gamma$ the integral curve of $V$. Show that for all $v\in T_pM$ ...
4
votes
0answers
48 views

A Simons' type inequality

I have a problem with the inequality (5) in the article 'Estimates for stable minimal surfaces in three dimensional manifolds' of R.Schoen. As the author suggests this inequality comes from 'well ...