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)

40
votes
0answers
1k views

Computing the Chern-Simons invariant of SO(3)

I am an undergraduate learning about gauge theory and I have been tasked with working through the two examples given on pages 65 and 66 of "Characteristic forms and geometric invariants" by Chern and ...
18
votes
0answers
411 views

Wanted: A purely algebraic proof of the Frobenius theorem on distributions

Is there a purely algebraic proof of the Frobenius theorem? Here's a rough sketch of what i'm looking for: Let $Der(R)$ denote the $R$-module of ($R$-valued) derivations of the algebra $R$ endowed ...
18
votes
0answers
573 views

A Way to make the following “proof” of the Hairy Ball Theorem rigorous?

I plan on giving a talk soon to undergraduates and I'd like to talk about the hairy ball theorem during the talk. I was trying to think of some sort of visually intuitive proof of this fact. (I ...
17
votes
0answers
279 views

Why is a PDE a submanifold (and not just a subset)?

I struggle a bit with understanding the idea behind the definition of a PDE on a fibred manifold. Let $\pi: E \to M$ be a smooth locally trivial fibre bundle. In Gromovs words a partial differential ...
17
votes
0answers
256 views

Characterization of the exterior derivative $d$

In the paper Natural Operations on Differential Forms, the author R. Palais shows that the exterior derivative $d$ is characterized as the unique "natural" linear map from $\Phi^p$ to $\Phi^{p+1}$ ...
15
votes
0answers
106 views

Orientability of $m\times n$ matrices with rank $r$

I know that $$M_{m,n,r} = \{ A \in {\rm Mat}(m \times n,\Bbb R) \mid {\rm rank}(A)= r\}$$is a submanifold of $\Bbb R^{mn}$ of codimension $(m-r)(n-r)$. For example, we have that $M_{2, 3, 1}$ is ...
15
votes
0answers
281 views

Intuitive interpretation of Ricci Flow

What is the best way to interpret, explain or somehow visualize the basic idea behind formal definition of Ricci Flow? I am familiar with the hackneyed expressions like "Ricci Flow is a ...
14
votes
0answers
275 views

Kähler Geodesics

Consider the Kähler manifold in coordinates $(a,b)$ given by the complex Riemannian metric $$\begin{pmatrix} ...
13
votes
0answers
203 views

A short question on shriek maps

This should be easy but I don't quite see it. Let $M^m, N^n, X^d$ be compact, connected and oriented smooth manifolds. Let also $f:M\rightarrow X$ and $g:N\rightarrow X$ be transverse smooth maps. ...
12
votes
0answers
182 views

Vector valued 2-forms which satisfy Jacobi Identity

Motivated by this MO question we ask the following two questions: 1)What is an example of a compact manifold $M$ which does not admit any smooth (1,2) tensor $\omega$ which restriction to each ...
12
votes
0answers
160 views

On the variation of a Kähler metric on a surface by pullback of the complex structure

Let $\Sigma$ be a compact, connected, oriented surface, and let $\rho\in\Omega^2(\Sigma)$ be a fixed volume form. Then any (almost) complex structure $J\in\Omega^0(M;\operatorname{End}TM)$ compatible ...
11
votes
0answers
196 views

Polynomial in the components of the curvature tensor

Consider a closed Riemannian manifold $(M,g)$ of dimension n and let $K(t,x,y)$ be its heat kernel. Then it is known that the heat kernel has an asymptotic expansion as $t\downarrow 0$: ...
11
votes
0answers
186 views

Curvature $0$ and involutive horizontal distributions

I am trying to check why curvature $0$ implies that the horizontal distribution is involutive. Let $\pi:P\to U$ be a principal $G:=GL_n$ bundle. Assume that $P$ is trivial and $\pi$ admits a section. ...
10
votes
0answers
210 views

Complement of a foliation

I have an $n$-manifold $M$ which is foliated by leaves $F_\alpha$ of dimension $p$ and a path $\gamma:[0,1]\to M$. You can take without problems $\gamma$ to be injective. Is the following statement ...
10
votes
0answers
177 views

What is a moduli space for a differential geometer?

A moduli space is a set that parametrizes objects with a fixed property and that is endowed with a particular structure. This should be an intuitive and general definition of what a moduli space is. ...
10
votes
0answers
181 views

Does Stokes' Theorem hold on spaces with singular points?

I have come across the question whether Stokes' theorem holds also on orbifolds. Let us take the simple case of $T^2/Z_2$ with a one-form $A$, then the question becomes: For a region $\Gamma$ with ...
10
votes
0answers
193 views

Different notions of isometry for Riemannian 2-manifolds

There are two notions of isometry between Riemannian 2-manifolds: a distance-preserving map $f$ with $d(x,y) = d(f(x),f(y))$ and a "metric-preserving" map $f$ with $I(x) = I(f(x))$ ($I(x)$ being ...
10
votes
0answers
470 views

Torsion in two dimensions?

This question is about the notion of a connection with torsion in differential geometry, i.e., a connection that is not Levi-Civita. (It's not about the torsion of a curve in three dimensions.) ...
10
votes
0answers
528 views

How to Characterize Gradient Vector Fields?

Let $V$ be a vector field on a smooth manifold $M$. Are there nice conditions under which there exists a (Riemannian) metric on $M$ such that $V$ is the gradient of some smooth function on $M$? ...
10
votes
0answers
338 views

In which commutative algebras does any derivation possess a flow?

Suppose $A$ is a commutative algebra over $\mathbb{R}$ with unity. $\mathbb{R}$-linear map $\xi\colon A\to A$ is a derivation of $A$ iff $\xi(ab)=a\xi(b)+\xi(a)b$ for any $a,b\in A$. If $\gamma\colon ...
9
votes
0answers
73 views

Is $T(M)$ necessarily equivalent to the normal bundle of $M$ in $\textbf{R}^{2n}$, if $M$ is totally real?

Consider real submanifolds, $M^n \subset \textbf{C}^n$. ($\textbf{C}^n \equiv (\textbf{R}^{2n}, J)$, where $J(x, y) = (-y, x)$). $M^n$ is totally real if $J(T_pM) \cap T_pM = 0$, for all $p \in M$. ...
9
votes
0answers
110 views

Constructing $\mathbb{P^n}$ “bundle” with different $n$

Can we find a complex/smooth manifold and map $f\colon X\to\mathbb{C}^3$ such that it is a $\mathbb{P}_\mathbb{C}^m$ bundle over linear subspace $\mathbb{C}^1$ and $\mathbb{P}_\mathbb{C}^n$ bundle ...
9
votes
0answers
163 views

Prerequisites for studying Perelman's proof of the Geometrization Conjecture

I want to set a course toward understanding Perelman's proof of the Geometrization Conjecture. I realize this will be a lengthy undertaking, but hopefully only on the order of one to two years. I am ...
9
votes
0answers
130 views

Mean value operator on Riemannian manifold

Let $(M,g)$ a Riemannian manifold. Further $M$ should be a harmonic space, that is $M$ is a symmetric and simply connected space of rank 1. (Example: Spheres $S^n$) Consider the mean value operator, ...
9
votes
0answers
185 views

algebraic $1$-forms vs analytic $1$-forms

First let's fix some definitions: Definitions: Complex manifold (of dimension n): Is a locally ringed space $(X,\mathscr F)$, where there is an open cover $\bigcup_{i\in I} U_i=X$ such that ...
9
votes
0answers
406 views

Hodge-Star-Operator on arbitrary oriented basis

Assume that $V$ is oriented finite dimensional vectorspace with dimension $n$, $g \in T^0_2(V)$ a given symmetric and nondegenerate tensor. Let $\mu$ be the corresponding volume element of $V$. ...
9
votes
0answers
316 views

De Rham Cohomology of $M \times \mathbb{S}^1$

Let $M$ be a closed (compact, without boundary) $m$-dimensional manifold. I want to prove that $H^{k+1}(M \times \mathbb{S}^1) = H^k(M) \oplus H^{k+1}(M)$. ($H^k$ is the $k$-th De Rham cohomology ...
9
votes
0answers
206 views

“Natural” constructions of tensor fields from tensor fields on a manifold

This question begins is related to this question on physics.SE Uniqueness of Riemann Curvature Tensor, which asks roughly "what tensors can we make locally out of just the metric tensor? We can ...
8
votes
0answers
861 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 ...
8
votes
0answers
683 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 ...
7
votes
0answers
43 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 ...
7
votes
0answers
143 views

Manifolds with volume forms on every submanifold

If we equip a manifold with an inner product (i.e. we have a Riemannian Manifold) then we get a canonical volume form on that manifold (please mentally insert the prefix "pseudo" into my question ...
7
votes
0answers
104 views

Computing Hodge numbers of a complete intersection

The situation is this: I have a 5-dimensional irreducible projective variety $Y$ embedded in $\mathbb P^{13}$. This variety is singular, the singularities being a disjoint union of two curves. I have ...
7
votes
0answers
99 views

A property processed by a special vector field.

Let $Y$ be a vector field on $\mathbb R^n$ (or any Riemannian manifold $(M, g)$). When will we know that $$Y =\nabla_X X$$ for some other vector fields $X$? Or more precisely, if $Y$ does satisfy ...
7
votes
0answers
156 views

If a thread is pulled out of a floating blob of water, must the thread be tangent to the surface of the blob at some point?

My motivation is the recent question I just answered, and my answer use too many hypothesis that I considered superfluous: Always "one double root" between "no root" and "at ...
7
votes
0answers
215 views

Geodesic equation from Christoffel symbols

Let $\mathcal{P}:=\mathcal{P}(\mathcal{X})$ be the $n$-dimensional manifold of all (strictly positive) probability vectors (distributions) on $\mathcal{X}=\{x_0,\dots,x_n\}$, i.e., each ...
7
votes
0answers
103 views

Does there exist a vector field s.t. all orbits are dense on $\mathbb{R}^2$

Is there a complete vector field such that the all orbits are dense on a contractible manifold? For example, $\mathbb{R}^2$,the interior of a $n$-unit ball.
7
votes
0answers
78 views

Connection in fibre bundle from discontinuous group action

I am trying to understand connections in fibre bundles. I thought of the following problem: Let $\Gamma$ be the discrete group generated by \begin{pmatrix} 1 & 3 & 0 \\ 0 & 1 & 0 \\ ...
7
votes
0answers
365 views

Trying to Understand Lefschetz Pencils

I'm reading on Lefschetz pencils, and I'm trying to understand the following condition ii) better, although I would appreciate insights on condition i), and in general. A Lefschetz pencil on a ...
7
votes
0answers
532 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 ...
7
votes
0answers
95 views

How are boundary conditions formally captured by the jet bundle approach to differential equations?

In the jet bundle approach to differential equations https://en.wikipedia.org/wiki/Jet_bundle#Partial_differential_equations one identifies the equation with the set of a solution of the ...
7
votes
0answers
122 views

When is There a Solution to “Pullback Equation” of Differential Forms

All: Let $f: M \to N$ be a smooth map between manifolds, and let $w$ be a $1$-form on $M$. Under what conditions is there a $1$-form $z$ defined on $N$ so that $w=f^*z$, i.e., so that $w$ is the ...
7
votes
0answers
174 views

The rigorization of naive geometry angles and length

There are a number of claims from elementary school that I just remembered I don't actually mathematically know. Let's start with some specific examples and perhaps the rigorization will inspire me ...
7
votes
0answers
422 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 ...
7
votes
0answers
360 views

Curvature and connections in principal G-bundles

Let $E \rightarrow F$ be a principal $G$-bundle. Let $\alpha$ be a connection 1-form with values in the Lie algebra of $G$. Let $\omega$ denote the curvature 2-form of connection $\alpha$. We know ...
7
votes
0answers
314 views

Riemannian Immersions into Euclidean Space?

The Whitney embedding theorem states that any smooth manifold can be embedded in Euclidean space. In the Riemannian setting this naturally leads to the question whether this can be done in such a way ...
6
votes
0answers
81 views

Prop 12.8 in Bott & Tu

Yo! This proposition in Bott & Tu have been haunting me for a year or so since I always have to come back to this book for references. More precisely, the second equality in Proposition 12.8 in ...
6
votes
0answers
100 views

How do conformal maps affect curvature?

Let $(\overline{M}^{n+1}, \langle \cdot, \cdot \rangle)$ be a riemannian manifold with riemannian connection $\overline{\nabla}$ and consider $M^n \subset \overline{M}$ an orientable hypersurface with ...
6
votes
0answers
64 views

Finding the chern classes of line bundles over projective space using homotopy classes of clutching functions

I have just started to learn about characteristic classes and before learning more about the ways to compute them it would be nice to compute some examples using tools I already know. I only started ...
6
votes
0answers
92 views

Concrete examples and computations in differential geometry

I've been studying differential geometry by myself for some time now. I studied a fair amount of the basic general theory and gone through a lot of the exercises from several textbooks. Lately I ...