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
1answer
32 views

What is the hyperbolic plane equivalent to translation in euclidean space

in euclidean plane one can move polygons like rectangles, triangles etc. around by isometries, e.g. translations. For instance if we consider a rectangle with midpoint $0\in\mathbb{R}²$ then the image ...
3
votes
0answers
44 views

How does a differential act when we identify $T_p(M\times N)\cong T_{p_1}M\times T_{p_2}N$?

It's fairly common to identify the tangent space of a product manifold as $$ T_p(M\times N)\cong T_{p_1}M\times T_{p_2}N $$ where $p=(p_1,p_2)$, and the actual isomorphism is given by $v\in ...
4
votes
0answers
41 views

Exponential of a polynomial of the differential operator

Given that $$\exp(aD)f(x)=f(x+a)$$ where $\exp(D)$ is the exponential of the differential operator $D$, is there a similar closed-form, general expression for $\exp(g(D))f(x)$, where $g(D)$ is a ...
0
votes
0answers
25 views

Gauss-Bonnet on negative surface

How is Gauss-Bonnnet theorem verified on a pseudosphere between cuspidal equator and its far-off centre on its symmetry axis? Should integral kg ds be zero in the limit at cusp of horn as a limiting ...
2
votes
0answers
31 views

Transition Functions for Cartesian Coordinate Systems

This is my first time using Mathematics SE (I've only used Physics and Astronomy before), so I apologize if this question is awkwardly phrased or incorrectly presented. I welcome any and all edits and ...
1
vote
2answers
76 views

The principal curvatures of a surface of revolution

The principal curvatures of the surface at a point is defined as the maximal and the minimal curvature among all normal sections. It's claimed (say, on Stillwell's Geometry of Surfaces) that for a ...
2
votes
1answer
37 views

1D manifold is diffeomorphic to $\mathbb R$ or to $S^1$

In his ODE classic V.I. Arnold considers easy to see (легко видеть) that every one-dimensional (connected and without boundary) differentiable manifold is either diffeomorphic to $\mathbb R$ (if it is ...
1
vote
0answers
38 views

differential of $f:X\to\Sigma$ as an elliptic surface,

Let $X$ be an algebraic surface surface and $\sum$ an algebraic curve, and assume, $f:X\to\Sigma$ be an elliptic surface, my question is Why the differential $df$ can be viewed as an injection of ...
13
votes
1answer
274 views

Can we generalize the regular value theorem even beyond the Ehresmann's theorem?

The formulation is complicated, but the answer may be some clever usage of the partition of unity, because locally the answer is given by the regular value theorem and the whole problem is to glue it ...
2
votes
1answer
27 views

Relation between geodesics and exponential map for Lie groups

I've been trying to find a clear explanation on the Internet but failed unfortunately, so I'm asking here. How does the exponential map relate to parallel transport and geodesics for Lie groups. If it ...
3
votes
2answers
99 views

$\Delta \vec{v}=0$ implies $\nabla\cdot \vec{v}=\nabla\times \vec{v}=0$?

\begin{align} \Delta\overrightarrow{v}&=\nabla(\nabla\cdot\overrightarrow{v})-\nabla\times(\nabla\times\overrightarrow{v})\\ ...
1
vote
0answers
29 views

Definition - Logarithmic Zeros and Algebraic Vector Fields

In Algebraic Geometry, what is the difference between an algebraic vector field and a derivation (are they completely different or synonymous)? What does it mean to say an algebraic vector field has ...
0
votes
1answer
27 views

Solution of eikonal equation is locally the distance from a hypersurface, up to a constant

Consider the Eikonal equation (with right handside 1) $$\sum_{i=1}^{n}(\frac{\partial u}{\partial x_i})^2=1$$ I want to see why any solution to this is locally the sum of a distance function from a ...
2
votes
1answer
33 views

The curvature of a Cycloid at its cusps.

My lecturer proposed a question to particular result regarding the curvature of a Cycloid (generated by circle of radius 1) at its cusps. Having left it as an open problem, I thought it'd be ...
1
vote
3answers
67 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: ...
0
votes
2answers
36 views

Given a measurable vector field, construct another such that together they form a basis at every point

Let $v_1:(0,1)\rightarrow \mathbb{R}^2$ a measurable function such that $v_1(x)\neq 0$ for all $x$. I wonder if it is possible to construct a measurable function $v_2:(0,1)\rightarrow \mathbb{R}^2$ ...
0
votes
1answer
23 views

Compute the isotropy representation

Suppose $SU(1,1)$ acts on the open unit disc $\mathbb{D}$ in the natural way, by linear fractional transformations. The isotropy group is $U(1),$ since it stabilizes the point $0.$ I am trying to ...
1
vote
1answer
53 views

Definition of a parallelizable manifold

My text that I am self studying from says that a manifold $M$ is parallelizable if it has a trivial tangent bundle which means that there is an isomorphism $\varphi:M\times \mathbb{R}^n\rightarrow ...
9
votes
1answer
576 views

Geometric intuition for the Weingarten map

Parameterize a hypersurface $M$ by $r: \Omega \rightarrow \mathbb{R}^n$, and let $T_p M$ denote the tangent space at $p = r(u)$. We define the Weingarten map to be the linear map $L_p : T_p M ...
1
vote
1answer
64 views

Riemannian Submerssion

I am reading John Lee's Riemannian Geometry Chapter 3, and I want to do some exercises. I think that I need some hints to solve the following: (Problem 3-8 of that book) Suppose $M$ and $N$ are ...
1
vote
1answer
20 views

Proof, that equation decribes trace of curve, which is supposed to be simple

The equation, representing the trace of the curve $$ \varphi(x) = (\cos^3(t), \sin^3(t)) $$ is $1 = x^{\frac{2}{3}} + y^{\frac{2}{3}}$. Proof: Let $(x,y) = (\cos^3 t, \sin^3 t)$, then $x^{1/3} = ...
1
vote
2answers
67 views

Finiteness of fixed points of a Lie group action

Let $\psi: G\rightarrow \mathrm{Diff}(M)$ be a smooth non-trivial action of a compact connected Lie group $G$ on a compact connected smooth manifold $M$. Under which assumptions there will be a ...
0
votes
1answer
20 views

Ways to represent functions of bounded variation as the difference of two monotone functions

I learnt (it is called Jordan's representation theorem) that every function $f : [a,b] \to \mathbb R$ with bounded variation could be represented as the difference $f = g - h$ of two monotone ...
-1
votes
0answers
33 views

Finding the geographical coordinates

I have two circles $C_1$ and $C_2$ on the surface of the earth (sphere) intersecting at geographical coordinates $A$ and $B$ and also center of $C_1$ lies in $C_2$ and vice versa. I want to find the ...
1
vote
1answer
49 views

Definition of Null Hypersurface

I am a physics student confused with the notion of null hypersurface, so sorry if this question is very simple. Given a manifold $M$ and a hypersurface $H$ defined on it, we can always take the ...
3
votes
2answers
59 views

Intuition for the compactness of real projective space $\mathbb{R}\mathbb{P}^n$.

I want to have an intuition for why the $n$-dimensional real projective space defined as $$\mathbb{R}\mathbb{P}^n:=\mbox{set of 1-dimensional subspaces of }\mathbb{R}^{n+1}$$ is compact. I don't see ...
1
vote
2answers
58 views

Explanation of non-orientability of the Möbius band

I have read about the orientation of manifold in the Tu's book. The book is very readable but the first example about non-orientable manifold is seemly hard to understand. On page 208, he gave an ...
2
votes
1answer
52 views

If $b$ is a regular value of $f$, $f^{-1}(-\infty,b]$ is a regular domain?

I'm trying to prove the first part of Proposition 5.47 of Lee's Smooth Manifolds, which is left to the reader. It says Suppose $M^m$ is a smooth manifold, and $f\colon M\to\mathbb{R}$ smooth. For ...
0
votes
1answer
76 views

Compute the derivative of Plucker Embedding

Let V be an n-dimensional vector space over $\mathbb{R}$, and $$\Psi: G(k,V)\rightarrow \mathbb{P}(\Lambda^k V)$$ be the Plucker embedding, where $$L=span \{u_1, ..., u_k\} \mapsto \Psi(L)=[u_1 ...
2
votes
1answer
24 views

Question about hyperbolic space-forms

I have a map between hyperbolic space-forms $\varphi:B^n/\Gamma \longrightarrow B^n/H$ (where $\Gamma, H$ are discrete groups of isometries that act freely), and a lift to a map $\tilde{\varphi}:B^n ...
3
votes
3answers
70 views

Point on an ellipsoid closest to line

The $2D$ case is not a problem: $$\ P(t) =(x,y)= s + t v = <s_x+tv_x, s_y+tv_y> $$ $$\ F(x,y) = (\frac{x}{a})^2 +(\frac{y}{b})^2 -1 = 0 $$ $$ \nabla F(x,y).v =0 $$ Finally solve for $y$ in ...
2
votes
1answer
101 views

Modern mathematics for dummies

I have poor university mathematical education, but Math fascinates me, so I decided to educate myself for a bit. I know there is a dozen modern mathematical fields I know nearly nothing about like ...
0
votes
0answers
38 views

Hard Lefschetz Thereom and the Cohomology of Flag Varieties

Let $G$ be a compact connected connected Lie group $G$, and $B$ a Borel subgroup containing a maximal torus. Moreover, let $F = G/B$ be the associated flag manifold. Now $F$ is a compact Kahler ...
0
votes
0answers
19 views

Constrained optimization using a cutting plane on a tetrahedron

Consider the figure below where $(a,b,c,d)$ is a tetrahedron and $p=(1-t)a+tb$ is a point on the $ab$ segment. If $n_a$ and $n_b$ are two unit vectors associated with $a$ and $b$, respectively, then ...
2
votes
1answer
37 views

Differential Form Over $S^2$

I was checking problems on differential forms and I found the following one. Consider the sphere $S^2 \subseteq R^3$ and the map $\omega_p : T_pS^2 \times T_pS^2 \rightarrow \mathbb{R}$ given by ...
0
votes
1answer
34 views

Show that a set is a smooth curve and find a parameterization for it.

Let $S = \{ (x,y,z) \in \mathbb{R}^3 \mid x - yz + z^3 = 0 \}$. Let $\pi: \mathbb{R}^3 \to \mathbb{R}^2$ be such that $\pi(x,y,z) = (x,y)$. Let $H = \{p \in S \mid \pi_{\mid S}: S \to \mathbb{R}^2 ...
6
votes
1answer
78 views

Is this a manifold?

I am trying to get started with differential geometry, and am having a difficult time wrapping my head around the concept of a manifold. One thing that would make it easier to understand would be if ...
17
votes
2answers
306 views

Convex surface on which any two points $a,b$ can be joined by a curve of length $(\pi/2-\epsilon)|a-b|$

I am trying to solve an exercise on page 13 of the book Metric structures on Riemannian and non-Riemannian spaces by Gromov. Construct a closed, convex surface $X$ in $\mathbb R^3$ such that any ...
2
votes
0answers
29 views

How to calculate the Maurer-Cartan form in the adjoint representation?

While I am reading a paper, I come across a difficulty. Here, we have a Lie group and we know its Lie algebra defined as $[G_a,G_b]=f_{ab}^{\phantom{ab}c}G_c$ with $G_a\in\mathfrak g$. Under the ...
0
votes
0answers
37 views

Soft question:what are the prerequisites for this book?

I got an advice to read the book 《Topological Methods in Algebraic Geometry》 written by Hirzebruch,but I am not sure whether it's appropriate for me at this time. Have anyone ever read this book?What ...
4
votes
3answers
115 views

Kernel of the Laplacian on a compact manifold

Is there a way to characterise the kernel of the Laplace-Beltrami operator on a compact manifold without boundary? Or is it just "the set of functions $u$ such that $-\Delta u = 0$?"
4
votes
0answers
42 views

The Kähler form and the anticanonical line bundle

Let $M$ be a Kähler manifold. We say that $M$ is Fano if the anticanonical line bundle $K_M^*$ of $M$ is ample (or positive). On the other hand, I sometimes see the following definition (or ...
1
vote
1answer
25 views

Questino about integration of differential forms

Here is the theorem about the integration of two-forms in Edwards' "Advanced Calculus" The definitions of "charts" in this theorem are given here. What I do not understand about the Theorem is ...
0
votes
1answer
36 views

About $C^{0}$ being topological manifold

Is that the reason why $C^{0}$ being topological manifold due to that $C^{0}=\phi$ which contains nothing? Correct me if I am wrong. I am new to differential topology.
3
votes
2answers
81 views

Symmetry group of the vector field $V=x \partial /\partial x + y \partial /\partial y$

I was trying to solve an exercise in one of Arnold's book that asks for the symmetry group of the vector field $V=x \partial /\partial x + y \partial /\partial y$, that is the diffeomorphisms $g$ of ...
5
votes
1answer
142 views

Who invented the Riemann Sphere?

I have seen suggested that someone other than Riemann first came up with the Riemann Sphere. Is this correct? And if so, who did invent it?
7
votes
0answers
227 views

Hodge-Star-Operator on arbitrary oriented basis

Assume that $V$ is oriented finite dimensional vectorspace with dimension $n$, $g \in T^0_2(V)$ a given symmetric and nondegenerate tensor. Let $\mu$ be the corresponding volume element of $V$. ...
0
votes
0answers
38 views

Constant curvature geodesic circles on a surface with constant Gauss curvature

Referring to: Curvature of geodesic circles on surface with constant curvature, Is it possible to combine further the last two of the three equations in the link given above into a single ODE / PDE ...
0
votes
3answers
149 views

curvature of helix

Here is the curve of a helix parametrized by its arc length $\alpha(s) = ( a\cos(\frac{s}{c}), a\sin(\frac{s}{c}), b(\frac{s}{c}) ), s \in \mathbb{R}$ such that a$^2$ + b$^2$ = c$^2$. The curvature ...
0
votes
0answers
33 views

$(1,0)$-forms on a complex manifold

I'm reading in a paper: "Let $\theta$ be a $(1,0)$-form with respect to $I$ ($I \theta = -i \theta$)". Here $I$ is the almost complex structure. Any idea why it says $I \theta = -i \theta$ and not $I ...