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
64 views

A question about pullback of the K-form

Let $M$ be an oriented $m$-dimensional manifold. Suppose the support of $\omega$ is in an open subset $U$ of $M$, and $\phi \colon U \to R^m$, $\psi \colon U \to R^m$ are two different charts on $M$ ...
1
vote
0answers
19 views

Hypersurfaces of a hemisphere

Let $S_+^{n+1}$ be the open hemisphere of the standard euclidean sphere centered at the north pole and let $M^n$ be a compact, connected and oriented hypersurface of $S_+^{n+1}$. Is it true that if $M$...
0
votes
1answer
31 views

How to reparametrize a geodesic such that $\nabla_V V = 0$

In Nakahara's section on geodesics he says that $\nabla_V V = fV$ can be reparametrized to give $\nabla_V V = 0$ if we use the reparametrize the tangent vector components $t \rightarrow t'$ such ...
1
vote
1answer
36 views

If G is a compact semisimple Lie group, then its Killing form is negative definite

Theorem: If $G$ is a compact semisimple Lie group, then its Killing form is negative definite. In its proof: Since $G$ is compact there is an Ad-invariant inner product on $\mathfrak g$. Since each ...
2
votes
1answer
46 views

Lie bracket and inner product

$X, Y, N$ are vector fields on a riemannian manifold $M$. $\langle X, N \rangle(p)=0 $, $\langle Y, N \rangle(p)=0$ at some point $p$. Show $\langle [X,Y], N \rangle(p)=0$. I want to use $[X,Y]=XY-...
3
votes
0answers
46 views

How to define integration along surfaces in $\Bbb R^4$?

In $\Bbb R^4$ we have curves, bi-dimensional surfaces and hypersurfaces. We integrate vector fields along curves and in hypersurfaces using a normal direction. I know that the adequate object to ...
4
votes
2answers
53 views

Volume of spherical shell with $dr$ thickness

Let's consider two spheres in the $(x,y,z)$ 3D-space, both centered in the origin: the inner with radius $r$ and the outer with radius $r + dr$. To compute the volume of the spherical shell between ...
2
votes
1answer
73 views

Problem solution hint about boundary of boundary of chains from Arnold' book mathematical method

On his book Mathematical Methods of Classical Mechanics, (Chapter 7, Section 35, Problem 10), Arnold asks to show that the boundary of boundary of any chain is zero. He gives hint saying: by the ...
7
votes
0answers
144 views

Sard's Theorem Using Integration?

How exactly do we clean up this heuristic proof of Sard's theorem, from Schwarz' `Differential Topology for Physicists' using the Jacobian $J(f)(x)$: "A heuristic justification for Sard's theorem ...
1
vote
0answers
44 views

How can we visualize a tensor?

I would greatly appreciate it if someone could explain to me how to visualize a tensor in the analogous way that we visualize a vector. Thanks!
4
votes
2answers
187 views

complex submanifolds in complex euclidean space

Assume all manifolds are without boundaries. In Euclidean space $\mathbb{R}^n$, there are many submanifolds (Whitney Embedding Theorem). In complex Euclidean space $\mathbb{C}^n$, are there any ...
0
votes
0answers
20 views

Ring of smooth functions on a manifold and localization with respect to a multiplicative system

Take $X$ a smooth manifold and $x\in X$. It can be shown that the germ of smooth functions around $x$, $C^\infty(X)_x $ is equal to the algebraic $S^{-1}C^\infty (X)$ where $S$ is the set of smooth ...
5
votes
1answer
54 views

Classification of Möbius Transformations

We know how to classify the points on a surface,by looking the Gaussian curvature at a point in order to guess the shape of the surface near that point.On the other hand we classify the Möbius ...
0
votes
0answers
21 views

Reversible function

I need help. For which $(r, θ, φ) ∈ \mathbb{R}^3$ is the function $$f(r,\theta,\varphi)=\begin{pmatrix}x(r,\theta,\varphi)\\ y(r,\theta,\varphi)\\z(r,\theta,\varphi)\end{pmatrix}=\begin{pmatrix}r\sin ...
0
votes
0answers
25 views

the map from the horizontal bundle is a submersion or an immersion

Let $\pi \colon M \to B$ be a riemannian submersion and $g$ the metric on $M$. Then we get the vertical subspace $ \mathcal{V}_x = \ker d_x \pi$ and the horizontal subspace $\mathcal{H}_x= \mathcal{V}...
0
votes
0answers
38 views

On finding a second countable basis for the tangent bundle $TM$

Let $M$ be a manifold. I want to show that the tangent bundle $TM$ is second countable. I know that for a given chart $(U, \phi)$ on $M$ we have a homeomorphism $D_{\phi}$ between $TU$ and $\phi(U) \...
0
votes
3answers
32 views

How do I find the normal vector at point $p$ on a cylinder $x^2+y^2=1$?

How do I find the normal vector at point $p$ on a cylinder $x^2+y^2=1$? I would find this normal vector on point $p$ with any graphic of a function like $(-z_x,-z_y,1)$, but in this case I have no $z$ ...
2
votes
1answer
51 views

Pullback of euclidean metric on the disc.

$\newcommand{\Im}{\operatorname{Im}}\newcommand{Re}{\operatorname{Re}}$Consider the biolomorphism $$f : D \to H$$ where $H$ is the complex upper hyperplane $\{\Im(z) > 0\}$ and $D$ is the unic disc,...
1
vote
1answer
34 views

Top cohomology of a non-orientable smooth surface with boundary.

I would like to know what the singular relative cohomology $H^2(M,\partial M;\mathbb{Z})$ of a smooth connected surface with boundary $M$ is. In the orientable case I did the following: The zero-th ...
4
votes
1answer
69 views

Computing Curvature of a Connection (Dirac Monopole)

I'm trying to verify some computations in a paper I'm reading and am feeling a little lost. In particular I haven't been able to properly compute curvature of a connection acting on a line bundle. ...
0
votes
1answer
27 views

Is it true that $(\Phi_{-t})_*w\circ \Phi_t=\sum_{n=0}\frac{t^n}{n!}\mathcal L^n_vw$?

Let $v,w$ be vector fields and let $\Phi_t$ be the flow generated by $v$, that is $\frac{d}{dt}\big|_0\Phi_t(x)=v(x)$. The Lie derivative of $w$ in direction of $v$ is usually defined as $\mathcal ...
3
votes
0answers
47 views

What curves will satisfy this very intersting property?

Let $c_1,c_2\subset\mathbb R^2$ be differentiable curves. Given that for any rigid transformation $E$ (i.e. combination of reflections, translations, rotations), if $c_1,E(c_2)$ intersect ...
0
votes
1answer
89 views

If X surface and $ E=1+v^2 $, $ F=0 $, $ G=1 $, $ e=0 $, show that $ a(t)=X(uo,vo+t) $ is a straight curve

Let $X : U \to \mathbb{R}^3$ be a regular surface with $E =1 + v^2$ , $F = 0$ , $G=1$ , $e=0$ Show that the curve $ a(t)=X(uo,vo+t)$ (for constant $ (uo,vo) $ at $ U $ and $ t $ belong at $ (-\...
3
votes
1answer
322 views

Intersecting geodesics in a positive curvature manifold

Suppose $M$ is a connected, compact orientable 2-dimensional Riemannian manifold, with positive Gaussian curvature. I'd like to show that two non-self-intersecting closed geodesics must intersect each ...
3
votes
1answer
61 views

Cartan decomposition of SO(2n)

I am trying to understand the Cartan decomposition theory, on the following example : $G=SO(2n)$, and $K=U(n)$, and I'm interested in the manifold $G/K$ (an hermitian symmetric space). 1) How do we ...
0
votes
1answer
27 views

Contour integral independant of parametrisation

I have a question about the definition of contour integrals in $\mathbb{C}$. The same question could be applied to line integrals in $\mathbb{R}^n$ though. $\Gamma \subseteq \mathbb{C}$ is called a ...
27
votes
2answers
247 views

Orientability of $m\times n$ matrices with rank $r$

I know that $$M_{m,n,r} = \{ A \in {\rm Mat}(m \times n,\Bbb R) \mid {\rm rank}(A)= r\}$$is a submanifold of $\Bbb R^{mn}$ of codimension $(m-r)(n-r)$. For example, we have that $M_{2, 3, 1}$ is non-...
4
votes
0answers
109 views

Relation between the Hessian and Laplacian

Let $(M^{n},g)$ be a smooth Riemannian manifold of smooth boundary $\partial M$. Assume that Ricci curvature of $M$ is $Ric^{M}\geq0$, and the second fund. form of $\partial M$ is $II\geq c>0$. ...
0
votes
0answers
33 views

Convex, closed plane curve is a Jordan curve

The claim I'd like to prove or disprove is in the title. Here, convexity means every tangent line at any point on the curve has the whole curve in one half of it. The curve being closed means that it'...
2
votes
0answers
27 views

Confusion with conclusion to positive mass theorem

I am trying to understand the positive mass theorem as it is presented in the survey paper by Corvino and Pollack http://arxiv.org/abs/1102.5050 I am fundamentally confused by the structure of their ...
0
votes
1answer
31 views

Does an unbounded gradient implies a non-vanishing hessian determinant

Let $\Phi:\mathbb{R^{n-1}\to R}$ be a vector function. Suppose that exists a set $S_1\subset \mathbb R^{n-1}$ on which $G=\nabla\Phi$, the gradient of the function is unbounded. Does that imply ...
0
votes
1answer
45 views

conformal structure of a disc

I wonder if the conformal structure of the unit disc $D^2=\{(x,y):x^2+y^2\leq 1\}$ is unique. More precisely, given a Riemannian metric $g$ on $D^2$, is it always true that $g=e^{2u}g_0$, where $g_0$...
0
votes
0answers
15 views

Sign disagreement in curvature form on $U(1)$-bundle

this is rather trivial question to masters, but as I'm totally disoriented by my computation, so deciding to ask. I'm trying to solve the following exercise, 1.1, showing the curvature 2-form $F(X,Y)=...
0
votes
0answers
29 views

Second derivative/tangential map on a product manifold

Short version: Given $f: M_1 \times M_2 \longrightarrow N$ what is the second tangential $TTf$ expressed in partial tangentials on $M_1, M_2$? The details: Let $M_1, M_2, N$ be manifolds. The partial ...
0
votes
0answers
21 views

Is the Inverse of a Coordinate System on a Differentiable Manifold Differentiable?

In his book Calculus on Manifolds, Spivak shows that a differentiable k-dimensional manifold in $\mathbb{R}^n$ is a set $M$ such that $\forall x \in M$ there exists an open set $U$ containing $x$, an ...
1
vote
1answer
38 views

A Young's inequality used to bound curvature terms

I've been having a look at the Gage and Hamilton's The Heat Equation Shrinking Convex Plane Curves (here). In particular I've been working in the Lemma 4.4.2 and some further results where they find ...
66
votes
5answers
9k views

Why is a circle in a plane surrounded by 6 other circles?

When you draw a circle in a plane you can perfectly surround it with 6 other circles of the same radius. This works for any radius. What's the significance of 6? Why not some other numbers? I'm ...
1
vote
1answer
25 views

Apply connections to a gauge transformation?

I'm reading Donaldson's book, Floer homology groups in Yang-Mills theory. On page 82, he considers a trivial bundle $P$ over a $4$-manifold $X$ with tubular ends which is equipped with a connection $...
0
votes
1answer
19 views

Derivative of the integral of a pull-back form

Let $\omega$ be a $n$-form on the smooth compact manifold $M$ without boundary. Let $X$ be a smooth vector field on $M$ and $\phi_t$ the associated flow. Let $A(t)=\int_M \phi_t^* \omega$. How can we ...
4
votes
0answers
53 views

What are “generalized bases” really called, and where can I learn more?

(Notation: $f \diamond g$ means the composite $g \circ f$.) The following situation occurs frequently: We have an $\mathbb{R}$-algebra $A$, together with a distinguished set $I$ (the "indexing set"),...
1
vote
1answer
46 views

Are there characteristic classes for symplectic vector bundles?

Given a real vector bundle, say the tangent bundle of a manifold, some obstructions to this being the underlying real bundle of a complex bundle come from characteristic classes. These can prove the ...
0
votes
0answers
14 views

Orientability of manifold via covering spaces

Let $f\colon M\rightarrow N$ be a regular covering map between connected differentiable manifolds $M,N$ with $M$ orientable. Prove that $N$ is orientable if and only if every deck transformation ...
0
votes
2answers
42 views

what is the curvature in differential geometrical \mathbb{R}^3

If $s$ is the natural parameter, then $x'(s)$ and $x'(s+\Delta s)$ are unit vectors. Therefore the angle $\Delta \varphi$ between them is equal to $$ \Delta\varphi=x''(s)\Delta s+ o(\Delta s).$$ Def: ...
2
votes
1answer
49 views

Flow of a vector field, equivalent characterizations

Given a vector field $X$ on the manifold $M$ its flow is, loosely speaking, a map $F= F(t,x)= F^t(x)$, in the variables $(t,x)\in I\times M$, such that the curve $t\mapsto F^t(x_0)$ is the unique ...
1
vote
1answer
53 views

Fundamental group and curvature

Is there any paper about the $\pi_1$ group and curvature ? Because how close a curve depends on the curvature near the curve . I think there must have some condition which decide whether there is ...
1
vote
1answer
74 views

Why is $T$ in $\mathcal T_2^1(M)$?

Let $M$ be smooth manifold and $\nabla$ an affine connection on $M$. Then the torsion tensor of $\nabla$ is the map $T:\mathcal T(M)\times\mathcal T(M)\to\mathcal T(M)$ and $$T(X,Y)=\nabla_XY-\...
1
vote
2answers
41 views

The Lie Algebra of $O(n)$ is the set of $n \times n$ skew-symmetric matrices

I'm trying to show that the Lie Algebra for $O(n)$ is the set of $n \times n$ skew-symmetric matrices. Here is what I have so far. Since $O(n)$ is the union of two disjoint subsets, the matrices with ...
1
vote
0answers
52 views

A problem possibly about the Whitney Embedding Theorem.

Problem. (1) Suppose $F:S^1 \to \mathbb{R}^3$ is a smooth immersion (i.e. $dF$ is nowhere zero). Prove that there is a unit vector $\mathbf v$ in $\mathbb{R}^3$ such that $\pi_{\mathbf v} \circ F : ...