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)

6
votes
0answers
652 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 ...
6
votes
0answers
361 views

sheaf of differential forms - tangent sheaf [Hartshorne]

I'm reading section 8 Differentials of chapter 2 in Hartshorne. It's is extremely hard to me to understand the nature of the definitions: module of relative differential forms - sheaf of relative ...
6
votes
0answers
93 views

Do balls optimize the boundary area for a fixed volume?

I recently saw this question, asking if the circle is the planar figure which has the least perimeter given the area. As far as I know, this is a classical problem, and the answer is affirmative. I am ...
6
votes
0answers
373 views

Differentiable Manifold Hausdorff, second countable

Why do we generally require that a differentiable manifold be Hausdorff and second countable? Is this universally accepted in the definition? My Professor only required the Hausdorff condition for ...
6
votes
0answers
154 views

Isomorphism between spaces of sections.

Let $M$ be a compact manifold and let $E_i \xrightarrow{\Large \pi_i} M$, $i = 1, 2$, be two (real or complex) vector bundles of the same rank $k$ over $M$. Assume we have metrics $g_1, g_2$ on $E_1$, ...
6
votes
0answers
108 views

Identification of integration on smooth chains with ordinary integration

Let $M$ be a smooth oriented $n$-dimensional manifold and denote by $A \in H_n(M;\mathbb{Z})$ the fundamental class of $M$ (a generator of singular homology consistent with the orientation of $M$). ...
6
votes
0answers
358 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 ...
6
votes
0answers
372 views

Orientability of the total space of a vector bundle over an oriented manifold

Let $M$ be a (smooth) manifold of dimension $n$, and let $\pi : E \to M$ be a (smooth) vector bundle of rank $r$. If I choose a connection on $E$, then I obtain a decomposition of $T E$ as $V E ...
6
votes
0answers
426 views

Lie group action from infinitesimal action

I would like to ask, how to deduce a Lie group action, from infinitesimal action of its Lie algebra (the so called Lie-Palais theorem). More precisely, given a differential manifold $M$ and a Lie ...
5
votes
0answers
57 views

resonance in pde

(I migrated the question from overflow b/c I think it belongs here instead.) About a year back I was in Professor Henry Mckean's office and he told me alot of interesting things. One thing he told me ...
5
votes
0answers
44 views

Dimensions of Grassmannians?

I'm trying to work out the dimensions of some examples of Grassmannians but I can't seem to do it. Here is what I understand: The Grassmanian $G(k,n)$ is the set of all $k$ planes in $\mathbb ...
5
votes
0answers
42 views

Cartan geometry on manifolds with boundary

I was reading Sharpe's text on Cartan geometry, and I started to wonder: Does the theory change in any significant way if the base manifold for the Cartan principal bundle is allowed to be a smooth ...
5
votes
0answers
31 views

When a given family of curves are geodesics of some affine connection?

Let $M$ be a two-dimensional manifold and let $\mathcal C$ be a family of smooth paths on $M$. How to understand whether this family is actually a family of (possibly reparametrized) geodesics of some ...
5
votes
0answers
100 views

Lie derivative and simultaneous diagonalizability

I just arrived at this theorem: Let $M$ be an $n$-manifold and let $\{X_j\}_{j\le k}$ be a collecion of $k$ vector fields and $p \in V \subset M$ satisfying: 1) $\{X_j(p)\}_{j\le k}$ is ...
5
votes
0answers
92 views

What's wrong with my osculating paraboloid?

I'm trying to learn about the Second Fundamental Form and I thought it would be fun to set up a surface in Geogebra and try to calculate the osculating paraboloid as I moved a point around on it, for ...
5
votes
0answers
73 views

Could you explain the failure of the Hodge decomposition to exist for non-compact manifolds?

I'm a physicist and the mathematics around the Hodge Decomposition is way formal than I can currently follow (I'm trying to better myself but it'll take a while). Specifically what I'm ...
5
votes
0answers
78 views

Introduction to differential equations for pure mathematicians

Is there a good reference for learning about differential equations for people who are mainly interested in the theoretical tools (especially in differential geometry/topology) that use them? I ...
5
votes
0answers
56 views

Geodesics on Homogeneous Spaces

Consider a homogeneous space $G/\text{Stab}_p \cong M$ where $G$ is a compact Lie group active transitively on $M$ (a compact manifold). If $F$ is a Finsler Metric on $G$ which pushes forward ...
5
votes
0answers
65 views

Compact surfaces with boundary of constant negative curvature

Consider a surface (with boundary) diffeomorphic to $S^1 \times [0, 1]$ and with constant negative curvature, sitting inside $\mathbb{R}^3$. All the examples I know of such surfaces are "part of" (or ...
5
votes
0answers
28 views

Is the spectrum of a first order PDO always unbounded from both sides?

Let $E \to X$ be a smooth vector bundle over a compact Riemannian manifold $X$ and assume that $P:\Gamma(E) \to \Gamma(E)$ is a self-adjoint partial differential operator of order $1$. We think of ...
5
votes
0answers
86 views

General form of a connection with zero curvature

I am looking for proofs of the following two theorems: Theorem 1. On a connected and simply-connected open set $\Omega\subset\mathbb{R}^3$, functions $L^p_{ij}\in C^1(\Omega)$ are given that satisfy ...
5
votes
0answers
64 views

Basic question: Condition for a map associated to a linear series to be an immersion

I am reading this set of lectures of a class by Prof. Harris. There is a theorem. Let $X$ be a Riemann surface and $\phi:X\rightarrow\mathbb{P^r}$ be the map defined by a linear series without ...
5
votes
0answers
76 views

$K = 0$ and $K = \text{const}$ surfaces produce $k_g = \text{constant}$ intersections?

Generally speaking, when do constant K (Gauss curvature) and zero K surfaces intersect to produce lines of constant geodesic curvature $ k_g $ ? Small circles on a sphere are examples. Or more ...
5
votes
0answers
72 views

Determining an explicit line bundle over surface

The following is a explicitly defined complex line bundle $E\to\Sigma$ over a closed surface: View $\Sigma$ as a subset of $\mathbb{R}^3$ and consider its Gauss map $n:\Sigma\to S^2$ given by ...
5
votes
0answers
75 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 ...
5
votes
0answers
141 views

Why is $a_{n}(x,y)=a_{n}(y)$?

This particular question is connected (with a slight variation in the definition of $g$) to an earlier question. The link is here. The specifics are: Given that $u(x,y)$ is the solution of a PDE ($x$ ...
5
votes
0answers
77 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 ...
5
votes
0answers
111 views

Universal Property for Tangent Space

As far as I know there are basically three different approaches to the tangent space -all of them coming with advantages and disadvantages: Though the oldest one precisely represents the derivative ...
5
votes
0answers
167 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 ...
5
votes
0answers
166 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
203 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
92 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
248 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
109 views

A good reference for learning about super-differentiation & super-integration?

I've looked at a couple of books for basic information for super-differentiation & super-integration - Rogers Supermanifolds, and Khrennikovs Superanalysis. Unfortunately both books lack a clear ...
5
votes
0answers
84 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
177 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
380 views

Second derivative of a metric in terms of the Riemann curvature tensor.

I can't see how to get the following result. Help would be appreciated! This question has to do with the Riemann curvature tensor in inertial coordinates. Such that, if I'm not wrong, (in inertial ...
5
votes
0answers
124 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
135 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
85 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
77 views

How to use the Prontrjagin-Thom construction to obtain the Gysin map?

I need help to understand the diagram in Miller's script Vector Fields on Spheres, etc. Chapter 23, p.82 on the bottom of the page. Before, Miller introduces the Prontrjagin-Thom construction: It is ...
5
votes
0answers
201 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
163 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
93 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
224 views

de Rham Cohomology of Non-Flat Bundle

Let $E$ be a smooth vector bundle on a smooth manifold $M$. If $E$ is flat, there is a connection $\nabla$ which is a differential which we can use to define the de Rham cohomology of $E$. If $E$ ...
5
votes
0answers
302 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
397 views

Definition of Coadjoint representation for Lie algebras

I have trouble understanding the definition of the coadjoint representation of a Lie algebra. Typically you first define a natural pairing between the Lie algebra and Lie coalgebra: \begin{equation} ...
5
votes
0answers
255 views

How to prove the holonomy group is preserved under Ricci flow?

I've heard that on a Kähler manifold $(M,g_0)$, if you evolve the metric $g$ by Ricci flow $\partial g_{ij}(t)/\partial t=-2R_{ij}$, and $g(0)=g_0$, then you always have $g(t)$ is a Kähler metric on ...
5
votes
0answers
283 views

Equivariant differential forms.

I have some question about the equivariant differential forms on a smooth manifold: \ The equivariant differential forms over some smooth manifold $M$, on which the compact Lie group $G$ acts, are ...
5
votes
0answers
189 views

Interpreting the scalar curvature in a semi-Riemannian manifold

Background: Let $M$ be a smooth Riemannian manifold of dimension $n$ and scalar curvature $R$ (with respect to the Levi-Civita connection). Let $m \in M$ and let $B$ be the geodesic ball of radius ...