11
votes
3answers
1k views

(Very) High dimensional manifolds

Usually one regards manifolds up to dimension 4 as a part of low dimensional topology. There are plenty of various results which work only in low dimensional topology; especially in dimension 4. ...
3
votes
3answers
289 views

Canonical Metric on Grassmann Manifold

I was curious and quite clueless as to how we can equip the Grassmann Manifold with a canonical metric - I have yet to find anything upon this subject.
0
votes
1answer
86 views

Orientability of Stiefel manifold V2(R4) [closed]

What is an easy proof of orientability of Stiefel manifold $V_2(\mathbb{R}^4)$ (pairs of orthonormal vectors from $\mathbb{R}^4$ - subset of $\mathbb{R}^8$)? All proofs I found deal with Lie groups ...
1
vote
0answers
39 views

Can the second order frame bundle of a 2-d manifold be embeded inside the ordinary frame bundle of a 3-d manifold?

I would like to know whether the second order frame bundle of a 2-d manifold can be embedded inside the ordinary frame bundle of a 3-d manifold. Explanation Suppose we have a 3D smooth manifold ...
1
vote
0answers
77 views

PL or projective PL map on the links of a PL manifold

Let $M$ be a PL manifold and $f: M\rightarrow M$ be a PL homeomorphism. Suppose that $f(x)=x$ for some vertex $x$. Is the restriction map of $f$ on the links of $x$ also PL? Someone claims that this ...
5
votes
3answers
229 views

Constructing a vector field with given zeros on a torus

By the Hopf-Poincaré theorem, the sum of the indices of the zeros of a vector field on the d-dimensional torus must equal zero. Given an even number of points $x_i$ on a d-dimensional torus, and ...
1
vote
0answers
193 views

On tangent spaces of Stiefel Manifolds

I was trying to read Edelman et al.'s 1998 paper "The Geometry of Algorithms with Orthogonality Constraints" and, since I don't have any differential geometry or much linear algebra background, I am ...
1
vote
1answer
203 views

On the canonical neighborhoods

Suppose $M$ is a 3-dimensional manifold, John W. Morgan and Frederick Tsz-Ho Fong in their "Ricci Flow and Geometrization of 3-Manifolds" book as a definition of canonical neighborhoods have ...
3
votes
2answers
590 views

Visualization of the real projective plane [closed]

Consider a closed (compact and without boundary) and non-orientable 2-manifold $M$. By Whitney embedding theorem, one can embed $M$ in $\mathbb{R}^4$. $M$ cannot be embeded in $\mathbb{R}^3$ and just ...
8
votes
4answers
1k views

geometric interpretation of Lie bracket

On page 159 of "A Comprehensive Introduction To Differential Geometry Vol.1" by Spivak has written: We thus see that the bracket $[X,Y]$ measures, in some sense, the extent to which the integral ...
0
votes
1answer
156 views

Does some type of curvature require the space be an embedded manifold in a higher-dimensional space? [closed]

Assuming an appropriate definition of 'curvature', is there a theorem that says: "At least n+1 dimensions are necessary for a particular curvature to exist in an n-dimensional space, and the n-space ...
5
votes
1answer
656 views

About Sectional Curvature [closed]

In a paper by Yann Ollivier: Let $x$ be a point in $X$, $v$ a small tangent vector at $x$, $y$ the endpoint of $v$, $w_x$ a small tangent vector at $x$, and $w_y$ the parallel transport of $w_x$ from ...
3
votes
1answer
100 views

A k-form is thought of as measuring the flux through an infinitesimal k-parallelepiped

On the wikipedia has written "A $k$-form is thought of as measuring the flux through an infinitesimal $k$-parallelepiped." How does a $k$-form do this? if this sentence is right, then the flux of ...
0
votes
0answers
187 views

A question from Hamilton's Ricci Flow book by bennett chow

On page 3 of the book before exercise 1.2, is written: "torsion free is a compatibility condition with the differentiable structure". I correctly do not understand how torsion-free condition results ...
10
votes
3answers
529 views

Characterizing Hessians among symmetric bilinear tensors

I apologize in advance if this is somewhat elementary, but: Let $(M,g)$ be a compact Riemannian manifold. Is there a "characterization" of which symmetric bilinear tensors $B\in Sym^2(M)$ are ...
0
votes
1answer
215 views

special Lagrangian n-Torus has Tubular neighbourhood?

Let $\imath :T^{n}\rightarrow X$ is a special Lagrangian n-Torus so that $\imath(T^{n})=L$ and all small special Lagrangian deformations of $L$ are flat then why $L$ has Tubular neighbourhood which ...
2
votes
2answers
385 views

When a Riemannian manifold is of Hessian Typ

When a Riemannian manifold is of Hessian Type (i.e., a Riemannian manifold which its metric is Hessian)
30
votes
3answers
1k views

Connected sum of topological manifolds

A definition of the connected sum of two $n$-manifolds $M$ and $M'$ begins by considering two $n$-balls $B$ in $M$, $B'$ in $M'$, and glueing the varieties $M\setminus \mathring B$ and $M'\setminus ...
4
votes
1answer
351 views

What manifolds can have a (non-piecewise) linear structure?

By the definition I'm using, all manifolds are Hausdorff and second countable. For all non-negative integers $n$, I define $B_n$ to be $\bigl\{ \mathbf{v} \in \mathbf{R}^n : \lVert\mathbf{v}\rVert ...
0
votes
2answers
377 views

Interpolating a “manifold” between two points

Edit: I have reworded the question. This may be a basic question but I am having trouble figuring out the correct answer. I want to find a local coordinate chart that fits a d-dimensional ...
3
votes
1answer
252 views

Smooth functions tangent to the leaves of a foliation

Given two smooth manifolds $M$ and $N$, it is known that if $M$ is compact, then $C^\infty(M,N)$ is a Fréchet manifold whose tangent space at $f \in C^\infty(M,N)$ is the space $$T_f C^\infty(M,N) = ...
5
votes
2answers
327 views

Vector space structure on velocity space of manifold

Let $M$ be $C^{\infty}$-manifold and $x\in M$. We define $(k,r)$-velocity space at x as $(T_k^rM)_x:=J_0^{r}(\mathbb{R}^k,M)_x$.Can we define vector space structure on $(T_k^rM)_x$?
10
votes
2answers
531 views

When do blowups ''commute''?

Let $M$ be a manifold (variety, scheme, your favorite object) and let $N_1,N_2$ be two submanifolds (subvarieties, closed subschemes, ideal sheafes, etc.) such that $N_1 \cap N_2 \neq \emptyset$. ...
21
votes
2answers
1k views

Non-regular Connected Hausdorff Banach Manifold

After reading this MO post, I am wondering: Is every (connected) Hausdorff Banach manifold a regular space? Though unjustified, page 53 of this paper nonchalantly states: "Note that a Hausdorff ...
13
votes
2answers
632 views

Uniqueness of compactification of an end of a manifold

Let $M$ be an $n$-dimensional manifold (smooth or topological). I call $\bar{M}$ a compactification of $M$ if it is an $n$-dimensional compact manifold with boundary $\partial \bar{M}$, an ...
1
vote
2answers
321 views

epsilon-Manifold with curvature at one point

I remember briefly hearing about this notion (stated in the title), of a manifold where there is a nonzero curvature at precisely one point (a delta-function distribution), and such that there is a ...
3
votes
1answer
400 views

Cartan-Weil model for Equivariant Cohomology

Let $\mathfrak{g}$ be the Lie algebra of a Lie group $G$ which acts on a manifold $M$. It is quite standard that the basic forms in $\Omega^*(M) \otimes W(\mathfrak{g}^*)$ form a model for the ...
20
votes
3answers
1k views

The third axiom in the definition of (infinite-dimensional) vector bundles: why?

Serge Lang's Differential and Riemannian Manifolds is a no doubt the best available reference for the theory of not-necessarily-finite-dimensional differential manifolds, but unfortunately it suffers ...
55
votes
16answers
7k views

Are there examples of non-orientable manifolds in nature?

Whilst browsing through Marcel Berger's book "A Panoramic View of Riemannian Geometry" and thinking about the Klein bottle, I came across the sentence: "The unorientable surfaces are never discussed ...
60
votes
8answers
7k views

What do heat kernels have to do with the Riemann-Roch theorem and the Gauss-Bonnet theorem?

I know the following facts. (Don't assume I know much more than the following facts.) The Atiyah-Singer index theorem generalizes both the Riemann-Roch theorem and the Gauss-Bonnet theorem. The ...
4
votes
2answers
1k views

Poincaré Theorem on presentation from a fundamental polyhedra

Poincaré Theorem on Kleinian groups (groups acting discontinously on Euclidean or hyperbolic spaces or on spheres) provides a method to obtain a presentation of a Kleinian group from a fundamental ...
4
votes
2answers
414 views

Help me understand boundary terms in actions over nontrivial manifolds

So I have this manifold $M$, along with a metric $g_{\mu\nu}(x)$ and metric-compatible covariant derivative $\nabla_\mu$ (which is not necessarily the one corresponding to the Levi--Civita ...
16
votes
15answers
3k views

Important results that use infinite-dimensional manifolds?

Are Banach manifolds (or other types of infinite-dimensional manifolds) just curiosities, or have they been utilized to prove some interesting/important results? Where do they turn up? Important ...
2
votes
1answer
402 views

Special map from a manifold to GL_n(R)?

I've just finished my first course in differential geometry, so forgive me if this is maybe a silly or well-known question, but given any, say, diffeomorphism of $n$-manifolds $\phi:M\rightarrow N$, I ...