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

Does this lemma have a name or where can I find a proof?

Does the lemma at the bottom of this page have a name? Or could someone give me an idea of where I can find a proof? In case you can't access the link: Lemma $\ \ $ If $g$ is of class ...
1
vote
0answers
83 views

Characteristic class integral: on what manifold does $\int c_1 \wedge w_2 = \int c_1 \wedge c_1$ hold?

Characteristic class integral: when does the equality hold $\int c_1 \wedge w_2 = \int c_1 \wedge c_1$, on what manifolds? Here $c_1$ is the first Chern class. Here $w_2$ is the 2nd ...
1
vote
0answers
60 views

Lie Bracket of vector fields on Lie group

Let $H$ be a Lie group and $\mathfrak{h}$ its Lie algebra. Given a smooth function $v: H \to \mathfrak{h}$, define the vector field $\bar{v} : H \to TH$, $h \mapsto d(R_{h})_{e} v(h)$, where $R_{h} : ...
1
vote
0answers
39 views

Torsion of an asymptotic curve with nonzero curvature

I wish to solve the following problem using the matrix of the shape operator $S_{P}$. Suppose $K= \text{det} S_{P} <0$, and $C$ is an asymptotic curve with curvature $\kappa (P)$ nonzero. I want to ...
1
vote
0answers
89 views

double Hodge star operator

$*$ is the Hodge star operator acting on differential $k$-forms on $\mathbb{R}^{n}$ as below: $$*:Λ^k(\mathbb{R}^{n}) \to Λ^{n-k}(\mathbb{R}^{n})$$ $$\alpha \wedge (\star \beta) = \langle ...
1
vote
0answers
33 views

Make differential 1-form invariant for lift to universal cover

Suppose $ F : M \to M$ is diffeomorphism of smooth manifold $M$, and suppose $F^* \nu = \nu$ for differential 2-form $\nu$. Let $p: \tilde{M} \to M$ denote universal cover of $M$, and suppose $p^*\nu$ ...
1
vote
0answers
31 views

Reference request: foliations

I am looking for a gentle introduction to foliations for smooth manifolds, but I have a hard time finding a textbook explaining this notion. Wikipedia's links are also to articles. Is there any ...
1
vote
0answers
34 views

homotopy via isotopy

Is it possible to realize a homotopy between two vector bundles (which are sub-bundles of the tangent bundle) over the same base $B$ as induced by an ambient isotpy? In other words, assume $X_t $ is a ...
1
vote
0answers
17 views

Is $z^2 = x^2 \cos y + 1$ an orientable surface?

So I can find one parametrization $\phi (u, v) = (u, v, \sqrt{u^2 \cos v + 1})$ which only does have of it. So now I need to find another parametrization which overlaps non trivally with $\phi.$ I ...
1
vote
0answers
41 views

Divergence of twice contravariant tensors

In a precedent topic (which can be found here : Relationship between divergence operators defined with respect to two different volume forms. ), I asked the question of the relationship between the ...
1
vote
0answers
55 views

$\mathbb{C}P^1$ diffeomorphic to $S^2$

I am trying to show that the complex projective line is diffeomorphic to the 2-sphere. I'm using the $C^{\infty}$ structure on $\mathbb{C}P^1$ given by $U_1 = \{ [z_1 : 1], z_1 \in \mathbb{C} \}$, ...
1
vote
0answers
67 views

On the Chern connection

It is well kown that If $\,\bar\partial_E$ defines a holomorphic structure on the complex vector bundle $E \to X$ and $K$ is a hermitian metric on (the fibres of) $E$, there is a unique connection ...
1
vote
0answers
50 views

Using the results of the local immersion/submersion theorems on manifolds

When $X,Y$ are $k$- and $l$-manifolds, we can have a function $f:X\rightarrow Y, x\in X$ such that $f$ is an immersion resp. submersion at $x$. The local immersion/submersion theorem now says: There ...
1
vote
0answers
28 views

A question about degrees of diffeomorphisms.

Let $\partial X$ be a compact boundaryless manifold and $Y$ be a connected manifold. It is known that if $f:\partial X\to Y$ is a diffeomorphism, and $f$ can be extended smoothly to $F:X\to Y$, then ...
1
vote
0answers
55 views

Definition of the first Chern class in terms of the Ricci form

From B, B & S - String Theory and M-Theory: What does the square bracket mean? Obviously since $\mathcal{R}$ is a form and $c_1$ is a number, $[.]$ has to be an operator on forms ...
1
vote
0answers
36 views

Lie Bracket, Hopf Fibration, independence of choice

Let $S^3$ be the standard sphere (with the metric induced from $\mathbb{R}^4$) and $\pi\colon S^3\rightarrow \mathbb{C}P^1$ the hopf fibration. Equip $\mathbb{C}P^1$ with the Fubini-Study metric so ...
1
vote
0answers
38 views

Any hint to show this flow property?

I just wonder if someone might help with this exercise. Let $X$ be a vector field on a compact smooth manifold $M$ and let $\phi_t$ be the flow of $X$. Show that for all $x \in M$, then ...
1
vote
0answers
39 views

Adjoint representation of the isotropie group of a homogeneous space

I have difficulties seeing why is the following true: Let $G$ be a lie group and $H$ a closed subgroup, with $\tilde{g}$ and $\tilde{h}$ their lie algebras. The adjoint action of $g\in G$ is given by ...
1
vote
0answers
43 views

Fundamental solution of Laplacian on manifold

I'm looking for a reference for the result that there exists a fundamental solution for the Laplacian on a flat torus $$\Delta \Gamma(x-y) = \delta(x-y), \quad x,y \in \mathbb T^2.$$ and that, ...
1
vote
0answers
110 views

How to Compute the Torsion and Curvature of a Parametric Curve

So I have a parametric curve $\bf{r}=${$x(n),y(n),z(n)$} such that the functions $x(n)$, $y(n)$ and $z(n)$ are polynomials of $4$-th degree. I have several of these curves, and I want to calculate the ...
1
vote
0answers
55 views

on special Kähler manifolds

Take Lie group $G$ with some hypotheses (compact, connected, semi-simple); call $T$ its maximal torus, its Lie algebra $\operatorname{Lie}(G)=\mathbf g$, its Cartan subalgebra ...
1
vote
0answers
50 views

The uniqueness of the Einstein metric on $\mathbb CP^n$

Is the Fubini-Study metric the unique Einstein metric (up to scaling by a constant) on $\mathbb CP^n$? More restrictively, Is the Fubini-Study metric the unique Kahler-Einstein metric (up to scaling ...
1
vote
0answers
17 views

Topology of the intersection of toric arrangement

Hope someone will help me in the solution of the following question. I'm working on some topological problem involving the topology of the intersection of some characters of the torus. I want ot find ...
1
vote
0answers
55 views

Are the principal curvatures on a surface always smooth?

It's easy to show that the principal curvatures on a surface are smooth away from umbilic points since we may write a expression for them using the Gauss curvature and the mean curvatures, locally. ...
1
vote
0answers
29 views

Ricci scalar algebra

Is this derivation correct? If $R=0$, $R$ being the scalar curvature, then: $$R_{;k}=0$$ $$(g^{ac}g^{bd}R_{abcd})_{;k}=0$$ $$g^{ac}g^{bd}(R_{abcd})_{;k}=0$$ $$R_{abcd;k}=0$$
1
vote
0answers
20 views

How do I determine sufficient conditions for the existence of the solution of an initial value problem?

Suppose that $f$ is a smooth function from $\mathbb R^{3}$ to $\mathbb R$ with $f(0,0,0)=0$. Under what sufficient condition will the differential equation $f(x,y,y')$ have a solution satisfying the ...
1
vote
0answers
87 views

measuring the curvature of a pringle

Assuming for the sake of argument that a pringle shaped potato chip has a constant negative curvature, (which according to http://math.stackexchange.com/a/617610/88985 it is not ) see also picture ...
1
vote
0answers
43 views

Principle Lines of curvature

In the text by Manfredo P. Do Carmo entitled Differential Geometry of Curves and Surfaces, an analysis of the principle directions is made near a non umbilic point on pp 160-161. I have followed his ...
1
vote
0answers
55 views

Why do we need an orientable surface for Gauss map?

I'm learning Differential Geometry recently with do Carmo's book. In the book, Gauss map is define as a differentiable map from an orientable surface $\mathcal{S}$ to $S^2$ in such a way that for ...
1
vote
0answers
28 views

$d+\Gamma$-understanding connections

$d+\Gamma$ is a formula commonly found in textbooks when one reads about connection. To be more precise: if $U$ is an open set over which a given vector bundle $E \to M$ is trivial then a coonection ...
1
vote
0answers
51 views

On Yau's (and Schoen's) proof of the positive mass theorem

I would like to face the proof of the positive mass theorem by Yau and Schoen. I have a Bsc in Mathematics and a Msc in Theoretical Physics and I'm preparing a PhD interview-challenge where I have to ...
1
vote
0answers
22 views

extension of a principal connection

I am trying to prove the following: Suppose that $\alpha:H\to G$ is a Lie group homomorphism and let $P\to M$ be a principal $H$-bundle and $Q\to M$ a principal $G$-bundle. Suppose further that there ...
1
vote
0answers
27 views

How do I take the inner product of these two tensors: $T^{ij}$ and $T_{ij}$

The tensors are of contravariant and covariant order two, respectively. Our teacher said something about the result being identity, or the kroneker delta $\delta_i^j$, I think, but I'm not too sure. ...
1
vote
0answers
28 views

parallel non-intersecting lines in E3

For time being I define a class of parallel lines in $ E^3 $ as lines with constant minimum distance along their common normal. Apart from helices with parametrization $ (x,y,z) = (a \cos (u) , a ...
1
vote
0answers
249 views

Computing the Fubini-Study metric

I would like to compute the Fubini-Study metric $g_{FS}$ for $\mathbb{CP}^{n}$ using as definition the metric induced from the round metric of the sphere by the Hopf fibration. I tried to compute on ...
1
vote
0answers
52 views

Naturality of Lie derivatives

It was left to me as an exercise to show the naturality of the Lie derivative of arbitrary tensors on a smooth manifold. Is the following argument correct (it seems too easy)? Let $X$ be a vector ...
1
vote
0answers
61 views

Norm equivalence of p-forms

Let $U$ be a bounded domain in the Euclid space $(\mathbb{R}^d,g)$. $g_{\wedge^p}$ denotes the fiber metric of $\wedge^pT^{\ast}\mathbb{R}^d$ derived from $g$. $A^p$ denotes the set of p- forms on ...
1
vote
0answers
83 views

Quaternion Calculus

I was reading a note on Quaternion(Link) and I am happened to read a section regarding a solution of quaternion differential equation. I am putting that segment as picture format here for more ...
1
vote
0answers
40 views

about moments of a uniform distribution on a high-dimensional ball

I need to understand how the following integrals depend on the dimension $d$; the result should be about a (negative) power of $d$. Let $\mathbb{B}^d$ be the $d$-dimensional ball of radius $1$, ...
1
vote
0answers
25 views

How do I map Df(w) to it's [lie] group/algebra representation?

E.G. For $p,w\in(\mathbb{R}^3,+,\times_\vartheta)$ with $(\mathbb{R}^3,+)$ a vector space and with $p=(r,s,t)$, $w=(x,y,z)$ where we have $p\times_\vartheta ...
1
vote
0answers
77 views

What does this operator $\odot$ mean

I read this about the second fundamental form in Wikipedia and I’ve no idea what does $\odot$ mean? Does anybody know? $$II=-dN\cdot dP=\omega^3_1\odot\omega^1+\omega^3_2\odot\omega^2$$
1
vote
0answers
33 views

Sign of Laplacian in a N-Dimensional Space Under Other Specific Conditions

Consider that $f: \mathbb{R}^N \to \mathbb{R} $ is infinite times differentiable and is smooth over the entire domain. Take $N$ to be large. Also at point $\mathbf{x_0}$: $$ ...
1
vote
0answers
123 views

Is Hodge star operation can be understood as contraction after tensor product of a $p$-form with the volume element?

By defintion, the Hodge star of a $p$-form $\omega_{a_1\cdots a_p}$ on a $n$-dimensional manifold is given by $*\omega_{b_1\cdots b_{n-p}}=\frac{1}{p!}\omega^{a_1\cdots a_p}\epsilon_{a_1\cdots ...
1
vote
0answers
62 views

geometrical consequences of nonpositive or negative Ricci curvature.

well,that's pretty much the question. I'd like to know if somebody could point me out if there's any geometrical implications following an upper bound on the Ricci curvature on a riemannian manifold. ...
1
vote
0answers
55 views

Manifold characteristics in terms of Riemannian metric

I wonder what characteristics of Riemannian manifold can be expressed in terms of metric? Are there any results similar to Gauss–Bonnet theorem? Does the Riemannian metric give any information about ...
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 ...