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

Geometric Product

I have a problem with the geometric product: In my book the unit trivector is defined like this: $(e_{1}e_{2})e_{3}=e_{1}e_{2}e_{3}$ But that would mean $(e_{1}e_{2})e_{3}= (e_{1} \wedge e_{2})\cdot ...
2
votes
2answers
55 views

Part of proof that $d^2\omega=0$

The following comes from the proof in differentiable manifolds that $d^2\omega=0$. Let $f$ belong to the set of $0$-forms. From definition I have that $\displaystyle df = \frac{\partial f}{\partial ...
0
votes
1answer
28 views

Define a parametrized curve $\beta:(a,b)\rightarrow\mathbb R^3$ by $\beta(t)=\frac{d\gamma(t)}{dt}$

Let $\gamma:(a,b)\rightarrow\mathbb R^3$ be a unit speed space curve with non-vanishing curvature $\kappa(t)\neq0$. Define another parametrized curve $\beta:(a,b)\rightarrow\mathbb R^3$ by ...
2
votes
0answers
31 views

tangent spaces of manifols

I have two manifolds $E_{n}=\{([0:x_{1}:x_{2}],[y_{1}: y_{2}])\in \mathbb{C}\mathbb{P}^{2}\times \mathbb{C}\mathbb{P}^{1}\}$ e $V_{n}=\{([x_{0}:0:x_{2}],[y_{1}: y_{2}])\in ...
0
votes
1answer
30 views

Non-punctual Boundary

In the book of Bill Thurston, Three dimensional geometry and topology, there is an exercise to show torus can be partitioned into 7 countries, each on one piece and has common (non-punctual) ...
2
votes
1answer
18 views

Number of intersections of two closed loops on a genus zero surface

I have stumbled onto the following fact and I am quite helpless in seeing why this is true (although I can agree intuitively). Let $M$ be a surface of genus zero (open or closed, with or without ...
0
votes
1answer
33 views

Tangent bundle of a tubular neighborhood

Let $N \to X$ be normal bundle of a submanifold $X$ of $Y$. How can I prove that $TN|_{TX}$ is isomorphic to the normal bundle of the inclusion $TX\to TY$? And why this vector bundle is isomorphic to ...
0
votes
0answers
36 views

Arc length for a function $f:\mathbb{R}^2 \to \mathbb{R}^2.$

Assume $f:\mathbb{R}^2 \to \mathbb{R}^2$ is $C^1.$ Is there a formula for the length of the subset of $\mathbb{R}^2$ given by $$ \{f(x,y) \in \mathbb{R}^2:a_1\leq x\leq b_1, a_2\leq y \leq b_2\} ? $$ ...
6
votes
0answers
86 views

Symmetric and wedge product in algebra and differential geometry

I have been struggling with this issue for a while now (and I have asked a similar question here), but I have still not found an answer that really satisfies me. Let me start by stating what the ...
0
votes
0answers
31 views

Topology of biological compartments

In the field of cell biology, there is a general sub-field concerned with the topology of organelle membranes, and a key focus remains on how these dynamic membranes deform and interact with cellular ...
1
vote
1answer
41 views

Twisting with a degree negative line bundle

Let $X$ be a Riemann surface. Let $M_1$ and $M_2$ be two holomorphic bundles on $X$. Does injectivity of $h^0(M_1)\to h^0(M_2)$ imply $h^0(M_1\otimes L)\to h^0(M_2\otimes L)$ is injective? Where $L$ ...
3
votes
1answer
60 views

Can we measure how close a vector bundle is to being trivial?

For a vector bundle $E$, I will denote the maximum number of linearly independent global sections of $E$ by $\eta(E)$. We have $\eta(E) \in \{0, 1, \dots, \operatorname{rank}(E)\}$ and $\eta(E) = ...
1
vote
0answers
39 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 ...
0
votes
1answer
29 views

Tangent bundle of the 2-sphere

I'm reading through Tu's Introduction to manifolds and today I learned about tangent bundles and vector bundles. I was surprised to learn that $TS^2$, tangent bundle of the 2-sphere, isn't trivial ...
0
votes
0answers
26 views

Parallel Transport and Christoffel Symbol

For two near by points in General Theory of Relativity. The change in the vector components when parallel transported is given by Now, since the parallel transport change must depend on the path ...
4
votes
2answers
83 views

How to prove that all smooth vector bundles on a given vector bundle are the pull back of a vector bundle on the base

Recently, during a conversation, I heard about the result (previously mentioned also here on MO), whose statement is reported below. Not having the specific background necessary to reconstruct a proof ...
1
vote
2answers
30 views

Definition of a coordinate vector bundle

Consider the following definition of a coordinate vector bundle. Let $M$ be a smooth manifold of dimension $m$, and $\{(f, U_f)\}$ an atlas of compatible charts for $M$. A smooth coordinate ...
0
votes
0answers
18 views

Laplacian in arbitrary spherical coordinates?

assume that $f: \mathbb{R}^n \rightarrow \mathbb{R}$ is a function that just depends on the radius vector $r$, so no angular dependence(!). Can we say what $\Delta f$ is in arbitrary coordinates $r ...
1
vote
0answers
25 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 ...
0
votes
0answers
39 views

Pushforward of a volume form

Let $X$ be a complex projective manifold with semi-ample line bundle $ K_X$ . Assume that $f: X\to X_{can}\subset \mathbb CP^N$ , and $f^{-1}(s)$ is nonsingular fibre, then I am looking for a proof ...
1
vote
1answer
29 views

Variable Pitch Helices

Is it necessary for a helix to have constant pitch? If it is not so, what would be equation of a variable pitch helix?
0
votes
1answer
29 views

Definite Integral theorem validity :- $\int_{0}^{L} \left( \int_{s}^{L}p(t)\ dt \right) \ ds =\int_{0}^{L} \ p(s) \ ds$?

Can we write $\int_{0}^{L} \left( \int_{s}^{L}p(t)\ dt \right) \ ds =\int_{0}^{L} \ p(s) \ ds\tag 1$ ? In other words, is this result valid? If so, could you help me to get the proof it NB :: ...
1
vote
0answers
20 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 : ...
2
votes
2answers
42 views

Exercise on left invariant 2-forms

I'm trying to solve a problem about the Lie group of transformation over $\mathbb{R}$: \begin{equation} x\mapsto ax+b, \end{equation} where $a,b\in\mathbb{R}, a\neq 0.$ I'm asked to find the space of ...
0
votes
0answers
34 views

Pseudo-scalar product on Manifold

I'm trying to study the Semi-Riemannian Manifold and the relativity (I use the book Semi-Riemannian Manifold- O'Neill). But I don't understand the following thing: In a Semi-Riemannnian Manifold, I ...
3
votes
1answer
39 views

Do Anosov flows exist on two dimensional compact manifolds?

Question: Let $M$ denote a two-dimensional, smooth, compact Riemannian manifold (without boundary). If $\phi:\mathbb{R}\times M \rightarrow M$ is a smooth flow, then prove that $\phi$ is not an ...
1
vote
0answers
12 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 ...
-2
votes
0answers
41 views

Kahler condition [closed]

Let $(M,\omega) $be a Kahler manifold. Why is the Kahler condition $$d \omega = 0$$equivalent to: $$\partial_kg_{i\bar j} = \partial_ ig_{k\bar j}$$ for all $i; j; k$?
0
votes
1answer
31 views

Sign of first chern class with some conditions

Let $X$ be a compact Kahler algebraic variety which $K_M$ is big and nef, and $Kod(X)=dimX$ then why the first chern class $c_1(M)$ is negative or zero . I don't undrestand kawamata's theorem in this ...
2
votes
1answer
37 views

Differential of the inversion of Lie group

Let $G$ be a Lie group and $\iota \colon G\to G$ denote the inversion. If $e$ is the identity of $G$, prove that: $$\text d \iota _e = -\text {id} _{T_e G}.$$ I understand that the differential at $e$ ...
1
vote
1answer
28 views

2-forms on $S^2$

I've read that the group $H^2_{dR}(S^2)=\mathbb{R}$. If I'm not wrong, this implies that one can build closed 2-forms that are not exact. Can somebody show me an example, please? Thanks!
4
votes
1answer
96 views

Changing local coordinates on a manifold by a diffeomorphism

This is the set up of my problem: Let $M$ be a manifold with local coordinates $x^1,\dots, x^n$. Let $x^1,\dots,x^n,\xi_1,\dots,\xi_n$ denote the induced coordinates on $T^\ast M$. Let $f:M\to M$ be ...
0
votes
1answer
35 views

Question about index notation on partial derivatives.

I've been studying quantum field theory a little bit and I've encountered a notation like the following: $$\mathcal{D}_{x,x'}=\frac{\partial}{\partial x^\mu}\frac{\partial}{\partial ...
0
votes
1answer
26 views

Rational first chern class of algebraic variety with zero Kodaira dimension.

Let $X$ be a compact Kahler algebraic variety which has zero Kodaira dimension. Then the integral first chern class vanishes? What about rational first chern class?
2
votes
1answer
31 views

Properties of Tangent Vector of a Differentiable Simple Closed Curve in 2D

I think of a theorem about a differentiable simple closed curve in 2D that I would like to prove. Here it is: Let $C$ be a differentiable, regular, simple, closed curve in $\mathbb{R}^2$ parametrized ...
0
votes
1answer
34 views

Semi-Riemannian Manifold

I don't understand the principal idea of Semi-Riemannian Manifold. Why is that if I have a metric tensor $g$ on a smooth manifold $M$ that is a symmetric nondegenerate $(0, 2)$-tensor field on $M$ of ...
1
vote
2answers
38 views

Given an $(n-1)$-form $\varphi$ on a smooth orientable $n$-manifold, there is a vector field $v$ such that $i_v\varphi = 0$.

I am working on the following problem. Let $M$ be a smooth orientable $n$-manifold, $n \geq 2$, and let $\varphi$ be a smooth $(n-1)$-form on $M$. Show that there is a vector field $v$ on $M$ such ...
2
votes
1answer
36 views

Bogus proof that the Liouville Form on the cotangent bundle is nondegenerate.

Suppose we have a manifold $M$ of dimension $n$ and its cotangent bundle $T^*M$. The Liouville form $\lambda$ on $T^*M$ is defined as $\lambda_{\omega_p} = \pi^*(\omega_p)$ where $\pi$ is the standard ...
0
votes
1answer
20 views

2-form corresponding to a contravariant vector and pseudo-forms

In Frankel's book he writes that in $R^{3}$ with cartesian coordinates, you can always associate to a vector $\vec{v}$ a 1-form $v^{1}dx^{1}+v^{2}dx^{2}+v^{3}dx^{3}$ and a two form $v^{1}dx^{2}\wedge ...
2
votes
0answers
36 views

Proving that homotopic maps have the same degree

Let $M, N$ be compact, connected, oriented manifolds. The degree of a map $f:M \rightarrow N$ is defined as the integer $k$ which satisfies $\int_{M} f^{*}\omega = k\int_{N}\omega$. Using the fact ...
0
votes
2answers
53 views

Why is the integral of any orientation form over $\mathbb{S}^1$ non zero?

I am trying to understand the proof of Theorem 17.21 in Lee's Introduction to smooth manifolds; however I am finding myself stuck right at the beginning. The statement I am having trouble with is: ...
1
vote
1answer
38 views

surface in $R^3$ that has $ds^2 = du^2/v^2 + dv^2/v^2$

For a 2D surface, if we have the first fundamental form of $$ ds^2 = du^2/v^2 + dv^2/v^2$$, can we integrate it out to get the parameter form of the surface embedded in $R^3$? I tried something like ...
1
vote
1answer
35 views

Is stereographic projection the only way to make a bijection between plane and sphere?

At a math exhibition, I learned the concept of stereographic projection for the first time. However, I am curious about the purpose of the stereographcal projection. I've learned that an area of ...
1
vote
1answer
41 views

Any two $1$-dimensional manifolds in $\mathbb R^3$ can be made disjoint by translating one of them

I'm trying to solve this innocent problem. Let $X,Y\subset \mathbb{R}^3$ be two 1-dimensional manifolds. Show that there exists $v\in \mathbb{R}^3$ such that $X$ and $Y+v$ are disjoint. I know ...
1
vote
1answer
21 views

Smooth map on differential manifolds

given two differential manifolds $M_1$ and $M_2$. I have to show that the projection $\pi: M_1 \times M_2 \to M_1$ is smooth. By definition, I then need to show that for a point $(a,b)\in M_1\times ...
0
votes
1answer
29 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 ...
3
votes
0answers
40 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 ...
1
vote
1answer
38 views

Differentiability of Quotient Maps; Open Books .

I would appreciate your comments re the differentiability of a quotient map $q$: Say I have a quotient manifold $(S\times I )/q ;I=[0,1]$ , where $S$ is a surface with non-empty boundary, where ...
0
votes
0answers
24 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 ...