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

Image of a line or conic on Veronese surface.

This is part of Exercise 5.13 from Undergraduate Algebraic Geometry by Reid: Consider the Veronese surface $S$ defined by the map: $$\phi: \mathbb{P}^2\rightarrow \mathbb{P}^5$$ where ...
0
votes
0answers
16 views

Proving a compact Lie group admits a biinvariant metric

At the end of a lesson in Differential Geometry, my teacher said: Fatto, che non dimostriamo, non è difficile ma il tempo scarseggia, se $G$ è compatto possiamo sempre trovare una metrica ...
0
votes
0answers
4 views

Is integral curve a embedded 1 dimensional submanifold of the given manifold?

I can easily see a proof that shows its going to be an immersed submanifold . (I am removing the case if the vector field at that point is 0). I am not able to see if it's a embedded submanifold or ...
1
vote
0answers
13 views

singular $1$ cube - Boundary of $2$ chain

This is an exercise from "Calculus on Manifolds" by Michel Spivack (first edition, p.100): If $c$ is a singular $1$-cube in $\mathbb{R}^2-\{0\}$, with $c(0)=c(1)$, show that there is an integer ...
0
votes
0answers
17 views

How to find the tangent space of a general submanifold?

Given a submanifold $(S,\phi)$ of a manifold $M$, how do we find the subspace of $T_pM$ that is equal to $T_pS$ for $p\in \phi(S)$. I know how to do it for level sets. Is there a way for general ...
0
votes
1answer
13 views

Write $\gamma(t) = (t,t^2,t^3)$ as a graph and a level set

My exercise is to write the twisted cubic as a graph and a level set. However, I am not sure what they mean by a graph and level set. Can anyone explain this please? Do they mean, for a graph, ...
1
vote
0answers
15 views

Every non-constant closed curve has positive period

I want to show that every non-constant closed curve has positive period, but i'm not really sure how to do this. A smooth curve $r(t): \mathbb{R} \to \mathbb{R}^n$ is $T$-periodic if $r(t+T)= r(t)$ ...
0
votes
0answers
21 views

Independence of parametrization in defining integral of differential form

This is an exercise from Spivak's Calculus on Manifolds. Questions asks the following : (Independence of parametrization). Let $c$ be a singular $k$ cube and $p:[0,1]^k\rightarrow [0,1]^k$ be ...
3
votes
0answers
46 views

Einstein notation

I'm confused about a specific issue that I have with the Einstein notation (for tensor fields on manifolds). I want to write the following thing: Let $X$ be a smooth manifold. Choosing local ...
0
votes
0answers
13 views

Conformal curvature line parametrization

While reading a paper I found a definition which is confusing me. Def: A conformal curvature line parametrization $(x,y) \to F(x,y)$ is called isothermic. I know what a conformal ...
1
vote
0answers
21 views

moving frame with maple

I have already ask this question on stackoverflow, but since it concerns as mathematics than computer science, I ask it here too. I would like to make a classical computation using maple. I would ...
0
votes
0answers
21 views

Proof of relation between normal of a surface and principle curvatures of surface.

If F(x,y,z) is a scalar function. Then how to prove that, $$\nabla . n = K_1 +K_2$$ where n is normal to surface of constant $F$ given as $$n=\frac{\nabla F}{|\nabla F|}$$ $K_1$ and $K_2$ are ...
1
vote
1answer
19 views

Computing Gauss's of a sphere

The vector field given as $\vec{F}=\frac{\left \langle x,y,z \right \rangle}{\sqrt{x^{2}+y^{2}+z^{2}}}$ The region $D=\left \{ a^{2}\leq x^{2}+y^{2}+z^{2}\leq b^{2} \right \}$ I've some ...
0
votes
0answers
59 views

When is a diffeomorphism analytic?

I've read somewhere "a class $C^\infty$ diffeomorphism is said to be analytic" but I forgot to write down where I read this and now I can not find it, which makes me wonder if it's true? I'm working ...
3
votes
0answers
37 views

When is the metric completion of a Riemannian manifold a manifold with boundary?

Let $(M,g)$ be a connected smooth Riemannian manifold and denote by $(M,d)$ the induced metric space following by taking topological metric to be the infimum over length of curves in the standard way. ...
1
vote
1answer
26 views

“vector” vs “point” in definition of directional derivative

Given a function $f\colon \mathbb R^n\to\mathbb R$, and given $x,v\in\mathbb R^n$, it is customary to define the "directional derivative of $f$ in the direction $v$ at the point $x$" by $$ D_v f(x) = ...
4
votes
1answer
44 views

For which Lie groups $G$ can one write $g$ as the exponential $\exp X$ of some $X \in {\frak g}$ for every element $g \in G$?

I am reading a book on matrix Lie algebras (Brian Hall's). Corollary 2.30. says that if $G$ is a connected matrix Lie group, then every element $A$ of $G$ can be written in the form ...
1
vote
0answers
19 views

geometric meaning of conjugate points

Recently I am reading Manfredo do Carmo's Differential Geometry of Curves and Surfaces. He said the $q$ is the conjugate point of $p$ with respect to a geodesic $\gamma$ joining the two points if ...
0
votes
1answer
31 views

Proof that the special linear group $\mathrm{SL}(n,\mathbb{R})$ is a smooth manifold

This is my definition of a smooth manifold I am supposed to work with: Let $\mathcal{M} \subseteq \mathbb{R}^{n}$. The set $\mathcal{M}$ is a $k$-dimensional smooth submanifold of $\mathbb{R}^{n}$ ...
1
vote
0answers
32 views

Equivariant generalization of $\mathcal{O}(1)$ on $\mathbb{CP}^1$

The connection of the line bundle $\mathcal{O}(1)$ on $\mathbb{CP}^1$ is given by \begin{equation} A=\frac{i}{2}\frac{\overline{z} \, dz-z\,d\overline{z}}{1+|z|^2} \end{equation} This follows since ...
1
vote
0answers
16 views

Polynomial in the components of the curvature tensor

Consider a closed Riemannian manifold $(M,g)$ of dimension n and let $K(t,x,y)$ be its heat kernel. Then it is known that the heat kernel has an asymptotic expansion as $t\downarrow 0$: ...
0
votes
0answers
34 views

evaluate this region using gauss's theorem (only using the triple integral 'part')

Evaluate $$\iiint _{D}\vec{\nabla} \cdot\vec{F}\,dV$$ with $$\vec{F}=\left \langle x^{2},y,z \right \rangle$$ $$D=\left \{ \left ( x,y,z \right )|x^{2}+y^{2}+1\leq z\leq 5 \right \}$$ ...
1
vote
1answer
22 views

Proving $\mathrm{GL}(n,\mathbb{R})$ is a smooth manifold

Consider the set $\mathrm{GL}(n,\mathbb{R}) = \{ \ A \in M_{n \times n}(\mathbb{R}) \ | \ \mathrm{det}(A) \neq 0 \ \}$. I'm trying to show that this is smooth submanifold of $\mathbb{R}^{n^{2}} \cong ...
2
votes
1answer
53 views

Why is even codimension necessary to apply excision for the Euler characteristic?

In this answer on MathOverflow, it is claimed that $$\chi(X/Z)=\chi(X)-\chi(Z)$$ holds for complex subvarieties $Z$ only because $Z$ has even codimension. It is implied that for $Z$ with odd ...
2
votes
1answer
30 views

Explicit procedure for integrating densities (twisted $n$-forms)?

I'm aware of several slightly different (yet equivalent) definitions for the density bundle of a non-orientable manifold. Unfortunately, I've been unable to make sense of integration in any of them. ...
0
votes
0answers
23 views

Parametrisation of the curve after a short time

I am trying to wrap my head around this differential geometry problem. I am given velocity V with components in the principle normal and binormal directions. Then I am given an approximation of the ...
1
vote
0answers
19 views

Upper bound on hessian

Given a smooth Riemannian manifold $(\mathcal{M},g)$ and $f \in C^{\infty}(\mathcal{M})$ let $r(x)= d(x,x_0)$ where $d$ is the distance function wrt $g$ and $x_0$ is some point on the manifold. If we ...
1
vote
1answer
39 views

Symmetric Curve

I am having hard time solving the following question: Let $\gamma : \mathbb{R} \to \mathbb{R}^2$ curve in natural parameterization. Suppose the curve has curvature $\kappa(s)=3s^2$ Then ...
1
vote
1answer
28 views

Darboux coordinates on projective spaces

I am trying to perform some computations in local coordinates on $\Bbb P ^n \Bbb C$ seen as a symplectic manifold, in order to get a better feeling of some facts. While I do know the coefficients of ...
1
vote
1answer
30 views

How to denote raising $x^1$ to a power in differential geometry

I'm working from a text in which the coordinates of a point in $\mathbb R^n$ are denoted $(x^1,\dots,x^n)$. I'm wondering if there is a standard way to denote the sum of the squares of these ...
1
vote
1answer
29 views

How to prove this orthogonality? [duplicate]

In $\mathbb{R} ^3$, $v$ is a fixed vector and $\alpha:I\rightarrow \mathbb{R}$ is a regular curve. We have: $\alpha'(t)$ is orthogonal to $v$ for all $t\in I$ and $\alpha (t_0)$ is orthogonal to $v$. ...
0
votes
2answers
28 views

Does the forgetful functor from smooth manifolds to sets preserve colimits?

It is easily shown that the forgetful functor $F: \mathbf{Man} \to \mathbf{Set}$ preserves limits ($F$ is representable), but does it preserve colimits? It certainly preserves all examples of ...
0
votes
2answers
29 views

Diameter of closed curve is perpendicular to velocity?

Let $\gamma$ be a curve in $\mathbb{R}^2$ and $d:\mathbb{R^2}\times\mathbb{R}^2\to\mathbb{R}$ be the distance function between two points of $\gamma$. I'm trying to show that if the distance between ...
2
votes
0answers
20 views

lower bound on volume of balls

It is well known that a lower bound on Ricci curvature gives an upper bound on the volume of balls. What are conditions that gives a lower bound on the volume of balls? It is reasonable to think that ...
1
vote
1answer
12 views

Help with understanding a proof of compact surface having an elliptic point

In my studies of differential geometry from do Carmo's book, I have come across a very nice claim which states that a regular compact surface has an elliptic point that is a point with positive ...
5
votes
1answer
118 views

Why is $s$ used for arc length?

Why is $s$ used for arc length? I looked around online, but I can't find a definite answer. Thank you!
1
vote
0answers
27 views

What is an integral differential form and how do we recognize it as such?

I am reading about embedding theorems of various types of manifolds (Kodaira's embedding theorem being one of them), and one condition that repeats in all of them is that the manifolds should be ...
0
votes
0answers
23 views

Value preservation along geodesics.

Given a differentiable function $f:\mathbb{R}^n \rightarrow \mathbb{R}^m$, where $n>m$. We define the graph of $f$ $ W_f = \{ (x,y) | x \in \mathbb{R}^n, y \in \mathbb{R}^m,y=f(x) \}. $ Given two ...
0
votes
0answers
20 views

Homotopic curves

I'am studying differential forms and I've arrived at the theorem of invariancy of integrals of closed forms over homotopically equivalent curves. I came up with a problem: If I take a curve with ...
0
votes
0answers
22 views

Prove: A unit speed curve $\alpha(s)$ with $\kappa>0$ is rectifying if and only if $\frac{\tau}{\kappa}=as+b$

Given a curve $\alpha$, the plane determined by {$T,B$} is called the rectifying plane. A unit speed curve is said to be rectifying if for all $s$ and for some constant $p$, $\alpha(s)-p$ lies in the ...
2
votes
0answers
50 views

An alternative derivation of radius of curvature (2D functions). How valid is it?

I was wondering how radius of curvature was derived, and this is what I came up with. It turned out to be longer than expected. Then I looked at how it compares with other (presumably more ...
0
votes
1answer
24 views

Showing 0 curvature

I'm trying to show that a curve, $\gamma$, of general type in $\mathbb{R}^n$ that is contained in an $(n-1)$-dimensional affine subspace has curvature $\kappa_{n-1}=0$. My thought process was to ...
0
votes
1answer
35 views

why is $\dfrac{dr}{r~d\theta} = \cot \psi$?

why is $\dfrac{dr}{r~d\theta} = \cot \psi$ ? Extracted from Ordinary Differential Equations, Garrett Birkhoff, in the chapter of Linear Fractional Equations (First order Differential Equations). ...
0
votes
0answers
30 views

How does one determine whether a coordinate basis is orthogonal or not?

Apologies for what is perhaps a very basic question, but I have been studying differential geometry with a view to gain a deeper understanding of general relativity and I have hit a stumbling block. ...
3
votes
2answers
31 views

Is any smooth deformation of a metric in dimension 1 conformal?

Consider $(S^1, g)$ where $S^1$ is the unit circle and g is a metric. Now consider the metric $$ \tilde g := f g $$ where f is a smooth positive function. Since in 1 dimension this is the only smooth ...
1
vote
0answers
13 views

Regarding the axis of screw motion for a space curve.

The axis of the accompanying screw motion of a curve $c(s)$ at any point $c(s_0)$ is the line in the direction of the Darboux vector $\tau(s_0) T(s_0) + \kappa(s_0)B(s_0),$ through the point $$P(s_0) ...
1
vote
2answers
44 views

What are some interesting uses for/motivations of projective spaces?

I have trouble motivating myself to think about real projective spaces, for instance. Are there any cool results about them? Are there any motivating examples?
1
vote
2answers
27 views

Rank of Jacobian Matrix for the Stereographic Projection

With the definition $S^{n} = \{\ \mathbf{x} \in \mathbb{R}^{n+1}\ | \ ||\mathbf{x}|| = 1\ \}$, and the function $\ f:\mathbb{R}^{n} \to S^{n} \setminus \{ (0,...,0,1) \}$ defined by: $f(\mathbf{u}) ...
1
vote
1answer
36 views

Is the associated bundle construction a bifunctor?

Let $\mathsf{Prin}_G$ be the category of (right) $G$-principal bundles, with a morphism from the bundle $p: P \to M$ to the bundle $p': P' \to M'$ being a pair of arrows $\chi: P \to P'$ and ...
3
votes
0answers
66 views

Showing that the pull back of a volume form under inclusion Is the generator of the relative cohomology group $H^{n}(\mathbb{R}^n,\mathbb{R}^n-0)$

sorry if this is a bit low level. I have to learn a lot about cohomology from scratch very, very quickly so I'm having a hard time keeping the ideas in my head. As the definition of relative ...