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
64 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
58 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
272 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
191 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
423 views

Surface integral for a scalar function defined on a discrete surface

Imagine a polyhedral, discrete surface embedded in $\mathbb{R}^3$. Its faces are all triangles. For each vertex, one can compute the discrete mean and Gaussian curvatures and evaluate the sum of ...
6
votes
0answers
90 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 ...
6
votes
0answers
117 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 ...
6
votes
0answers
780 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
456 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
239 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
95 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
528 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
158 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
171 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
103 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
111 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
246 views

horizontal vector in tangent bundle

I have a question about Do Carmo notion of horizontal vector (page 79). So he defines natural metric on $TM$ of manifold $M$. Now he chooses vector $V\in T_{(p,v)}(TM)$ and calls $V$ horizontal vector ...
6
votes
0answers
247 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
407 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
490 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
187 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
79 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
45 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
140 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
126 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
67 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
52 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
87 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
84 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
200 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
102 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
48 views

Solving a 2nd-order elliptic PDE with non-constant coefficients

I wonder how I can solve the following 2nd-order PDE on the positive semiplane $\{x>0\}$: $$(\partial_x^2+\frac{1}{x}\partial_y^2)\phi=\delta(x-x_0)\delta(y).$$ I notice that the l.h.s. is the ...
5
votes
0answers
57 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
84 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
70 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
69 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
109 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 ...
5
votes
0answers
69 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
71 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 ...
5
votes
0answers
101 views

Manifold in Milnors Morse Theory

While reading "Morse Theory" by Milnor, I noticed that certain arguments would not work, if the considered manifolds have nonempty boundary. Example: Proof of 3.5 I could not find the definition ...
5
votes
0answers
84 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
57 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
52 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
170 views

Second Variation of Area Functional

This is a follow up question from this one. I have proved that given a parametrized surface ${\bf x}$, the mean curvature is zero if and only if it is a critical point of the area functional. Then ...
5
votes
0answers
94 views

Proof of Reeb's theorem without using Morse Lemma

I'm trying to prove Reeb's theorem as stated in Milnor's Morse Theory. That is, suppose we have an $n$-manifold $M$ together with a smooth function $f$ with exactly two critical points (both ...
5
votes
0answers
112 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 ...
5
votes
0answers
105 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
109 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
98 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
86 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 ...