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

Finding integral submanifold passing through the origin

I'm having a little trouble with this problem for Lee - Introduction to Smooth Manifolds (2nd ed). The problem is as follows (Problem 19-5): Let $D$ be the distribution of $\mathbb{R}^3$ spanned ...
2
votes
1answer
55 views

Particular function in proof of flow box theorem

Flow Box Theorem If $M$ is a manifold of dimension $n$ and $X$ is a vector field on $M$ such that for a certain $p\in M$ $X(p)\neq0$, then there exists a chart $(U,\phi)$ on $M$ such that ...
8
votes
2answers
35 views

$\text{Alt}\,(\phi_1 \otimes \phi_2 \otimes \phi_3)$

How do I write out $\text{Alt}(\phi_1 \otimes \phi_2 \otimes \phi_3)$ for $\phi_1, \phi_2, \phi_3 \in V^*$?
1
vote
0answers
13 views

Local conformal coordinates on a surface

Let $\mathcal{M}\subset\mathbb{R}^3$ be a smooth enough regular surface. We want to show that around a point $p\in\mathcal{M}$ there is a neighborhood about $p$ in $\mathcal{M}$ which is parametrized ...
2
votes
1answer
29 views

What is the formal name for the conformal laplacian?

\begin{align} L=R-4\dfrac{n-1}{n-2}\nabla^k\nabla_k \end{align} What is the formal name for $L$? I have seen it referred to as the conformal laplacian, however I thought I once read $L$ with a formal ...
0
votes
1answer
22 views

Confused about tangents to parametrised curves: $y/x \neq y'/x'$

In the following let $\gamma : \mathbb R \to \mathbb R^2$ denote a smooth curve. While trying to derive the equation for the tangent line at the point $\gamma (t)$ I got confused: Observation 1 I ...
4
votes
0answers
61 views

Understanding composition of vector fields

I've finished a first course on differential geometry and I still find it confusing on how to compose/multiply two vector fields. Let's assume that $X$ and $Y$ are two vector fields on a smooth ...
0
votes
0answers
35 views

Parallel $ (1,1) $-forms on compact Kähler manifolds.

Let $ (X,\omega) $ be a compact Kähler manifold. We know one example of a parallel $ (1,1) $-form, namely, $ \omega $ itself. Are there obstructions for the existence of non-vanishing parallel $ (1,1) ...
3
votes
1answer
33 views

Gauss-Bonnet Theorem, External Angles and Orientation

The Global Gauss-Bonnet Theorem states: Let $R\subset S$ be a regular region and $C_1,\ldots,C_r$ be closed, simple, piecewise regular curves forming the boundary of $R$. Suposse $C_i$ is positively ...
0
votes
1answer
16 views

Preservation of the cross product by parametrization

Let $S$ be a regular surface and $X:U \subset \mathbb{R}^2\longrightarrow X(U)\subset S\subset \mathbb{R}^3$ a local parametrization. Does the following hold? If $e_1, e_2$ are two linearly ...
1
vote
1answer
19 views

Proving maps conformal via a scaling factor

I'm in a differential geometry class and I just attended a review session where the TA gave an example problem about conformal maps on the board: Find a constant $k$ such that $x(u,v) = ...
3
votes
1answer
37 views

Gradient vector derived from the metric tensor

According to Frankel's book "The Geometry of Physics", the components of a contravariant gradient vector can be obtained from the inverse of the metric tensor as follows (in section 2.1d, Page 73): ...
1
vote
1answer
23 views

Definition of “immersed plane curve”

The exact meaning of immersed plane curve is not clear to me and I would like to request some help with clarifying it here: A plane curve is a map $f: \mathbb R \to \mathbb R^2$. For example, the ...
1
vote
1answer
32 views

Prove that $\mathbb{R}^2 \times S^1 $ and $M=\left\lbrace (x,y,z,w) \in \mathbb{R}^4 \mid x^2+y^2- z^2-w^2 = 1 \right\rbrace$ are diffeomorphic

Let be $M= \left\lbrace (x,y,z,w) \in \mathbb{R}^4 \mid x^2+y^2- z^2-w^2 = 1 \right\rbrace$. I have proved that $M$ is a embedded submanifold of $\mathbb{R}^4 $ of dimension $3$. I have now to ...
-1
votes
0answers
15 views

How to find the limit of this flow $\lim_{t \rightarrow \infty} \phi^i_t(p)$ defined by a vector field?

Could anyone help me with how to begin to solve the following problem? We have: Fix $\varepsilon \in (0, 1)$ and choose a smooth function $h$ on $[0,\infty)$ such that $h'(t) > 0$ for all $t ≥ ...
-1
votes
1answer
25 views

How to show that for every element $g$ in a Lie group, the curve $\gamma(t) = g\gamma_v(t)$ is an integral curve such that $\gamma(0) = g$?

Could anyone help me a little with how to begin to solve the following problem? Thanks in advance! Definitions Let $G$ be a Lie group. For $g \in G$, define a diffeomorphism $l_g$ of $G$ by ...
6
votes
2answers
47 views

Properties of the category of smooth vector bundles over a smooth manifold

I am wondering if there are any sources that discuss the properties of the category of vector bundles over a smooth manifold. It seems that most differential geometry texts I've looked at avoid ...
0
votes
1answer
29 views

How to find the determinant of an operator?

I want to learn to find the determinant of an operator. I am given an operator like $\Sigma _{\alpha\beta}=-k^2g_{\alpha\beta}+i\theta\epsilon_{\alpha\beta\gamma} k^\gamma$ Determinant is found using ...
1
vote
2answers
39 views

Expressing a metric as a sum of (possibly) many squares

Given a Riemannian manifold $M$ whose metric $g$ has zero curvature, it is known that we can find local coordinates $x^i$ such that $$g=\sum_{i=1}^{\dim(M)}(dx^i)^2.$$ Conversely, if the curvature ...
1
vote
1answer
30 views

Is there an algorithm for parametrization of equations?

In this and this Math.SE questions askers wanted to parametrize their equations. It seems to me that one has to, without the algorithm, figure out a symbolic trick and then symbolically manipulate ...
3
votes
1answer
101 views

How could a group be a manifold?

For example a Lie group is defined as a certain differentiable manifold, but what does this mean geometrically, and what is gained by viewing something abstract and algebraic as a manifold? First, I ...
5
votes
1answer
74 views

Can a trefoil knot be stretched to look like a triangle with three knots at the vertices?

Can a trefoil knot be stretched to look like a triangle with three knots at the vertices, like in the right side of the image below, or is that transformation impossible to happen? If possible, what ...
2
votes
1answer
89 views

Is $S^1 \times S^1$ really a torus?

Consider a function $f(x)$ that is $2\pi$ periodic. Consider another function $g(y)$ that is also $2\pi$ periodic. If I wanted to compute the integral of either of these functions I would do so ...
1
vote
1answer
36 views

Retraction to the Boundary on Compact Manifold

I was given the following question on an exam today, "Suppose that $M$ is a compact $n$- dimensional oriented manifold with corners. A retraction to the boundary is a continuously differentiable map ...
0
votes
2answers
29 views

Properties of the ring of smooth function germs, question on proof.

Let us denote by $C_n$ the ring of $C^{\infty}$ smooth function germs $f : (\mathbb R^n, 0) \to \mathbb R$ or the ring of analytic functions germs $f : (\mathbb C^n, 0) \to \mathbb C$. Denote by ...
3
votes
1answer
96 views

What is the smallest Euclidean space in which one can embed a given curved space?

Given a $d$-dimensional curved space, how many dimensions are required to embed it? As an example think of a sphere's surface, which is a two-dimensional curved space that can be expressed in ...
2
votes
1answer
52 views

Poincaré lemma on a space with trivial homology group

Today I read about Poincaré's lemma from do Carmo's book Differential Forms and Applications. It says that A closed differential $k$-form on a contractible space is exact. I wonder if the ...
5
votes
1answer
31 views

Are the torsion elements dense in every compact Lie group?

Let $ G $ be a compact connected real Lie group. Denote by $ T $ its set of torsion elements. Is $ T $ always dense in $ G $?
1
vote
0answers
12 views

Line Elements for $n$-dimensional hyperspheres

I'm currently in the process of deriving the components of the Riemann Curvature Tensor for a 3-sphere using the Cartan Equations. The line element I'm starting with is: $$ ds^2 = ...
1
vote
0answers
40 views

The inverse image of any regular value is a submanifold

Let $f:M^m\subset\mathbb R^k\to N^n$ be a smooth map between manifolds with $m>n$. Let $y\in N$ be a regular value for $f$. Let $x\in f^{-1}(y)$ and $L:\mathbb R^k\to\mathbb R^{m-n}$ be a linear ...
0
votes
0answers
17 views

Definition of frontal map

In the lecture about singularities of curves and surfaces the lecturer gave the following defintion: A smooth map $f: U \subseteq \mathbb R^n \to \mathbb R^m$ is called frontal if and only if for ...
1
vote
0answers
36 views

Reference to study moduli spaces

I would like to know about references where the problem of finding the infinitesimal deformations of a given geometric structure, and obtaining the corresponding (elliptic?) complex parametrizing the ...
1
vote
1answer
57 views

Is $C = \{(x,y) \mid x^3 + xy + y^3 = c \} \subset \mathbb{R}^2$ an embedded submanifold of $\mathbb{R}^2$?

The problem As a continuation of this question (where it was shown that $C$ was a closed $1$-dimensional submanifold for $c \neq 1/27$), I'm trying to find out whether or not $$C = \{(x,y) \mid x^3 + ...
0
votes
3answers
20 views

Greatest area using a string with the length of $l$

Suppose we have a string with length of $l$ what is the shape that has highest area? In other words,with a constant perimeter of $l$ what is the shape with the highest area? P.S:My own speculation ...
5
votes
1answer
75 views

Linear algebra revisited: What do we do when we set a coordinate system?

I was learning about covariant and contravariant vectors due to special relativity, and it occured to me that we don't live in $\mathbb{R}^4$. I'll explain myself better. Consider the space of ...
-1
votes
0answers
26 views

Which of the following are proper patches. (Showing that an inverse of a mapping is continuous)

In which of the following cases is the mapping $\mathbf{x}:\mathbb{R^2} \to \mathbb{R^3}$ a proper patch? (a)$\mathbf{x}(u,v)=(u,uv,v)$ (b)$\mathbf{x}(u,v)=(u^2,u^3,v)$ ...
2
votes
2answers
47 views

The relationship between Ricci and Gaussian curvatures

Why do we have that for a surface (dimension $2$) that $$\text{Ric}(X, Y) = K \langle X, Y \rangle ,$$ where $K$ is the Gaussian curvature and $X, Y$ are vector fields?
0
votes
0answers
47 views

Basic Question on Mayer-Vietoris Sequence

On Pg 449 of Lee's Introduction to SMooth Manifolds (2nd Edition), the Mayer-Vietoris Theorem is given: Let $M$ be a smooth manifold. Let $U$ and $V$ be open in $M$ such that $U\cup V=M$. Then ...
5
votes
1answer
68 views

If $ds$ is not a differential form, can I make sense of its intuitive notation somehow?

I understand that a line element is not actually a differential form but a $1$-density. My question is: is the notation $ds^2 = dx^2 + dy^2$ formal in any way? Can it be interpreted as outer or tensor ...
0
votes
1answer
31 views

When is the pullback of a tangent bundle along a curve a tangent bundle on the curve?

Consider a smooth manifold $M$; and it's tangent bundle $TM \rightarrow M$; suppose we have curve $c:I \rightarrow M$ When is the pullback $c^*TM$ diffeomorphic to the tangent bundle $Tc$ on $c$? ...
2
votes
1answer
22 views

Adjoint representation and tangent vectors

Let $G$ be a Lie group, $\mathfrak{g}$ its Lie algebra, $\text{Ad}:G\rightarrow GL(\mathfrak{g})$ the adjoint representation of $G$. Then, for $X,Y\in \mathfrak{g}$, \begin{align*} ...
3
votes
1answer
78 views

Relation between parallel vector field along a geodesic and Jacobi field along that same geodesic

Cross posted from my question: http://mathoverflow.net/questions/204097/parallel-transport-along-a-geodesic-and-the-related-jacobi-field This is a formula/theorem (written below) that I found ...
0
votes
0answers
22 views

Homogeneous Dilation of the Domain in the Free Membrane Problem

Consider the Neumann boundary value problem of the Laplace operator: $$ \begin{cases} \Delta u+\mu u=0,&\text{in }D,\\ \frac{\partial u}{\partial n}=0,&\text{on }\partial D. \end{cases} $$ Let ...
0
votes
0answers
64 views

Why are algebraic cycles rational?

Let $X_{/\mathbb{C}}$ be a projective non-singular variety of dimension $n$ and $Z \subset X$ be an irreductible subvariety of dimension $p$. Denote by $\mathrm{H}_{\mathrm{dR}}^i(X,\mathbb{C})$ the ...
4
votes
0answers
29 views

Immersion except at the origin. [closed]

Whitney showed that for maps of two-manifolds into $\mathbb{R}^3$, a typical cross cap looks like the map $(x, y) \to (x, xy, y^2)$. Prove that this is an immersion except at the origin.
4
votes
1answer
41 views

What is a local invariant?

Let $(M,g)$ be a Riemannian manifold. Then, it is usually said that $M$ has local invariants associated to $g$. For example, the curvature of the Levi-Civita connection associated to $g$. My question ...
0
votes
0answers
21 views

Find $\nabla_{\gamma'(t)}\gamma'(t)$. Let $S : z = x^2+ y^2$ be a surface in $\mathbb{R}^3$ with the induced metric and let $\gamma(t)$ be

Let $S : z = x^2+ y^2$ be a surface in $\mathbb{R}^3$ with the induced metric and let $\gamma(t)$ be a curve on $S$ given by $\gamma(t) = (t, t, 2t^2)$. For the arc length s$(t) = ...
2
votes
1answer
27 views

Quick question about covariant derivative

Let $f$ be a function and define $\nabla_X f = X(f)\,\,(1)$, where $\nabla$ is the connection on a manifold and as far as I understand the r.h.s is a function and $X$ is a vector field. I am just a ...
3
votes
1answer
42 views

Find $\nabla_{\gamma'(t)}\gamma'(t)$. A metric on $\mathbb{R}^2$ is given by the form $dr^2+ f(r,\theta)d\theta ^{2}$ in polar coordinates. [closed]

A metric on $\mathbb{R}^2$ is given by the form $dr^2+ f(r,\theta)d\theta ^{2}$ in polar coordinates. Let $\gamma(t)$ be a curve in $\mathbb{R}^2$ given by $\gamma(t) = (t,\theta_0)$ in polar ...
4
votes
1answer
65 views

Is this statement about manifold true? [duplicate]

Suppose $M$ is a closed $k-$manifold in $\mathbb R^n$ without boundary, can we always find a smooth function $f:\mathbb R^n\to\mathbb R^{n-k}$ such that $M$ is the level set where $f=0$?