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
1answer
79 views

zeros of a certain vector field in $\mathbb{C}P^{n}$

Let's consider the complex projective space $\mathbb{C}P^{n}$ and let $X$ be a vector field with flow given by $X_{t}:\mathbb{C}P^{n}\rightarrow\mathbb{C}P^{n}$ such that ...
1
vote
0answers
60 views

Poincaré Lemma problems and computing contractions in an economical way

Let $x=(A,B,C,D)$ be coordinates on $\mathbb{R}^4$. $\displaystyle \beta = \frac{(AdB-BdA)\wedge(dC \wedge dD)+(dA \wedge dB)\wedge(CdD-DdC)}{(A^2+B^2+C^2+D^2)^2}$ I would like to compute ...
1
vote
2answers
85 views

Use implicit function theorem to show $O(n)$ is a manifold

In class today our teacher mentioned that one can use the implicit function theorem to show that $O(n) \subseteq \mathbb{R}^{n^2}$ is a submanifold...that is, map $A \mapsto A^* A$, and set it equal ...
1
vote
1answer
345 views

How to show that the geodesics of a metric are the solutions to a second-order differential equation?

On $\mathbb R^n$, let $\rho: \mathbb R^n\to\mathbb R$ be a smooth function, and $g$ be the metric given by scaling the usual flat metric by $e^{2\rho}$. I want to know how to show that the geodesics ...
1
vote
2answers
755 views

Generating orthogonal axes on a spline

I use a Catmull-Rom spline, each section built from a set of cubic functions p = x(t), y(t), z(t). I was looking at Frenet Formulas but it's not working as ...
0
votes
1answer
43 views

Finding the curvature and normal vector for an arclength curve

I am trying to find the curvature and normal vector for $$\alpha(t) = \left(\frac13 (1+t)^{3/2}, \frac13 (1-t)^{3/2}, \frac{t}{\sqrt2}\right)$$ $$\alpha'(t) = \left(\frac12 (1+t)^\frac12 , - \frac 12 ...
0
votes
1answer
60 views

Curvature and convexity of a plane curve

Let $\mathbf{r}:[a,b]\to\mathbb{R}^2$ be a $C^2([a,b])$ regular curve. Is it true that $\mathbf{r}$ is convex if and only if its curvature $\kappa(t)\leq 0, \forall t\in [a,b]$ or $\kappa(t)\geq 0, ...
6
votes
2answers
88 views

Shouldn't these two definitions for curvature agree?

In $\mathbb R^n$ the defintion of curvature of a smooth regular curve $\gamma : \mathbb R \to \mathbb R^n$ is $$ \kappa (t) = \|\gamma''(t)\| / \|\gamma '(t)\|$$ In $\mathbb R^2$ the definition for ...
5
votes
2answers
66 views

How to show that $\{(x,y,z)\in\mathbb{R}^3:x^4+y^4+z^4=1\}$ is diffeomorphic to the $2$-sphere.

How to show that the "squared sphere" $$\tilde{S}^2=\{(x,y,z)\in\mathbb{R}^3:x^4+y^4+z^4=1\}$$ is diffeomorphism to the standard $2$-sphere $$S^2=\{(x,y,z)\in\mathbb{R}^3:x^2+y^2+z^2=1\}?$$ ...
5
votes
4answers
304 views

why $\iint \sqrt{1+\left(\frac{\partial f}{\partial x}\right)^2+\left(\frac{\partial f}{\partial y}\right)^2}\:dx\:dy$ means surface area?

Why the following integral means the area of surface $f(x,y)=z$? $$\iint \sqrt{1+\left(\frac{\partial f}{\partial x}\right)^2+\left(\frac{\partial f}{\partial y}\right)^2}\:dx\:dy$$
5
votes
2answers
519 views

Total Derivative and Multilinear Functions

So I'm starting to work through Spivak's Calculus on Manifolds and I'm having a little trouble verifying some of the claims made in the book problems. To review: Given a function ...
5
votes
1answer
560 views

A local diffeomorphism of Euclidean space that is not a diffeomorphism

Could someone give me an example of a local diffeomorphism from $\mathbb{R}^p$ to $\mathbb{R}^p$ (function of class say $C^k$ with an invertible differential map in each point) that is not a ...
4
votes
1answer
404 views

Lebesgue measure on normal matrices

Consider the space of $n\times n$ complex matrices, and equip it with its Lebesgue measure $dX$, seen as a $2n^2$-dimensional real vector space [edit: or better, a complex vector space (see the answer ...
3
votes
2answers
64 views

Is the shortest path in flat hyperbolic space straight relative to Euclidean space?

I have the following metric $$ ds^2 = dt^2-dx^2 $$ and I wanted to prove to myself that the shortest path for this metric is straight. I used the following relation $x=f(t)$ and $$ S = ...
3
votes
3answers
162 views

Torus diffeomorphic to $S^1\times S^1$.

This is an exercise from Guillemin/Pollack's Differential Topology. In a previous exercise, I'm asked to give a complete set of parametrizations of $S^1\times S^1$, which I've succeeded in (I think) ...
3
votes
1answer
133 views

De Rham Cohomology of the tangent bundle of a manifold

I would like to compute the de Rham cohomology of the tangent bundle $TM$ of a manifold $M$. It seems to me that we can just homotopy each fibre to a point, and that this would give a homotopy ...
3
votes
1answer
141 views

If $\gamma$ is spherical, then the equation $\frac{\tau}{\kappa}=\frac{d}{ds}(\frac{\dot{\kappa}}{\tau \kappa^2})$ holds.

Question: Let $\gamma (t)$ be a unit-speed curve with $\kappa(t)\gt0$ and $\tau(t)\neq0$ for all $t$. Show that, if $\gamma$ is spherical, i.e., if it lies on the surface of a sphere, then ...
3
votes
2answers
520 views

Lie Algebra Homomorphism Question

So this is a bit of a follow-up to my recent question. I don't mean to inundate the feed with my quandaries, but as I move through the theory I keep hitting stumbling blocks (which y'all so kindly ...
3
votes
0answers
85 views

Relation between n-tuple points on an algebaric curve and its pre-image in the normalizing Riemann surface

This question is sort of an extension to this previous question of mine, Hyperellipticity (or not!) of a Riemann surface and the singularities of the curve If one knows the multiplicity of a ...
3
votes
1answer
789 views

planar curve if and only if torsion

Again I have a question, it's about a proof, if the torsion of a curve is zero, we have that $$ B(s) = v_0,$$ a constant vector (where $B$ is the binormal), the proof ends concluding that the ...
3
votes
1answer
502 views

Tangent space to circle

I guess I am missing something obvious here. I am reading about vector bundles. (What Karoubi calls 'Quasi Vector-Bundles') An example is the sphere, where for every point $X \in S^n$ we choose $E_X$ ...
2
votes
2answers
60 views

Proof a $(2n-1)$-compact manifold

I have no idea how prove that $$\{(z_0,\ldots,z_n)\in\mathbb{C}^{n+1} \quad| \quad z_0^d+z_1^2\ldots+z_n^2=0, \quad |z_0|^2+|z_1|^2\ldots+|z_n|^2=2\}$$ is a $(2n-1)$-compact manifold. How give the ...
2
votes
1answer
77 views

Hausdorff Dimension of a manifold of dimension n?

Let's say that $M$ is a differentiable manifold of dimension $n$. (This includes that $M$ is nonempty and second countable, so that it can be embedded into some Euclidean space, and is thus ...
2
votes
1answer
139 views

finite length of a spiral

consider a "spiral" $\alpha(t)=r(t)\left(\cos(t),\sin(t)\right)$, where $r$ is $\mathcal{C}^1$ and $0\le r(t) \le 1$ for all $0 \le t$ Show that if $\alpha$ has finite length on $ [0,\infty)$ and ...
2
votes
0answers
709 views

Hard Differential Equation. Please help.

first of all I'm not a mathematician, so I apologize if any of my understanding and terminology isn't up to par. Also, I've never used this website (or any of these kind of question/answer) websites ...
2
votes
1answer
180 views

Unique Perpendicular Geodesic

Let $p < q < r < s$ be real numbers. Let $l$ be the geodesic with endpoints at $p$ and $q$ and let $m$ be the geodesic with endpoints at $r$ and $s$. (a) Prove that there is a unique geodesic ...
2
votes
1answer
712 views

Covariant derivative and surface gradient

The surface gradient of a function defined on a surface $\Gamma \subset \mathbb{R}^n$ is defined $$\nabla_{\Gamma} f = \nabla f - (\nabla f \cdot N)N$$ where $N$ is the unit normal on $\Gamma.$ How ...
2
votes
2answers
249 views

Orientation on $\mathbb{CP}^2$

I am confused by the orientation of a topological manifold. My understanding is: An orientation of a topological manifold is a choice of generator of the $H^n(M,\mathbb Z)$. So given a manifold, we ...
2
votes
2answers
1k views

Direction of the second derivative of an arclength parametrized curve

I have a question, it's so simple and stupid ._. If I have a planar curve parametrized by arc length, it's easy to show that the second derivate is orthogonal to the first derivate vector (tangent ...
1
vote
1answer
40 views

Finding evolute of parabola

I was trying to solve the following exercise when I got stuck: Find the centres of the osculating circles of the parabola $(t,t^2)$. My idea was to first reparameterise with respect to arc lenght ...
1
vote
1answer
51 views

Product Manifold: Tangent Spaces

Problem Given a product manifold. How to prove that its tangent spaces split into direct sums: $$T_{(p,q)}(M\times N)\cong T_pM\oplus T_qN$$ Attempts One could try the geometric perspective: ...
1
vote
2answers
668 views

Area of a weird ellipse shape.

A propeller has the shape shown below. The boundary of the internal hole is given by $r = a + b\cos(4α)$ where $a > b >0$. The external boundary of the propeller is given by $r = c + d\cos(3α)$ ...
1
vote
1answer
1k views

Constant rank theorem

In Boothby's "An introduction to Differentiable Manifolds ...", page 69, Remark 4.2: I am unable to discover two cubes of same side length, as asked for. I shall feel very thankful if anyone ...
1
vote
1answer
259 views

Immersing punctured torus

I am looking for a proof (as elementary as possible) of the fact that punctured n-dimensional torus admits an immersion to $\mathbb{R}^n$. The 2-dimensional case seems to be evident, but I haven't got ...
1
vote
1answer
279 views

shortest distance between two points on $S^2$

Length of Curve in $2D$ is $l_{\gamma}(\mathbb{R}^2)=\int_{0}^{1}\sqrt{(dr/dt)^2+r^2(d\theta/dt)^2}$ Length of a curve in $3D$ is ...
0
votes
1answer
50 views

Derivative of a group action

Let $\phi : G \times M \rightarrow M$ be a group action on a smooth manifold $M$ and Lie group $G$. Then we define $$f(t):=\phi(g(t),d(t)).$$ where $g: I \rightarrow G$ and $d: I \rightarrow M$ are ...
0
votes
0answers
77 views

Vector fields that are smooth on the open unit ball $B$, are smooth on $\mathbb{R}^n$ if they are zero outside $B$

Could anyone help a little with the following problem? Fix $\varepsilon \in (0, 1)$ and choose a smooth function $h$ on $[0,\infty)$ such that $h'(t) > 0$ for all $t ≥ 0$, $h(t) = t$ for $t \in ...
0
votes
1answer
52 views

Show differential of $f:S^{m}\times S^{n}\to S^{m+n+mn}$ is injective

The problem is find to the differential of $f:S^{m}\times S^{n}\to S^{m+n+mn}$ (spheres) defined as $f(x_{0},...,x_{n},y_{1},...y_{n})=(x_{0}y_{0},x_{0}y_{1},...,x_{n}y_{1},x_{n}y_{n})$ and show it is ...
0
votes
1answer
186 views

Relation between the integral of geodesic curvature and Gaussian Curvature

I need help with an exam question: Let $S$ be a regular oriented surface such that for any simple, closed, and positively oriented curve in $S$ the value of the integral of the geodesic curvature ...
0
votes
1answer
112 views

Antipodal mapping of the sphere

Suppose we have a closed form $d\omega=0$ on $S^{n}$. If $i: S^{n} \to S^{n}$ is the antipodal map, it induces a decomposition $\Omega^{n}(S^{n})=\Omega^{n}_{+}(S^{n})\oplus \Omega^{n}_{-}(S^{n})$, ...
0
votes
1answer
74 views

If $\omega \in \Omega^q(M)$, and $(\omega|_{U})_p = 0$, is $\omega_p = 0$?

If I have a manifold $M$ and $\omega \in \Omega^q(M)$, considered an open subset $U$ of $M$, and choose a point $p \in M$, is it true that $(\omega|_{U})_p=0 \rightarrow \omega_p=0$? With ...
0
votes
1answer
76 views

what are the various fields in which circle is treated as infinite sided regular polygon?

What are the various fields in which circle is treated as infinite sided regular polygon? What I actually mean is , "can u suggest me some applications where circle is treated as infinite sided ...
0
votes
1answer
1k views

What does it mean to say a boundary is $C^k$?

I need a explanation on what does it mean to say a boundary is $C^k$. Can anyone help me please. And also need some explanation on how to straighten boundary ?
0
votes
1answer
70 views

Can any smooth planar curve which is closed, be a base for a 3 dimensional cone?

A cone in 3 dimensions has a vertex and a base. The contour of the base is a circle which is a smooth closed planar curve. Can there be a more general cone which can have any smooth closed planar ...
24
votes
1answer
3k views

Does a Fourier transformation on a (pseudo-)Riemannian manifold make sense?

the Fourier transformation of a scalar function with respect to one variable might be defined as $\mathcal{F}\left[w\right](\omega )\equiv ...
59
votes
1answer
3k views

What's the largest possible volume of a taco, and how do I make one that big?

Let $f$ be a continuous, even, positive function over some interval $I=[-a,a]$ such that the total arc length of $f$ over $I$ is at least $2$, $f(0)=0$, and $f$ is increasing on $(0,a)$. View the ...
29
votes
3answers
2k views

Natural and coordinate free definition for the Riemannian volume form?

In linear algebra and differential geometry, there are various structures which we calculate with in a basis or local coordinates, but which we would like to have a meaning which is basis independent ...
72
votes
2answers
3k views

Direct proof that the wedge product preserves integral cohomology classes?

Let $H^k(M,\mathbb R)$ be the De Rham cohomology of a manifold $M$. There is a canonical map $H^k(M;\mathbb Z) \to H^k(M;\mathbb R)$ from the integral cohomology to the cohomology with coefficients ...
16
votes
1answer
2k views

Intuitive explanation of covariant, contravariant and Lie derivatives

I would be glad if someone could explain in intuitive terms what these different derivatives are, and possibly give some practical, understandable examples of how they would produce different results. ...
17
votes
2answers
741 views

Symmetric and wedge product in algebra and differential geometry

I have been struggling with this issue for a while (and asked a similar question here), but still not found a satisfying answer. The question boils down to: which is the correct identity? $dx \, dy ...