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
2answers
10 views

Center of compact lie group closed?

Let me specify that my knowledge about Lie groups/algebras is reduced to bits and pieces I learned from various diff geometry textbooks. I could not find a reference for the following question (I am ...
3
votes
0answers
27 views

Wedge product and its dual

I am learning about differential forms and exterior algebra, and I am trying to get more familiar with the wedge product of vectors. A differential form is an element of $\left( \bigwedge^k ...
0
votes
0answers
11 views

Lie Derivative of a section on a vector bundle

I'm still trying to figure out how to do the Lie derivative of a Jacobian. (c.f. earlier unanswered post). If I know how how to do Lie derivatives on section of vector bundles, that would be ...
4
votes
0answers
25 views

Cotangent Fields: Exactness vs. Conservation

Problem Given a smooth manifold. Then a cotangent field is exact iff conservative: $$\alpha\in\mathcal{X}^*(M):\quad\alpha=\mathrm{d}h\iff\oint\alpha=0$$ How to prove this properly? Attempt For ...
0
votes
0answers
10 views

How is a regular surface in $\Bbb{R}^{3}$ different from an ordinary surface?

I have two books by Manfredo Do Carmo. He uses the concept of a regular surface in both books. In case you haven't read his definition, here it is: A subset $S \subset \Bbb{R}^{3}$ is a regular ...
0
votes
1answer
14 views

Let $\gamma(t)=(\cos(3t),\sin(3t),4t)$ where $t\in \mathbb{R}$. Find a unit-speed reparametrization of $\gamma$. [on hold]

Let $\gamma(t)=(\cos(3t),\sin(3t),4t)$ where $t\in \mathbb{R}$. Find a unit-speed reparametrization of $\gamma$. Any help is greatly appreciated.
0
votes
0answers
23 views

Linear independence of differential 1-forms

Let be $(E,\mathbb{K}),(F,\mathbb{K})$ Banach space and $U\subset E$ open set. If $f_1,...,f_n\in\Omega_1(U;F)$ differential 1-forms are linearly independents, where $$\Omega_1(U;F)=\{f:U\rightarrow ...
1
vote
0answers
18 views

Calculate Parallel transport

Suppose I want to parallel transport a vector $v$ living in the tangent space of my surface at a point $p$ along a closed geodesic polygonal path. On each regular component I keep the angle between ...
0
votes
0answers
21 views

How to determine the derivatives of a space curve relative to arc length

$\gamma:[0,1]\to\mathbb{R^3}$ is a space curve that satisfies $\gamma'(t)\neq\{0,0,0\}$ for all $t\in[0,1]$. $\overline{\gamma}:[0,\int_0^1\left\|\gamma'(s)\right\|ds]\to\mathbb{R^3}$ is the ...
0
votes
0answers
18 views

integral cohomology of real grassmannians

I have obtained that the cohomology rings $$ H^*(G_k(\mathbb{R}^\infty);\mathbb{Z}_2)=\mathbb{Z}_2[w_1,\cdots,w_k]. $$ Also $$ H^*(G_k(\mathbb{R}^m);\mathbb{Z}_2)=\mathbb{Z}_2[w_1,\cdots,w_k]/(\bar ...
6
votes
1answer
31 views

Can anyone solve a stochastic differential equation - related to neuroscience research?

I'm a neuroscience grad student, and I'm hoping one of ya'll could help me solve this problem regarding particle diffusion. It relates to my research on molecular-level neural plasticity, but I've ...
1
vote
0answers
34 views

Calculating Normals across a sphere with a wave-like vertex shader

This is a bit of a CS question, but more than not it's a 3D math problem. I've been trying to get the correct normals for a sphere I'm messing with using a vertex shader. The algorithm can be boiled ...
0
votes
1answer
24 views

Evaluate the directional derivative along the curve of intersection of the two spheres..

I am given $f(x.y.z)=x^2+y^2-z^2$ at $(3.4.5)$ along the curve of intersection of the two surfaces $2x^2+2y^2-z^2=25$ and $x^2+y^2=z^2$ And evaluate the directional derivative. I know how to find ...
1
vote
1answer
33 views

A proof of exactness of closed 1-forms on the two-sphere

Remark. I'm aware that here the same problem is solved. I'm in trouble with the proof I'm going to quote. Consider the following Claim. Every closed 1-form $\beta$ on $S^2$ is exact. This is an ...
2
votes
1answer
45 views

Boundary on a manifold

I was wondering how I can see if a manifold has a boundary just by looking at the surface? The thing is that I want to understand how to apply the Gauß Bonnet theorem to surfaces and there I need to ...
3
votes
1answer
46 views

differential geometry : basic query about tensor notation and tensor products

I have a few very basic queries. I've been studying differential geometry as part of a course on General Relativity, so I don't have a very well grounded understanding of the mathematical formalism; ...
1
vote
0answers
25 views

Can someone intuitively describe the fiber bundle and product spaces of SO(3)?

I have zero understanding of differential geometry or topology so the material found online are useless for me. So in light of that can someone use very general terms or analogy to comment about the ...
0
votes
1answer
45 views

Lie Groups: Differential Operations

Given a Lie group. Multiplication and inversion act infinitesimally at the identity by: $$\mathrm{d}\mu:\mathrm{T}_{(e,e)}(G\times G)\to\mathrm{T}_eG:(u,v)\mapsto u+v$$ ...
2
votes
0answers
34 views

An algorithm to find isometry between surfaces in $\mathbb{R}^3$?

Given two surfaces in $R^3$, i would like to find isometry between these two. Usually, in class, we did some examples, like bending the plane into a cylinder, or cone, and they were not hard, quite ...
0
votes
0answers
11 views

Transform Confocal Ellipsodal to Spherical Coordinates

I heard that someone published a paper showing that the confocal ellipsoidal coordinate system can transform into the spherical coordinates under special limit evaluations, however I was unable to ...
0
votes
0answers
23 views

Simplify Laplace equation in rectangle geometry

Consider Laplace's equation in a rectangle as shown in the following figure. The boundary conditions are shown in the figure. The problem is solved in the case of a1 =a2=1. Is there a way to ...
1
vote
1answer
24 views

An explicit Lorentzian metric on the Klein bottle

I want to construct an explicit Lorentzian metric on the (abstract) Klein bottle but have no idea where to start. Could someone please give me a hint and/or guide me in the right direction? Thanks.
3
votes
1answer
49 views

Left-Invariant Vector Fields: Smoothness

Given a Lie group. Rough left-invariant vector fields are smooth: $$X_g:=\mathrm{d}l_gv:\quad X\in\mathcal{X}(M)$$ How to prove this in a clever way? (I've seen some more or less technical proofs.)
1
vote
1answer
15 views

Understanding Lipschitz domain

Here is the definition of Lipschitz domain given by Wikipedia. Let n ∈ N, and let Ω be an open subset of Rn. Let ∂Ω denote the boundary of Ω. Then Ω is said to have Lipschitz boundary, and is called ...
2
votes
1answer
31 views

Finding the unit normal vector

Q. Consider the following vector function. $$ r(t)= \langle 6\sqrt{2}t,e^{6t},e^{-6t} \rangle $$ Find the unit tangent and unit normal vectors T(t) and N(t). I found $$T(t)= ...
1
vote
1answer
26 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
0answers
44 views

Derivations: Characterization

Given a smooth manifold. (In fact, it seems irrelevant to regard manifolds.) Regard germs of functions: $$\mathcal{C}_p^\infty(M):\quad f\sim g:\iff f\restriction\equiv g\restriction$$ and the ...
2
votes
0answers
41 views

Lie Group: Lie Algebra Structure

Application For groups of endomorphism one has: $$\mathfrak{gl}(V)\cong \langle GL(V)\rangle,\,\mathfrak{sl}(V)\cong\langle SL(V)\rangle,\,\mathfrak{so}(V)\cong\langle SO(V)\rangle,\,\ldots$$ ...
0
votes
2answers
44 views

hyperbolic geometry and affine transformations

A very famous geometer recently commented to me that "hyperbolic geometries are the only geometries invariant under affine transformations". It is unclear to me what this comment even means. Can ...
0
votes
1answer
15 views

Diffeomorphism between open sets of half-space

Let $\mathbb{H}^{m}=\left\{(x_{1},...,x_{m})|x_{m}\geq0\right\}$. How can i prove that if $A$ and $B$ are respectively open set of $\mathbb{H}^{m}$ and of $\mathbb{H}^{n}$, with $n\ne m$, then they ...
0
votes
0answers
10 views

Approximating the Arc Length of a Regular Curve with a Broken Line

Question: Suppose $\alpha:[a,b]\to\mathbb{R}^3$ is a regular curve segment. Prove that, for every $\epsilon>0$, there exists $\delta>0$ such that, for any partition ...
0
votes
2answers
33 views

Are all differentiable curves injective?

I'm working through a Differential Geometry text. The author makes a statement I'm having a hard time understanding the validity of. He defines a curve in $\mathbb{R}^3$ as a diffentiable function ...
-1
votes
0answers
15 views

What is the covariant basis around a schwarzschild black hole? [migrated]

First of all, I'm not interested in time for this question. So lets consider a 3-manifold whose metric is the spatial part of the Schwarzschild metric, so it has the event horizon and the singularity ...
3
votes
2answers
50 views

Can someone explain the basic idea behind the sectional curvature formula?

I found the following equation on Wikipedia here: \begin{equation} K(u,v)={\langle R(u,v)v,u\rangle\over \langle u,u\rangle\langle v,v\rangle-\langle u,v\rangle^2} \end{equation} No explanation I ...
0
votes
1answer
38 views

a valuable question about differential geometry, the curve$\beta(s)=\alpha(s)-rn(s)$

Let $\alpha(s)$,s$\in [0,l]$ be a closed convex plane curve positively oriented. The curve $$\beta(s)=\alpha(s)-rn(s)$$,where r is a positive constant and n is the normal vector, is called a parallel ...
1
vote
1answer
84 views

Why is Klein bottle non-orientable?

I am doing the homework of differential geometry and encounter this problem: The Klein bottle $K^2$ is defined to be the identification space $$[0, 1] \times [0, 1]/{\sim}, \text{ where the ...
1
vote
1answer
55 views

Visualizing Ricci scalar curvature

I am trying to learn more about Ricci scalar curvature. I am trying to get an image in my head of what scalar curvature actually represents about the curvature of a manifold. The most familiar image I ...
0
votes
2answers
37 views

What's the difference between a directional derivative and a derivation?

I asked my uncle what a derivation is and and he wrote the following: Most calculus courses discuss directional derivatives and include geometric applications to surfaces of the form ...
1
vote
0answers
41 views

Is every $S^1$ knot orientable?

let $K$ be an $S^1$ knot, i.e., $K$ is a homeomorphic copy of the "standard" $S^1$ living in $\mathbb R^3$ ). I am trying to see if $K$ is orientable. This is what I have: 1) If the map sending $S^1$ ...
4
votes
0answers
22 views

An integral with respect to the Haar measure on a unitary group

Let $A,D\in \mathbb{C}^{n \times n}$ be diagonal matrices. I need to calculate $$\int_{U(n)}\det{(A-HDH^\dagger)}\,\mathrm{d}H$$ where $dH$ is the unit invariant Haar measure on the group of unitary ...
0
votes
1answer
24 views

Flat connection of a vector bundle over a 1 dim. manifold

I'd like to show that a connection of a vector bundle $E$ over a 1 dim. manifold $M$ is flat, or equiv. that its curvature is zero. Let $D$ denote the connection, $\sigma$ a section of $E$ and $v,w$ ...
1
vote
1answer
18 views

Projection map from $\mathbb R^n-(0)$ to $\mathbb RP^{n-1}$ is smooth

How do I show that the projection map from $\mathbb R^n-(0)$ to $\mathbb RP^{n-1}$ taking $x$ to its equivalence class $[x]$ is smooth?
-2
votes
0answers
16 views

Prove the following statement: [on hold]

If $\hat \zeta \epsilon se(3)$, show that $g\hat \zeta g^{-1}\epsilon se(3)$ where $g\epsilon SE(3)$
1
vote
0answers
24 views

Tangent space of a Product of two manifolds

Suppose $M$ and $N$ are two $C^\infty$ manifolds. Take $p\in M$ and $q\in N$. We have the following maps between these: $\iota_1 : M\to M\times N$, $\iota_2:N\to M\times N$, $\pi_1:M\times N\to M$ and ...
0
votes
1answer
23 views

References for mean curvature flow in Riemannian manifolds

I am interested in mean curvature flows (MCFs) in Riemannian manifolds. But most textbooks about MCF seem to treat mainly MCFs of hypersurfaces in $\mathbb{R}^{n+1}$. Should I study them before ...
1
vote
0answers
12 views

How to find the points of self intersection of Cayley's Sextic?

I am given that $Y(t)=\cos^3(t)(\cos(3t),\sin(3t))$ and need to find the unique point of self intersection. So I assumed $$\cos^3(t)(\cos(3t),\sin(3t))= \cos^3(u)(\cos(3u),\sin(3u)).$$ I took lengths ...
0
votes
0answers
27 views

To Prove that The Level Set Of AConstant Rank Map is a Manifold

Let $f:\mathbf R^n\to\mathbf R^m$ be a smooth function of constant rank $r$. Let $\mathbf a\in \mathbf R^n$ be such that $f(\mathbf a)=\mathbf 0$. Then $f^{-1}(\mathbf 0)$ is a manifold of ...
2
votes
1answer
67 views

Why do we require that a complex manifold has the structure of a real manifold?

I am taking a course in complex manifolds, heavily influenced by Huybrechts' book "Complex Geometry", and in it we define a complex manifold $X$ to be a smooth, real manifold $M$ together with an ...
-2
votes
0answers
7 views

Dynamical systems,forward invariant [on hold]

Show that the complement of a forward invariant set is backward invariant, and vice versa. Show that if f is bijective, then an invariant set A satisfies f t (A)= A for all t. Show that this is false, ...
1
vote
3answers
46 views

Does parallel transporting require an ambient space?

Can someone summarize why an ambient space isn't needed to measure curvature when parallel transporting tangent vectors or vector fields along a curve on a Riemannian manifold? How do we define the ...