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)

2
votes
0answers
23 views

A compact $n-1$ dimesional manifold embedded in $\mathbb{R}^n$ has no boundary

Under what conditions is it true that a compact $n-1$ dimesional manifold embedded in $\mathbb{R}^n$ has no boundary (or more generally, when a manifold is embedded in some topological space)? For ...
3
votes
1answer
21 views

Orthonormal frame on hyperbolic plane

I'm having trouble comprehending a question from Do Carmo's Differential Forms and Applications. The question (in its entirety) is as follows: (Exercise 5-2 in Do Carmo). Let $H^2$ be the upper ...
2
votes
1answer
23 views

Projected Area of Circle onto the Side of a Cylinder

I have encountered a problem that requires me to find the projected area of a beam of light (circular cross-section, with radius R1) vertically onto the side of a cylinder with R2 as its ...
1
vote
1answer
46 views

If $ g \circ f$ is real analytic and $g$ is a real analytic immersion, then $f$ is real analytic

Let $M$ $N$ $P$ be complex manifolds, and let $$f: M\rightarrow N, g: N\rightarrow P$$ be $C^\infty$ maps with $g$ and $g\circ f$ holomorphic, and with $dg$ never degenerate. It's easy, then, to see ...
0
votes
1answer
47 views

Curvature in $\mathbb{R}^2$

Let $f(t) = (x(t),y(t))$, not necessarily parametrized by arclength. We define the unit tangent vector, $T(t) = (1/|f'(t)|)(x',y')$. Also the normal vector, $N(t) = (1/|f'(t)|)(-y',x')$, which is ...
1
vote
1answer
23 views

Problem finding regular values of map

I found an exercise defining $f:S^3\to\mathbb{CP}^1$ by $f(x,y,z,t)=[x+iy:z+it]$ and asking to prove it was smooth and find its regular values. Proving it was smooth was simple enough. Then I tried ...
2
votes
0answers
17 views

Zero Gauss curvature and constant mean curvature of a ruled surface in $\mathbb{R^3}$ implies it is a right cylinder

Assuming I have a ruled surface parametrized as $x(u,v)=\beta(u)+v\delta(u)$, with zero Gauss curvature, which in this case is given by $K=-\frac{m^2}{EG-F^2}$=$\frac{- (\beta'\delta \times \delta')^2 ...
1
vote
1answer
15 views

Space curve torsion

Hello I am looking for anyone to maybe look over my ideas and see if they think it is correct. Say I am looking for the torsion $\tau$ of a space curve given by $r(t)=(cos(3t),sin(3t),4t)$ I know if ...
5
votes
1answer
48 views

fiber bundle in topological category and smooth category.

Let $M$ be a smooth manifold and $G$ be a Lie group. Denote by $Bun(M,G)$ the set of all equivalent smooth Principal bundle on $M$ with structural group $G$ in smooth category. And denote by ...
2
votes
0answers
14 views

basic question about holonomy

I'm struggling to understand how conditions on the metric put conditions on the holonomy group and vice-versa. My understanding is that the holonomy principle says that there's a one-to-one ...
1
vote
1answer
30 views

Let $\beta$ be a unit speed curve with $\kappa \gt 0$. Show that $(\beta''\times \beta''')\cdot \beta^{4}=\kappa^5\frac{d}{ds}(\frac{\tau}{\kappa})$

Let $\beta$ be a unit speed curve with $\kappa \gt 0$. Show that $$(\beta''\times \beta''')\cdot \beta^{4}=\kappa^5\frac{d}{ds}(\frac{\tau}{\kappa})$$ Simple calculation seems too frustrating. I'm ...
1
vote
0answers
24 views

Cohomology of two pieces of torus

In an exercise from an old exam, I found myself confronted with $M=\{(\sqrt{x^2+y^2}-2)^2+z^2=1\}$, $U=M\cap\{x\neq0\vee y>0\}$, $V=M\cap\{x\neq0\vee y<0\}$ and $U\cap V$, all subsets of ...
0
votes
0answers
16 views

Find $d\left(\frac{\partial\left(x,y\right)}{\partial\left(\delta_1,\delta_2\right)}\right)$ with the exterior product

Let $J_{\delta_1,\delta_2}^{x,y}$ denote the Jacobian $\partial\left(x,y\right)/\partial\left(\delta_1,\delta_2\right)$. Suppose I wanted to find $d\left(J_{\delta_1,\delta_2}^{x,y}\right)$ ...
4
votes
1answer
39 views

If $\alpha$ is a unit speed curve of constant curvature lying in a sphere, then $\alpha$ is a circle.

I'm trying to solve the following problem but got stuck along the way. I would like some help on getting this through. Prove that if $\alpha$ is a unit speed curve of constant curvature lying in a ...
3
votes
3answers
47 views

Let $\alpha(s)$ be a unit speed curve in $R^2$. Show $\kappa=|\frac{d\theta}{ds}|$

I'm lost on solving the following problem. Let $\alpha(s)$ be a unit speed curve in $R^2$. Show $\kappa=|\frac{d\theta}{ds}|$, where $\theta$ is the angle between the positive $x$-axis and the ...
4
votes
2answers
43 views

Killing vector field along a geodesic

I was trying to show that a Killing vector field satisfies the Jacobi Equation for a geodesic, just by assuming that \begin{equation} \nabla_\mu X_\nu + \nabla_\nu X_\mu=0 \end{equation} Indeed, if I ...
2
votes
1answer
25 views

A diffeomorphism whose tangent map preserves dot products is an isometry.

I'm having trouble solving the following problem. If $F:\mathbb{R^3} \to \mathbb{R^3}$ is a diffeomorphism such that $F\ast$(the tangent map of $F$) preserves dot products, show that $F$ is an ...
0
votes
0answers
28 views

An orthogonal transformation with determinant 1 rotate $\mathbb{R^3}$ around an axis.

I'm studying differential geometry and need confirmation on the solution of the following problem. A rotation is an orthogonal transformation $C$ such that det $C=+1$. Prove that $C$ does, in fact, ...
1
vote
1answer
27 views

How to show that two vector fields commute?

Could anyone help me with how to start to solve the following problem? From this problem as well as this, I have: Fix $\varepsilon \in (0, 1)$ and choose a smooth function $h$ on $[0,\infty)$ such ...
1
vote
0answers
12 views

Associated bundle - valued 1 forms.

Let $\pi:P\rightarrow M$ be a principal bundle with structure group $G$. Let $\mathfrak{g}$ be the Lie algebra of $G$. Fact: (as can be found in lecture notes here) Functions ...
0
votes
0answers
25 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? It is a continuation of this problem, but I will restate the things that are needed: Fix $\varepsilon \in (0, 1)$ and choose a smooth ...
1
vote
1answer
53 views

$\psi ( \frac {\pi}{2}, \frac {\pi}{6})$ and calculating problems?

I ran into a problem, $u=\psi (x,t)$ be a solution of partial deferential equation with following condition on boundary, how we reach the value of $\psi ( \frac {\pi}{2}, \frac {\pi}{6})$? ...
0
votes
3answers
37 views

Derivative of a function in $\mathbb{R}^n$

Let $f:\mathbb{R}^m\to\mathbb{R}^m$ be a differential function. Let $Df(x)$ be the derivative of f at $x\in\mathbb{R}^m$. Which of the following is/are correct? $Df(0)(u)=0 \forall u\in\mathbb{R}^m$ ...
2
votes
0answers
23 views

Existence of a differentiable function given a unit gradient field

I'm trying to prove that "Given a unit vector field $V$, it can always be uniquely determined a differentiable function $f$ that satisfies $\nabla f = V$." To provide you more information, the unit ...
2
votes
1answer
23 views

Basic properties of smooth curves

Suppose $\Gamma$ is simple smooth closed curve parametrized by $\gamma:[0,1]\to\Gamma.$ Let $$\gamma(t)-\gamma(s)=(t-s)F(t,s)\,\,\,\,t,s\in[0,1].$$ Can we conclude that $|F(t,s)|>0$ for all ...
1
vote
0answers
29 views

What is some elementary differential geometry textbook that is self contained and are intermediate level?

What are some intermediate differential geometry textbook that are more advanced than pressley's, Barrett's, Christian's and krezig's books and are self contained but below the level spivak's vol ...
4
votes
3answers
37 views

is every totally geodesic submanifold the set of fixed points of some isometries?

It is well known that the set of fixed points of an isometry $\phi:(M,g)\rightarrow (M,g)$ is a totally geodesic embedded submanifold. (e.g here ). I ask whether the converse is true, i.e is every ...
2
votes
1answer
61 views

Proving a certain function is injective

I have found the following exercise on an exam for Geometry three dating to a past year. Let $F(u,v)=((2-v\sin\frac{u}{2})\sin u,(2-v\sin\frac{u}{2})\cos u,v\cos\frac{u}{2})$, with ...
1
vote
0answers
19 views

Proof that any unit-speed-reparametrization of a curve preserves orientation and is an inverse of an arc length function based at some $t_0$.

I am not able to prove the following two facts about a unit speed reparametrization of a curve. Let $\alpha$ be defined on some interval $I$ and define for $t_0\in I$ ...
2
votes
0answers
49 views
+100

Complex submanifold has the minimal value

I know that the following theorem is true: If $W$ is a purely $k$-dimensional analytic subvariety of a domain in $\mathbb{C}^n$, $sngW$ is the set of its singular points, $V \subset W$ is open, ...
0
votes
0answers
13 views

Dimension of adjoint orbits in $\mathfrak{su}(n)$

What is the dimension of the sub-manifold $M(A)$ of $\mathfrak{su}(n)$ defined by: $M(A) = \{U^{\dagger} A U \ \text{s.t.} \ U \in SU(n) \}$ for each $A \in \mathfrak{su}(n)$.
2
votes
1answer
37 views

How to show that $f : \mathbb{R}^n → \mathbb{R}^n$, $f(x) = \frac{h(\Vert x \Vert)}{\Vert x \Vert} x$, is a diffeomorphism onto the open unit ball?

Could anyone help me with the following problem? The 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 ...
1
vote
1answer
30 views

immersion of punctured torus in plane

Let $S^1 \times S^1$ be the $2$-torus. If a point $a=(p,q)$ of the torus is removed, i.e., it is punctured at one point then how can I show that it can be immersed in the plane, i.e., in $\Bbb{R}^2$? ...
0
votes
0answers
27 views

Green's theorem via Stokes's theorem

I am considering the following form of Stokes's theorem: Let $\omega$ be an $n-1$ differential form with compact support on an oriented manifold of dimension $n$. Let us consider the boundary ...
2
votes
1answer
35 views

How to proof that bracket of two vector field can be computed by second derivation

Can some one give a hint how can I proof that where $\phi$ indicated the flow of vector fields.
0
votes
0answers
26 views

Osculating Circle in Differential Calculus

I am working with an osculating circle as the curve of closest contact to a curve in differential calculus and my book takes some confusing steps that I do not understand. It says: Let $f(x)$ be the ...
3
votes
1answer
30 views

Why not every homogeneous manifold is parallelizable?

It is obvious that not every homogeneous manifold is parallelizable (take for example the two-sphere $S^{2}$). In contrast, every Lie group $G$ is parallelizable, as you can construct a pointwise ...
1
vote
1answer
41 views

Compute Euler characteristic of a compact manifold

We have the manifold embedded in $\mathbb{R}^4$ given by $$M=\{(x,y,z,w)|2x^2+2=2z^2+w^2,3x^2+y^2=z^2+w^2\}$$ How could I compute the Euler characteristic? I've no idea computing the homology group of ...
0
votes
0answers
33 views

“Induced” almost complex structure (elementary examples)

I am confused about the definition for an almost complex structure to be "induced" by a complex structure. I would like to see what this means in a couple of easy examples. My apologies if I have ...
1
vote
1answer
27 views

Cartan's structural equation

I am reading through a proof of Cartan's Structural equation: $$\Omega=d\omega + \frac{1}{2}[\omega\wedge\omega]$$ In the case when the input is two vertical vectors $V_1$ and $V_2$, we can ...
1
vote
0answers
28 views

Pullback 1-differential form

Let $(x_0,x'_0) \in \mathbb{R}^2$ be initial data for the Euler Lagrange equation with some given Lagrangian $L: \mathbb{R}^2 \rightarrow \mathbb{R}.$ Then $F^t$ is the flow that maps the initial ...
2
votes
0answers
40 views

Momentum a cotangent vector?

Imagine we have a particle described by $x \in M$, where $M$ is some manifold, then it is very intuitive I think that a velocity is an element of the tangent space at $x$, so $x' \in T_{x}M.$ Thus, by ...
1
vote
1answer
38 views

Proving that these curves intersect

Let $\Gamma$, $\Sigma$ be two curves with ranges in $(\{0\}\cup\mathbb{R}_{+})^2$. $\Gamma$ starts on the $y$ and ends on the $x$ axis: $\Gamma(0)=(0,\gamma_2),\Gamma(1)=(\gamma_1,0)$. $\Sigma$ is a ...
2
votes
1answer
37 views

Question about parallel displacement on a surface

This is Problem 9.6(1) from the book The Geometry of Physics: What's wrong with the following argument? A vector $\mathbf v$ is parallel displaced around a small closed curve $C = ...
0
votes
0answers
16 views

Twice differentiable functions that are harmonic

This is a question that I have spotted in a textbook for differential geometry. Determine all twice differentiable non-zero functions g : R $\rightarrow$ R and h : R $\rightarrow$ R such that $f ...
1
vote
2answers
27 views

Möbius strip as a non-trivial principal bundle

There is a well-known theorem that a principal bundle is trivial if and only if it admits a global section. I'm trying to get a good picture of what this theorem means. The Möbius Strip can be ...
1
vote
0answers
26 views

On critical values of a linear function $g:SO_2\times \mathbb R^2\to \mathbb R^2$

Consider map $g:SO_2\times \mathbb R^2\to \mathbb R^2$, $g(A,v)=Av$, where $A\in SO_2$ is an orthogonal $2\times 2$ matrix and $v\in \mathbb R^2$ is a $2$-vector. Show that $0$ is a critical value. ...
1
vote
0answers
34 views

Self-adjointness of $X^2$

Let $X$ be a vector field on a compact (may be even complete) Riemannian manifold without boundary. I am wondering if $X^2$ will be a self-adjoint operator on $L^2(M)$. Any hints would be appreciated. ...
0
votes
0answers
17 views

Unbounded Geodesics and Nonpositive Curvature

I have the following interesting(?) question: Let $M$ be a complete Riemann manifold. Suppose that it is of non-negative curvature. I want to know if $M$ has unbounded geodesics. As the question is ...
2
votes
0answers
12 views

Fiber summation of symplectic Lefschetz fibrations.

Recall the following standard result. Theorem: For any genus $2$ symplectic Lefschetz fibration $f:X\to S^2$, there exists an integer $n_0$ such that, for all $n\ge n_0$, $f\# nf_0$ is isomorphic ...