Differential geometry is the application of differential calculus in the setting of smooth manifolds (curves, surfaces and higher dimensional examples). Modern differential geometry focuses "geometric structures" on such manifolds, such as bundles and connections; for questions not concerning such ...

learn more… | top users | synonyms (1)

1
vote
0answers
72 views

Law of Sines Non-Euclidean geometry

Is the following Law of Sines valid on all surfaces isometric to a sphere? $$\frac{\sin A }{ \sin a }= \cdots = \frac{ \sin C }{ \sin c } = E.$$ And similarly, Is the following Law of hyperbolic ...
1
vote
2answers
200 views

Is a 1-form locally expressible as $dx$?

Given a 1-form $\alpha$ which is non-zero at every point of a manifold $M^n$, is it true that locally I can express the form as $dx$? (that is around each point there is a coordinate neighborhood such ...
1
vote
1answer
104 views

Does a compact manifold require non zero Ricci curvature?

Imagine we have a Riemanian compact manifold. Does the compactness necesarily make its curvature non zero? If the answer were no, does anyone know any such manifold with isometry group ...
3
votes
1answer
228 views

Differential Forms on submanifolds

Say I take an embedded submanifold of $\Bbb R^n$, like the sphere. Any differential form on $\Bbb R^n$ can be restricted to the sphere. My question is this: is any differential form on the sphere (or ...
4
votes
3answers
8k views

solenoid and irrotational vector

Let $V$ be a vector point function. $V$ is solenoid if $\operatorname{div} V =0$ and irrotational if $\operatorname{curl} V =0$. How can one visualize examples of solenoid or irrotational functions? ...
1
vote
1answer
66 views

Smooth Submanifolds of $\mathbb{RP}^3$

Let $ M=\{[z_0,z_1,z_2, z_3] \in \mathbb{RP}^3 | (z_0-z_3)^2+az_1^2=0\}$, where $a\in \mathbb{R}$. Show that $M$ is a smooth submanifold of $\mathbb{RP}^3$ of dimension $2$ when $a=0$, but not if ...
1
vote
0answers
73 views

degree of determinant line bundle of pullback in terms of Chern class

I have a holomorphic map $f: C \to X$ where $\dim_\mathbb{C}C=1$ and $\dim_\mathbb{C}X=2$. Why is $\text{deg}\det f^*TX=-c_1(X)\cdot[C]$? I'm really curious to how that negative sign shows up.
1
vote
1answer
82 views

Show this Map $f:M\rightarrow S^n$ is a Diffeomorphism

Let $M$ be a compact, connected smooth manifold of dimension $n>1$, and $f:M\rightarrow S^n$ a smooth map such that the differential $df_x:T_xM\rightarrow T_{f(x)}S^{n}$ has full rank $= n$ for all ...
1
vote
0answers
27 views

Is the natural map $\Omega^*(M)\otimes \Omega^*(F) \rightarrow \Omega^*(M\times F)$ injective?

As I self-study Bott and Tu 's Differential Forms in Algebraic Topology, I am stopped by some quite basic questions: 1) Let $M$ and $F$ are real manifolds, and let $\pi : M\times F \rightarrow M$ and ...
0
votes
1answer
66 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 ...
2
votes
2answers
70 views

Differential on a product space as sum of differentials

I would like to derive a rule for differentiating maps of the form $h(f(\bullet),g(\bullet))$ on smooth manifolds which is equivalent to partial differentials of multi-variable functions on $\mathbb ...
2
votes
1answer
263 views

Is complex projective space simply connected?

I know real projective space isn't simply connected, what about complex projective spaces?
1
vote
1answer
42 views

Differential of a multi-variable map

This is something that I find is always a bit vague in differential geometry and would be very glad if someone could give me a definite rule. Here is a prototype example of what I want to compute. ...
5
votes
0answers
143 views

Why is $a_{n}(x,y)=a_{n}(y)$?

This particular question is connected (with a slight variation in the definition of $g$) to an earlier question. The link is here. The specifics are: Given that $u(x,y)$ is the solution of a PDE ($x$ ...
2
votes
1answer
112 views

Is there a nice/clever way to visualize $\mathcal{S}\times \mathbb{R}^2$?

The (velocity) phase space of a double pendulum can be seen as the tangent bundle of its configuration space ($\mathcal{S}^1\times\mathcal{S}^1$), that is: ...
2
votes
1answer
145 views

What makes a Lie Group a Differentiable Manifold?

I've recently been trying to glance at the definition of a Lie group, but I'm not clear as to why a Lie group is defined the way it is, and why this becomes a smooth manifold. For example, if we have ...
3
votes
1answer
95 views

Integration on $\mathbb{R}^n$ in terms of differential forms

One defines integration on a smooth manifold as follows: First define $\int_M \omega$ when $\omega$ is supported on a single coordinate chart by pulling back to $\mathbb{R}^n$ an integrating there, ...
0
votes
0answers
47 views

curvature and torsion information from the 3d points

Hi I have some n points in 3d space and I want to connect them to form a 3d curve. I want to know a method of finding its torsion and curvature along its arclength. Any references or example would ...
2
votes
0answers
127 views

Using a helical vector field to foliate $\mathbb{R}^3$

Having finished an introductory course to GR as part of my physics undergrad degree, I decided to look at some differential geometry over the summer, and picked up Schutz's Geometrical methods of ...
1
vote
1answer
84 views

Definition of a geodesic ball?

I think it goes along the lines of: a ball made of a series of flat sides. Also is a geodesic ball and geodesic dome the same thing?
1
vote
0answers
104 views

Implicit Function Theorem (Two Variables)

While reading through a paper I came a cross a result (due to the Implicit Function Theorem) that I cannot derive. Let $u(x,y)$ be the solution of a PDE ($x$ and $y$ are independent variables). We ...
5
votes
1answer
165 views

Space of Alternating $k$-Tensors Notation

I will be taking a Differential Geometry class in the Fall, so I decided to get somewhat of a head start by going through Spivak's "Calculus on Manifolds." Before reading, though, I saw the Addenda at ...
1
vote
1answer
99 views

R-linear functionals on manifolds

Surely the following is well known: Let $X$ be a (differentiable) manifold, $R$ the ring of continuous/smooth real functions on $X$, $V$ the $R$-module of all continuous/smooth vector fields on ...
6
votes
1answer
212 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 ...
0
votes
1answer
63 views

Roundness in Taxicab Geometry

I was just wondering whether circles are considered "round" still in taxicab geometry. I know that "roundness" is probably not a well-defined term and I know what a circle /appears/ to look like in ...
0
votes
1answer
55 views

Derivatives in different systems of coordinates

I stumbled upon a problem while reading about the gradient operator in different coordinate systems. If, for example, I am given a function $$f=x^2+y^2+z^2 + 2x$$ and I have to find $\nabla f$ in ...
1
vote
1answer
48 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
1answer
70 views

On the integrability of vector fields

Let $X$ and $Y$ be a vector field on $M$ and satisfies $[X,Y]=X$. If $X$ and $Y$ are pointwise linearly independent for some point $p$, then there is a sub manifold $N$ of $M$ such that $T_xN$ is ...
6
votes
1answer
1k views

Russian Texts on Geometry

I recently saw a question today pertaining to Russian mathematics and I have a similar question but of a slightly different flavor. I've always heard that the Soviet Union had a history of producing ...
1
vote
0answers
149 views

Preimages of smooth maps between manifolds

Suppose $M$ and $N$ are both compact, connected, oriented $m$-manifolds without boundary and $f: M \to N$ is smooth. What additional condition(s) must $f$ satisfy so that there exists at least one ...
1
vote
0answers
68 views

Two isomorphisms of the space of vector fields/forms

Suppose you have a diffeomorphism $$ \phi: M \to N. $$ As far as I understand, this gives rise to two distinct isomorphisms $$ a : \mathcal A^1(M) \cong \mathcal A^1(N) :b $$ between the space of ...
2
votes
1answer
32 views

two problems to finding the regular value of matrix group

$1$. Let $F:M_2(\mathbb{R}) \to M_2(\mathbb{R})$ given by $F(X)=X^TX$. $2$.$F:M_2(\mathbb{R}) \to S_2(\mathbb{R})$ given by $F(X)=X^TX$ where $S_2(\mathbb{R})=$ {$X \in M_2(\mathbb{R}): X^T=X$}. ...
1
vote
2answers
55 views

A question on distributions

Let $\Delta$ be a smooth distribution on a smooth manifold $M$ and let $X,Y$ be 2 vector fields on $M$ which are tangent to $\Delta$ (namely $X(q),Y(q)\in \Delta_q\leq T_qM$ for every $q\in M$. I ...
2
votes
1answer
56 views

A diffeomorphism between manifolds (or surfaces) that preserves the mean value of functions

Let $M$ and $N$ be two Riemannian manifolds with $f:N \to M$ a diffeomorphism with the following properties: for all $u \in H^1(M)$, $\hat u := u\circ f$ satisfies $\hat u\in H^1(N)$ and furthermore ...
4
votes
1answer
109 views

Perelman's F-functional and its analysis

While going through the Kleiner and Lott notes "Notes on Perelman's papers", I encountered an argument that seems wrong to me, or (more likely) I do not understand something. It is about the ...
1
vote
0answers
34 views

Why does the exceptional Lie group $G_2$ have dimension 14?

In ''Compact manifolds with special holonomy" by D. Joyce, on p. 242, the group $G_2$ is defined to be the subgroup of $GL(7,R)$ preserving the $3$-form: $$ \varphi_0 := dx_{123} + dx_{145} + ...
4
votes
2answers
293 views

Question on Inductive Proof of Implicit Function Theorem

I am struggling with an inductive proof of the implicit function theorem, concretely with the final part of construction of a function, up to this final point everything is perfectly clear to me. ...
1
vote
1answer
107 views

What does a derivative with respect to metric mean?

What's the difference between the derivative with respect to metric and the derivative with respect to one of the coordinates? $$\frac{\partial }{\partial g_{ab}} or \frac{\partial }{\partial g^{ab}} ...
2
votes
2answers
86 views

is knot type invariant under diffeomorphism?

Is it possible to have a diffeomorphism of $R^3$ which changes the knot type, for instance the image of a trivial knot is a trefoil knot?
1
vote
1answer
191 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)$ ...
5
votes
1answer
357 views

Orientation of hypersurface

Some books on mean curvature flow (e.g. Mantegazza, Ecker) state that an embedded hypersurface in $\mathbb{R}^{k+1}$ is orientable (Mantegazza page 3, Ecker page 110). In other words, they assume the ...
1
vote
0answers
89 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 ...
2
votes
1answer
92 views

$ d(x,y)^2 \le d(x,z)^2 - d(y,z)^2\color{}{+\varphi\big(x,y,z,d(x,y),d(y,z) \big)}? $

In a metric space $(M,d)$ the triangle inequality $d (x, z) \le d(x, y) + d (y, z)$ gives us's the inequalitie $$ \quad d(x,y)^2 \ge d(x,z)^2 - d(y,z)^2\;\color{}{{-2\cdot d(x,y)\cdot d(y,z)}} $$ ...
2
votes
2answers
111 views

Functional of Einstein tensor

What does this equal to, and how do I actually calculate this correctly? $$ \frac{\delta G_{ab}}{\delta g_{cd}}=? $$
1
vote
3answers
107 views

The difference between a fiber and a section of a vector bundle

If $ E_x := \pi^{-1}(x) $ is the fiber over $x$ where $(E,\pi,M)$ is the vector bundle. And the section is $s: M \to E $ with $\pi \circ s = id_M $. This implies that $\pi^{-1} = s $ on $M$. So then ...
3
votes
1answer
195 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
148 views

Symplectomorphism Preserves Cotangent fibrations

Let $M$ be a manifold with local coordinates $x^1,\dots,x^n$ and $T^\ast M$ the cotangent bundle with induced coordinates $x^1,\dots,x^n,\xi_1,\dots,\xi_n$ . Let $\alpha$ be the tautological one form ...
1
vote
0answers
66 views

Banach Tarski paradox in Minkowski space

The Banach - Tarski paradox states: 'A three-dimensional Euclidean ball is equidecomposable with two copies of itself.' My simple question is: Does this paradox hold his validity also in the Minkowski ...
0
votes
0answers
52 views

How does the reduction of the frame bundle affect the tangent bundle

Let $M$ be a differential manifold and $F(M)$ its frame bundle. Suppose there is a reduction of the structure group of $F(M)$ from $GL(m,\mathbb{R})$ to the Lie group $H$ and let $F_{r}(M)$ be the ...
6
votes
1answer
214 views

Derivative of the inclusion of a submanifold

I know there are other questions similar to this one, but I just want you to tell me if what I'm doing is rigth and how to improve it. The problem is the following: (I'm using the definitions by ...