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

Basic diff.geometry question: Understanding coordinate charts by example

I recently learned the notion of coordinate chart: If $M$ is a manifold and $U\subseteq M$ is an open set in $M$ then a coordinate chart would be a smooth homeomorphism $\varphi : U \to V \subseteq ...
4
votes
2answers
214 views

Can a region always be parametrized by a single function?

Can some connected region in $\Bbb R^n$, possibly with some other nice conditions on the region, always be parametrized by a single function $\vec r(x_1, x_2, \dots, x_k)$ (even if it may be easier to ...
2
votes
1answer
62 views

A question related to the topology of the level sets of a particular type of smooth functions $f:\mathbb{R}^2\to \mathbb{R}$.

Let $f:\mathbb{R}^2\to\mathbb{R}$ be a smooth function without critical points; i.e. such that $\nabla f(x)\neq (0,0)$, for all $x\in\mathbb{R}^2$. Is it true or false that all the level curves of $f$ ...
5
votes
0answers
65 views

Basic question: Condition for a map associated to a linear series to be an immersion

I am reading this set of lectures of a class by Prof. Harris. There is a theorem. Let $X$ be a Riemann surface and $\phi:X\rightarrow\mathbb{P^r}$ be the map defined by a linear series without ...
5
votes
1answer
114 views

Riemann curvature product metric

Suppose that $M=M_1 \times M_2,$ with the product metric $g= g_1 \oplus g_2.$ Let $p\in M$ and suppose that $X \in T_pM_1$ and $Y\in T_pM_2.$ I want to show that $R(X,Y,Y,X)=0,$ at the point $p.$ I ...
2
votes
0answers
31 views

Calculation in From Seiberg Witten to pseudo-holomorphic curve

I am reading the Taubes's paper: From From Seiberg Witten to pseudo-holomorphic curve. I don't know how to get the result (2.17) \begin{eqnarray*} ...
2
votes
0answers
130 views

Pullback of Euclidean metric under spherical coordinates

I came across the following problem when I was reading a paper. Let $\Omega=B_2\subset\mathbb{R}^3$, which is the ball of radius 2 centered at origin. Map $F:B_2\backslash \{0\}\to B_2\backslash B_1$ ...
2
votes
2answers
123 views

Topologies in a Riemannian Manifold

I'm studying Differential Manifolds using Manfredo do Carmo's Book (Riemannian Geometry) and although I see no mention of this in Do Carmo's book, it's really easy to see a Riemannian Manifold as a ...
2
votes
0answers
49 views

Compare three tangent vectors constructed via parallel transport, exponential map and Jacobi vector field respectively

Given a Riemannian manifold $X$, a point $x\in X$ and $u,v\in T_xX$, I wanted to compare the following three vectors in $T_{\exp_x(v)}X$. $u_1=$ The parallel transport of $u$ along the geodesic ...
0
votes
1answer
84 views

Quaternions $\Leftrightarrow $ Rotations -Conceptual question

I have an angular velocity vector analogue defined as(called Darbaoux vector some times in curve) $ \omega(s)=\frac{\mathrm{d}\theta(s) }{\mathrm{d} s}=\delta\theta(s)_x \vec{i}+\delta\theta(s)_y ...
2
votes
1answer
68 views

Getting Ricci Curvature From $g_{ab,cd}$

How does one see that $$c g_{ab,cd}\left(\eta^{ac}\eta^{bd} - \eta^{ab}\eta^{cd}\right)$$ is equal to $$(c/2)\eta^{bc}\eta^{ae}\partial_{a}\left(g_{be,c} + g_{ce,b} - g_{bc,e}\right) - ...
1
vote
0answers
61 views

on special Kähler manifolds

Take Lie group $G$ with some hypotheses (compact, connected, semi-simple); call $T$ its maximal torus, its Lie algebra $\operatorname{Lie}(G)=\mathbf g$, its Cartan subalgebra ...
1
vote
1answer
233 views

Gaussian curvature of one sheet hyperboloid

Q: Consider an one sheet hyperboloid $S$ sitting in $\mathbb{R}^3$ which defined by $x^2+y^2-z^2 =1$. Show that there is a straight line in $S$ through every point of $S$. Also, deduce without any ...
4
votes
0answers
86 views

Are the orbits of a connected Lie group acting on a vector space always embedded manifolds?

Setting: We have a connected Lie group $G$ and a smooth map $G \to GL(V)$, where $V$ is a finite-dimensional vector space. Are the orbits of $G$ on $V$ embedded submanifolds? More precisely, if one ...
1
vote
1answer
41 views

Deriving of the Jacobi bracket and the chain rule

This is from a passage that derives the Jacobi bracket from first principles. I cannot understand how the first equality works. It seems to use the chain rule and I agree with the second term but ...
5
votes
1answer
109 views

If $f\in A_k(V)$ and $g\in A_l(V)$ show $i_v(f\wedge g)=i_vf\wedge g+(-1)^kf\wedge i_vg$ - I've got the gist, not sure how to write

If $f\in A_k(V)$ and $g\in A_l(V)$ show $i_v(f\wedge g)=i_vf\wedge g+(-1)^kf\wedge i_vg$ With $A_k(V)$ being the vector space of alternating k-tensors. for $f\in A_k(V)$ for some $v\in V$ we define ...
1
vote
1answer
49 views

A simple metric question

In their article Killing vector fields of standard static spacetimes, Dobarro and Unal derived the following simple identity. Note that if $h:I→R$ is smooth and $Y,Z∈ {\frak{X}}\left(I\right)$, ...
0
votes
0answers
57 views

Rotating Frames on Curve

We are describing a curve with a moving frame. Figure 1 says about the definition of curve Figure 1 Specifications and Proprieties of the curve We can make a rotation 3D Matrix $R(s)_{3 ...
4
votes
1answer
170 views

Canonical isomorphism between vector bundle and dual?

So, we've been asked to show, given a real vector bundle equipped with a metric, that there is a canonical isomorphism from the vector bundle and its dual. Now, there's a theorem that says two vector ...
2
votes
1answer
74 views

Is every umbilic connected surface with 0 curvature cointained in a plane?

Is every umbilic connected surface $S$ with $0$ curvature cointained in a plane? I know that the answer is "yes" if we also suppose that the surface is orientable. The argument is sketched below: ...
2
votes
0answers
66 views

The uniqueness of the Einstein metric on $\mathbb CP^n$

Is the Fubini-Study metric the unique Einstein metric (up to scaling by a constant) on $\mathbb CP^n$? More restrictively, Is the Fubini-Study metric the unique Kahler-Einstein metric (up to scaling ...
0
votes
1answer
60 views

Manifold projection to 2m+1 dimensional subspace is a manifold.

Let $M \subseteq \mathbb{R}^n$ be a m-dimensional manifold. Suppose $n>2m+1$. Show that there is a projection from $M$ to a (2m+1)-dimensional subspace of $\mathbb{R}^n$ so that the image is ...
0
votes
0answers
35 views

Help with terminology

I need some help unraveling the terms that appear in the following passage. I found it in a book on some conference proceedings related to Differential Geometry. Let $f:X \to R^3$ be a smooth curve ...
1
vote
0answers
17 views

Topology of the intersection of toric arrangement

Hope someone will help me in the solution of the following question. I'm working on some topological problem involving the topology of the intersection of some characters of the torus. I want ot find ...
0
votes
1answer
57 views

measuring curvature

Suppose you are transported to an 2 dimensional hyperbolic world, ( a plane (2 dinensional) manifold with a constant negative curvature ) the only geometrical tools you have are a ruler, a pencil, ...
1
vote
1answer
103 views

Equivalent definitions of partition of unity?

On Wikipedia a partition of unity is a collection of continuous maps $\varphi_i$ from a topological space $X$ into $\mathbb R$ such that for all $x$ (i) $\sum_i \varphi_i (x) = 1$ (ii) there is a ...
1
vote
1answer
301 views

Differential-geometry textbook with solved problems

I'm looking for a textbook in differential geometry which inside has exercises with (at least) final answers. Since it's my first course in differential geometry it doesn't have to cover material (we ...
1
vote
0answers
60 views

Are the principal curvatures on a surface always smooth?

It's easy to show that the principal curvatures on a surface are smooth away from umbilic points since we may write a expression for them using the Gauss curvature and the mean curvatures, locally. ...
0
votes
1answer
49 views

Let $\pi: E \to M$ a vector bundle. Is $E$ a direct summnad of $M\times\mathbb{R}^{d}$, for some $d$?

Let $\pi: E \to M$ a vector bundle over a smooth manifold $M$. $E$ is direct summand of $M\times\mathbb{R}^{d}$, if there exist a vector bundle morphisms $f:E\to M\times\mathbb{R}^{d}$ and ...
1
vote
1answer
75 views

Geodesic completeness of a Lie group

Let $G$ be a Lie group and $\rho$ some left(right, bi)-invariant Riemannian metric on $G$. Is it possible to say for which $\rho$ an underlying manifold $G$ is geodesically complete (maybe for every ...
1
vote
2answers
256 views

Curvature of curve not parametrized by arclength

If I have a curve that is not parametrized by arclength, is the curvature still $||\gamma''(t)||$? I am not so sure about this, cause then we don't know that $\gamma'' \perp \gamma'$ holds, so the ...
2
votes
0answers
36 views

Geodesics on a perturbed submanifold of $\mathbb{R}^m$

Let us consider $M$, a Riemannian manifold of dimension $n$, isometrically embedded in $R^m$. Let us consider a geodesic $\gamma$ on $M$. Now, let us "perturb" (in other words, change slightly the ...
4
votes
2answers
139 views

The category of vector fields on smooth manifolds

In my differential geometry lecture today we learnt about the push-forward of a vector field by a diffeomorphism. I know some basic category theory and I noticed a functor popping up. Here's what I've ...
3
votes
1answer
46 views

Differentiability of chart functions

In the definition of a smooth (or $C^k$) manifold the charts $\varphi: U \to \mathbb R^n$ are assumed to have the property that for any two of them $\varphi \circ \psi^{-1}$ is smooth ($C^k$). Does ...
0
votes
1answer
295 views

Is every smooth function Lipschitz continuous?

Is every function of class $C^∞$ also (locally) Lipschitz continuous? If so, how can this be proven?
1
vote
1answer
43 views

Can a bilinear map on smooth functions induce a bilinear map on tensor fields in this way?

Given a manifold $M$ with a bilinear bracket $(\cdot,\cdot) : C^\infty(M) \times C^\infty(M) \to C^\infty(M)$ can it induce a bilinear map for pairs of tensor fields of different ranks in a way ...
0
votes
1answer
41 views

cup product of stiefel-whitney class

Let $\xi$ be a vector bundle. Let $w(\xi)$ be the total Stiefel-whitney class. Let $\bar w$ be the dual Stiefel-whitney class. In John Milnor's Characteristic class book, page 40-41 Chap.4, ...
0
votes
1answer
66 views

Prove that there are no complete regular minimal surfaces lying above a paraboloid

Prove that there are no complete regular minimal surfaces lying above a paraboloid contained in $U=\{(x,y,z) \in \mathbb{R}^3 : a(x^2+y^2)<z\}$. Here $a>0$. I've had this problem on my mind ...
1
vote
1answer
92 views

How to find tangent cone in singular point?

How to find tangent cone in singular point of surface? For example, considering surface in $\mathbb{R}^3$ given by equation $x^2z=y^2$, what is it's tangent cone in the origin? UPD:By tangent cone ...
1
vote
1answer
60 views

Conformal transformation of metric on $\mathbb{R}^n$

Let us define the following metric on $\mathbb{R}^n$: $$ g|_v(X, Y) := e^{-|v|^2} \langle X, Y\rangle,$$ where the brackets denote the standard scalar product. How does the resulting manifold look ...
2
votes
0answers
59 views

Are stable manifold for gradient flows embedded submanifold?

Generally, the stable manifolds $W^s(p)$ of a diffeomorphism $\phi:M\to M$ is no embedded submanifold. The injective immersion $$ E^s:T_p^sM\to M $$ does not need to be a homeomorphism onto its image ...
6
votes
1answer
144 views

Differential in Lie groups

I am trying to make sense of the Lie group machinery and relate it to the calculus. Suppose that $\psi(t)=\phi(s)\phi(t), s, t \in I$. Where $\phi(t)$ is a one-parameter subgroup of the Lie group ...
9
votes
0answers
169 views

Does Stokes' Theorem hold on spaces with singular points?

I have come across the question whether Stokes' theorem holds also on orbifolds. Let us take the simple case of $T^2/Z_2$ with a one-form $A$, then the question becomes: For a region $\Gamma$ with ...
4
votes
1answer
192 views

Manifold allowing function with two critical points is sphere

The only closed manifolds which allow a function with two (maybe degenerate) critical points are spheres. In dimension 2 it is quite easy to prove, but what is about higher dimensions?
2
votes
1answer
86 views

How can I visualize principal bundles?

I'm trying to learn how to think about principal bundles where the fibre is a lie group with local trivialization $ϕ^{-1}_i:π(U_i)→U_i×G$ . For example $ϕ^{-1}_i:π(S^2)→S^2×U(1)$ (if that makes sense) ...
1
vote
2answers
159 views

Holomorphic Sphere $ S^2$ with (-1) self intersection number

What is the meaning of Holomorphic Sphere $ S^2$ with (-1)- self intersection number in intersection theory. Can we draw such sphere?
3
votes
1answer
71 views

Reparametrize by arc length and find the signed curvature

Let $$g(t)=(e^t \cos(t),e^t \sin(t))$$ Reparametrize $g(t)$ by arc length starting at $0$, then find the signed curvature of the unit-speed reparametization. I found that the ...
2
votes
0answers
40 views

How to define a Holder seminorm of a section

I'm reading "Variational Problems in Geometry",Seiki Nishikawa, in the figure below. Let $(M,g)$ be a compact $m$ dimensional Riemannian manifold with no boundary. $T>0, 0<\alpha<1, ...
6
votes
1answer
292 views

Searching for a thesis.

In several articles about curves, etc, in Minkowski spaces $\Bbb L^3$ and $\Bbb L^4$, there is Walrave, J., Curves and surfaces in Minkowski space. Doctoral Thesis, K.U. Leuven, Fac. of ...
4
votes
1answer
72 views

Question about complete metric on manifolds

I've recently been wondering about whether non-complete metrics on manifolds can be transformed into complete metrics on manifolds and whether all manifolds have complete metrics. After some googling ...