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
votes
0answers
14 views

The equation of hypersufaces in $R^{4}$

Can this be an equation of hypersurface in $R^{4}$: $x_{1}+x_{2}=c$, $c$=const.
0
votes
0answers
11 views

Outlining floorplan of a room given it's distance and image

Is it possible to draw an accurate room floor plan given: A camera on a tripod that is in the approximate center of a room. The camera takes 8 images for a 360 degree panoramic shot, each at shot is ...
0
votes
0answers
26 views

Research in Non Commutative geometry

I am currently doing my Masters' in Mathematics and I wish to pursue Ph.D. . I have taken courses in Differential Geometry of Manifolds and C* Algebras, and some introduction to Riemannian geometry. I ...
6
votes
2answers
110 views

Map between SO(n) is homotopic to the identity?

I'm given an exercise, in a differential geometry class, where I need to detemine wether or not the smooth map between manifolds: \begin{align} f \colon\ &SO(n) \rightarrow SO(n)\\ & A \mapsto ...
1
vote
1answer
16 views

Choosing a vector normal to a jordan curve that points “inside”

Let $\gamma=\partial K_1(0,0)$ be the circle with radius $r=1$ and origin $(0,0)$ in $\mathbb R^2$. Then for any $t_0$ we have $\gamma'(t_0)\neq \begin{pmatrix} 0 \\ 0\end{pmatrix}$. Let ...
0
votes
1answer
26 views

Unit radial vector field

Lee's book defines the unit radial vector field in normal coordinates as $$ \partial_r:= \frac{x^i}{r(x)} \partial_i$$ and $r(x):=\sqrt{\sum_i (x^i)^2}$ Now this is a unit vector field iff ...
3
votes
1answer
22 views

Condition equivalent to a moduli space being a manifold

Let $M$ be an $n$-manifold, and assume that it is foliated by a regular $p$-foliation. I know the following implication to be true: If for every point $m\in M$ there exists a submanifold $m\in ...
0
votes
3answers
37 views

The Euclidean Metric on $\mathbf R^3$ Induces an Index-Lowering Isomorphism $b:\mathfrak X(\mathbf R^3)\to \Omega^1(\mathbf R^3)$.

In Lee's Introduction to Smooth Manifolds, Second Edition, the line just before Equation 14.25 reads The Euclidean metric on $\mathbf R^3$ induces an index-lowering isomorphism $b:\mathfrak ...
2
votes
0answers
19 views

Describe the local flux of this vector field $X$ on $S^2$ given by $X(v)=w_0- \langle v, w_0 \rangle v.$

Let be $w_0 \in \mathbb{R}^3$ and $X: S^2 \rightarrow TS^2$ the vector field on $S^2$defined by: $$X(v)=w_0- \langle v, w_0 \rangle v.$$ ($\langle.,. \rangle$ is the standard dot product) How can I ...
0
votes
1answer
23 views

Four Vertex Theorem

In Do Carmo's "Differential Geometry of Curves and Surfaces" he has a proof of the four vertex theorem that I am having trouble getting my head around. In it, he starts by assuming a closed, simple, ...
5
votes
1answer
43 views

Lie bracket and flows on manifold

Suppose that $X$ and $Y$ are smooth vector fields with flows $\phi^X$ and $\phi^Y$ starting at some $p \in M$ ($M$ is a smooth manifold). Suppose we flow with $X$ for some time $\sqrt{t}$ and then ...
1
vote
1answer
47 views

Wrong pushforward of vector field definition on wikipedia

Wikipedia click me claims that for $$\mathrm d \varphi_x:T_xM\to T_{\varphi(x)}N\,$$ we have for $X \in T_pM$ and $f \in C^{\infty}(N,\mathbb{R})$ $$\mathrm d\varphi_x(X)(f) = X(f \circ \varphi)$$ ...
0
votes
1answer
20 views

Diffeomorphism between covering spaces

Let $\pi_1: M \rightarrow M_1$ and $\pi_2: N \rightarrow M_2$ be two smooth covering maps. Now $\phi: M \rightarrow N$ is a smooth diffeomorphism. Does this induce a smooth diffeomorphism $f: M_1 ...
1
vote
0answers
31 views

Is there a relation between vectors on these two spaces?

I've been reading lately one paper on Physics, which basically presents one gauge theory approach to the problem of swimming at low Reynolds number. I've been trying lately to rewrite some of the ...
1
vote
1answer
31 views

Calculating euler characteristic and geodesic curvature

We have the usual formula for the euler characteristic in differential geometry $$\chi = \frac{1}{4\pi}\int_{M}d^{2}\sigma g^{1/2}R + \frac{1}{2\pi}\int_{\partial M}ds k$$ where we define the ...
1
vote
0answers
38 views

Problem of Arnold's book and covering spaces

I am currently reading Arnold's book "Mathematical Methods of classical mechanics" on page 278 and I don't see through his arguments there at a point. Especially, I am talking about the part that ...
4
votes
0answers
55 views

Properties of $\mathbb{C}P^n$

I'm currently working on a somewhat deformed version of $\mathbb{C}P^2$ and want to check some properties from a geometrical and/or topological point of view. Of course, $\mathbb{C}P^2$ is Kähler ...
0
votes
1answer
36 views

Application of inverse function theorem?

I am not completely sure if this a direct consequence of the inverse function theorem. Assume that we have a function $f: \mathbb{R}^2 \rightarrow \mathbb{R}$ that we can write in terms of ...
0
votes
1answer
35 views

$\bigwedge^k T^*M$ is a $\binom{n}{m}$-dimensional Subbundle of $\bigotimes^k T^*M$.

I am trying to prove the following: Let $M$ be a smooth manifold. Then $\bigwedge^k T^*M$ is a smooth subbundle of dimension $\binom{n}{k}$ of $\bigotimes^kT^*M$. To do this, I think the ...
2
votes
1answer
16 views

Is a principal bundle automorphism locally given by a left action?

Let $G\hookrightarrow P \xrightarrow{\pi} M$ be a principal bundle, denote by $\cdot$ the right action of $G$ on $P$. Let $f:P\rightarrow P$ a bundle automorphism (i.e. $f$ is a diffeo, $f(p \cdot g) ...
1
vote
0answers
19 views

Preimage of a small normal deformation under an embedding again a normal defomation?

Let $j\colon M\rightarrow W$ be a smooth embedding of smooth manifolds and assume $M$ and $N$ have Riemannian metrics, but $j$ is not necessarily an isometric embedding. Let $N\subseteq W$ be a ...
4
votes
0answers
31 views

For any smooth n-manifold $M$, construct a smooth map $f:M\to S^n$ which is not null-homotopic

PROBLEM: For any smooth n-manifold $M$, construct a smooth map $f:M\to S^n$ which is not null-homotopic ,or even of degree 1 The following is my idea: First, choosing an arbitrary open coordinate ...
0
votes
1answer
15 views

Is my example of non equivalent maps correct?

We define two smooth maps $f: (\mathbb R, 0) \to (\mathbb R^2, 0)$ and $g: (\mathbb R, 0) \to (\mathbb R^2, 0)$ to be equivalent if there exist diffeomorphisms $\tau : \mathbb R \to \mathbb R$ and ...
5
votes
1answer
63 views

Is this operation meaningful or it is a mistake in the book?

I've been reading Nakahara's "Geometry, Topology and Physics" and found something quite strange on the section 10.3.3 which discusses the geometrical meaning of the curvature of a connection. It is ...
1
vote
1answer
51 views

Show Lie bracket left invariant

I want to prove from the definition that the Lie bracket $[X,Y]$ of two left-invariant vector fields $X,Y: G \rightarrow TG$ where $G$ is a Lie group is again left-invariant. Left-invariance ...
4
votes
1answer
48 views

Can a volume form on a submanifold be extended to a parallel form in a neighbourhood?

Let $(M^{n+1},g)$ be a Riemannian manifold and let $\Sigma^n \hookrightarrow M$ be a smooth, closed, embedded submanifold. Let $\Omega$ be the volume form of $\Sigma$. It is well-known that a volume ...
0
votes
1answer
33 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 ...
-1
votes
0answers
24 views

A manifold is a covering space over its quotient by a group action

Let $M \times G\to M$ be a properly discontinuous, free action of group $G$ on a manifold $M$. The quotient topology of the orbit space is Hausdorff. Suppose $p\in M$. How can we choose an open ...
5
votes
2answers
46 views

Construct a diffeomorphism $\phi:M\to M$ such that $\phi(p)=q$ and also $d\phi(X_p)=Y_q$

PROBLEM: Construct a diffeomorphism $\phi:M\to M$ such that $\phi(p)=q$ and also $d\phi(X_p)=Y_q$, where $M$ is a connected smooth manifold and $p,q \in M$ , $X_p \in T_pM$ and $Y_q \in T_qM$ I know ...
2
votes
1answer
48 views

Surface area of a slightly deformed sphere

Consider the unit sphere, which can either be described by $x^2+y^2+z^2=1$ or by the equation $r(\theta,\phi)=1$, where $(r,\theta,\phi)$ are spherical polar coordinates. I define a deformed sphere ...
0
votes
0answers
13 views

Divergence and formal adjoint operators: are they bounded/continuous?

Let $(M,g)$ be a smooth Riemannian manifold. The divergence operator is the map \begin{align*} \delta_g:\Gamma^k(S^2M)&\rightarrow\Gamma^{k-1}(T^*M)\\ ...
0
votes
2answers
32 views

On singular points of parallels

Say $\gamma$ is a unit speed curve and its parallel is given by $$ p (t) = \gamma (t) + d n(t)$$ where $n$ is the unit normal vector and $d$ is some scalar. I read that The parallels of a ...
2
votes
2answers
31 views

On reparametrisation of curves (sorry for trivial question but I'm confused)

I'm confused about speed and reparametrisations of curves. To illustrate my confusion please let me elaborate using the simplest example I could think of: Let $\gamma : [0, 2 \pi ) \to \mathbb R^2$ ...
0
votes
1answer
14 views

Parallels of a parameterised curve if not unit speed

I just read that if $\gamma$ is a curve given in unit speed parametrisation then the parametrisation of a parallel curve is given by $$ p(s) = \gamma (s) + d n(s)$$ where $n$ is the unit normal to ...
4
votes
0answers
48 views

Abstract definition of a differential operator

In Kolar, Michor, and Slovak, a differential operator is said to be a rule transforming sections of a fibred manifold $Y \to M$ into sections of another fibred manifold $Y' \to M'$. Is this is a ...
1
vote
0answers
44 views

What's book that I should read? [on hold]

When I read the chapter 4 of "Three Manifolds with Positive Ricci Curvature," I got stuck. I don't know what Fourier transform variable is, what derivative of second order nonlinear partial ...
4
votes
0answers
43 views

Map of smooth manifolds

Let $M$ and $N$ be smooth, connected $n$-dimensional manifolds. Let $M$ be compact and non-empty. Show that every embedding $f: M \to N$ is a diffeomorphism. So because $f$ is a embedding we have ...
0
votes
0answers
29 views

Derivative group action [duplicate]

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)).$$ Now I'd say: $$f'(t) = D\phi(g(t),d(t))(g'(t),d'(t)).$$ ...
2
votes
2answers
94 views

On a scale of 1 to 10 how far is this manifold from being a normal bundle?

(DIS)-CLAIMER: All the manifolds considered in this post are completely humble and have no additional structure beyond the smooth structure. Let $Y$ be a submanifold of $M$ and let $(-)^0$ denote the ...
2
votes
1answer
58 views

Advanced calculus: Solving quaternion differential equations

I have a system of two differential equations $$\frac{\partial X(t)}{\partial t}=a_1 A X(t)+a_2X(t) B+a_3 C Y(t)+a_4Y(t) D+a_5$$ $$\frac{\partial Y(t)}{\partial t}=b_1 E X(t)+b_2X(t) F+b_3 G ...
2
votes
2answers
46 views

Integral curves on immersed submanifold

An exercise of the book "Introduction to smooth manifolds - John M. Lee" asks to prove that if $S$ is a closed embedded submanifold of a manifold $M$, and $X$ is a vector field on $M$ tangent to $S$, ...
3
votes
0answers
22 views

The lie bracket as a limit

Let $M$ be a manifold and $f_t$ be the monoparametric group of local transformations generated by a vector field $X$. Suppose $w$ is a $k$-form and $x_1,\dots,x_k$ are vector fields. How can we see ...
1
vote
0answers
31 views

a question about Fenchel's theorem(differential geometry)

I am an undergraduate student studying differential geometry right now. I am just finishing reading how to prove Fenchel's theorem:The total curvature of a smooth closed curve in 3-dimensional space ...
1
vote
1answer
36 views

second fundamental form and connection forms

I am reading this paper that has the following: Suppose $M$ is an (n-1) dimensional closed hyper surface immersed in $\mathbb{R}^{n}$. Let $e_1, \cdots, e_n$ be orthonormal frame in $\mathbb{R}^n$ ...
7
votes
1answer
75 views
+50

how much differential structure can we put on countable manifolds?

The motivation for this question is that I would like to formulate Lagrangian mechanics in a purely discrete setting (see also my older question at physics.se). Unfortunately several key pieces of ...
2
votes
0answers
27 views

Let $p=(5,0,-4)$ and $v \in T_{(5,0,-4)}M$. Compute $(F^{*}\omega)_p(v)$.

Let me show my work before presenting the problem itself. Let $M=\{(x,y,z) \in \mathbb{R}^3 : x+y=5, x+z=cos^2y\}$. We can easily see that $M$ is a submanifold of $\mathbb{R}^3$ of dimension $1$. ...
1
vote
2answers
42 views

What am I doing wrong? Derivative of pedal

Let $\gamma$ be a unit speed curve $\gamma : I \to \mathbb R^2$. The pedal is given by $P (s) = (\gamma (s) \cdot N(s)) N(s)$. I tried to calculate the derivative as follows: $$ P' = (\gamma N)' N ...
4
votes
1answer
38 views

Parametrizations and coordinates in differential geometry - what's the difference?

From what I've read one can introduce the notion of a tangent vector to a point on a manifold in terms of an equivalence class of curves passing through that point (the equivalence relation being that ...
0
votes
0answers
36 views

Natural derivative of Vector Fields on manifolds

I'm learning about connections and my book says that there is no natural derivative for a vector field on a manifold. Wouldn't it be possible to cook up a connection by just letting $\nabla_{v_p}X = ...
1
vote
1answer
71 views

Connection between harmonic functions, Bochner Laplacian and Ricci curvature

I stumbled upon the following claim in a paper: "We write the (Bochner) Laplacian in suffix notation: $\Delta_B = \nabla ^k \nabla_k$". after this statement, the following is written: ($M$ is a ...