The manifolds tag has no wiki summary.

**5**

votes

**0**answers

220 views

### Embedding tower in low codimension

If $F$ is a suitably nice functor from manifolds to spaces, it has a degree $k$ "polynomial" approximation $T_k F$ in the sense of embedding calculus. We set $T_\infty F := \mathrm{holim} T_k F$.
The ...

**13**

votes

**3**answers

700 views

### Does a *topological* manifold have an exhaustion by compact submanifolds with boundary?

If $M$ is a connected smooth manifold, then it is easy to show that there is a sequence of connected compact smooth submanifolds with boundary $M_1\subseteq M_2\subseteq\cdots$ such that ...

**8**

votes

**4**answers

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

**1**answer

157 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

**1**answer

669 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

**1**answer

105 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

**0**answers

201 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 ...

**7**

votes

**1**answer

496 views

### Cancellation law for $M^n\times \mathbb R= N^n\times \mathbb R$.

Assume $M^n$ and $N^n$ are null bordant, i.e. each can be realized as boundary of an $n+1$ dimensional manifold. Suppose $M^n \times \mathbb R$ is homeomorphic to $N^n\times \mathbb R$. Is there any ...

**13**

votes

**2**answers

460 views

### Are there results from gauge theory known or conjectured to distinguish smooth from PL manifolds?

My question begins with a caveat: I sometimes spend time with topologists, but do not consider myself to be one. In particular, my apologies for any errors in what I say below — corrections are ...

**11**

votes

**3**answers

593 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

**1**answer

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

**2**answers

430 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)

**2**

votes

**0**answers

63 views

### Are there a group of mappings from (n-1)-dim space to an (n-1)-sphere guaranteeing the orthogonality of images?

Hello, everyone.
As we know that in an $n$-dimensional Euclidean space $\mathbb{R}^n$, there exists a continuous bijective mapping from a subset $V^{n-1}\subseteq\mathbb{R}^{n-1}$ to a unit ...

**30**

votes

**3**answers

2k 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 ...

**11**

votes

**2**answers

949 views

### homotopy type of embeddings versus diffeomorphisms

Previously, I asked a question on mathoverflow comparing smooth embeddings and diffeomorphisms, which received a very interesting and somewhat unexpected answer by Agol. I now ask a further question ...

**12**

votes

**1**answer

463 views

### Essential uniqueness of the real-analytic structure on $\mathbb R$

It is well-known that any $C^k$-smooth $1$-manifold homeomorphic to $\mathbb R$ is $C^k$-diffeomorphic to $\mathbb R$. The cases of $k\in{\mathbb N}\cup$ {$\infty$} may all be handled similarly by ...

**4**

votes

**1**answer

632 views

### an extended question of Gromov: Every **generalized open almost complex manifold** admits a **generalized symplectic structure**? [closed]

Definition (Open Manifolds):An open manifold is a manifold without boundary with no compact component. For a connected manifold, "open" is equivalent to "without boundary and non-compact.
we know that ...

**10**

votes

**1**answer

216 views

### orbit space of a topological manifold

Given a compact Lie group G acting freely on a topological manifold M, is it true that the orbit space M/G is also a topological manifold? If so, why?

**15**

votes

**2**answers

494 views

### If $X$ is a simplicial complex, is their a characterization of the links of the vertices of $X$ that is equivalent to the statement "$|X|$ is a manifold

We have a characterization when we want $|X|$ to be a PL-manifold, in particular that the links of all the vertices are themselves (PL) spheres. If we are in the category of PL- spaces then this is a ...

**8**

votes

**1**answer

412 views

### rational homotopy of a manifold

Given a finite dim rational homotopy type satisfying Poincaré duality,
what is the best reference to when it is the rational homotopy type of a fin dim manifold?

**16**

votes

**2**answers

768 views

### Are homeomorphic open subsets of $\mathbb{R}^n$ also diffeomorphic?

Let $U_1, U_2$ be open subsets of $\mathbb{R}^n$. Both are naturally differentiable submanifold, getting the differentiable structure from $\mathbb{R}^n$. Further, both are natural topological ...

**0**

votes

**1**answer

177 views

### Length of intersection of intervals

Can anyone prove this statement? It seems true, but I'm finding it tricky to give a concise proof.
Fix $\alpha\in[0,1]$. Let $\mu$ be Lebesgue measure. Define $B(c,r)\equiv[c-r,c+r]$, where $[\cdot, ...

**4**

votes

**1**answer

356 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 ...

**6**

votes

**1**answer

514 views

### ANOTHER Exterior differential system on $SO(3;\mathbb R) \times \mathbb R$

I have another exterior differential system for one forms $U^i$, where the $\theta^i$ are a cotangent basis on $SO(3)$, i.e. they satisfy $d \theta^i = \epsilon_{ijk} \theta^j \wedge \theta^k$ for the ...

**12**

votes

**1**answer

569 views

### The geometry of crinkled aluminum foil

I wonder if the geometry of crinkled aluminum foil has been studied?
The above is a photo of foil I flattened to reuse.
It might be ...

**1**

vote

**1**answer

182 views

### Exterior differential system on $SO(3;\mathbb R) \times \mathbb R$

I have the following exterior differential system for one forms $\alpha, \beta, \gamma$, where the $\theta^i$ are a cotangent basis on $SO(3)$, i.e. they satisfy $d \theta^i = \epsilon_{ijk} \theta^j ...

**7**

votes

**0**answers

139 views

### PL surface projections - is there a theory of folds and cusps?

For smooth surfaces, the generic singularities of a map of one surface to another are folds and cusps (Whitney). It is a standard result in singularity theory that the generic isotopy of such a map is ...

**0**

votes

**2**answers

412 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 ...

**11**

votes

**1**answer

601 views

### Manifolds with prescribed fundamental group and finitely many trivial homotopy groups

Fix $G$, a finitely generated presented group.
It is known that for every $k > 3$ there is a closed $k$-manifold whose fundamental group is $G$. Similarly, there is a topological space with ...

**3**

votes

**1**answer

266 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) = ...

**1**

vote

**1**answer

300 views

### When are $k$-sectors of a Lie groupoid a manifold?

Let ${\mathcal{G} = \lbrace s,t:G_1 \to G_0 \rbrace}$ be a Lie groupoid. Define
$$(\mathcal{G}^k)_0:=\lbrace (a_1,\dots,a_k) \in G_1^k\mid s(a_1)=t(a_1)=\dots=s(a_k)=t(a_k) \rbrace$$
(This is the ...

**5**

votes

**2**answers

333 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

**2**answers

544 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

**2**answers

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 ...

**4**

votes

**0**answers

182 views

### Mean number of $n$-simplices per $(n-2)$-simplex in a triangulated $n$-manifold

Work by Tamura (extending results by Luo and Stong) shows the following.
Theorem: For any closed 3-manifold $M$ and any rational number $4.5 < r < 6$ there is a triangulation $T$ of $M$ for ...

**6**

votes

**1**answer

261 views

### What is known about the distribution of average edge-degrees for 3-manifold triangulations (with the number of 3-simplices less than a fixed constant)?

This is my first question on mathoverflow! It relates to a project I'm undertaking with a student.
Work by Tamura (extending results by Luo and Stong) shows that for any closed 3-manifold $M$ and any ...

**8**

votes

**3**answers

791 views

### Proving the existence of good covers

Usually one proves the existence of good covers in compact manifolds by Riemannian methods: we pick an arbitrary Riemannian metric, prove that geodesically convex neighborhoods exist, that they are ...

**0**

votes

**1**answer

463 views

### sign of the First chern class fundamental group of Kahler Manifolds

We know by some facts from Kobayashi, if the Kahler manifold $M$ has positive first Chern class, i.e., $c_1 (M)>0$ then $M$ is simply connected. So if $c_1 (M)<0$ under which assumption on $M$ ...

**17**

votes

**1**answer

765 views

### isotopy inverse embeddings vs. diffeomorphisms

I would like to find an example, if one exists, of manifolds $M$ and $N$ with embeddings $f:M\to N$ and $g:N\to M$ such that $f\circ g$ and $g\circ f$ are both isotopic (i.e. homotopic through ...

**1**

vote

**1**answer

271 views

### Is it possible to classify the boundaries of a manifold?

The open ball is a manifold, and the closed ball is a compact manifold-with-boundary which extends the open ball, in which the open ball is dense, in which all the new points are boundary points. Is ...

**5**

votes

**2**answers

573 views

### Pursuit-Evasion on a Manifold

I know pursuit-evasion has been studied in many contexts, including
on a manifold (e.g., Melikyan,
"Geometry of Pursuit-Evasion Games on Two-Dimensional Manifolds"),
but I have not seen this version:
...

**11**

votes

**0**answers

488 views

### Codimension Two Embeddings in Goodwillie-Weiss Manifold Calculus, and the Difficulty of Fundamental Groups

In manifold calculus, there are various analyticity estimates which run into trouble for codimension two embeddings. For instance, the functor $\operatorname{Emb}(M,N)$ is analytic in $M$ if $\dim M ...

**31**

votes

**6**answers

3k views

### Status of PL topology

I posted this question on math stackexchange but received no answers. Since I know there are more people knowledgeable in geometric and piecewise-linear (PL) topology here, I'm reposting the question. ...

**13**

votes

**3**answers

3k views

### What is the difference between holonomy and monodromy?

And what is the simplest example in which one is trivial and the other is not?

**12**

votes

**6**answers

903 views

### Does every vector bundle allow a finite trivialization cover?

Suppose there is a vector bundle (smooth, with constant rank finite-dimensional fibres) over a (smooth, second-countable, Hausdorff, not necessarily connected) manifold $B$ of dimension $n$.
(a) Is ...

**8**

votes

**2**answers

762 views

### When is the connected sum of manifolds orientation-independent?

Given $M$ and $N$, two connected orientable manifolds of the same dimension, when is $M$ # $N$ diffeomorphic to $M$ # $\overline{N}$, where $\overline{N}$ is $N$ with the orientation reversed?
If $N$ ...

**4**

votes

**5**answers

730 views

### Good overview of singularity theory

Can anyone recommend a good overview of singularity theory? In particular, quotient singularities...
Thanks!

**5**

votes

**1**answer

360 views

### Triangulation of Surfaces without Jordan-Schoenflies

Does anyone know of a proof of the fact that any 2-manifold can be triangulated that does not use the Jordan-Curve Theorem or the Jordan-Schoenflies Theorem? Thanks for your help

**6**

votes

**3**answers

984 views

### When is a finite cw-complex a compact topological manifold?

I think the statement of the question is pretty straightforward. Given a finite $n$-dimensional CW complex, are there necessary and sufficient conditions for determining that it is also a compact ...

**2**

votes

**1**answer

128 views

### Decomposition of straight line between points on a manifold

In an article by Lubich, I came across a decomposition for points on the straight line between two points lying in an embedded submanifold $M$ of $R^{n}$.
To be precise, it is proposed that for $X$, ...