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
13 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
23 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
49 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
34 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}
1
vote
2answers
28 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 ...
7
votes
0answers
74 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
35 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
57 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
40 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
31 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
33 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
46 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
32 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
42 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
26 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
19 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
62 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
6 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
38 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
25 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.
2
votes
0answers
28 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
62 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
109 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
32 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
35 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
59 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 ...
2
votes
2answers
63 views

Vector fields along maps: I need another sanity check

Consider the definition of a vector field along a smooth map $f: M \to N$ where $M,N$ are smooth manifolds: A vector field along $f$ is a continuous map $W \colon M \to TN$ such that $W(m) \in ...
1
vote
1answer
17 views

Symplectic manifold

Let ($M$, $\omega$) be a symplectic manifold of dimension $2n$. Then $\omega$ is non-degenerate $2-form$ by definition. Now, my question is if we can conclude that $\omega \wedge ...\wedge \omega$ ...
0
votes
0answers
7 views

Defining an Ehresmann Connection Using Linear Connection

In some places that I have seen, given the covariant derivative $\nabla$ of a linear connection on a vector bundle $\pi: E\rightarrow M$ (dim(M)=k), an Ehresmann connection is defined in the following ...
0
votes
0answers
19 views

Why $exp(0_{T_eG})=e$, where $exp$ is the exponential map of a Lie group?

I wonder if this fact is true: I consider the exponential map of a Lie group $G$. $$exp: \mathfrak{g} \rightarrow G.$$ Is it true that $exp(0_{T_eG})=e$, where $e$ is the identity element of $G$? ...
1
vote
1answer
45 views

Question on vector fields along maps (need a quick sanity check)

Let $f: M \to N$ be some smooth map between smooth manifolds. If $V$ is a vector field, that is, a smooth map $V: N \to TN$ then $V$ is a vector field along $f$ if the projection $\pi: TN \to N$ is ...
1
vote
1answer
38 views

Differential structure on the cone

Let's take $\mathbb{R}^2$ with the action of a cyclic group by standard rotations with center the origin. Can we put on the quotient a differential structure such that the projection is ...
1
vote
1answer
37 views

Basic examples topological manifolds with boundary

I've just started to study differential geometry and I've some problems with the first definitions. We have defined a topological manifold with boundary of dimension n as a topological space $M$ such ...
2
votes
0answers
36 views

Explicit Calabi-Yau metrics

I would like to know which explicit metrics on noncompact Calabi-Yau (CY) threefolds are known. For instance, an important class of such spaces can be constructed algebraically, including local ...
1
vote
1answer
22 views

Hamiltonian flow local diffeomorphism?

I am currently reading Arnold's proof of the Darboux theorem in his book on classical mechanics and fail to understand some point. The background So he wants to show that any symplectic form is ...
0
votes
0answers
34 views

Topology of statistical manifolds

I am currently working with statistical manifolds. Roughly, a statistical manifold is a set of distribution parametrized by a set of parameters. However i have trouble finding more precise definition. ...
2
votes
3answers
44 views

Group actions on manifolds - exponential map

Let $M$ be a smooth manifold. Suppose $K$ is a Lie group (with Lie algebra $\mathfrak{k}$) acting EDIT: TRANSITIVELY on $M$ from the left and $G$ is a Lie group (with Lie algebra $\mathfrak{g}$) ...