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)

3
votes
1answer
21 views

Given two local parameterizations and corresponding fundamental forms, find a $2\times 2$ matrix that equates them.

Horridly written title, but please see the image below for the problem statement: I'm not sure how to use the chain rule to express the first differentials in terms of the second. I know the answer ...
3
votes
1answer
61 views

Induced Lie group action on a tangent bundle $TG\times TM\to TM$ and an example concerning Adjoint action

Suppose I have a Lie group action $$ G\times M\to M, (g,m)\mapsto g\cdot m. $$ which is transitive on $M$, then the tangent functor $T$ induces a corresponding map: $$ TG\times TM\to TM, (\delta ...
0
votes
0answers
33 views

Pull-back of a one-form on a sphere.

Let $\iota: S^2 \to \mathbb{R}^3$ be the inclusion map and choose a chart $(U,f)$ on $S^2$, where $U=\{(x,y,z)\in \mathbb{R}^3: z>0\}$ and $$f: U \to \mathbb{R}^2,$$ $$ (x,y,z)\mapsto (x,y). $$ I ...
4
votes
0answers
35 views

The missing vector derivative operation

Generally, the differential operator $d$ takes differential $k$-forms to $(k+1)$-forms. In $\mathbb{R}^n$ (or more generally on an oriented Riemannian manifold), we can identify vector fields with ...
1
vote
1answer
60 views

Manifold which is union of two balls is topologically a sphere

In Petersen's book while proving sphere theorem the following fact has been stated without prove : Let $M$ be a connected $n$ dimensional smooth manifold such that $M=B_{1}\cup B_{2}$ where $B_{i}$'s ...
2
votes
1answer
20 views

Is this cylinder a regular surface?

Let $C$ be a figure $‘‘8"$ in the $xy$ plane and let $S$ be the cylinder surface over $C$; that is, $$S=\{(x,y,z)\in\mathbb{R^3}:(x,y) \in C \}$$ Is the set $S$ a regular surface? I know that the ...
5
votes
0answers
79 views

How important is Differential Geometry for Number Theory?

The title pretty much says it. To elaborate slightly, I am, of course, aware of the huge role played by Algebraic Geometry in Number Theory but I'm not so sure about Differential Geometry. I would be ...
0
votes
1answer
41 views

Integrate the gaussian curvature

Let $T$ be a torus. We have a parameterization by $((c+a \cdot cos(v))cos(u),(c+a\cdot cos(v),a\cdot sin(v))$ for $u,v \in [0,2\pi)$. The first fundamental form is given by $E=(c+a\cdot cos(v))^{2}, ...
2
votes
1answer
29 views

Equivalence of unoriented knots by ambient isotopy

I'm trying to understand the equivalence of unoriented knots in oriented 3-manifolds for my thesis, and getting confused. I have not found a satisfactory definition of this equivalence. My ...
2
votes
0answers
73 views

Showing a property of a curvature tensor in $S^2$

Consider $S^2 \subset \mathbb{R}^3$. I need to show that if $$R_{ijkl} = -g(R(\partial_i,\partial_j)\partial_k,\partial_l)$$ is a curvature tensor in $S^2$ and $g$ is a metric also in $S^2$, then ...
0
votes
1answer
24 views

Roulette (curve) parameterization

I was wondering about the parameterization of a roulette on Wikipedia. A roulette is a curve formed by a point associated to one curve as it rolls upon another fixed curve. Wikipedia says, if $f$ is ...
1
vote
1answer
26 views

Show that $i_Yi_Xd\omega=d\omega(X,Y)$ for $\omega$ a $1$-form

If $\omega$ is a $1$-form, how does $i_Yi_Xd\omega=d\omega(X,Y)$? I get that $d\omega$ is a 2-form. So $i_X(d\omega)=d\omega(X,v_{2})$. So how do we proceed? I dont see how the step ...
1
vote
2answers
53 views

Is a manifold orientable if it has an atlas which has negative determinants for all of its transition maps?

I've tried to construct a non-vanishing n-form on a manifold given this condition, like one for an orientable Riemannian manifold. However, the partition of unity won't work; there's a change of sign ...
0
votes
0answers
50 views

What geometric shape is “the perfect milkshake container”?

A sphere is the best shape for a snowball if you want to maximize the amount of time before the snowball melts. This is because the ratio of the surface area divided by the volume is the smallest. ...
1
vote
1answer
27 views

Computing the first fundamental form

Let $X$ be a smooth surface in $\mathbb{R}^{3}$. I want to compute the first fundamental form of $X$. Assume that $X$ has 2 different local parameterizations $r_1$, $r_2$ (i.e. for $r_1$ there is a ...
1
vote
2answers
23 views

Defining the Metric for a Standard Parametrization of a Cylinder

This is very simple. Consider a cylinder in $\mathbb{R}^{3}$. Let the axis of the cylinder coincide with the $z$-axis. Allow the cylinder to be paramterized as follows: \begin{align*} x(\varphi,h) ...
1
vote
1answer
50 views

Existence of CAT(0)-metrics

Given a metrisable, contractible topological space. Under which conditions exists a CAT(0)-metric compatible with the given topology?
6
votes
1answer
32 views

Exists open subset and one-to-one $C^1$ mapping such that mapping of intersection is open subset

Let $M$ be a smooth $k$-manifold in $\mathbb{R}^n$. Given ${\bf p} \in M$, how would I go about showing there exists an open subsets $W$ of $\mathbb{R}^n$ with ${\bf p} \in W$, and a one-to-one $C^1$ ...
0
votes
0answers
11 views

Surfaces swept out by trihedron vectors

Surfaces swept out by unit tangent of a curve on a surface is developable. Are normal and bi-normal swept out surfaces also developable?
2
votes
0answers
40 views

How to phrase this identity in differential form language?

If the vector field $\mathbf B$ on $\mathbb{R}^3$ is constant, then the vector field $$ \mathbf A = \frac 1 2 \mathbf B \times \mathbf r $$ satisfies $$ \nabla \times \mathbf A = \mathbf B. $$ This ...
0
votes
0answers
17 views

Variation of geodesic and Jacobi field

I was reading on Jacobi field of a geodesic, and noticed that given a geodesic $\gamma$ it is defined using the term of variation or family of geodesics $\gamma_s$ but never mentioned how to create ...
0
votes
1answer
308 views

Hodge double star operator

I want to prove that $**\omega=\left(-1\right)^{k\left(n-k\right)}\omega$, where $*$ is the Hodge star operator acting on differential $k$-forms $\omega$ on $\mathbb{R}^n$. Where can I find the proof ...
1
vote
0answers
37 views

Poincaré Lemma problems and computing contractions in an economical way

Let $x=(A,B,C,D)$ be coordinates on $\mathbb{R}^4$. $\displaystyle \beta = \frac{(AdB-BdA)\wedge(dC \wedge dD)+(dA \wedge dB)\wedge(CdD-DdC)}{(A^2+B^2+C^2+D^2)^2}$ I would like to compute ...
0
votes
1answer
32 views

Show that $d\beta=0 \iff p=n/2$

Let $\beta$ be the $(n-1)$-form on $\mathbb{R}^n \setminus \{0\}$ given by $\displaystyle \beta = \sum_{i=1}^{n}(-1)^{i-1}\frac{x^i dx^1 \wedge dx^2 \wedge \dots \wedge \hat{dx^i} \wedge \dots ...
0
votes
1answer
24 views

Curvature line parametrization

I have a question about the curvature line parametrization. We said that for a given surface $f: U \rightarrow \mathbb{R}^3$ we find a local curvature line parametrization such that both the first ...
1
vote
1answer
36 views

Does this surface exist

Does anybody of you know if there is a surface with first fundamental form $(g_{ij}) = \operatorname{diag}(1, \cos^2(u))$ and second fundamental form $(h_{ij}) = \operatorname{diag}(1, \sin^2(u))$? ...
8
votes
1answer
160 views

One parameter subgroup that leaves every compact set is a proper map

If a one parameter subgroup $\phi:\mathbb{R}\rightarrow G$ of a Lie group $G$ comes back infinitely often to a compact set $K$, is it all contained in a compact set? I think $\phi(\mathbb{R})K\subset ...
2
votes
1answer
44 views

Is the on-diagonal heat kernel “local” with respect to the metric?

Question Let $X$ be a manifold, and $\mu_A$, $\mu_B$ two Riemannian metric on it which agree on an open subset $U\subset X$, i.e. $\mu_{A\,|U} = \mu_{B\,|U}$. Let $K_A(t;z,w)$ resp. $K_B(t;z,w)$ be ...
0
votes
1answer
32 views

Why are there more complex than smooth structures?

I've read that given a topological manifold, there are only finitely many smooth structures on it (except for dimension 4) but many more (even uncountably many) complex structures. But doesnt this ...
2
votes
1answer
60 views

Sectional curvature of product metric?

If $M$ and $N$ are Riemannian manifolds, can we relate the sectional curvature of the product Riemannian manifold $M \times N$ to those of $M$ and $N$? If both $M$ and $N$ have non-negative (or ...
6
votes
3answers
2k views

Geodesic of a curved surface

I'm trying to read Lambourne's Relativity, Gravitation and Cosmology, but as this seems more of a maths question I've posted it here rather than in the physics forum. The author talks about affinely ...
4
votes
2answers
310 views

Does the curvature determine the metric?

Here I asked the question whether the curvature deterined the metric. Since I am unfortunately completely new to Riemannian geometry, I wanted to ask, if somebody could give and explain a concrete ...
5
votes
1answer
86 views

Cancellation in topological product

I was wondering whether $M\times \mathbb{R}$ is homeomorphic to $N\times \mathbb{R}$ implies $M$ is homeomorphic to $N$, where let us say $M,N$ are smooth manifolds. (They are certainly homotopy ...
3
votes
1answer
48 views

Manifold with special cohomology group

I am trying to find if there is a orientable compact manifold $M$ of dimension 10 with the 5th cohomology group of De Rham $H^5_{DR}(M)\cong \mathbb R$. But, I can find such an example or prove that ...
1
vote
1answer
100 views

About simple connectedness

Two topological spaces $X$ and $Y$ are homotopic if there exists continuous $f: X \to Y$ and $g: Y\to X$ such that $f\circ g$ is homotopic to $Id_Y$ and $g\circ f $ homotopic to $Id_X$ (regardless any ...
3
votes
1answer
24 views

definition of differential does not depend on the choice of the curve, differential is a linear map

Let $\varphi: M \to N$ be a differentiable map. How do I show that the definition of the differential $d\varphi_p: T_pM \to T_{\varphi(p)}N$ of $\varphi$ at $p$ does not depend on the choice of the ...
3
votes
1answer
28 views

Every immersion is locally an embedding?

Let $\varphi: M \to N$ be an immersion and let $p$ be a point in $M$. How would I go about showing that there exists a neighborhood $V \subset M$ of $p$ such that the restriction $\varphi|V$ of ...
1
vote
1answer
24 views

Green's operator, differential forms

In "Foundations of Differential Manifolds and Lie Groups" by Frank Warner on page 225 there is defined Green's operator: $G: E^p(M) \rightarrow (H^p)^{\perp}$ by setting $G(\alpha)$ to equal the ...
3
votes
1answer
21 views

no point where assumptions of Inverse Function Theorem hold?

Let $\varphi: \mathbb{R}^3 \to \mathbb{R}$, $\psi: \mathbb{R}^3 \to \mathbb{R}$ are continuously differentiable. Define $f: \mathbb{R}^3 \to \mathbb{R}^3$ by$$f({\bf x}) = (\varphi({\bf x}), \psi({\bf ...
0
votes
0answers
27 views

Geodesic loops in Riemann homogeneous spaces

Let M be a Riemannian homogeneous space, i.e. the isometry group acts transitively. Prove: any geodesic loop (with possible angle at the starting point) is a closed geodesic (smooth at the starting ...
1
vote
1answer
29 views

Finding the Lie derivative of a 2-form exercise

Let $\beta=-x dx \wedge dy + ydy \wedge dz$. The vector field is $X=(y,0,z)$.Find the Lie derivative. I try that $\begin{align}L_X \beta &=L_X (-x dx \wedge dy + ydy \wedge dz) = -x L_X(dx ...
6
votes
1answer
118 views

Differential forms, number of zeros on disk

Let $f$ be a holomorphic function on $U \subset \mathbb{C}$ and $f'(z) \neq 0$, $z \in U$. Then how do I show that all zeros of $f$ are simple and positive, and that if I have a disk $D \subset U$ ...
0
votes
1answer
18 views

Identity about composition of the push forward of diffeomorphisms

I am able to do part a) and I believe it should be used in solving part b). I think that for part b) we should that $F: \mathbb{R}^n \rightarrow \mathbb{R}^n$, $G: \mathbb{R}^n \rightarrow ...
0
votes
2answers
49 views

Riemann manifolds in relation to other classes of differentiable manifolds

I am trying to get an overview over the different categories of manifolds. In particular i have the following chain of inclusions: Riemann surfaces $\subset$ complex manifolds $\subset$ orientable ...
2
votes
1answer
49 views

Set of smooth maps between manifolds is a smooth manifold

If $M$ and $N$ are smooth manifolds of dimension $m$ and $n$, respectively. Is set of smooth maps between them a smooth manifold? With which smooth structure?
0
votes
1answer
30 views

Definition of covariant derivative

Let $E \to M$ be a vector bundle (with fibres $V$) over a smooth manifold $M$. Define the covariant derivative $\nabla$ as a map $$\nabla : C^\infty(M,E) \to C^\infty(M,E \otimes T^*M),$$ where ...
2
votes
1answer
90 views

Cohomology with Coefficients in the sheaf of distributions

It just occurred to me that one could form the sheaf of distributions $F$ on any manifold where for an open set $U$ we have $F(U)$ is the algebra of distributions on $U.$ What does cohomology with ...
1
vote
2answers
49 views

How to define a vector field passing through a given point.

Given a manifold $M$ we can consider its tangent bundle $TM$. Fix $m \in M$ and $v \in TM$. Is it always possible to define a vector field $F$ such that $F(p)=v$?
1
vote
0answers
17 views

Delaunay surfaces - plane as surface of revolution

According to Wikipedia (and other sources) "Delaunay proved that the only surfaces of revolution with constant mean curvature were the surfaces obtained by rotating the roulettes of the conics. These ...
1
vote
0answers
19 views

Degree of a map $\phi: R^{n} \rightarrow S^{n}$

I've read a few papers in which they state that the winding number of a mapping $\phi: R^{3} \rightarrow S^{3}$ can be written as the integral $$\int_{\mathcal{R}^3} \epsilon_{ijk}\epsilon^{abc} ...