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
1answer
31 views

Covariant and contravariant bases on a diffeomorphism

If we allow two domains $\Omega, \bar{\Omega}\in \mathbb{R}^3$, allow $\mathbf{\Theta}: \Omega \to \mathbf{E}^3$ and $\mathbf{\bar \Theta}: \bar \Omega \to \mathbf{E}^3$ to be two ...
2
votes
0answers
74 views

Quaternion conversion

We have a normalized orthogonal co-ordinate frame travelling through the curve as in figure 1 below, from one end to other. Let us call starting end as A and ending end as B. What we know is initial ...
1
vote
0answers
36 views

Which part of differential geomety uses metrization theorems?

I learned three metrization theorems last year, which are Nagata-Smirnov,Smirnov and Bing. I thought these theorems are purely topological theorems, but i recently saw a post which says these ...
1
vote
1answer
38 views

Why does $S^n$ satisfy the local $n$-slice condition? From Lee's Smooth Manifolds.

Example 5.9 on page 103 of Lee's Smooth Manifolds says the following: The intersection of $S^n$ with the open subset $\{x:x^i>0\}$ is the graph of the smooth function $$ ...
2
votes
0answers
34 views

A representation of a 1 form

Let $x, y, z$ be the usual coordinates on $\mathbb{R}^{3}$. Consider the 1-form on $\mathbb{R}^{3}$ given by $\phi = dx+ydz$. Do there exist smooth functions $u$ and $v$ such that $\phi=u\ dv$? Why? ...
2
votes
0answers
10 views

Approximating the action of the U(N) exponential map

Let's say that I have a curve in $\mathbb{C}^N$ given by the action of the unitary group: $$x(t) = e^{Ht}x_0,~ H \in \mathfrak{u}(N),~ ||x_0||=1$$ I can approximate this to first order as: $$\tilde ...
4
votes
3answers
89 views

Interior product between differential forms and vector fields

I don't understand what is meant when someone writes that forms (or form fields) "eat" vectors (or vector fields). For example when I have a one form field ω=3dx+5dy+3xdz and a vector field ...
3
votes
0answers
35 views

Voisin's proof of Ehresmann's theorem

On p.221 of Voisin's book on Hodge theory, there are two claims: a) Let $B$ be a contractible smooth manifold. There exists a vector field $\chi$ on $B$ whose flow $\Phi_t$ is global and, given any ...
2
votes
1answer
33 views

quotient by a group that acts almost freely

How can I show that if a compact lie group G acts almost freely and smoothly on a manifold M, then M/G is Hausdorff? (an action is almost free if $G_x$ is finite for all x $\in$ M)
0
votes
1answer
29 views

How to find the surface element for the cylinder $x^2 + y^2 = r^2$?

So if given a surface (cylindrical) which has radius r and equation $x^2 + y^2 = r^2$, I want to work out the line element for it. How do I get it? I know the final answer has to be $dS^2 = r^2dϕ^2 ...
1
vote
0answers
15 views

Mean curvature of even order

I read Antonio Ros, Compact Hypersurfaces with Constant Higher Order Mean Curvatures,1987. I don't understand following sentence from the second page 6th line. From the Gauss equation, we have ...
0
votes
0answers
23 views

A problem fro do carmos differential geometry book

A half-line $[0, \infty)$ is perpendicular to a line $E$ and rotates about $E$ from a given initial position while its origin $0$ moves along $E$. The movement is such that when $[0, \infty)$ has ...
1
vote
5answers
52 views

Vector field ${\bf F}$ with $\int_S {\bf F}\cdot{\bf n}\ dS=c$

Find a vector field ${\bf F}$ on $ {\bf R}^3$ with $$\int_S {\bf F}\cdot{\bf n}\ dS=c > 0 \tag{1} $$ where $S$ is any closed surface containing $0$ and ${\bf n}$ is normal Here there is a ...
2
votes
1answer
34 views

Why is the inverse of the standard charts on $\mathbb{R}P^n$ continuous?

When showing that $\mathbb{R}P^n$ is a topological manifold, the atlas is given by charts $\varphi_i\colon U_i\to\mathbb{R}^n$, where the $U_i$ are the classes $[x^1,\dots,x^{n+1}]$ with $x_i\neq 0$, ...
1
vote
0answers
38 views

Equation of a curve with a local minimum fixed at $x=a$ when we rotate the curve about the origin.

We have a strangely curved plank. If we place a round weighted object on it, it will rest itself at one point of it, when we incline the plank slowly, the object will gradually move towards a ...
1
vote
0answers
32 views

curvature of a plane curve

I'm trying to prove the formula to calculate the curvature of a plane curve. But I end up with the wrong sign and can't figure out why: I want to proof $\kappa(t) = \frac{\dot c(t) \cdot \ddot ...
0
votes
0answers
15 views

Mirror of Sine-Gordon Equation and Chebychev Net

A Chebychev net and constant negative Gauss curvature $-\frac{1}{a^2}$ surfaces are described by the Sine-Gordon Equation: $2 \psi'' = \frac{\sin (2 \psi)}{ a^2}$, $\psi' = \frac{\sin(\phi)}{c}$, ...
0
votes
1answer
35 views

Local isometric embedding

Every $n$-dimensional smooth Riemannian manifold admits a local isometric embedding of class $C^1$ into $\mathbb R^{n+1}$ by the Nash-Kuiper theorem. An example by Nadirashvili and Yuan shows that in ...
0
votes
1answer
29 views

$\frac {\partial x}{\partial u} \wedge \frac {\partial x}{\partial v} \ne 0$

Let $x(u, v)$ be a parametrization of a surface $S \subset \mathbb{R}^3$. Verify that $dx_q : \mathbb{R}^2 \to \mathbb{R}^3$ is one-to-one if and only if $\frac {\partial x}{\partial u} \wedge \frac ...
3
votes
1answer
56 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 ...
1
vote
1answer
103 views

Are tensor products of vector bundles “well-behaved”?

Do the "nice" properties of the tensor product of vector spaces always extend to tensor products of vector bundles? I'm working through Milnor-Stasheff and recently had to prove that the tensor ...
1
vote
0answers
15 views

Gauge covariant derivative on principal bundle over $\mathbb R^d$

I try to understand the physical definition of covariant derivative in gauge theories in terms of the exterior covariant derivative of vector-valued forms defined as the horizontal projection wrt a ...
4
votes
1answer
56 views

why can i differentiate this term-by-term?

What's the best way to justify the following computation: For $A, B$ symmetric real matrices, $$\frac{d}{dt}|_{t=0}e^{A+tB}= \frac{d}{dt}|_{t=0}(1+(A+tB)+\frac{1}{2!}(A+tB)^2+...) = ...
1
vote
0answers
57 views

Integrability of 1-forms and Stokes' Theorem

Let $\alpha$ be a $1$-form defined on a manifold $M$ and $\Delta = ker (\alpha)$. The classical theorem of Frobenius says that $\Delta$ is integrable if $\alpha \wedge d\alpha =0$ i.e if $d\alpha$ is ...
3
votes
0answers
45 views

How to construct a diffeomorphism with $p_k \mapsto q_k$?

How to prove the following property? I cannot do anything. Let $M$ be a connected paracompact smooth manifold of dimension $m\geq 2$. Let $(p_k), (q_k)_{k\in \mathbb{N}}$ be sequences on $M$ which ...
4
votes
0answers
86 views

Consistency of different ways to define the tensor product

It seems my trouble with understanding tensors stems from the following statement: More specifically, the statement: Namely, given $B: V \times W \to U$ and $\xi: U \to \mathbb{R}$, $\xi ...
5
votes
0answers
48 views

Integration of bundle-valued differential forms

The literature, at least textbooks, seems to be very scarce on the topic of integrating bundle-valued differential forms. So I wonder where can I read on the topic? I want to see usual theorems, like ...
2
votes
1answer
84 views

Codifferential of a $p$-vector in components

I'm learning differential geometry from a textbook, and I got stuck on a problem. I'm supposed to calculate this for a $p$-vector $F$ in $n$ dimensions: $(\mathrm{div}_\omega F)^{i...j} = ...
1
vote
2answers
109 views

How prove this $S_{\Delta ABC}\ge\frac{3\sqrt{3}}{4\pi}$

There is convex body $T$ (with the area is $1$), show that there is a triangle $\Delta ABC$, such $A,B,C\in T$, and $$S_{\Delta ABC}\ge\dfrac{3\sqrt{3}}{4\pi}$$ This problem is from China ...
1
vote
0answers
32 views

A question about the boundary points of manifolds.

A topological $n$-manifold is a second countable Hausdorff space such that every point has a neighbourhood which is homeomorphic to an open ball centred at the origin in $\Bbb{R}^n$. The "centred at ...
3
votes
1answer
53 views

Looking for proof that $SO(3)$ is a submanifold of $\mathbb R^3$

It seems to be taken for granted in all sources that $SO(3)$ is a submanifold of $\mathbb R^9$. However, the one proof of this that I have been able to find has a step or two that doesn't make alot ...
0
votes
0answers
47 views

Differential forms and minor expansion, question about notation.

There are lectures by Theodore Shifrin on differential forms, and sadly one video ends suddendly where he explains some notation. I try to formulate it in my own words: When k=n, we have ...
1
vote
1answer
33 views

Question about focal surface

This can be regarded as a continuation of the question about focal surface posted in "Question about Focal surfaces". More precisely, my question is part (b) of Exercise 3.5.9 of do Carmo's book ...
3
votes
0answers
27 views

The Taylor expansion of the metric at the origin in geodesic coordinates

It is well known that in geodesic coordinates we have $$ g_{ij}=\delta_{ij}-\frac{1}{3}\sum_{k,l}R_{ijkl}x^{k}x^{l}+O(|x|^{3}) $$ I have been trying to find a rigorous proof of it, but I cannot find a ...
2
votes
1answer
27 views

The number of variables that parametrize a particular curve or surface.

It is possible to parametrize a line in $\Bbb{R^n}$ using one variable. For example, $(t,2t)$ is a line in $\Bbb{R^2}$ for $t\in\Bbb{R}$. However, it is also possible to parametrize it using two ...
2
votes
0answers
40 views

Equivalent Characterizations of Smoothness

Let $F:M\to N$ be a map of smooth manifolds. Show that the following are equivalent: $F$ is smooth, For each $p\in M$ there exist smooth charts $(U,\varphi)$ containing $p$ and $(V,\psi)$ ...
2
votes
0answers
43 views

Diagonal submanifold is not the boundary of compact manifold

I would like to show that given a smooth compact manifold $M$, the diagonal $\Delta\subset M\times M$ is not the boundary of a compact manifold. I would appreciate a hint to solve this. What is being ...
3
votes
0answers
57 views

Example for divisors, line bundles and meromorphic functions on $\mathbb{CP}^2$

I have been studying divisors using Griffiths/Harris (chapter 1.1) as well as Huybrechts (chapter 2.3). However, I cannot seem to find any very easy worked examples - i.e. $\mathbb{CP}^1$ or ...
0
votes
0answers
34 views

Equivalent descriptions of “flat space with non Euclidean metric” and “curved space with (local) Euclidean metric”: the case of Minkowski space.

FIRST: I start with the guiding idea: 1. we have the surface of a paraboloid (z = x2 + y2); its metric, in an infinitesimal neighbourhood of one of its points is (we can choose it) EUCLIDEAN; now, ...
2
votes
1answer
65 views

Riemannian metric and geodesic completeness

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
1answer
46 views

Differentiation of scalar fields using tensor notation

I'm learning tensor calculus to understand differential geometry. Please verify if I've understood how to employ Einstein's sum convention and index notation correctly. Suppose that $\varphi := ...
0
votes
1answer
56 views

Interpretation of $(r,s)$ tensor

A tensor of type $(r,s)$ on a vector space $V$ is a $C$-valued function $T$ on $V×V×...×V×W×W×...×W$ (there are $r$ $V$'s and $s$ $W$'s in which $W$ is the dual space of $V$) which is linear in each ...
0
votes
1answer
98 views

Example of Something That's Not A Manifold

Two examples of non-manifolds that I know are the cross and the cone. Also the sphere with a hair isn't a topological manifold. But what's an example of a topological space $X$ such that $X$ is not a ...
2
votes
1answer
48 views

Is $\mathbb{R}P^n$ “two-sided” in $\mathbb{R}P^{n+1}$

i.e. Does $\mathbb{R}P^n$ have a tubular neighborhood $N$ such that $N-\mathbb{R}P^n$ is disconnected. My guess is yes, but don't know how to show it convincingly ( or maybe only for $n$ odd, I'm ...
4
votes
0answers
57 views

Differential forms and determinants

2-forms are defined as $du^{j} \wedge du^{k}(v,w) = v^{j}w^{k}-v^{k}w^{j} = \begin{vmatrix} du^{j}(v) & du^{j}(w) \\ du^{k}(v) & du^{k}(w) \end{vmatrix}$ But what if I have two concret ...
2
votes
2answers
60 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
38 views

Manifold has uncountable many smooth stuctures if it has one

This is the Problem 1-6 of John Lee's Introduction to smooth manifold: Let $M$ be a nonempty topological manifold of dimension $n\geq1$. If $M$ has a smooth structure, show that it has uncountably ...
2
votes
1answer
39 views

Vanishing pushforward implies smooth function is locally constant?

I'm trying to prove that if the pushforward $dF$ of a smooth map $F\colon M\to N$ between smooth manifolds is zero, then $F$ is constant on each component. It will be enough to show $F$ is locally ...
1
vote
1answer
23 views

Inverse Image of a Regular Value an Orientable Submanifold

Let $f:M^n \rightarrow \mathbb{R}$ be a smooth map, and let $c\in N$ be a regular value. When is $f^{-1}(c)$ an orientable manifold? Note: I know by regular value thm, $f^{-1}(c)$ is a smooth $n-1$ ...