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)

1
vote
0answers
49 views

Can the closure of a geodesic chart of a manifold without boundary (and with bounded geometry) be defined as a compact manifold with boundary?

Let $(M,g)$ be a $d$-dimensional smooth, riemannian manifold without boundary, which is geodesically complete, connected, has positive injectivity radius and a bounded geometry (i.e. all derivatives ...
1
vote
0answers
38 views

Invariant characterization of vector bundles associated to a principal bundle?

I have two related questions. Suppose I have a principal $G$-bundle $P\xrightarrow{\pi} M$. The usual construction of an associated vector bundle goes as follows. Fix some representation $\rho : ...
1
vote
0answers
27 views

Ribbon Surfaces and Legendrian Graphs on Contact 3-manifolds.

Let $M=(M, \xi)$ be a contact 3-manifold. I am trying to show that every Legendrian graph L (i.e., a graph embedded in $M$ so that it is everywhere-tangent to the contact planes) admits a ribbon ...
1
vote
0answers
48 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 ...
1
vote
0answers
44 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 ...
1
vote
0answers
45 views

Reference Request for differential ideals of Pfaffian forms on jet bundles

My setting is the following: Given two families of differential forms $\omega^i$ (with $i=1,...,m$) and $\mathrm d F^j$ (with $j=1...n-m$), define $$\eta^i := \sum_{j=1}^m a^i_j\omega^j + ...
1
vote
0answers
45 views

Curve and Constant Curvature

I have initial position vector $p_0$, given curve-linear length $1$. It can be parameterized by $s\in[0,1]$. Assume we have the equation to generate the curve from given starting point and constant ...
1
vote
0answers
53 views

differential form: a question in Novikov's book

I met a problem when reading the book of Novikov et al. "Modern geometry, vol 1". In page 200 of the book (GTM 93, English version), they say for 2-form $F$, $$ (F\wedge F)_{0123}=-{1\over ...
1
vote
0answers
41 views

Which part of differential geomety uses metrization theorems?

I learned three metrization theorems last year, which are Nagata-Smirnov,Smirnov and Bing. I thought these theorems are purely topological theorems, but i recently saw a post which says these ...
1
vote
0answers
21 views

Mean curvature of even order

I read Antonio Ros, Compact Hypersurfaces with Constant Higher Order Mean Curvatures,1987. I don't understand following sentence from the second page 6th line. From the Gauss equation, we have ...
1
vote
0answers
44 views

Equation of a curve with a local minimum fixed at $x=a$ when we rotate the curve about the origin.

We have a strangely curved plank. If we place a round weighted object on it, it will rest itself at one point of it, when we incline the plank slowly, the object will gradually move towards a ...
1
vote
0answers
73 views

curvature of a plane curve

I'm trying to prove the formula to calculate the curvature of a plane curve. But I end up with the wrong sign and can't figure out why: I want to proof $\kappa(t) = \frac{\dot c(t) \cdot \ddot ...
1
vote
0answers
51 views

Gauge covariant derivative on principal bundle over $\mathbb R^d$

I try to understand the physical definition of covariant derivative in gauge theories in terms of the exterior covariant derivative of vector-valued forms defined as the horizontal projection wrt a ...
1
vote
0answers
106 views

Integrability of 1-forms and Stokes' Theorem

Let $\alpha$ be a $1$-form defined on a manifold $M$ and $\Delta = ker (\alpha)$. The classical theorem of Frobenius says that $\Delta$ is integrable if $\alpha \wedge d\alpha =0$ i.e if $d\alpha$ is ...
1
vote
0answers
48 views

A question about the boundary points of manifolds.

A topological $n$-manifold is a second countable Hausdorff space such that every point has a neighbourhood which is homeomorphic to an open ball centred at the origin in $\Bbb{R}^n$. The "centred at ...
1
vote
0answers
137 views

Manifold has uncountable many smooth stuctures if it has one

This is the Problem 1-6 of John Lee's Introduction to smooth manifold: Let $M$ be a nonempty topological manifold of dimension $n\geq1$. If $M$ has a smooth structure, show that it has uncountably ...
1
vote
0answers
82 views

Parallel Transport of Geodesic Velocity Vectors

Given a Riemannian manifold $M$ with Riemannian metric $g_{x}:T_{x}M\times T_{x}M\rightarrow\mathbb{R}$ and distance $d:M\times M\rightarrow\mathbb{R}$ determined by length of minimizing geodesics, ...
1
vote
0answers
34 views

Why are the charts in this set all $C^\infty$-related?

I'm reading the first volume of Spivak's differential geometry series, and am having a tough time convincing myself of something mentioned in the proof of Lemma 1, Chapter 2. Let $M$ be an ...
1
vote
0answers
61 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
0answers
57 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 ...
1
vote
0answers
61 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 ...
1
vote
0answers
51 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
0answers
51 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
0answers
21 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 ...
1
vote
0answers
88 views

Implicit Function Theorem (Two Variables)

While reading through a paper I came a cross a result (due to the Implicit Function Theorem) that I cannot derive. Let $u(x,y)$ be the solution of a PDE ($x$ and $y$ are independent variables). We ...
1
vote
0answers
118 views

Preimages of smooth maps between manifolds

Suppose $M$ and $N$ are both compact, connected, oriented $m$-manifolds without boundary and $f: M \to N$ is smooth. What additional condition(s) must $f$ satisfy so that there exists at least one ...
1
vote
0answers
52 views

Two isomorphisms of the space of vector fields/forms

Suppose you have a diffeomorphism $$ \phi: M \to N. $$ As far as I understand, this gives rise to two distinct isomorphisms $$ a : \mathcal A^1(M) \cong \mathcal A^1(N) :b $$ between the space of ...
1
vote
0answers
27 views

Why does the exceptional Lie group $G_2$ have dimension 14?

In ''Compact manifolds with special holonomy" by D. Joyce, on p. 242, the group $G_2$ is defined to be the subgroup of $GL(7,R)$ preserving the $3$-form: $$ \varphi_0 := dx_{123} + dx_{145} + ...
1
vote
0answers
73 views

Reference for construction on Riemannian Manifolds

I would like to know a book or an article where the connected sum of Riemannian manifolds is explained with some detail. I roughly know how to do the construction but I want to be able to check a more ...
1
vote
0answers
61 views

Banach Tarski paradox in Minkowski space

The Banach - Tarski paradox states: 'A three-dimensional Euclidean ball is equidecomposable with two copies of itself.' My simple question is: Does this paradox hold his validity also in the Minkowski ...
1
vote
0answers
77 views

Shape operator and orthogonality of eigenvectors

When studying differential geometry (at a hobby level) I always run into problems when it comes to the varying notations and statements about the shape operator ...
1
vote
0answers
34 views

Sectional curvature of orbits generated by an isometric action

Let $G$ be a connected Lie group acting isometrically on a pseudo-riemannian manifold, $M$. I need a practical way to calculate the sectional curvature of the orbits at any point. Actually, I have ...
1
vote
0answers
41 views

normalized mean curvature flow with convex initial hypersurface has finite velocity

I can't understand the prove in [Xi-Ping Zhu] Lectures on mean curvature flows. The statement as follow. Lemma 3.5 (page 32) There exists a positive constant $C$ such that ...
1
vote
0answers
59 views

Finding curve that minimizes an integral due to constraints

In the euclidean plane I want a smooth curve $\gamma (t)$ which satisfy:$$\gamma (0)=(0,0)\quad\quad \gamma '(0)=(1,0)\quad\quad n\in \mathbb{N}\land n\neq 1\Rightarrow \gamma ^{(n)}(0)=(0,0)\\\gamma ...
1
vote
0answers
59 views

How to improve the isometric immersion of a $n$ dimension conformal metric of one variable conformal factor to be less than $2n-1$ dimensions?

Given a conformal metric $ds^2 = \omega(x_n)(dx_1^2+dx_2^2+\cdots + dx_{n-1}^2+ dx_n^2)$ in $\mathbb R^n$ with conformal factor of one variable $\omega(x_n)$, does there exist an isometric immersion ...
1
vote
0answers
34 views

Proving that a function is a $C^\infty$ submanifold in $\Bbb{R}^2$ of dimension 1

We need to prove that for all $c\in\Bbb{R}$ the set $\{x\in\Bbb{R}\,\colon\, g(x)=c\, \}$ is a $C^\infty$ submanifold ($g\,\colon\,\Bbb{R}^2\rightarrow \Bbb{R};(x_1,x_2)\mapsto x_1^3-x_2^3$) in ...
1
vote
0answers
48 views

Relation between principal bundle automorphisms and maps in $\Lambda^0(M,Ad(P))$

Let $ G \hookrightarrow P \xrightarrow{ \pi } M $ be a principal $ G $-bundle over $M$. Denote by $\mathrm{Ad} (P) = P \times _{ \mathrm{Ad} } G $ the non-linear adjoint bundle. It seems to me that ...
1
vote
0answers
28 views

How to create a simple closed curve homotopic to the trefoil knot?

How to create a simple closed curve that is homotopic to the trefoil knot $\overrightarrow{\alpha} (t)= \left ( \left (3+ \cos (3t) \right) \cos (2t),\left (3+ \cos (3t) \right) \sin (2t),\sin (3t) ...
1
vote
0answers
29 views

Any elementary derivation of the Pfaff integrability condition?

Suppose in $\mathbf{R}^N$ we have a one-form field, $ \theta = \sum_{i=1}^N \theta_i d x_i $. The Pfaff integrability condition is $d \theta \wedge \theta = 0$. Is it possible to give an ...
1
vote
0answers
40 views

Computing geodesic distances from structural data

I am attempting to compute geodesic distances on manifolds where structural data have been sparsely sampled. First, off I am not well versed in the mathematics of differential geometry but I do have ...
1
vote
0answers
47 views

Stoke's theorem explanation

Firstly, Wikipedia informs me that Stoke's theorem might mean two different things so I'm pretty sure I'm talking about the general one. I'll just state what I understand from it and I'd like someone ...
1
vote
0answers
25 views

Citing a result on obstruction to Lagrangian Embedding

Let $L$ be a closed orientable Lagrangian embedding in $\mathbb C^n$. Then $\chi(L) = 0$, where $\chi(L)$ denotes the Euler characteristic of $L$. This fact is more or less stated in section 3.2 of ...
1
vote
0answers
30 views

arbitrary reparametrization

Let $\alpha: (a,b)\rightarrow \mathbb{R}^n$ of class $C^{\infty}$ with $\Vert\alpha^{\prime}\Vert>0 $ then if $\{ k,m,n\} \subset \mathbb{R}_+$ there repametrizacion $\beta: (m,n)\rightarrow ...
1
vote
0answers
29 views

Equivalence between pullback connections of smoothly homotopic maps

Let $f,g:M\rightarrow N$ be smooth maps between smooth manifolds such that there exist a smooth homotopy $H:M\times [0,1]\rightarrow N$ between them. If we have a principal bundle $P\rightarrow N$, we ...
1
vote
0answers
92 views

differential forms and orientation in Bott and Tu

I am reading Bott and Tu book on my own. If you have the text you can answer my question perhaps, if not it would be too long to explain it. I have gotten to page 29. I am confused about proposition ...
1
vote
0answers
62 views

All differentiable functions on $\mathbb{S}^n$

Consider the sphere $\mathbb{S}^n$ embedded in $\mathbb{R}^{n+1}$. Let $N$ be the north pole of the sphere and $S$ the south pole. Every point on $\mathbb{S}^n \backslash \{N,S\}$ is defined uniquely ...
1
vote
0answers
32 views

prove that ''pullback'' maps forms to forms

Suppose we have $A: V_{1}\to V_{2}$ where $V_{1},V_{2}$ are real vector spaces. Then $A^{\star}:\mathcal{J}^{k}(V_{2})\to \mathcal{J}^{k}(V_{1})$ where $\mathcal{J}(V):=\{\text{space of all ...
1
vote
0answers
25 views

Polynomial generator

If we let $\alpha$ be a multiindex, can we generate any polynomial in $\eta$ with coefficients as multiples of $\kappa$ $$ D_z^{\alpha}\text{exp}(i(\kappa(z)-\kappa(x)-\kappa'(x)(z-x))\eta)|_{z=x} $$ ...
1
vote
0answers
93 views

Sections of the dual bundle of a smooth vector bundle

Let $M$ be a smooth manifold and $E,F,G$ smooth vector bundles over $M$. Denote the global sections by $\Gamma(.)$. In this question, it is proven that the canonical map ...
1
vote
0answers
50 views

integral of a 2-form over an oriented manifold

An old exam question: Let $M$ be oriented submanifold of $\mathbb{R}^{n}$ of dimension $k$, let $\omega$ be a $k$-form on $M$. 1) Define $\displaystyle\int_{M}\omega$ 2) let ...