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

Finding parallels surface of revolution

$$X(u,v)=(f(u)\cos(v),f(u)\sin(v),g(u))$$ where $v$ is the rotation angle around $z$ axis. What is the parallel of this surface of revolution?
15
votes
4answers
26 views

group operations are smooth in $\text{SL}(n, \mathbb{R})$

I am told the following reason as to why group operations of multiplication and inversion are smooth on $\text{SL}(n, \mathbb{R})$. Multiplication is smooth because the matrix entries of a product ...
5
votes
1answer
43 views

Proof that this differential form is not exact

Please can someone verify my proof that $\psi = {x dy - y d x\over x^2 + y^2}$ is not exact? Here is my work: If $\psi$ was exact there would exist $f:\mathbb R^2 \setminus \{0\} \to \mathbb R^2 ...
2
votes
2answers
41 views

Immersion of $\mathbb{R}$ to $\mathbb{R}^2$

I have no idea how to prove that the set $\{(x, |x|): x\in\mathbb{R}\}$ is not the image of an immersion of $\mathbb{R}$ into $\mathbb{R}^2$ For example If $f(t)=(t^3, |t|^3)$ then $f'(0)=(0, 0)$.
3
votes
0answers
23 views

Symmetry of Killing Vectors in Covariant Derivative

Several times, I've seen statements along the lines of "$\nabla_X Y=\nabla_Y X$ because $X$ is a Killing vector field." One example I found on Stack Exchange is here. I have yet to understand why ...
1
vote
1answer
30 views

Proof of the fact that the set of (p,q) shuffles is a cross section of the subgroup $S_p\times S_q$

Definition Let $G$ be a group and $H$ its subgroup. We name a subset $K$ of $G$ a cross section if it has exactly one element from each left coset of $G/H$. Definition Let $n=p+q$ for some ...
0
votes
0answers
47 views

Differentiability of an application between manifolds.

Considerer the situation http://math.stackexchange.com/a/1056247/194355: let $M$ a manifold and $(U;x^1,...,x^n)$ a chart around a fixed point $m \in M$. The goal is to define a vector field $D$ such ...
4
votes
1answer
38 views

General linear group and special linear group

Consider the general linear group $$GL(n,\mathbb R)=\{g\in {\mathbb R}^{n\times n}\mid\det(g)\neq 0\}$$ Prove that the derivative of the function $f=\det:{\mathbb R}^{n\times n}\to\mathbb R$ is ...
0
votes
0answers
19 views

Differential Geometry concept: fit the X, Y, Z data and express X=F(Y,Z)

I've been given a project to fit the X, Y, Z data and express X=F(Y,Z); then compute the principle curvatures at any point on the surface (or at least the interior grid points). I know this has ...
1
vote
0answers
28 views

How to solve this questions about regular surfaces?

I'm trying to solve the following: $i)$ Show that if all normals to a connected surface pass trough a fixed point, the surface is contained in a sphere. $ii)$ Prove that if a regular surface $S$ ...
1
vote
2answers
32 views

Matrix representation of the derivative of a smooth function

Let $V:\mathbb R^n\to\mathbb R$ be a smooth function and define the Hamiltonian function $H:\mathbb R^n\times\mathbb R^n\to\mathbb R$ (kinetic plus potential energy) by $$H(x,y):=\frac ...
1
vote
1answer
14 views

Any reparametrisation of a regular curve is regular

So I'm having a little trouble algebraically showing this is true, the hint is that it is an exercise of the chain rule. From definition, a parametrised curve $\tilde\gamma : J \rightarrow ...
2
votes
1answer
30 views

Differentiable manifolds that allow isometric transition maps.

What is the class of differentiable n-dimensional manifolds that allow a differential structure, in which all transition maps are isometric? Note that isometric must be overlapping pieces of charts ...
6
votes
1answer
29 views

defining $C^\infty$ structure on finite-dim vector space, homeomeomorphism to tangent bundle, such that independent of choice of bases

If $V$ is a finite dimensional vector space over $\mathbb{R}$, how would I go about defining a $C^\infty$ structure on $V$ and a homeomorphism from $V \times V$ to $TV$ which is independent of bases? ...
1
vote
0answers
11 views

An example of regular singular points

I was reading a book on differential geometry and after the intro to the concepts of regular singular points I came across an example under it: The set $M:=\{(x^2,y^2,z^2,yz,zx,xy)|x,y,z\in ...
3
votes
0answers
13 views

Semi-Cartan geometry?

Does the following concept have an established name, or has anyone previously given a name to it? First of all, recall that given an inclusion of Lie groups $H \hookrightarrow G$, then a Cartan ...
-1
votes
0answers
18 views

Orientable manifold [duplicate]

I need help for this question: Let $M$, $N$ manifolds, $M$ orientable and $f: M \longrightarrow N$ local diffeomorphism, then $N$ too is orientable. I was trying by definition of orientable ...
2
votes
1answer
21 views

Quick question: Map being smooth vs Graph being submanifold of the product space [on hold]

Is $f:X\rightarrow Y$ smooth if and only if the graph $\Gamma_f$ is a closed submanifold of $X\times Y$? Thank you very much.
2
votes
1answer
54 views

Surface normal to point on displaced sphere

I want to calculate the surface normal to a point on a deformed sphere. The surface of the sphere is displaced along its (original) normals by a function $f(\vec x)$. In mathematical terms: Let ...
1
vote
1answer
64 views

Smoothly homotoping a sphere in $\mathbb{R}^3$

Start with the standard sphere $S^2$ and consider another (diffeomorphic) sphere $S$ such that there is a family of deformations of $S^2$ in $\mathbb{R}^3$ that ends in $S$. If $S$ is positively ...
2
votes
1answer
38 views

Local expression for a 1-form on a surface

Suppose that $\alpha$ is a non-vanishing 1-form on a 2-dimensional manifold. Why can $\alpha$ locally be written as $\alpha = f \ dg$ for some smooth functions $f$ and $g$?
2
votes
2answers
43 views

Find the geodesics on the cylinder $x^2+y^2=r^2$ of radius $r>0$ in $\mathbb{R}^3$.

Find the geodesics on the cylinder $x^2+y^2=r^2$ of radius $r>0$ in $\mathbb{R}^3$. I know that the geodesics for cylinders are helices, circles, lines, and points, but i do not know how to ...
2
votes
1answer
34 views

Riemannian curvature tensor of product manifolds

Let $(M_{1},g_{1})$ and $(M_{2},g_{2})$ be two Riemannian manifolds. Let $% R_{1}$ and $R_{2}$ be the (1,3)-type Riemannian curvature tensors of $M_{1}$ and $M_{2}$, respectively. Finally, let $R$ be ...
0
votes
0answers
18 views

Every point in the codomain is a regular point

Let $0<r<1$ and define $f:\mathbb R^3\to\mathbb R$ by $$f(x,y,z)=(x^2+y^2+r^2-z^2-1)^2-4(x^2+y^2)(r^2-z^2).$$ Let's denote $x^2+y^2=a,r^2-z^2=b$. I don't know if this is allowed, but I just ...
10
votes
3answers
218 views

parallelizable manifolds

I know a differentiable manifold $M$ of dimension $n$ is parallelizable if there exist (smooth of course) vector fields $\{X_i\}_{j=1}^n$ which are linearly independent in $T_pM$ at each point $p \in ...
1
vote
1answer
29 views

Why then is $df(x)$ surjective if and only if $Ax\neq 0$?

$\forall x\in \mathbb R^k$, define the linear map $df(x):\mathbb R^k\to\mathbb R$ as follows:$\forall \xi\in \mathbb R^k, df(x)(\xi)=2x^TA\xi$, where $A$ is symmetric. Why then is $df(x)$ surjective ...
2
votes
2answers
52 views

derivative of a symmetric bilinear form (quadratic form version)

Let $A=A^T\in \mathbb R^{k\times k}$ be a nonzero symmetric matrix and define $F:\mathbb R^k\to\mathbb R$ by $$f(x):=x^TAx$$ Then why $df(x)\xi=2x^TA\xi$ for $x,\xi\in\mathbb R^k$?
0
votes
0answers
22 views

Reparametrization of curve

I found this in a book: Let $\alpha(t) = (g(t),h(t),0)$ be a regular curve in the $xy$-plane. If $g'(t) \neq 0$ for all $t$, then $g$ is strictly increasing. Thus, it is one-to one and has an inverse ...
2
votes
0answers
50 views

Cohomology in Differential Geometry

Below is a communicative diagram: $$\begin{array}[c]{ccc} ...
2
votes
0answers
40 views

On a method to compute dimension of moduli space of Riemann surfaces

Consider genus $g$ Riemann surfaces, and thier moduli space $\mathcal M_g$. To determine dimension of $T\mathcal M_g$, start with a complex structure, which in some coordinates can be written ...
4
votes
0answers
37 views

What properties do isospectral Riemannian manifolds share?

I'm studying the Laplacian on (compact) Riemannian manifolds, and it turns out that if the Laplacian operators of two such spaces share their spectrum (the spaces are then called isospectral), then ...
3
votes
1answer
48 views

Jacobi field and the metric

I'm reading about Jacobi fields lately, and have noticed some features of it (and it's derivative) with respect to the metric. Thinking about that, I had an non-based, purely intuitive thought that ...
5
votes
2answers
28 views

conical surface, parametrization, immersion, Gaussian and mean curvatures

"Find the parametric form of a conical surface $S$ which is spanned by all rays starting $($but not including $)$ a fixed point $\gamma$ and passing through an arbitrary point on $\gamma$ and passing ...
1
vote
1answer
39 views

Surface area of a 2-sphere in Abstract Index Notation

I believe the following completely specify a 2-sphere of radius 1 in AIN: $$ R_{ijkl}=\epsilon_{ij}\epsilon_{kl} \\ R_{ij}=g_{ij}\\ R_{ii}=g_{ii}=2 $$ It is easy enough to determine the area by ...
2
votes
0answers
37 views

Covariant derivative for a covector field

In the lecture we had the immersion $f: U \subset \mathbb{R}^2 \rightarrow \mathbb{R}^3$. Now we said that a map $\lambda : U \rightarrow T^*f$ is a covector field. Okay, that's fine. Also, we ...
0
votes
0answers
18 views

Definition of roulette (curve)

I want to give a formal mathematical definition of a roulette, a curve described by a point attached to a given curve as that curve rolls without slipping, along a second given curve that is fixed. I ...
2
votes
0answers
38 views

Confusion about domains in PDE and “every $C^k$ manifold can be thought of as a smooth manifold”

I have read that every $C^k$ domain can be described instead by $C^\infty$ chart maps. So in this sense every $C^k$ domain is a $C^\infty$ domain. But consider standard PDE where people say thing like ...
3
votes
0answers
42 views

Reference request for studying on Fiber bundles

I am looking for some material (e.g. references, books, notes) to get started with Fiber bundles and vector bundles. Can someone help me? Thanks.
0
votes
0answers
14 views

Path of constant relative gradient to a cone.

The equiangular or logarithmic spiral has the property that the angle between any tangent and the radial line is a constant. I am looking for a curve with the same property with respect to a conical ...
1
vote
1answer
41 views

Geodesic equation

Assume that you have a parametrization of a surface $f:\Omega \subset \mathbb{R}^2 \rightarrow \mathbb{R}^3,(u,v) \mapsto f(u,v)$. Now if I have a curve defined by $g(t)=f(0,t)$. The geodesic ...
2
votes
0answers
34 views

Help needed in understanding a question to show that $M$ is a smooth manifold

Let $\rho : \mathbb{Z} \hookrightarrow GL(\mathbb{R}^r)$ be a representation. Consider $\mathbb{Z}$ as a subgroup of $(\mathbb{R},+)$ in the usual way. Define $M$ as the quotient of $\mathbb{R} \times ...
0
votes
0answers
20 views

Explicit formula for the (n-2)th derivative of the Jacobi equation

The $n-2$ order derivative of the Jacobi equation is given by: $$\frac{D^n}{dt^n} V_i+\sum\limits_{l=0}^{n-2} \binom{n}{k} (\nabla_{\gamma '}^{(n-2-l)}R)(\gamma ' ,\nabla_{\gamma '}^{(l)} V_i)\gamma ...
2
votes
0answers
29 views

Help in computing $\int \frac{\vec{r}}{r-\vec{r}\vec{n}} d\vec{S}$

Please help me integrate the function \begin{equation} \vec{v}(\vec{r}) = \frac{\vec{r}}{r-\vec{r}\vec{n}} \end{equation} on the surface of a sphere with radius R. $\vec{r}$ denotes a vector which is ...
4
votes
0answers
63 views

Relationship between functional analysis and differential geometry

I am taking courses on functional analysis (through Coursera.com) and differential geometry (textbook author : O'neil) on my university. I made the following table on my own. Are the similar ...
3
votes
0answers
46 views

Surfaces (with boundary) in $\mathbb{R}^3$ conformal to the cylinder

Consider the usual cylinder $S^1 \times [0, 1]$ embedded in $\mathbb{R}^3$. I am interested in knowing what are the surfaces in $\mathbb{R}^3$ that are conformal to this cylinder. If this were a ...
2
votes
0answers
35 views

Continuity of normal curvature

I want to show that the normal curvature is a continuous function. At first, here is the definition of normal curvature at point $p \in M \subset \mathbb{R}^3$ in direction $\mathbf{u} \in T_{p}M$: ...
3
votes
2answers
49 views

Differential Geometry of Curves and Surfaces

I'm self-studying differential geometry using Lee's Intro to Smooth Manifold and Do Carmo's Riemannian Geometry. However, I've never studied the subject so-called "differential geometry of curves and ...
3
votes
0answers
33 views

Help with constructing a symplectic form on a $2-$dimensional torus

Consider the standard two dimensional torus $M=\mathbb{R}^2 / \Gamma$ where $$ \Gamma:=\{(n,m)\in \mathbb{R}^2:n,m\in \mathbb{Z}\}. $$ I want to $1)$ construct a symplectic form $\omega$ on $M$, ...
2
votes
1answer
52 views

How to show that geodesics exist for all of time in a compact manifold?

Let $M$ be a compact manifold and the tangent bundle $TM$ have a Riemannian metric $g$ so that it is isomorphic to the cotangent bundle $T^*M$. Consider the pull-back of the canonical symplectic form ...
6
votes
1answer
52 views

Covariant derivative of vector field along itself: $\nabla_X X$

Consider a vector field $X$ on a smooth pseudo-Riemannian manifold $M$. Let $\nabla$ denote the Levi-Civita connection of $M$. Under which conditions can something interesting be said about the ...