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)

0
votes
1answer
48 views

Function never equal to 0

Let $p,q,x,y:(a,b)\to\mathbb{R}$ be $C^1 ((a,b))$ functions. Knowing that for $(u,v), (\tilde{u},\tilde{v})\in (a,b)\times (0,1)$ we have that: $$\begin{cases} ...
2
votes
1answer
36 views

Is level set near a maximum value a circle?

Let $f$ be a $C^2$ function defined on $[0,1] \times [0,1]$. Let $0 \leq f(x) < 1$ on $[0,1] \times [0,1] \setminus \left(\frac{1}{2},\frac{1}{2}\right)$ and $f(\frac{1}{2},\frac{1}{2})=1$. It has ...
1
vote
2answers
65 views

Solving non-linear second order differential equation: radius of curvature $= k \theta$

I'm trying to find any curve where the radius of curvature increases linearly with angular displacement. So in polar coordinates radius of curvature $= k \theta$ $$ \frac{(r^2 + r'^2)^{3/2}}{r^2 + ...
0
votes
1answer
28 views

Enneper surface is not injective

I'm having trouble proving the following statement: $x(u, v) = (u − u^ 3/ 3 + uv^2 , v − v^ 3/ 3 + u^ 2 v, u^2 − v^ 2 )$ is a minimal surface and x is not injective Proving that $x(u,v)$, ...
7
votes
1answer
61 views

Confused about intuition behind Lie derivative

I'm trying to fix my intuition behind $\mathcal L_X T$, where $T$ is any tensor field. I'd prefer explanations that are not along the lines of $\mathcal L_XY=[X,Y]$ (I'm not sure how this extends to ...
3
votes
0answers
37 views

Exercise 3.3 Riemannian Manifolds an Introduction to Curvature

STATEMENT: Let $\gamma(t)=(a(t),b(t)),t\in I$(an open interval), be a smooth injective curve in the $xz$-plane, and suppose $a(t)>0$ and $\dot{\gamma}(t)\neq 0$ for all $t\in I$. Let $M\subseteq ...
0
votes
1answer
28 views

Manifold arising from particular proof of Hairy Ball Theorem

Background, aka considerations to find my actual question In Geometry three, at the end of the last lesson, we sketched a proof of the famous Hairy Ball Theorem. The proof goes as follows. Lemma: ...
0
votes
2answers
31 views

Local representation of a submanifold as a graph over the tangent plane

I'd like to verify the following statement, which intuitively seems quite reasonable, by a rigorous proof: Let $M \subset \mathbb{R}^D$ be a $d$-dimensional $C^1$ submanifold embedded in ...
1
vote
1answer
26 views

Obstruction to the existence of constant-rank sections of $T^*M\odot T^*M$

If $\alpha$ is a section of $T^*M\odot T^*M$, where $M$ is a smooth manifold, the rank of $\alpha$ at $m\in M$ is the codimension of the kernel of $\alpha_m$, i.e. the subspace of vectors $v_m\in ...
0
votes
0answers
22 views

The pullback bundle

Consider a smooth fibre bundle $P:E\to B$ over a base $B$ with fiber $F$, and a trivializing family $\{(\phi_a:P^{-1}(U_a)\tilde =U_a\times F\}_{a\in A}$. Let the clutch functions of this family be ...
2
votes
1answer
31 views

If a composition of two maps is smooth, as well as one of the maps, then so is the other.

Let $M$, $N$, and $K$ be smooth manifolds, and consider the maps $g:M\to N$, and $f:N\to L$. Assume that the composition $f\circ g$ is smooth. If any of $f$ and $g$ is smooth can we conclude that the ...
2
votes
1answer
25 views

Holonomy reduction from constant spinors

Let $(M,g)$ be a $d$-dimensional Riemannian oriented, spin, manifold, and let us denote by $S$ the corresponding spinor bundle. The Levi-Civita connection $\nabla$ on $(M,g)$ lifts to a unique spin ...
3
votes
1answer
69 views

If a Subset Admits a Smooth Structure Which Makes it into a Submanifold, Then it is a Unique One.

$$ \newcommand{\wh}{\widehat} \newcommand{\R}{\mathbf R} \newcommand{\mr}{\mathscr} \newcommand{\set}[1]{\{#1\}} \newcommand{\inclusion}{\hookrightarrow} \newcommand{\vp}{\varphi} $$ I am trying to ...
4
votes
1answer
49 views

$\omega$ is $1$-form on $S^1$.

Let $h: \mathbb{R} \to S^1$ be $h(t) = (\cos t, \sin t)$. How do I show that if $\omega$ is any $1$-form on $S^1$, then$$\int_{S^1} \omega = \int_0^{2\pi} h^*\omega?$$
0
votes
0answers
21 views

Construct a parametrization of a regular surface from a former parametrization such that is an isometry.

Let $\phi=\phi(u,v)$ be a coordinate neighborhood of a regular surface. And its coefficients from the first fundamental form $E,F,G$ are constants. Prove that there exists a change of parameteres ...
3
votes
1answer
40 views

Prove geodesics are straight lines if Riemann tensor is identically zero.

Suppose that $R^{a}_{bcd}\equiv 0$ in all of our manifold $M$ (in which we assume zero torsion). Prove that all geodesics are straight lines. I tried using Ricci's identity: ...
1
vote
0answers
33 views

Basic question: Riemannian Curvature is nondegenerate

$R(X,Y)=\nabla_X\nabla_Y-\nabla_Y\nabla_X-\nabla_{[X,Y]}$ is the curvature with respect to the Levi-Civita connection $\nabla$ of a metric $g$ on a manifold $M$. Define the Riemann curvature ...
4
votes
1answer
92 views

Is $\omega=\sin\varphi\,\mathrm{d}\theta\wedge\mathrm{d}\varphi$ an exact form?

Let $\omega=\sin\varphi\,\mathrm{d}\theta\wedge\mathrm{d}\varphi$ be a $2$-form on $\mathbb{R}^3\setminus\{0\}$. Then ...
3
votes
1answer
23 views

Prove that the normal to a quadratic curve passes through a specific point

I've been asked to prove that the normal to the curve $y=2x^2 - 3x^{-1/2}$ at the point $(1,-1)$ passes through the point $(12,3)$. $\frac{dy}{dx} = 4x + \frac{3}{2}x^{-3/2}$ Hence, at the point ...
2
votes
0answers
35 views

Flow of a left invariant vector field on a Lie group equipped with left-invariant metric and the group's geodesics

I think the answer to my question is known to many other people, but I'm still getting confused. Let $G$ be a (possibly infinite dimensional also) Lie group and $g$ be its Lie algebra. Consider the ...
2
votes
2answers
49 views

The difference between the algebraic torus and the geometric torus

I know that the donut-shaped geometric object in $\mathbb{R}^3$ is homeomorphic to a square with identified opposite sites. However, while the latter has a clear symmetry between two dimensions, the ...
2
votes
1answer
40 views

Eigenvalues of a Plane Curve Laplace-Beltrami Operator

Given a closed plane curve $C$, which is a one-dimentional manifold, what are the eigenvalues of Laplace-Beltrami operator defined on this curve? I know that the LB eigenvalue problem for unit ...
1
vote
1answer
24 views

Degree of map on $U(n)$ and roots in $U(n)$

Recently I went to a talk of A.Thom in which he sketched a proof of the fact that the groups U(n) satisfy the Kervaire-Laudenbach conjecture. At some point in the proof you have to argue that the map ...
0
votes
1answer
42 views

Covariant derivative (or connection) of and along a curve

Let $c:[a,b] \rightarrow M$ be a curve parametrized by arc-length. Then $c': [a,b] \rightarrow TM$ such that $c'(t) \in T_{c(t)}(M).$ So essentially, I want to understand how $\nabla_{c'}c'$ is ...
0
votes
1answer
11 views

Express covariant transformation conveniently

Let $\omega = \sum_i \omega_i dx^i = \sum_{i} \nu_i dy^i$ be a 1-form in two different bases. Now, $(\omega_1,...,\omega_n)$ transform covariantly to $(\nu_1,...,\nu_n).$ My question is, can we ...
8
votes
2answers
74 views

Good video lectures in Differential Geometry

I was not fortunate enough to learn Differential Geometry during my Masters. As now I am having my thesis in PDEs, and I miss a lot of mathematics from the people who do PDEs on Manifold setting. I ...
0
votes
0answers
40 views

Is this differential 2-form closed

Consider a unit sphere $S^2 \subset R^3$ and a map $\omega_p : T_pS^2 \times T_pS^2 \to \mathbb{R}$ defined by $$\omega_p(u,v) = (u \times v) \cdot p$$ How do I know is this 2-form (on $S^2$) closed ...
1
vote
1answer
22 views

Poincaré lemma and conservative vector fields

Let $U$ be some contractible neighbourhood of $0\in\mathbb{R}^n$ and let $X=\sum_{i=1}^nX_i\frac{\partial}{\partial x_i}$ be a (smooth) vector field on $U$. This vector field can be thought as a ...
2
votes
1answer
29 views

Showing that an equation of a curve in the plane defines a surface in $R^3$.

A generalized cylinder is a ruled surface for which teh rulings are all Euclidean parallel. Thus there is always a parametrization of the form $$\mathbf{x}(u,v)=\beta (u)+v\mathbf{q} \; ...
1
vote
1answer
35 views

Poincare: Change of form to a primitive 1-form

Given a 2-form w on $R^3$, such that dw=0; how does one find all 1-forms k such that dk=w? Provided a homotopy H(t) one can pull back w and apply the Poincare operator on it. But what if one does not ...
3
votes
1answer
54 views

Exercise 2.3 Lee's Riemmanian Manifolds

Statement: Suppose $M\subseteq \tilde{M}$ is an embedded submanifold. a)If $f$ is any smooth function on $M$, show that $f$ can be extended to a smooth function on $\tilde{M}$ whose restriction to ...
0
votes
1answer
20 views

Deduce that there is a cup product that is well-defined

I have showed that if $\alpha$ and $\beta$ are closed forms on a smooth manifold $M$, then $\alpha \wedge \beta$ also be closed. Further, if one of $\alpha$ or $\beta$ is exact, than $\alpha \wedge ...
1
vote
1answer
27 views

Smooth function from function with singularity

Having an application $f:(t_0-\varepsilon, t_0+\varepsilon)\to\mathbb{C}$ in $C^{\infty}((t_0-\varepsilon, t_0+\varepsilon))$ with $f(t)=0\Leftrightarrow\ t=t_0$ and knowing that: $\exists\ ...
2
votes
1answer
43 views

Is that application smooth?

Having an application $f:(t_0-\varepsilon, t_0+\varepsilon)\backslash\{t_0\}\to\mathbb{C}$ in $C^{\infty}((t_0-\varepsilon, t_0+\varepsilon)\backslash\{t_0\})$ with $|f(t)|=1,\forall t\in ...
2
votes
1answer
69 views

An interpretation of $ \frac{\partial^{2}}{\partial x^{2}} $.

$ \left( \dfrac{\partial}{\partial x} \right)_{p} $ is both an element of the tangent space $ {T_{p}}(M) $ and a linear functional on $ {C^{1}}(M) $, while $ (\mathrm{d}{x})_{p} $ is an element of the ...
1
vote
0answers
18 views

Pipe-fitting conditions in 3D

Let's we have smooth (continuous and infinitely differential) curve $f(x(t), y(t), z(t)) = 0$ in 3D. Now I want to build a pipe of diameter $D$ around it. Questions: What are the set of conditions ...
1
vote
1answer
27 views

Conditions on $a,b,c,d$ such that $\gamma (t)$ is regular for all $t$?

I solved an exercise in my book and I was wondering if someone could look at my answer and tell me if it is correct please? The exercise is this: Let $\gamma (t) = (a \cos t + b \sin t, c \cos ...
3
votes
0answers
40 views

Is this a normal form for $4$-forms on manifolds?

Starting from a $2$-form $\omega$ which is nondegenerate and closed on a $2n$-dimensional manifold, it is always possible to find local coordinates $x_1,y_1,\ldots,x_n,y_n$ so that the form $\omega$ ...
1
vote
0answers
28 views

How can I get this new Gaussion curvature and mean curvature?

Let $M$ be a surface in $\mathbb{R}^3$ oriented by $\vec n$. For a fixed number $\varepsilon\neq0$, let $F:M\to\mathbb{R}^3$ be a mapping such that $F(p)=p+\varepsilon\vec n(p)$ and denote ...
1
vote
1answer
35 views

Diffeomorphism between vector bundles

I have some difficulty solving the following problem: Let $M$ be a diffentiable manifold of dimension $m$, which admits a global base of differentiable vector fields $\{X_1,\ldots,X_m\}$; this ...
1
vote
1answer
31 views

Degree of smooth maps are equal $\Rightarrow$ homotopic

It is an easily proven theorem that if $f,g:M\to N$ are smooth maps that are homotopic maps between compact, connected, oriented, smooth manifolds of dimension $n$, then $\deg f=\deg g$. I was ...
0
votes
0answers
24 views

Prove that orthogonal n x n matrices form a $C^1$ surface of dimension n(n-1)/2 in $\mathbb{R^n}^2$ [duplicate]

Consider the function $F:Mat_n → Sym_n$ defined by the formula $F(A) = A∗A$. $Mat_n$ denotes the vector space of n × n matrices with real entries, while $Sym_n$ denotes the vector space of symmetric ...
1
vote
0answers
30 views

Imagening the Thurston geometries

I can (more of less) imagine how it would look if space was Euclidean, spherical of hyperbolic. But there are 8 Thurston geometries see https://en.wikipedia.org/wiki/Geometrization_conjecture how ...
5
votes
1answer
52 views

Tautological line bundle over $\mathbb{RP}^n$ isomorphic to normal bundle? Also “splitting” of transition functions

Hallo fellow mathematicians. I try to understand why the normal bundle of $\mathbb{PR}^n$ is isomorphic (in the category of vector bundles) to the tautological line Bundle. More aptly, why ...
0
votes
0answers
20 views

Exponential map and convergence

Suppose that $M$ is smooth compact manifold and let $y \to x$. Let also $f \in C^{\infty}(M)$ be a smooth function. I consider the expression $\exp_y^{-1}(x)(f)$: then it follows that it converges to ...
3
votes
2answers
55 views

Differential forms in Physics

In the context of physics, I just read about the the symplectic 2-form $\omega$ on a symplectic manifold $M$ of dimension $2n$. Unfortunately, I could not follow a few arguments. I.e. it was said ...
10
votes
2answers
131 views

I don't get the relationship between differentials, differential forms, and exterior derivatives.

I don't get the relationship between differentials, differential forms, and exterior derivatives. (Too many $d$'s getting me down!) Here are the relevant (partial) definitions from Wikipedia; ...
3
votes
1answer
50 views

How to show the following vector bundles are equivalent?

Given a smooth sub-manifold $X$ of $\mathbb{R^n}$ and define the diagonal in $X \times X$ to be $$\triangle = \{(x,x) \mid x \in X \} \subset \mathbb{R^n}\times \mathbb{R^n}$$ and normal bundle to ...
2
votes
0answers
32 views

Does the wedge product of bundle-valued forms induce a universal object?

Given a smooth manifold $M$ and a vector bundle $E$ over $M$, the $C^\infty(M)$-module of $E$-valued $p$-forms on $M$ is defined to be $$\Omega^p(M; E) := \Gamma_M\left( \bigwedge^p T^*M \otimes E ...
2
votes
1answer
36 views

Explaining problem in Gadea's “Analysis and Algebra on Differentiable Manifolds”

I have a lot of trouble trying to explain to myself what the author did in problem 1.102 (the answer is in the link): Let $TM$ be the tangent bundle over a differentiable manifold $M$. Let ...