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

Singer & Thorpe Theorem on the curvature of 4-dimensional Einstein spaces

I recently asked a question here about the paper "The curvature of 4-dimensional Einstein spaces." I got stuck again with the last theorem (2.2), where I get completely lost. They start the proof by ...
1
vote
0answers
50 views

Topological properties of regular and critical points and values

Let $f\colon M\rightarrow N$ be a smooth map between smooth manifolds. Consider the following two statements, the second one under the assumption The set of regular points of $f$ are open in $M$, ...
1
vote
0answers
56 views

Are $\mathbb{CP}^{n}$ and $\mathbb{RP}^{2n}$ diffeomorphic?

I understand that they are homeomorphic but couldn't find a proof that they are diffeomorphic. If they are diffeomorphic and if the proof is simple enough, I would imagine it would look like the ...
1
vote
0answers
61 views

intersection of normal lines converge to a point

I have some difficulty working this out. Let $\alpha: I\rightarrow R^2$ be a regular parametrized plane curve(arbitrarily parameter), and define n=n(t) and k=k(t). Assume k(t) is not 0 for $t\in I$. ...
1
vote
0answers
48 views

Basic question: Riemannian Curvature is nondegenerate

$R(X,Y)=\nabla_X\nabla_Y-\nabla_Y\nabla_X-\nabla_{[X,Y]}$ is the curvature with respect to the Levi-Civita connection $\nabla$ of a metric $g$ on a manifold $M$. Define the Riemann curvature ...
1
vote
0answers
29 views

How can I get this new Gaussion curvature and mean curvature?

Let $M$ be a surface in $\mathbb{R}^3$ oriented by $\vec n$. For a fixed number $\varepsilon\neq0$, let $F:M\to\mathbb{R}^3$ be a mapping such that $F(p)=p+\varepsilon\vec n(p)$ and denote $\overline{...
1
vote
0answers
38 views

Imagening the Thurston geometries

I can (more of less) imagine how it would look if space was Euclidean, spherical of hyperbolic. But there are 8 Thurston geometries see https://en.wikipedia.org/wiki/Geometrization_conjecture how ...
1
vote
0answers
51 views

How to use chain rule on it?

Let $M$ be a surface in $\mathbb{R}^3$ oriented by $\vec n$. For a fixed number $\varepsilon\neq0$, let $F:M\to\mathbb{R}^3$ be a mapping such that $F(p)=p+\varepsilon\vec n(p)$ and denote $\overline{...
1
vote
0answers
33 views

When are geodesically generated surfaces everywhere spacelike?

Suppose that $\langle M, g\rangle$ is a Lorentzian manifold, and that $\xi$ is a timelike vector in $T_pM$, at some point $p \in M$. Let $S$ be a surface consisting of points that lie on some ...
1
vote
0answers
29 views

Glueing smooth functions give a smooth function if reparametrized

Given $\mathbf{r}:(t_0-\varepsilon, t_0+\varepsilon)\to\mathbb{R}^2$ be a $C^{1}$ application, with $\mathbf{r}'(t)=(0,0)\Longleftrightarrow\ t=t_0$, and $$\mathbf{r}(t)=\begin{cases} \mathbf{r}_1 (t)...
1
vote
0answers
49 views

1-form integration

Let $\alpha:[-1,1]\rightarrow R^2$ be the curve segment given by $\alpha=(t,t^2)$. If $\phi=v^2du+2uvdv$, (the fist component of $R^2$ is $u$ and the second one is $v$) I have $$\int_\alpha \phi=\...
1
vote
0answers
45 views

Write the vector field such that its integral curves are the meridians of $S^2$

I have problems in writing down a vector field $X$ on the sphere $S^2$ such that the integral curves of $X$ are the meridians of $S^2$. I proceed in this way. I consider this parametrisation of $S^...
1
vote
0answers
55 views

What's the name of this theorem?

If $g: \mathbb R \to \mathbb R^n$ issmooth function and $g^{(i)}(t)=0$ for $1\le i \le k-1$ and $g^{(k)}(t) \neq 0$ then there exists a smooth map $f: \mathbb R \to \mathbb R^n$ such that $g(x) = (x-...
1
vote
0answers
26 views

Local conformal coordinates on a surface

Let $\mathcal{M}\subset\mathbb{R}^3$ be a smooth enough regular surface. We want to show that around a point $p\in\mathcal{M}$ there is a neighborhood about $p$ in $\mathcal{M}$ which is parametrized ...
1
vote
0answers
32 views

Line Elements for $n$-dimensional hyperspheres

I'm currently in the process of deriving the components of the Riemann Curvature Tensor for a 3-sphere using the Cartan Equations. The line element I'm starting with is: $$ ds^2 = \frac{dr^2}{1-r^2/R^...
1
vote
0answers
160 views

The inverse image of any regular value is a submanifold

Let $f:M^m\subset\mathbb R^k\to N^n$ be a smooth map between manifolds with $m>n$. Let $y\in N$ be a regular value for $f$. Let $x\in f^{-1}(y)$ and $L:\mathbb R^k\to\mathbb R^{m-n}$ be a linear ...
1
vote
0answers
48 views

Reference to study moduli spaces

I would like to know about references where the problem of finding the infinitesimal deformations of a given geometric structure, and obtaining the corresponding (elliptic?) complex parametrizing the ...
1
vote
0answers
80 views

Why are algebraic cycles rational?

Let $X_{/\mathbb{C}}$ be a projective non-singular variety of dimension $n$ and $Z \subset X$ be an irreductible subvariety of dimension $p$. Denote by $\mathrm{H}_{\mathrm{dR}}^i(X,\mathbb{C})$ the ...
1
vote
0answers
38 views

inverse function theorem on manifolds

suppose there are two 3-manifolds(consider them as orthogonal matrices $SL(2,\mathbb R)$), and there is $F:SL(2,\mathbb R)\to SL(2,\mathbb R)$, given by $F(A)=A^3$. Can we apply inverse function ...
1
vote
0answers
69 views

What is an infinitesimal automorphism of a connection?

Let $P\to M$ be a principal bundle over a differentiable manifold $M$, with fibre $G$, equipped with a connection $H\subset TP$. I have heard the term "infinitesimal automorphism of $H$" but I haven't ...
1
vote
0answers
34 views

Holomorphic Hermitian metrics

Let $E\to M$ be a complex vector bundle. A hermitian metric $h$ on $E$ is a hermitian inner product on each fiber $E_{p},\, p\in M$. Suppose that $M$ is also a complex manifold and that $E$ is ...
1
vote
0answers
25 views

Properties of $\Omega_{\epsilon}$

Let $\Omega$ be a bounded connected domain in $\mathbb R^n$ with compact smooth boundary. So $\partial \Omega$ can be viewed as a smooth submanifold of dimension n-1. Let $$\Omega_{\epsilon} : = \{ x\...
1
vote
0answers
27 views

Unknown functions yield a given determinant

I am trying to develop a nomogram which simultaneously shows the exact Fisher equation $(1+u) = (1+v)(1+w)$ and its linear approximation $u \approx v + w$. This amounts to finding twelve smooth ...
1
vote
0answers
67 views

Shifting to polar coordinates

Let $\mathbf{r}:[a,b]\to\mathbb{R}^2,\ a,b\in\mathbb{R}, a<b$, be a $C^{\infty}([a,b])$ application (smooth). Is it true that we can always find two functions $r,\varphi :[a,b]\to\mathbb{R}$, $r\in ...
1
vote
0answers
50 views

Index of a zero of a normal vector field

Let $M$ be a manifold and $S\subset M$ a submanifold. Assume whatever regularity you need (smoothness, compactenss, orientability, empty boundary, proper embedding of $S$,... this question is ...
1
vote
0answers
27 views

Average viewing angle of a convex body from a curve.

This is an integral geometry question. Let $K$ be a convex body in the plane, and $\mathcal{C}$ a simple closed curve the interior of which contains $K$. From each point $P$ of $\mathcal{C}$ two ...
1
vote
0answers
62 views

What's the difference between $Df$ and $Tf$?

I'm reading Michael Shub's Global Stability of Dynamical Systems. In chapter 4, he defined hyperbolic set and said the splitting $E^s$ and $E^u$ are $Tf$ invariant. So I assume this $Tf$ is the ...
1
vote
0answers
38 views

How would i find the volume of a cone in the interval $[0,a]\times[0,a]\times[0,a]$ and how it's surface area? (using integration?)

Essentially I want to find the measure of $z^2\leq x^2+y^2$ and $z^2=x^2+y^2$. Now i know for one of them i would incorporate cylindrical coordinates: $$g(r,\phi,z)=(r\cos \phi, r \sin\phi,z)$$ ...
1
vote
0answers
54 views

Cohomology of two pieces of torus

In an exercise from an old exam, I found myself confronted with $M=\{(\sqrt{x^2+y^2}-2)^2+z^2=1\}$, $U=M\cap\{x\neq0\vee y>0\}$, $V=M\cap\{x\neq0\vee y<0\}$ and $U\cap V$, all subsets of $\...
1
vote
0answers
95 views

How to show that the vector fields $X_i = f_*(\frac{\partial}{\partial x^i})$ and $X_j = f_*(\frac{\partial}{\partial x^j})$ commute?

Could anyone help me with the following problem? We have: Fix $\varepsilon \in (0, 1)$ and choose a smooth function $h$ on $[0,\infty)$ such that $h'(t) > 0$ for all $t ≥ 0$, $h(t) = t$ for $t \...
1
vote
0answers
56 views

What is some elementary differential geometry textbook that is self contained and are intermediate level?

What are some intermediate differential geometry textbook that are more advanced than pressley's, Barrett's, Christian's and krezig's books and are self contained but below the level spivak's vol 1,...
1
vote
0answers
50 views

Proof that any unit-speed-reparametrization of a curve preserves orientation and is an inverse of an arc length function based at some $t_0$.

I am not able to prove the following two facts about a unit speed reparametrization of a curve. Let $\alpha$ be defined on some interval $I$ and define for $t_0\in I$ $$\lambda_{t_{0}}(t)=\int_{t_0}^...
1
vote
0answers
57 views

Green's theorem via Stokes's theorem

I am considering the following form of Stokes's theorem: Let $\omega$ be an $n-1$ differential form with compact support on an oriented manifold of dimension $n$. Let us consider the boundary $\...
1
vote
0answers
61 views

Pullback 1-differential form

Let $(x_0,x'_0) \in \mathbb{R}^2$ be initial data for the Euler Lagrange equation with some given Lagrangian $L: \mathbb{R}^2 \rightarrow \mathbb{R}.$ Then $F^t$ is the flow that maps the initial ...
1
vote
0answers
35 views

On critical values of a linear function $g:SO_2\times \mathbb R^2\to \mathbb R^2$

Consider map $g:SO_2\times \mathbb R^2\to \mathbb R^2$, $g(A,v)=Av$, where $A\in SO_2$ is an orthogonal $2\times 2$ matrix and $v\in \mathbb R^2$ is a $2$-vector. Show that $0$ is a critical value. ...
1
vote
0answers
35 views

Self-adjointness of $X^2$

Let $X$ be a vector field on a compact (may be even complete) Riemannian manifold without boundary. I am wondering if $X^2$ will be a self-adjoint operator on $L^2(M)$. Any hints would be appreciated. ...
1
vote
0answers
51 views

Unbounded Geodesics and Nonpositive Curvature

I have the following interesting(?) question: Let $M$ be a complete Riemann manifold. Suppose that it is of non-negative curvature. I want to know if $M$ has unbounded geodesics. As the question is ...
1
vote
0answers
25 views

Non-affinely parametrized geodesics

Consider a non-affinely parameterised geodesic, i.e., a geodesic whose tangent vector field obeys $\nabla_X X = fX$ for some function $f$. Prove that one may reparameterise the geodesic so the tangent ...
1
vote
0answers
63 views

Asymptotic geodesic on hyperboloid.

Consider a geodesic which starts at a point $p$ in the upper part $(z>0)$ of a hyperboloid of revolution $x^2+y^2−z^2=1$ and makes an angle $\theta$ with the parallel passing through $p$ in such a ...
1
vote
0answers
52 views

Bianchi Identity - Gauge Theory

I am reading through some lecture notes (found here) and following a proof of the Bianchi identity in the context of principal bundles. That is, $h^*\Omega = 0$, where $\Omega$ is the curvature 2-...
1
vote
0answers
117 views

product metric on Riemannian manifolds

Let $M_1$ and $M_2$ be Riemannian manifolds and consider the cartesian product $M_1 \times M_2$ with the profuct structure .Let $\pi_1: M_1 \times M_2 \to M_1$ and $\pi_2: M_1 \times M_2 \to M_2$be ...
1
vote
0answers
41 views

When the associated bundle to a $U(1)$-bundle is an holomorphic line bundle?

Let $P$ be a principal $U(1)$ bundle over a complex manifold $M$, and let $\rho\colon U(1)\to Aut(\mathbb{C})$ be the representation of $U(1)$ on $\mathbb{C}$ given by the standard multiplication. My ...
1
vote
0answers
51 views

Derivative of the Gauss map is zero

If the derivative of the Gauss map is zero in every point in the image of a given local chart, can I conclude that the normal vector is constant and such image is contained in a plane? Edit: The ...
1
vote
0answers
31 views

Analytically determining whether a laser beam will hit a moving target

I'm tinkering on a space-related computer game. The objects of the game are in 3D space and their motions are defined by 3 3D vectors: ${vector}\ V: \{X, Y, Z\} \\ {motion}\ M: \{V_{position}, V_{...
1
vote
0answers
50 views

Why generator in Lie Algebra is defined as the coefficient in taylor expansion of map

Booth defines the infinitesimal generator of a lie group (denote the manifold it defines by $M$) using flow $\theta_t(p)$ by calculatng the limit (mainly the derivation for $f$ in each point $p\in M$) ...
1
vote
0answers
52 views

Alternating bilinear form with wedge product. equality problem

Let $\phi : \textbf{R}^4 \otimes \textbf{R}^4 \rightarrow \textbf{R}$ be an alternating bilinear form. Prove that there exist linear maps $\alpha, \beta :\textbf{R}^4 \rightarrow \textbf{R}$ with $\...
1
vote
0answers
136 views

In which space does the Lie derivative of a vector field really live?

I'm slightly puzzled about the space in which the Lie derivatives of vector fields live. I get the worrying impression that it lives in the double tangent bundle, which I know is not true, so i need ...
1
vote
0answers
48 views

alternating bilinear form with wedge product

Let $\phi : \textbf{R}^4 \otimes \textbf{R}^4 \rightarrow \textbf{R}$ be an alternating bilinear form. Prove that there exist linear maps $\alpha, \beta :\textbf{R}^4 \otimes \textbf{R}^4 \rightarrow ...
1
vote
0answers
40 views

How is the Hessian defined under a different metric + definition?

I am reading on wikiedpia and the definition of Hessian $\mbox{Hess}(f)=\nabla_i\, \partial_j f \ dx^i \!\otimes\! dx^j = \left( \frac{\partial^2 f}{\partial x^i \partial x^j}-\Gamma_{ij}^k \frac{\...
1
vote
0answers
46 views

acoustic dipole volume integral w/ dirac delta?

I have an acoustic research problem that leads to the following integral formulation: \begin{align} \int_{-\infty}^{\infty}\int_{-\infty}^{\infty}p(\mathbf{y},\tau)\frac{\partial}{\partial y_i}\left(...