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)

5
votes
0answers
108 views

Fundamental solution to Laplace equation on arbitrary Riemann surfaces

So, I've seen in a few places this method of calculating the heat kernel on a manifold given the kernel of its universal cover, through a so-called 'tiling method' as in section five of this paper ...
5
votes
0answers
190 views

General geodesics

How to solve the following: Let $f : (M,\nabla)\rightarrow (\overline{M},\overline{\nabla})$ be a diffeomorphism of manifolds with torsion-free connections. a) For reparametrisation $\alpha$ of ...
5
votes
0answers
109 views

An imcomprehensible proof on Arnold's Lectures on PDE, contact diffeomorphism

In Lectures on Partial Differential Equations, Arnold gives a theorem in the chapter Huygens' Principle in the Theory of Wave Propagation: Theorem 1 (the theory of support functions). The manifold ...
5
votes
0answers
74 views

Example of charts on $\mathbb{R}$ that are $\mathcal{C}^r$ compatible but not $\mathcal{C}^{r+1}$ compatible.

Is there a simple example of two charts where this is the case? I'm struggling to think up one.
5
votes
0answers
136 views

Is $G$ a lie group if left multiplication is smooth and multiplication is smooth near $e$?

Suppose $G$ is a smooth manifold and also a topological group. Also suppose that left multiplication $L_g : G \rightarrow G$ is smooth for any $g \in G$. Finally suppose that the multiplication map is ...
5
votes
0answers
165 views

Describing co-ordinate systems in 3D for which Laplace's equation is separable

Laplace's Equation in 3 dimensions is given by $$\nabla^2f=\frac{ \partial^2f}{\partial x^2}+\frac{ \partial^2f}{\partial z^2}+\frac{ \partial^2f}{\partial y^2}=0$$ and is a very important PDE in ...
5
votes
0answers
382 views

Poincaré-Hopf theorem and its applications

I'm reading the basics of differential topology to try to understand the Poincaré-Hopf theorem, its proof and its applications. My plan is as follows: 1) Study transversality: its homotopy stability ...
5
votes
0answers
81 views

approximating a variety locally by a vector space

Suppose we have $m$ homogeneous equations with integer coefficients in $n$ variables and that $m >> n$. Let $x_0 \in \mathbb{C}^n$. Question 1: is there a way to approximate the variety ...
5
votes
0answers
509 views

What is the volume of Complex Projective Space with Fubini-Study Metric?

I try to compute the volume of the complex projective space $\mathbb{CP}^n$ with Fubini-Study metric, normalized to have diameter $=\pi/2$ i.e. the sectional curvatures lie between $1$ and $4$. Fix a ...
5
votes
0answers
117 views

Is there a relation between Super Riemannian manifolds and Kähler manifolds?

(This question has a physics motivation). Could we establish any kind of relationship between Super Riemannian manifolds (super Riemannian structures on super manifolds) and Kähler manifolds, or at ...
5
votes
0answers
106 views

What is visualization of gradient flow of a functional?

I don't work on functional analysis but during my study, I faced gradient of a functional. I read its definition, but I can not understand why it is a useful tool? Why if a flow can be written as a ...
5
votes
0answers
309 views

Tangent bundle of a quotient by a proper action

Given a compact group $G$ acting freely on a manifold $X$, is there a "nice" way to describe the tangent bundle of the quotient $X/G$ (when it is a manifold)? In the case the group $G$ is finite, or ...
5
votes
0answers
122 views

Clarification in a paper

This is regarding a clarification in page 384 of a paper published in Annals of Statistics by Amari. In page no. 384, he defines $$R_i(t)=\frac{\partial}{\partial \theta_i} ...
5
votes
0answers
74 views

how to cover a manifold almost everywhere?

I pose the following question: Given a connected (maybe we need compactness) manifold or regular surface, can we find a single parametrization $\chi:B\to M$ from the open ball to the manifold, such ...
5
votes
0answers
155 views

Does every non-compact manifold admit an incomplete vector field?

I know that every vector field on a compact manifold is complete. The question of whether every non-compact manifold admits an incomplete vector field seems to follow naturally. I'd hazard a guess ...
5
votes
0answers
145 views

Complex vector bundles with real transition functions

After doing a bit of playing around (I think) I was able to show that the map $\operatorname{id}\otimes\ \psi : \Omega^{p,q}(X, E) \to \Omega^{p,q}(X, \bar{E})$, where $\psi $ is the conjugation map ...
5
votes
0answers
75 views

How difficult is it to impose a differential structure on a fractal?

Assuming we have a 4-dimensional smooth manifold $M$ embedded in $\mathbb{R}^{m}$ that is difficult to understand its differential structure. For convenience's sake we can assume it is compact, simply ...
5
votes
0answers
484 views

How to prove this formula for Lie Derivative for differential forms

The professor gave this formula without providing a proof. I would like to know how this can be derived. Let $X$ be a vector field, $w$ be a $p$-form. Then, $$L_X ...
5
votes
0answers
219 views

Self Intersection and Euler characteristic

Reading the "Differential Topology" of V.Guillemin and A.Pollack, i found a definition of the Euler Characteristic different from the other one using the simplicial complex and betti number (ex. for ...
5
votes
0answers
254 views

understanding this differential operator on a tensor product

I am currently trying to read the T. Kotake's paper "An Analytical Proof of the Classical Riemann Roch Theorem", in which he defines a differential operator which acts on smooth sections of a tensored ...
5
votes
0answers
188 views

Why does the Gauss-Bonnet theorem apply only to even number of dimensons?

One can use the Gauss-Bonnet theorem in 2D or 4D to deduce topological characteristics of a manifold by doing integrals over the curvature at each point. First, why isn't there an equivalent theorem ...
5
votes
0answers
349 views

Higher-order derivatives in manifolds

If $E, F$ are real finite dimensional vector spaces and $\mu\colon E \to F$, we can speak of a (total) derivative of $\mu$ in Fréchet sense: $D\mu$, if it exists, is the unique mapping from $E$ to ...
5
votes
0answers
183 views

How does one determine $n$-spheres of curvature?

I am aware of circles of curvature and I am simply wondering to what extent does this generalize to $n$-dimensions. Specifically, if some surface in $n$-dimensional space is represented ...
5
votes
0answers
148 views

What is the Gauss part of Gauss-Manin connection?

The definition of Gauss-Manin connection involves de Rham cohomology. Surely, Gauss didn't work with de Rham cohomology as we know it. So, what was the context in which Gauss came up with this idea?
4
votes
0answers
47 views

Holonomy group as a quotient group of $\text{GL}(k,\mathbb{R})$

Currently, I'm reading the script of a Global Analysis lecture at my university. There, we look at a real vector-bundle $(E,\pi,M)$ of rank $k$ with a given connection $\nabla$ and define the ...
4
votes
0answers
49 views

Decomposition of Laplacian into tangental and normal components w.r.t. submanifold

If I have the covariant Laplacian operator acting on a tensor e.g. $\nabla^2 h_{\mu\nu}$ on a (pseudo-Riemannian) manifold, and I have (say a codimension-2) submanifold, how can I "decompose" the ...
4
votes
0answers
73 views

universal covering of punctured plane and Poincaré metric

I want to prove the following result: Let $\Omega$ be the domain $\mathbb{C}\backslash \{a_1,a_2,a_3,a_4\}$. Its universal covering is the unit disk, and the standard Poincaré metric is pulled back to ...
4
votes
0answers
67 views

When do invariant measures arise from smooth differntial forms?

It is well known that the Haar measure of a Lie group $ G $ arises from a invariant differential form density $ |\omega| $ (of top dimension). Also, we know that if we have a closed subgroup $ H \leq ...
4
votes
0answers
62 views

A question on harmonic two-forms

Let $(M^4,g)$ be a closed Riemannian four-manifold with $b_2^+>0$ and $b_2^->0$, is it possible to find two harmonic two-forms $\alpha\in H^2_+(M)$ and $\beta\in H^2_-(M)$, such that ...
4
votes
0answers
67 views

Tangent developable of helix.

Let $T$ be union of tangent lines to helix $C=(\cos x, \sin x,x)$. 1) I want to prove that $T - C$ is a smooth manifold and find equation for $T$. 2) I want to find how many times a line can ...
4
votes
0answers
61 views

Soft: Why does the existence of a singularity cause problems for deRham cohmology?

I've heard that if a variety has a singularity then the deRham theory has "problems". What exactly are these? Im guessing there is some sort of issue with the defintion of a differential form, but ...
4
votes
0answers
57 views

Equivalence of definitions of $C^k(\overline U)$

let $U$ be an open set of $\mathbb{R}^n$, that contains at least some open set. In Evans book we find the definition $$C^k(\overline U)=\{f \in C^k(U): D^\alpha f \text{ is uniformly continuous on ...
4
votes
0answers
105 views

$\operatorname{div}$ and $\operatorname{grad}$ in spherical coordinates. Formula from general relativity goes crazy

I try to calculate the gradient of a function and the divergence of a vector field in spherical coordinates. Nothing special so far, but a formula that I learned in a general relativity lecture ...
4
votes
0answers
36 views

Surface all of whose normals intersect at a point

I am new to differential geometry and encountered difficulty when trying to solve the following problem from Dubrovin's Modern Geometry It's the first problem in exercise 8.4: Find the surface ...
4
votes
0answers
44 views

Is there always a smooth variant of a homoeomorphism between smooth manifolds?

Let $M$ and $N$ be smooth homeomorphic manifolds. Let $h:M\rightarrow N$ a homeomorphism. Does there exist $r:M\rightarrow N$ that is still a homeomorphism and additionaly smooth? Can it be chosen ...
4
votes
0answers
133 views

Difficulty of exercises in several books

Since I am teaching myself, I have no idea of the difficulties of exercises in many books. I want to know whether I am not understanding the content of these books if I cannot easily solve the ...
4
votes
0answers
71 views

Flowing a vector along a vector field $X$ using the pushforward of the flow of $X$

On the three-sphere $S^3$, I'm given three vector fields $X$, $Y$ and $Z$, such that at each point $p\in S^3$, the tangent vectors $X_p$, $Y_p$ and $Z_p$ form an orthogonal basis of the tangent space ...
4
votes
0answers
37 views

Connection on a restricted bundle

Connection on a restricted bundle For a principal fiber bundle with a base $M$ and a structure group $G$ (for simplicity Lie group): $P(M,G)$ there is a connection form $\omega$. Is it true that if a ...
4
votes
0answers
39 views

Can one exchange fibre and base space in a fibre bundle?

The first trivial example of a fibre bundle $E$ is a product bundle $E=F \times B$, with fibre $F$ and base space $B$. Of course in this trivial example, one can exchange base space and fibre and ...
4
votes
0answers
114 views

is the image of a polynomial map contractible?

I asked this in MSE http://math.stackexchange.com/questions/643348/is-the-image-of-a-polynomial-map-contractible and got no response. Either it's a silly question or I posted it under the wrong ...
4
votes
0answers
127 views

Top de Rham cohomology

I just realized that I never really understood why $H_{dR}^n(M, \mathbb{R}) = \mathbb{R}$ if $M$ is compact and $H_{dR}^n(M, \mathbb{R}) = \{0\}$ if $M$ is not compact (provided that's true?). I'm ...
4
votes
0answers
41 views

Analytic/Smooth/Continuous maps between a manifold and itself

Let us suppose that $M_{\omega}$ is a connected real-analytic manifold of dimension $n$. Then there is an associated smooth structure, $\mathcal{C}^r$ structure ($r$ non-negative integer) on it. Let ...
4
votes
0answers
92 views

Diffeomorphism invariant scalars of a Riemannian manifold

Let $(M,g_{ab})$ be a Riemannian manifold. I know of the following scalars that one can construct them out of the metric and its derivatives: Ricci scalar $R$ $R_{ab}R^{ab}$ $R_{abcd}R^{abcd}$ ...
4
votes
0answers
119 views

Shape Operators and Symmetric Linear Transformations

The exercise (from Sakai) is: Let $f: E\subseteq \mathbb{R}^{n-1} \rightarrow \mathbb{R}$ be smooth and let $M_f := \{p = (x, f(x)) \in \mathbb{R}^n\,;\,x \in E\}$ be the graph of $f$ considered ...
4
votes
0answers
238 views

Product of manifolds & orientability

I'm studying orientability of manifolds currently and I'm having trouble to prove the following: $M\times N$ is orientable iff $M$ and $N$ are orientable. I am able to prove that the product is ...
4
votes
0answers
52 views

Does $L^2$ commute with Hom?

Let $E,F \to M$ be two smooth vector bundles over a compact manifold $M$. It is well-known that the homomorphism fields $Hom(E, F) \to M$ are a smooth vector bundle, too. In fact, this bundle can be ...
4
votes
0answers
62 views

Derivations of the algebra of differential forms

It is well known that the interior product, the Lie derivative, and the De Rham differential are derivations of the algebra of differential forms. Does there exist other derivations of this algebra ...
4
votes
0answers
47 views

Equivalent definitions of Tangent space - 2

L.S., In my book Vector Analysis by Klaus Jänich, Three different 'versions' of the Tangent space of a point $p$ at a differentiable variety are being discussed. The 'geometrical': the set of ...
4
votes
0answers
50 views

What's the idea behind the covariant derivative?

I'm learning differential geometry from what I find on the Internet (to eventually find a grasp on General Relativity too). Right now I playing with a sphere. I have 3 functions ($x$, $y$, $z$) that ...
4
votes
0answers
89 views

For what kinds of manifolds $\dim T_pM=\dim M$ holds?

Does the truth that $\dim T_pM=\dim M$ hold only for differentiable manifolds or for all topological ones?