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

A Quotient of the Euclidean Group

$\newcommand{\euc}{\mathscr I}\newcommand{\R}{\mathbf R}$ Let $\euc(n)$ denote the the Euclidean group $\R^n\rtimes O_n(\R)$. Recall that $\euc(n)$ acts on $\R^n$ as $(\mathbf x, T)\cdot \mathbf ...
6
votes
0answers
94 views

Vectors that geodesically generate the same surface

Suppose that $\langle M,g \rangle$ is a complete, simply connected Riemannian symmetric space. The surface geodesically generated by a vector $\xi$ in $T_pM$ is the set of points lying on geodesics ...
6
votes
0answers
90 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 ...
6
votes
0answers
121 views

When is a linear map of 1-forms a pullback?

Every diffeomorphism $\phi: M\to N$ between two-dimensional compact oriented Riemannian manifolds induces a linear map on one-forms $L:\Omega^1(M)\to\Omega^1(N)$ given by the pullback of $\phi^{-1}$. ...
6
votes
0answers
134 views

Sobolev space on $M \times [0,\infty)$, $M$ compact closed manifold

Consider a manifold of the form $M \times [0,\infty)$, where $M$ is a closed compact manifold without boundary. So $M \times [0,\infty)$ is a semi-infinite cylinder. I want to know information about ...
6
votes
0answers
79 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 ...
6
votes
0answers
148 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 ...
6
votes
0answers
85 views

Integration of bundle-valued differential forms

The literature, at least textbooks, seems to be very scarce on the topic of integrating bundle-valued differential forms. So I wonder where can I read on the topic? I want to see usual theorems, like ...
6
votes
0answers
176 views

Which manifolds are zero sets of $\mathbb R^n$ valued maps

If $M$ is a smooth manifold, then any framed submanifold $N$ is the preimage $f^{-1}(y) $ for a smooth sphere-valued map $f$ transversal to $y$, with the framing of the normal bundle induced by $f$. ...
6
votes
0answers
71 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 ...
6
votes
0answers
60 views

Two definitions of real flag manifolds: do they coincide?

Let $G$ be a real semisimple Lie group with finite center. Definition 1 A real flag manifold is a homogeneous space $G/Q$ where $Q$ is a parabolic subgroup of $G$. Definition 2 Let $K$ be a ...
6
votes
0answers
292 views

determinant of the Fubini-Study metric

Is there any easy way to compute the determinant of the Fubini-Study metric, given by: $g_{\alpha\bar{\beta}}=\frac{1}{1+\bar{z}z}\left(\delta_{\alpha\bar{\beta}}-\frac{\bar{z}_\alpha ...
6
votes
0answers
203 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 ...
6
votes
0answers
847 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
510 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
250 views

Group actions and associated bundles

Let $P$ be a principal $G$-bundle over $B$, and let $G$ act on some space $F$ (feel free to work in your favorite category of spaces, if this helps). Then $\text{Aut}{P}$ (aka the group of gauge ...
6
votes
0answers
96 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
376 views

Difference between parallel transport and derivative of the exponential map

Given a Riemannian manifold $M$, let $c(t) = \exp_p(tX)$ be the geodesic emanating from $p \in M$ with initial value $X$. Let $t_0$ be small enough, then we have to ways to map $T_pM$ to $T_{c(t_0)} ...
6
votes
0answers
656 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
165 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
178 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 ...
6
votes
0answers
120 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 ...
6
votes
0answers
115 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
267 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$ ...
6
votes
0answers
437 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
397 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 ...
6
votes
0answers
532 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 ...
6
votes
0answers
193 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?
5
votes
0answers
32 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 ...
5
votes
0answers
31 views

Total Variation and geodesic Curvature

If $f:[0,1]\rightarrow \mathbb{R}^d$ is a smooth curve, then is there are relationship between the total variation of $f$ and the geodesic curvature of $f$? I expect they both should be zero iff $f$ ...
5
votes
0answers
24 views

Global Chart implies no cut locus?

If a manifold $M$ admits a global chart, does this imply that there exists a point $p\in M$ such that $Cut_p=\emptyset$? Recall: Definition of $Cut_p$: Let $\mathfrak{C}_p$ be defined as the set ...
5
votes
0answers
46 views

Not understanding the foliation structure of a Poisson manifold

Consider a Poisson manifold $(M, P)$ (no assumption about the rank or regularity of $P$). For each possible rank $2r$ of $P$, let $(M_r, P_r)$ be the corresponding symplectic leaf of dimension $2r$, ...
5
votes
0answers
81 views

Does existence of two Killing vectors $X,Y$ with $[X,Y]\neq 0$ imply existence of a third linearly independent Killing vector?

Suppose we have a Riemannian or Lorentzian manifold with two Killing vector fields $X,Y$ such that $[X,Y]\neq 0$. Does this imply existence of a third linearly independent Killing vector field $Z$? ...
5
votes
0answers
51 views

Maximizing the pairwise Frobenuis distance between M othrogonal matrices

I want to maximize the pairwise Frobenius distance between $M$ orthogonal matrices. That is, I'm looking for $Q_{i}, i = 1, 2, ... M$ such that \begin{equation*} \begin{aligned} & \underset{ 1 ...
5
votes
0answers
151 views

Examples of geometric structures on real manifold that lead to almost complex structure

I have a $M^{2n}$ real manifold. I am interested, if there are any well known geometric structures on manifold that lead in some natural manner to almost complex structure on $M.$ I read on wiki ...
5
votes
0answers
94 views

The covering manifold of a complete Riemannian manifold is complete

This question is from Lectures on the Geometry of Manifolds by Nicolaescu. (Exercise 6.2.8 b) Let $(M,g)$ be a complete (connected) Riemannian manifold and let $(\tilde{M},\tilde{g})$ be its ...
5
votes
0answers
138 views

Darboux's Theorem Alternate Proof

I've been given the task of proving Darboux's theorem through non-standard means. Definitions Let $(M,\phi)$ be a symplectic manifold. $\mathcal{F}_{\text{SP}(V)}(M)$ is the bundle of frames ...
5
votes
0answers
77 views

Every vector bundle has a metric connection?

Let $(E,g)$ be a vector bundle with a metric over a manifold $M$. Does $(E,g)$ always admit a compatible (metric) connection? If so, are there examples where there exists only one such metric ...
5
votes
0answers
53 views

$C^k$ one-parameter family of metrics

Consider a smooth Riemannian manifold $M$ and a $C^k$ one-parameter family of Riemannian metrics $g_t$ on $M$. Here $k$ could be any integer, $k$ could be infinity, when the one-parameter family $g_t$ ...
5
votes
0answers
142 views

Is the de Rham complex a free (commutative?) differential graded algebra?

A differential graded algebra (dg-algebra) is a monoid object in the category of chain complexes with respect to the usual tensor product of complexes. A (graded) commutative dg-algebra is simply a ...
5
votes
0answers
116 views

When is a vector field hamiltonian with respect to some symplectic form?

Given a vector field $v$ on a $2n$-dimensional manifold, how many symplectic forms are there on $M$ that make $v$ a hamiltonian vector field? Alternatively, take the set of all $(H,\omega)$ pairs, mod ...
5
votes
0answers
88 views

Coordinate map from cotangent space is smooth

I know that for a given coordinate system of the tangent space $\partial_1,..,\partial_n$ the coordinate map is smooth, as the coordinate map $\pi_i$ of ${T_xM}$ is nothing but the composition of the ...
5
votes
0answers
240 views

Advanced Differential Geometry Textbook

In algebraic topology there are two canonical "advanced" textbooks that go quite far beyond the usual graduate courses. They are Switzer Algebraic Topology: Homology and Homotopy and Whitehead ...
5
votes
0answers
107 views

Formal adjoint of curvature (Yang Mills)

Currently reading a paper on finding solutions to the Yang Mills equation $D^*\Omega=0$, where $\Omega$ is the curvature and $D^*$ is the formal adjoint of the exterior covariant derivative $D$. ...
5
votes
0answers
61 views

Manifold, exist smooth nonnegative function with regular value at 0?

If $X$ is any manifold with boundary, then does there exist a smooth nonnegative function $f$ on $X$, with a regular value at $0$, such that $\partial X = f^{-1}(0)$?
5
votes
0answers
91 views

Does a left group action on a principal bundle induce an action on associated vector bundles?

Let $G\hookrightarrow P\xrightarrow{\pi}M$ be a principal $G$-bundle with right action $\cdot $ and suppose we are also given a left action $\rho: U\times P\rightarrow P$ of some group $U$ on $P$. ...
5
votes
0answers
82 views

Integration by parts on manifold with a boundary

Suppose $C$ is a 3-form, and $G$ is a 4-form defined by $G = dC$. Also, $M_{11}$ is an 11-dimensional manifold (without a boundary), $W_{6}$ is a 6-dimensional submanifold of $M_{11}$ and ...
5
votes
0answers
80 views

Higher-Order Differential Operators as Vector Fields

On a $C^\infty$ manifold $M$, one can produce the tangent space $T_p M$ at a point by equivalence classes of tangents to smooth curves through the point $p$. When realised this way, the tangent ...
5
votes
0answers
72 views

Rigorous definition of an embedded connected sum.

Can someone point me to a rigorous definition of a connected sum of two smooth embeddings? I know about the usual construction, the problem is that I can't find a proof that this construction is well ...
5
votes
0answers
74 views

Abstract definition of a differential operator

In Kolar, Michor, and Slovak, a differential operator is said to be a rule transforming sections of a fibred manifold $Y \to M$ into sections of another fibred manifold $Y' \to M'$. Is this is a ...