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
0answers
21 views

Computation in Wikipedia's article “Riemann Curvature Tensor”

This Wikipedia article explains how the Riemann curvature tensor is a measure of the failure for a tangent vector to parallel translate back to itself along an infinitesimally small loop. The article ...
2
votes
1answer
20 views

Understanding Symmetric tensor field

I am reading an article in which author calls some basic tensor analysis result. He states in general we define on $\mathbb R^N$ that $$ \mathcal T^k(\mathbb R^N):=\{\xi:\,\mathbb ...
1
vote
0answers
46 views

Cylinder and Möbius strip as fiber bundles: trivializations and cocycles

I know that this question has already been asked, but I couldn't find a clear answer. I have to show that the cylinder and the Möbius strip are fiber bundles over $S^1$ with fiber an open interval ...
3
votes
1answer
41 views

Tangent space of quotient space

Let $\pi : M \rightarrow M/G$ be the canonical projection, where $M$ is a manifold and $M/G$ is a quotient manifold. Now, what can we say about $d \pi (p) : T_pM \rightarrow T_p(M/G)$? From my ...
3
votes
1answer
56 views

Differential geometry in the context of manifolds

I am an undergraduate student of mathematics. I have a solid background on calculus, linear algebra, real analysis and point set topology, but I have never studied differential geometry. I am very ...
7
votes
1answer
102 views

Hodge Theory, intuition?

We have the following theorem of Hodge, as follows: $$\dim \ker \Delta^p = \dim H^p(M) = b_p(M).$$My question is, what is the intuition behind this statement?
0
votes
0answers
20 views

Differential geometry for nonlinear control theory

I am engineering student and I need to acquire a good understanding of some notions in differential geometry such as manifold, diffeomorphism, distributions etc.But I can't find a proper starting ...
0
votes
1answer
26 views

Lie group and stabilizer quotient

Let $G$ be a Lie group and $$G_x:=\{g \in G; Ad^*_g(x)=x\}$$ the stabilizer, where $Ad_g^*$ is the adjoint of the adjoint representation. Now, I was wondering why $G/G_x$ has a manifold structure. ...
1
vote
1answer
36 views

Does the Morse-Bott index of a critical point depend on the choice of metric?

By the Morse lemma there exists a coordinate chart $(x_1,...,x_n)$ in the neighbourhood of a critical point $p$ of a Morse function $f : M^n \to \mathbb{R}$ such that \begin{equation*} f(x) = f(p) - ...
1
vote
1answer
15 views

Flow of time-depended vector field

Suppose $X_t$ is a time-depended vector field with flow $\phi_t$, so, $\frac{d}{dt} \phi_t = X_t(\phi_t)$. Is it true that $d \phi_t(X_t(x)) = X_t(\phi_t(x))?$ This is true when $X_t$ does not ...
1
vote
0answers
14 views

Relation between torsion in torsion free of covariant derivative and torsion free group

Is there a relationship between "torsion free" of covariant derivatives and the torsion free group? Or is this just coincidence that people use the term "torsion free" here? It is in general required ...
2
votes
0answers
19 views

Accounting for signs in divergence thm. on Lorentzian manifold

I am trying to learn about integration in Lorentzian manifolds (I will use signature -+++) and have some problems. Oft quoted (in books for GR) form of divergence theorem is: $\int _U div( X ...
1
vote
0answers
25 views

Condition (C) of Palais-Smale

In Klingenberg's Notes, he makes the following definition: $\Lambda M$ will be said to satisfy the condition (C) of Palais-Smale if: Given a sequence $\{c_m\}$ on $\Lambda M$ satisfying: ...
1
vote
0answers
52 views

Studying the family of curves $\beta(s,r) = \alpha(s) + r\,{\bf N}(s)$

I'm reviewing some stuff on plane curves, just because, and I would like to confirm some things. The whole exercise is: Let $\alpha(s) = (x(s),y(s))$ be a unit-speed parametrized curve, ${\bf ...
3
votes
1answer
39 views

Diffeomorphism between $\Bbb{R}^{4}$ and the cube

I'm looking for an explicit diffeomorphism between the four-dimensional euclidean space $\Bbb{R}^{4}$ and the four-dimensional open cube. I wonder whether there is a simple looking map, with simple ...
0
votes
1answer
20 views

Intersection of Cut Locuses

If $C_p(M)$ is the cut locus of some $p\in M$ in some Riemannian Manifold $M$, then when is: \begin{equation} \bigcap_{p\in M} C_p(M)=\emptyset\text{ ?} \end{equation}
2
votes
2answers
44 views

About gauge transformation

If $E$ is a vector bundle with a bundle metric, so we have ${\rm Aut}\ (E)$ whose fiber at $x\in M$ is the group of orthogonal transformation in $E_x$. Then gauge transformation is a section of ${\rm ...
8
votes
1answer
99 views

Riemannian metrics and how spaces look

I thought I had a fairly good understanding of Riemannian metrics until I came across this exercise in Petersen's book. Construct paper models of the Riemannian manifolds ($\mathbb{R}^2, dt^2 + ...
0
votes
0answers
36 views

length of continuously differentiable curves

I saw that the length of a continuously differentiable curve $\gamma$ in $\mathbb{R}^n$ with $\gamma(t) \neq 0$ is defined as $\int_a^b |\gamma^{'}(t)|dt$, as can be found here ...
6
votes
1answer
63 views

Flow of sum of non-commuting vector fields

Let $V,W\in\Gamma(M)$ be any two vector fields. Is there any "nice" expression for the flow of $V+W$ in terms of the flow of $V$ and the flow of $W$? It would be sufficient for me to have some sort of ...
1
vote
1answer
46 views

Orbits form a manifold?

A prominent example are the coadjoint orbits $O_x = \{Ad_u^*(x);u \in G\}$ where $x \in \mathfrak{g}$ and $G$ a Lie group with Adjoint map $Ad.$ Could anybody give me an easy argument why $O_x$ is a ...
0
votes
0answers
34 views

Exponential map only for matrix Lie algebras?

Recently, I stumbled over some proofs in Lie algebra theory and noticed that they often use the notion of an exponential map $e^{t \zeta}$ for $\zeta \in \mathfrak{g}$ such that $e^{t \zeta} \in G$ ...
0
votes
0answers
35 views

Is there a deRham (co)homology for vector-valued differential forms?

Is there a deRham (co)homology for vector-valued differential forms? The deRham (co)homology of differential forms has been well-discussed and well-founded, along with the fact that for the exterior ...
1
vote
1answer
22 views

Lie algebra of affine linear maps

Let $G$ be the Lie group of affine transformations, $$\{x \mapsto Ax+b,A \in GL(n), b \in \mathbb{R}^n\}.$$ We can represent these maps as matrices $$\begin{pmatrix} A & b \\ 0 & 1 ...
-2
votes
1answer
48 views

topic between algebra and geometry [on hold]

I have to do an exam on Differential Geometry and my teacher wants that I prepare a choosen topic, outside lectures program, that I will talk about at the oral part of the exam. I am interested in ...
2
votes
0answers
33 views

Tangent space of coadjoint orbit

Let $\xi \in T_xOx$ be a tangent vector at $x \in O_x :=\{\mathrm{ Ad} _{u}^*(x); u \in G\}$ for $x \in g^*.$ ($g$ is the Lie-Algebra) Then I read that this $\xi$ can be represented as the velocity ...
0
votes
0answers
35 views

How to tell complex structures apart

Complex structures are rigid, yet weirdly flexible. For example, the Riemannian mapping theorem says that every non-empty simply connected open subset of $\mathbb{C}$ that is not $\mathbb{C}$ is ...
-1
votes
0answers
17 views

Lie algebra affine transformations [duplicate]

Let $G$ be the Lie group of affine transformations $$\{x \mapsto Ax+b,A \in GL(n), b \in \mathbb{R}^n\}.$$ Then we can represent these maps as matrices $\begin{pmatrix} A & b \\ 0 & 1 ...
0
votes
0answers
14 views

Adjoint and coadjoint orbits

I just read that for the Lie algebras $\mathfrak{gl}(N),\mathfrak{sl}(N),\mathfrak{so}(N),\mathfrak{sp}(2N)$ the adjoint and coadjoint orbits coincide. Now, the adjoint orbits are $O_{\xi} = ...
0
votes
1answer
44 views

Killing form - strange definition

I was just reading about Killing forms. In my opinion, the definition of these forms is quite strange. I mean why would one define $B(X,Y) = \mathrm{tr} (\mathrm{ad} (X) \circ \mathrm{ad} (Y))$? I ...
2
votes
1answer
27 views

Sanity check: smooth structure of tangent bundle

Let $M$ be a smooth $n$ manifold and let $TM$ denote its tangent bundle $$ TM = \bigsqcup_{x \in M} \{(x,T_x M)\}$$ I am trying to put a smooth structure (atlas) on $TM$ using the atlas on $M$. But ...
3
votes
1answer
27 views

Adjoint representation is Lie algebra homomorphism

Let $T_g:=L_g R_{g^{-1}}: G \rightarrow G$ be the standard automorphism of a Lie algebra, then $Ad_g:=DT_g(e): \mathfrak{g} \rightarrow \mathfrak{g} $is called the adjoint representation. Now, I want ...
2
votes
1answer
63 views

Would this be a homology theory?

Consider a manifold $M$, and denote by $\Delta _p M$ the set of all submanifolds of dimension $p$ (with or without boundary) of $M$. Define $G_pM$ to be the free abelian group generated by $\Delta_p ...
0
votes
0answers
8 views

Stabilizer subgroup in adjoint action

Given $b \in \mathfrak{su}(n)$, how can I find the stabilizer $\text{stab}(b)$ for the adjoint action of $SU(n)$ on $\mathfrak{su}(n)$ given by $Ad_U(b) = UbU^{\dagger}$ without using coordinates? The ...
4
votes
1answer
146 views

Does positive definite Hessian imply the Jacobian is injective?

Suppose $f(x):\mathbb{R}^n \mapsto \mathbb{R}$ is an infinitely differentiable function. If $\nabla^2 f(x)$, the hessian of $f$ is positive definite everywhere, does this imply that the gradient(first ...
3
votes
1answer
39 views

Symbol of the differential operator on vector bundles

Suppose that we have a differential operator $D:C^{\infty}(\mathbb{R}^n) \to C^{\infty}(\mathbb{R}^n)$ of the form $(Df)(x)=\sum_{|\alpha| \leq k}a_{\alpha}(x)\frac{\partial^{|\alpha|}f}{\partial ...
-1
votes
0answers
22 views

Solution manual for Modern Differential Geometry for Physicist? [on hold]

Here is the book by Chris J. Isham Anyone has the solution manual of Modern Differential Geometry for Physicist?
1
vote
0answers
15 views

Please could someone check and help me with my answer to part two of this exercise about vector fields along maps?

I previously solved the following (first half of an) exercise: Let $U$ be an open neighbourhood of $0 \in \mathbb R^2$ and let $f = (f_1, f_2) : U \to \mathbb R$ be a smooth map such that $f(0) = ...
0
votes
0answers
17 views

Please would someone check my answer to this exercise on vector fields along maps?

I believe I solved the following exercise and would appreicate it greatly if someone could check my answer: Let $U$ be an open neighbourhood of $0 \in \mathbb R^2$ and let $f = (f_1, f_2) : U \to ...
0
votes
1answer
27 views

The literature on Chern-Simons theory

Can any one give some literature on Chern-Simsons theory? I can not find any book introducing this theory. Thanks.
3
votes
0answers
30 views

'Unrolling' the neighbourhood of a space curve

I have a space curve $\gamma : \mathbb{R} \longrightarrow \mathbb{R}^3$, sampled at $n$ discrete points. I have implemented an algorithm that gives me an approximation to $\gamma$'s tangent, normal ...
3
votes
1answer
35 views

Smooth maps preserve dimension

I stumbled over a useful consequence, that is apparently wrong for only continuous maps. Imagine $A \subset \mathbb{R}^{n-1}$ is a compact set and $F : \mathbb{R}^{n-1} \rightarrow S^{n}$ a smooth ...
0
votes
1answer
63 views

Differential forms- riddle me this.

I stumbled over this answer on math.stackexchange Let $x$ be a point in $\rm M$. Then because $\omega$ is non degenerate at $x$, the antisymmetric matrix $\omega_x$ has full rank on the tangent ...
5
votes
3answers
111 views

On defining homology groups

I have been trying to understand what homology groups are "talking about," and now I am wondering if the following works as a definition of homology. But first, some illustration of what it is ...
0
votes
1answer
37 views

Is the inside of a sphere a hyperbolical surface?

So since an elliptic surface with constant curvature would be a sphere, would a an hyperbolical surface with a constant curvature be the inside of a sphere if we were to go out from inside the sphere? ...
3
votes
1answer
33 views

Level set as the orbit of the action of a Lie Group?

I'm wondering the following. Given a smooth function $f:\mathbb R^n\rightarrow \mathbb R^m$ with $m<n$ and level sets $\mathcal O(y)=\{x\in\mathbb R^n| f(x)=y \}$. What are the conditions on $f$ ...
1
vote
0answers
41 views
+50

Jacobi field geodesic and calculus of variations.

How can we show that the second order variation to a geodesic is given by the Jacobi differential equation? In essence, \begin{equation} \frac{D^2}{dt^2}J(t)+R(J(t),\dot \gamma (t))\dot \gamma ...
2
votes
0answers
17 views

geodesic of Stiefel manifold

Define a metric on Stiefel manifold $V_{n,p}$ as $$\left<\Delta_1,\Delta_2\right>=\text{tr}\Delta_1^T\left(I-\frac{1}{2}YY^T\right)\Delta_2$$ $\forall \Delta_1,\Delta_2\in T_YV_{n,p}$ how to ...
1
vote
1answer
10 views

What are intuitively the diffeomorphisms $\theta^t(p)=\Theta (t,p)$, associated to the local flux $\Theta$ of the vector field $X$?

Given a vector field $X$ on the manifold $M$ I know that I can associate to it in a unique way a local flux $\Theta: W \rightarrow M$, where $W \subset\mathbb{R} \times M$. The curve ...
3
votes
1answer
60 views

In manifold theory, in what sense is the derivative a first-order approximation?

As I move on from the calculus definition of the derivative to the differential geometric definition in terms of tangent spaces, I am wondering how to recover the notion that the derivative of a ...