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

Book on advanced Hodge Theory

I'm looking for a book on advanced real Hodge Theory. I finished working through Frank Warner's Foundations of Differentiable Manifolds and Lie Groups, which ends with the Hodge Decomposition,the ...
1
vote
0answers
31 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
49 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. ...
2
votes
0answers
20 views

The invariance of the Ricci tensor under diffeomorphisms and its non-ellipticity.

Consider $(M,g)$ a compact Riemannian manifold. When viewed as a second order (non-linear) differential operator $$ \text{Ric} : C^{\infty}(\text{Sym}^2_+T^*M) \to C^{\infty}(\text{Sym}^2T^*M), $$ the ...
0
votes
0answers
40 views

Strain mapping sphere to plane

I need general indications or guidance. I do not know how to map a surface $ z = \sin (\pi x) \sin (\pi y), (x,0,\pi), (y,0,\pi)$ to a unit square. Nor do I know how to map a quadrant of a unit ...
4
votes
3answers
113 views

Surface with constant Gaussian curvature $K > 0$

Besides the sphere, is there any other surface with constant and positive Gaussian Curvature $K$?
1
vote
3answers
136 views

How to define intrinsic curvature?

I have been exploring differential geometry slightly... And i'm trying to grasp how to define intrinsic curvature, from a visual/geometric viewpoint... One formulation I got was that Intrinsic ...
3
votes
1answer
243 views

Does this surface minimize maximum distance?

Suppose we have a tetrahedron defined by points $(0,0,0),(1,1,0),(0,1,1),(1,0,1)$. Now define surface by $(a,b,a + b - 2ab)$ for $a,b$ between $0$ and $1$. Let $E_1$ be the set of points inside the ...
0
votes
2answers
44 views

Differential identity and wedge products

Apparently $dx^{i_1} \wedge ... \wedge dx^{i_k}=d(x^{i_1}dx^{i_2}\wedge ... \wedge dx^{i_k})$ which I cannot see proved anywhere in my notes. It just stated as if it is obvious which I don't believe ...
12
votes
0answers
258 views

Symmetric and wedge product in algebra and differential geometry

I have been struggling with this issue for a while (and asked a similar question here), but still not found a satisfying answer. The question boils down to: which is the correct identity? $dx \, dy ...
0
votes
0answers
27 views

What is the notation for pull-back and push-forward of an exponential map?

So there is a nice notation for a one-parameter group of transformations $\Phi_t$ corresponding to its infinitesimal generator $\boldsymbol X$: $$\Phi_t = \exp \left(t \boldsymbol X \right)$$ But ...
2
votes
1answer
71 views

Riemannian metric and geodesic

For all $p \in \mathbb{R} \smallsetminus \lbrace 0,1 \rbrace$, let $\displaystyle M(p)=\frac{1}{p^{2}(p-1)^{2}}$. Then, let $g_{p} \, : \, (u,v) \, \longmapsto \, uM(p)v$. I am not sure about the ...
2
votes
1answer
101 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
67 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
278 views

Christoffel Symbols and the change of transformation law.

I have seen it written that the change of co-ordinate form is given by the following: $$ \tilde \Gamma^{i}_{jk} = {\partial \tilde x^i \over \partial x^\alpha} \left [ \Gamma^\alpha_{\beta ...
0
votes
1answer
37 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
1answer
95 views

Bott connection

Can anyone help me showing the following: Let $E$ be a smooth vector bundle over $M$ and $F\subseteq TM$ a smooth distribution. A $F$-connection is a $\mathbb R$-bilinear aplication ...
1
vote
2answers
143 views

How can I know the time difference between two cities by knowing the distance between them and earth speed?

Well I know that's the earth speed is: $v=1669.756481\frac{km}{h}$ and I have two cities Moscow and NewYork the distance between them is: $d=7518.92$ $km$ Actually I know that's : ...
0
votes
0answers
38 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 ...
0
votes
1answer
34 views

Easy solution to Yamabe problem for surfaces

The Yamabe problem asks if, given a Riemannian manifold $(M,g_0)$, it is possible to find a conformal metric $g$ on $M$ with constant scalar curvature. I would like to know if there is some "easy" ...
1
vote
2answers
103 views

Parametrization of $S^3$ embedded in $\mathbb R^4$?

I would like to know of any parametrization of the standard 3-sphere: {$(x_1,x_2,x_3,x_4): x_1^2+x_2^2+x_3^2+x_4^2=1$} embedded in $\mathbb R^4$. I know of parametrizations for $S^1$, for $S^2$ , ...
0
votes
1answer
35 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
0answers
44 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 ...
2
votes
1answer
20 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 ...
2
votes
1answer
265 views

Differential forms and a chain rule

Let $U$ be a Riemann surface and let $z:U\longrightarrow B(0,1)$ be a diffeomorphism, where $B(0,1)$ is the open unit disc in $\mathbf{C}$. So $z$ is a coordinate around $P=z^{-1}(0)$. Let $Q\in U$ ...
0
votes
1answer
41 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
48 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\} ? $$ ...
3
votes
1answer
68 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
1answer
48 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$ ...
2
votes
1answer
130 views

Surjectivity of an integration map

N.B.: Thanks to studiosus answer I realised I should ask for more conditions or otherwise the answer is straightforwardly wrong. I rechecked my problem and added new assumptions that I boldface. ...
1
vote
0answers
47 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
35 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 ...
2
votes
1answer
183 views

Lie Group Multiplication in Coordinates

I'm having a bit of trouble with the last bit of Problem 3.2 in Kirillov Jr.'s Introduction to Lie Groups and Lie Algebras. (3.2) Let $f: \mathfrak{g} \rightarrow G$ be any smooth map such that ...
4
votes
2answers
101 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 ...
4
votes
1answer
101 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
0answers
33 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 ...
1
vote
2answers
32 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 ...
3
votes
0answers
58 views

Voisin's proof of Ehresmann's theorem

On p.221 of Voisin's book on Hodge theory, there are two claims: a) Let $B$ be a contractible smooth manifold. There exists a vector field $\chi$ on $B$ whose flow $\Phi_t$ is global and, given any ...
0
votes
1answer
70 views

Sobolev spaces on manifolds.

Let $(M,g)$ be a compact oriented Riemannian manifold and $E\to M$ be a vector bundle with metric $h$ and a connection $\nabla$. Then one define the sobolev space $W^{k,p}(E)$ as the sets of $L^p$ ...
1
vote
1answer
42 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 ...
0
votes
0answers
24 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 ...
2
votes
2answers
668 views

Normal curvature along a line of curvature

I have come across the following exercise (the context is curves and surfaces in $\mathbb{R}^3$ and the Gauss map): If $C=\alpha(I)$ is a line of curvature, and $k$ is its curvature at $p$, then ...
2
votes
1answer
101 views

Trying to understand Gauss-Bonnet theorem

Update: I was able to figure this out on my own. The problem was that I assumed the $\phi$ coordinate runs from $0$ to $2\pi$, but the metric so defined has a conical singularity. To eliminate the ...
1
vote
0answers
29 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
46 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
37 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
31 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
2answers
82 views

Equation of a straight line in spherical coordinates

I'm trying to prove the angle sum formula for a triangle on the surface of a sphere. In order to do this I wanted to create a general triangle on the sphere, with one vertex at $\theta = 0$ and one ...
3
votes
1answer
44 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
22 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 : ...