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

Canonical connection on $CP^n$

I have heard something along the lines of "There is a canonical $U(1)$ connection on $CP^n$" and I am trying to understand what that means. First I suppose that the sentence refers to a line bundle ...
0
votes
0answers
6 views

A construction on principal bundles

In a paper the principal $Sp(1)$-bundle $P$ over $S^4$ is introduced as follows: let $Sp(1)\times Sp(1)\hookrightarrow Sp(2) \xrightarrow{\pi} S^4$ be the spin structure on $S^4 $. The principal ...
2
votes
2answers
48 views

The meaning of $\omega$ = df?

I'm reading Algebraic Topology by William Fulton and I am a little lost about 1-forms, which I assume to be the number of differentials according to the number of dimensions (correct me if I'm wrong. ...
5
votes
1answer
32 views

Applications of Geometry to Computer Graphics [on hold]

How is differential geometry (or any type of theoretical math) related to computer graphics and/or computer programming? A friend of a friend of mine has only a bachelors degree in pure math and got ...
3
votes
1answer
32 views

Area of spherical cap with integrals

Given a sphere $S$ of fixed diameter $D$ (or radius $R=D/2$, it will be convenient to have both, I suppose), and a point $P$ on its surface, let's create a ball $B$ of variable radius $r$ with its ...
2
votes
0answers
15 views

Derivative of terminal state w.r.t. the inital conditions.

Let $x\in R^n$ and consider the system $$ \dot{x}=f(t,x) \;\;\mbox{with}\;\; x(0)=x_0 $$ and suppose that we know it's exact or very accurate solution $x(t)$ for the time interval $[0,T]$. I'm ...
0
votes
1answer
35 views

Are distance-related paradoxes limited by the size of an atom?

See these 2 paradoxes: Coastline paradox The coastline paradox is the counterintuitive observation that the coastline of a landmass does not have a well-defined length. ...
1
vote
1answer
12 views

Show a smooth map from a compact, connected, orientable surface to a cyllinder has singular derivative at 2 points.

Let $M$ be a compact, connected, orientable surface in $\mathbb{R}^3$. Let $N$ be the cyllinder in $\mathbb{R}^3$ defined by $x^2+y^2=1$. Suppose $f:M\to N$ is $C^{\infty}$. Show that $f_*:TM\to ...
2
votes
0answers
18 views

Can a quaternionic Kähler manifold be NOT Kähler?

I have an explicit construction of the metric on the quaternionic Kähler manifold $$\mathcal M = \frac{Sp(1, 1)}{Sp(1) \times Sp(1)}.$$ Arranging the four real degrees of freedom into two complex ones ...
6
votes
3answers
63 views

How to know if a tangent bundle is trivial from its defining equations

In this question, I am considering only regular manifolds. A Trivial Bundle The circle $S^1$ is known to have a trivial tangent bundle. As a subset of $\mathbb{R}^4$, the tangent bundle of $S^1$ ...
0
votes
0answers
53 views

Zero set of finitely many polynomials.

Somebody asked a question earlier regarding this proof but I'm confused about a different part. I understand everything but the line "As the zero set of finitely many polynomials, $R$ is a closed ...
0
votes
0answers
12 views

Numerical solution of first order ODE

I have an in-homogeneous ODE. $R'(x)-(C_1 +C_2 x) R(x) = R_1-C_1 R_0\, x \tag 1$. What I know is the constant matrix $ R(0)$ as initial condition. Question:- how to find out R(1) by numerical ...
2
votes
1answer
18 views

Hadamard's Lemma in multidimensional real analysis

This is Hadamard's Lemma: Let $U \subset \Bbb R^n$ be an open set, let $a \in U$ and $f: U \to \Bbb R^p$. Then the following assertions are equivalent. The mapping $f$ is differentiable at $a$. ...
1
vote
1answer
37 views

The definition of scalar and vector concomitant of a metric

I'm reading Defrise-Carter's paper Conformal Groups and Conformally Equivalent Isometry Groups. One might find the paper at the following link: ...
2
votes
1answer
80 views

Hodge star operator

Again I have issues with notations. The hodge star operator is defined as : (m is the dimension of the manifold) $$\star: \Omega^{r}(M) \rightarrow \Omega^{m-r}(M)$$ $$\star(dx^{\mu_{1}} \wedge ...
0
votes
1answer
37 views

Riemannian Metric Notation

I am just being introduced to Riemannian metrics, and I am having a bit of confusion on the notation. When reading, I've encountered some different notation in different sources, so I want to make ...
0
votes
0answers
13 views

Alexandrov embedness and branch points

Let assume that $\Sigma_n$ is a sequence of compact surfaces in $\mathbb{R}^3$ of fixed genus. We assume that the surfaces are Alexandrov embedded, that is to say there exits an immersion $i_n$ from ...
1
vote
0answers
34 views

Finding a lie group structure on $\mathbb R^n\setminus\{0\}$

I want to find all maps $g: \mathbb R^n\setminus \{0\} \rightarrow GL_n(\mathbb R)$ which satisfy the properties $g$ is differentiable and injective $g(g(a)b) = g(a)g(b)$ for all $a,b\in\mathbb ...
2
votes
1answer
27 views

Levi-Cevita symbols: Why is $\epsilon_{ijk}\epsilon_{pjk}$ equal to $2\delta_{ip}$, but not $0$?

I'm learning vector calculus on my own and sometimes strange things happen that I don't know how I should explain them. We have this famous equality: ...
1
vote
0answers
39 views

An Atlas for $\mathbb{R}/{2\pi \mathbb{Z}} $

I've been having some difficulty finding an atlas for $\mathbb{R}/{2\pi \mathbb{Z}}$. The way I have been thinking of this so far is by using the standard projection map $\pi$ on open intervals of ...
1
vote
3answers
25 views

maximum area of a rectangle inscribed in a semi - circle with radius r.

A rectangle is inscribed in a semi circle with radius $r$ with one of its sides at the diameter of the semi circle. Find the dimensions of the rectangle so that its area is a maximum. My Try: ...
2
votes
0answers
33 views

Orientability of a product of smooth manifolds implies orientability of each factor

I've been learning a bit about orientability on smooth manifolds. I'm having torubles with this exercise: Given two smooth manifolds $M$ and $N$, show that the product manifold $M \times N$ is ...
1
vote
0answers
26 views

Spherical coordinates and Lebesgue integral

I found a textbook that says that $r \in [0,\infty), \theta \in [0,\pi], \phi \in [-\pi,\pi]$ are the spherical coordinates. Then he goes on with: This corresponds to a unitary map $L^2(\mathbb{R}^3) ...
1
vote
0answers
20 views

n-form density weight of the levi civita tensor

Why does the n form of levi civita $\epsilon:$=$w_{1}\wedge w_{2} ...\wedge w_{n}$ have a density of weight -1 where $w_{i}$'s are cobasis of some vector basis? I thought this geometrical quantity ...
0
votes
0answers
41 views

manifold structure on a finite dimensional real vector space

I'm reading Warner's Foundation of Differential Manifolds and Lie Groups. I don't get how the finite dimensional real vector space gives a natural manifold structure. Someone has asked it before ( ...
2
votes
2answers
55 views

Embedding of $\mathbb{R}^2 \to \mathbb{R}^3$ with non-parallel tangent planes

I have a qual question here and I'm struggling to get a good starting point. The question asks to construct a smooth proper embedding $f\colon \mathbb{R}^2 \to \mathbb{R}^3$ such that for any distinct ...
1
vote
1answer
60 views

Gradient of norm of embedding

Let $\varphi:(M,g,\nabla)\to\mathbb{R}^n$ be a smooth embedding of a convex hypersurface. I want to explicitly calculate $$\langle \varphi,\varphi_{\ast}(\nabla\|\varphi\|^2)\rangle.$$ In particular, ...
1
vote
0answers
53 views

Tangential Vector

I have trouble to understand the following definition. If $M$ is a differentiate manifold then the tangent vector in $p\in M$ is a map $v:\mathcal{F}\rightarrow \mathbb{R}$ such that $v(f)=0$ if ...
2
votes
2answers
41 views

Frenet-Serret formula proof

Prove that $$\textbf{r}''' = [s'''-\kappa^2(s')^3]\textbf{ T } + [3\kappa s's''+\kappa'(s')^2]\textbf{ N }+\kappa \hspace{1mm}\tau (s')^3\textbf{B}.$$ What is $\tau$, I can't figure that part out. ...
3
votes
1answer
35 views

How do we check conformal equivalence of parametrized surfaces, e.g. parallel surfaces?

Suppose we have two parametrized surfaces in $\mathbb{R}^3$: $$ X,Y:\mathbb{R}^2 \rightarrow \mathbb{R}^3 $$ The induced metric on either surface is the pullback of the Euclidean metric $\bar g$ due ...
3
votes
0answers
29 views

What distinguishes elliptical coordinates from polar coordinates?

I am trying to identify what characteristic distinguishes elliptical coordinates from polar coordinates. For concreteness, let's write down the expressions. Polar: $$ x=r \cos(t) \\ y=r \sin(t) $$ ...
0
votes
1answer
79 views

Caracterization of isometries that preserve time-orientation in $\Bbb L^3$

First of all, I'm considering $\Bbb L^3$ with the convention: $$\langle (x_1,y_1,z_1),(x_2,y_2,z_2)\rangle = x_1x_2+y_1y_2 - z_1z_2$$ Let $\Lambda = (\lambda_{ij})$ be an isometry of $\Bbb L^3$. I ...
1
vote
0answers
29 views

Law of Sines Non-Euclidean geometry

Is the following Law of Sines valid on all surfaces isometric to a sphere? $$\frac{\sin A }{ \sin a }= \cdots = \frac{ \sin C }{ \sin c } = E.$$ And similarly, Is the following Law of hyperbolic ...
1
vote
2answers
87 views

Is a 1-form locally expressible as $dx$?

Given a 1-form $\alpha$ which is non-zero at every point of a manifold $M^n$, is it true that locally I can express the form as $dx$? (that is around each point there is a coordinate neighborhood such ...
1
vote
1answer
69 views

Does a compact manifold require non zero Ricci curvature?

Imagine we have a Riemanian compact manifold. Does the compactness necesarily make its curvature non zero? If the answer were no, does anyone know any such manifold with isometry group ...
3
votes
1answer
54 views

Differential Forms on submanifolds

Say I take an embedded submanifold of $\Bbb R^n$, like the sphere. Any differential form on $\Bbb R^n$ can be restricted to the sphere. My question is this: is any differential form on the sphere (or ...
1
vote
3answers
31 views

solenoid and irrotational vector

Let $V$ be a vector point function. $V$ is solenoid if $\operatorname{div} V =0$ and irrotational if $\operatorname{curl} V =0$. How can one visualize examples of solenoid or irrotational functions? ...
1
vote
1answer
45 views

Smooth Submanifolds of $\mathbb{RP}^3$

Let $ M=\{[z_0,z_1,z_2, z_3] \in \mathbb{RP}^3 | (z_0-z_3)^2+az_1^2=0\}$, where $a\in \mathbb{R}$. Show that $M$ is a smooth submanifold of $\mathbb{RP}^3$ of dimension $2$ when $a=0$, but not if ...
0
votes
0answers
26 views

degree of determinant line bundle of pullback in terms of Chern class

I have a holomorphic map $f: C \to X$ where $\dim_\mathbb{C}C=1$ and $\dim_\mathbb{C}X=2$. Why is $\text{deg}\det f^*TX=-c_1(X)\cdot[C]$? I'm really curious to how that negative sign shows up.
1
vote
1answer
33 views

Show this Map $f:M\rightarrow S^n$ is a Diffeomorphism

Let $M$ be a compact, connected smooth manifold of dimension $n>1$, and $f:M\rightarrow S^n$ a smooth map such that the differential $df_x:T_xM\rightarrow T_{f(x)}S^{n}$ has full rank $= n$ for all ...
0
votes
0answers
20 views

curvature of a curve varying with time

Just wanted to know is there any literature available for the following problem. I have two points in 2d and I want an actuator to pass through both points. I want to find how the curvature varies ...
1
vote
0answers
16 views

Is the natural map $\Omega^*(M)\otimes \Omega^*(F) \rightarrow \Omega^*(M\times F)$ injective?

As I self-study Bott and Tu 's Differential Forms in Algebraic Topology, I am stopped by some quite basic questions: 1) Let $M$ and $F$ are real manifolds, and let $\pi : M\times F \rightarrow M$ and ...
0
votes
1answer
24 views

Connected components of the complement of a closed geodesic on a hyperbolic surface.

Let $M$ be homeomorphic to a 2-sphere with a finite number $\geq 3$ of points removed. This implies that $M$ can be equipped with a complete, finite area hyperbolic metric. I imagine $M$ as an ideal ...
2
votes
2answers
40 views

Differential on a product space as sum of differentials

I would like to derive a rule for differentiating maps of the form $h(f(\bullet),g(\bullet))$ on smooth manifolds which is equivalent to partial differentials of multi-variable functions on $\mathbb ...
2
votes
1answer
60 views

Is complex projective space simply connected?

I know real projective space isn't simply connected, what about complex projective spaces?
0
votes
0answers
18 views

why bisector isn't totally geodesic

Assume we are in the mostow's setup. We have a complex n dimensional ball, consider two fixed points and the set of points with same distances with both points. It's a 2n-1real dimensional surface. ...
1
vote
1answer
28 views

Differential of a multi-variable map

This is something that I find is always a bit vague in differential geometry and would be very glad if someone could give me a definite rule. Here is a prototype example of what I want to compute. ...
3
votes
0answers
80 views
+50

Why is $a_{n}(x,y)=a_{n}(y)$?

This particular question is connected (with a slight variation in the definition of $g$) to an earlier question. The link is here. The specifics are: Given that $u(x,y)$ is the solution of a PDE ($x$ ...
2
votes
1answer
83 views

Is there a nice/clever way to visualize $\mathcal{S}\times \mathbb{R}^2$?

The (velocity) phase space of a double pendulum can be seen as the tangent bundle of its configuration space ($\mathcal{S}^1\times\mathcal{S}^1$), that is: ...
1
vote
1answer
66 views

What makes a Lie Group a Differentiable Manifold?

I've recently been trying to glance at the definition of a Lie group, but I'm not clear as to why a Lie group is defined the way it is, and why this becomes a smooth manifold. For example, if we have ...