The manifolds tag has no wiki summary.

**8**

votes

**2**answers

786 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

735 views

### Good overview of singularity theory

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

**5**

votes

**1**answer

369 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

1k 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

129 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$, ...

**13**

votes

**2**answers

676 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

**2**answers

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

**0**

votes

**0**answers

365 views

### Locally flat submanifold

Recently I found the next definition:
Let $M^n$ be an $n-$dimensional topological manifold. Then $N^k\subseteq M^n$ is a locally flat submanifold if for every $x\in N$ there exists an open set $U$ in ...

**2**

votes

**1**answer

356 views

### Symbol map in Getzler calculus

I hope someone can help me, although this question is rather specific.
I am reading John Roe's chapter on Getzler symbols in "Elliptic operators, topology and asymptotic methods" to understand the ...

**11**

votes

**1**answer

578 views

### Stable normal bundle of a manifold

Hi,
in bordism-theory and many bordering areas one has the following construction: Given a manifold M (say closed for the purposes of this discussion and k-dimensional), we embed it into some ...

**3**

votes

**1**answer

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

**1**

vote

**2**answers

247 views

### Elements of finite order in mapping class groups of high dimensional manifolds

Let $M$ be a manifold with boundary. Consider the following groups:
(1) $\pi_0(\operatorname{Diff}(M,\partial M))$.
(2) $\pi_0(\operatorname{Homeo}(M,\partial M))$.
(3) ...

**5**

votes

**4**answers

2k views

### Examples of non-simply connected manifolds with trivial H^1

It is known that, if a topological space is simply connected,its first homology group vanishes. The converse is not true, since for every presentation of a (say, finite) perfect group G we can ...

**1**

vote

**3**answers

458 views

### symplectic form with partition on unity

Assume $M$ is a $2n-$dimensional differentiable manifold. Let $(U_{i})$ be a open covering of $M$. With respect to this covering let $\rho_{i}$ be a partition of unity. Assume that on each $U_{i}$ we ...

**8**

votes

**2**answers

548 views

### Cardinality of connected manifolds

Consider the assertion:
Every connected, but not necessarily paracompact, n-manifold is of cardinality
$2^{\aleph_0}$ (at least assuming the axiom of choice).
For n=1 this may be proved via ...

**24**

votes

**3**answers

2k views

### A “meta-mathematical principle” of MacPherson

In an appendix to his notes on intersection homology and perverse sheaves, MacPherson writes
Why do we want to consider only spaces $V$ that admit a decomposition into manifolds? The intuitive ...

**9**

votes

**2**answers

748 views

### How is the differential in complex cobordism defined?

This is my first MO question...hopefully it's not a bad one...
Background: As a stable homotopy theorist, I like to think of complex cobordism $MU$ as a ring spectrum. If I needed to get my hands ...

**7**

votes

**3**answers

388 views

### Question concerning h-cobordisms

Suppose we have a cobordism $W$ of manifolds $M_0$ and $M_1$ and suppose the inclusion of $M_0$ into $W$ is a homotopy equivalence. Is the same true for the inclusion of $M_1$ (ie. is $W$ already an ...

**2**

votes

**2**answers

482 views

### cayley transform for non-square matrices

Hi,
I am optimizing a function over a matrix $U$, where $U \in \mathbb{R}^{m \times n}$ and $U^TU = I$. I do not want to run a constrained maximization program, since employing the constraint $U^TU = ...

**6**

votes

**1**answer

507 views

### fundamental domain of universal covering

Let $M$ be a connected compact manifold without boundary, $\pi:\widetilde{M}\to M$ be the universal covering map. A fundamental domain of $(\pi,\widetilde{M}, M)$ is a compact subset $D\subset ...

**7**

votes

**0**answers

501 views

### Homometric $\Rightarrow$ isometric?

Suppose you know that there is a mapping between
two Riemmanian manifolds $M_1$ and $M_2$ such that,
for each $x_1 \in M_1$, the (codimension-1) measure of the set of points
at distance $d$ from $x_1$ ...

**9**

votes

**1**answer

309 views

### Can an action of a compact Lie group be nontrivial if it is trivial on the boundary?

Let $G$ be a compact Lie group acting on a connected topological manifold $M$ with boundary. Suppose the action on one boundary component is trivial. Does it follow that the action on the whole of $M$ ...

**1**

vote

**1**answer

315 views

### Do bistellar flips preserve shellability?

I notice there is a strong connection between shellability of simplicial complexes and bistellar flips on these complexes; in particular, adding in a new facet of a shelling induces a bistellar flip ...

**1**

vote

**4**answers

2k views

### Background to learn about manifolds

Greetings
As a necessity to go forward with physics, I find myself in the need to learn about manifolds. Being an engineering student, I don't have the chance to study topology in all its glory.
So, ...

**3**

votes

**2**answers

378 views

### uniqueness of regular/tubular neighborhood with equivariant boundary

Let $N$ and $N'$ be regular neighborhoods of a subpolyhedron $P$ in a closed PL manifold $M$, and suppose that $t$ is a free PL involution on $M$ such that each of $\partial N$, $\partial N'$ is ...

**0**

votes

**1**answer

254 views

### Numbers associated with boundaries of manifolds

I don't know what name if any is attached to the numbers I'm about to describe.
For a line segment, [a,b]
the number is 1 if for any k in (a,b)
and 2 if k=a or k=b.
For a square, [a,b] ...

**7**

votes

**0**answers

125 views

### a “homological dimension” for embedding of manifolds

Let $A\to B$ be a surjective map of commutative $k$-algebras, and suppose $C\to B$ is a free resolution of $B$ as an $A$-algebra, meaning that $C$ is a free non-negatively graded commutative ...

**7**

votes

**2**answers

322 views

### Fragmenting a homeomorphism of a compact manifold

Let $M$ be a compact manifold and let $f : M \rightarrow M$ be a homeomorphism which is isotopic to the identity. We will say that $f$ can be fragmented if it satisfies the following property. Let ...

**7**

votes

**1**answer

510 views

### Riemannian metrics on non-paracompact manifolds

After proving the existence of Riemannian metrics on manifolds, one of the students asked if the "paracompactness" is necessary. Of course the standard proof with the partition of unity
uses this ...

**20**

votes

**3**answers

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

**6**

votes

**1**answer

863 views

### Does a Trivial Tangent Bundle Induce a Multiplication?

Let $M$ be a connected smooth manifold, and assume that it is parallelisable; that is, its tangent bundle is trivial. Does $M$ admit an H space structure? That is, does there exist a smooth map ...

**8**

votes

**2**answers

741 views

### Manifolds with rectifiable curves

To begin with, observe that the notion of a rectifiable curve makes sense in, say, a smooth or a PL-manifold but not in merely a topological manifold. Indeed if $f:[0,1]\rightarrow U\subset{\Bbb ...

**7**

votes

**4**answers

936 views

### A senseful meaning of 'approximation of manifolds'?

Any continuous function can be uniformly approximated by smooth functions.
I would like to have something similar - in what-ever sense - for continuous manifolds.
For example, by Whitney's theorem, ...

**4**

votes

**1**answer

1k views

### transformation properties of divergence (of a vector field)

Hi,
If I have a divergence free vector field defined on a smooth manifold, and I apply some diffeomorphism, what can I say about what happens to the vector field? The example I am using is of an ...

**5**

votes

**2**answers

509 views

### Definition of the Kervaire invariant for normal maps (as in Browder's book)

Browder's book "Surgery on simply-connected manifolds" defines the Kervaire invariant in a very general setting. My question is: how does one get the more usual definition of the invariant for a ...

**15**

votes

**5**answers

1k views

### Is every real n-manifold isomorphic to a quotient of $\mathbb{R}^n$?

I'm curious about the following:
Is every real $n$-manifold isomorphic to a quotient of $\mathbb{R}^n$?
Thanks.
EDIT: As Tilman points out, the manifold should be connected. Also, yes, I'm thinking ...

**13**

votes

**1**answer

1k views

### Proofs of Rohlin's theorem (an oriented 4-manifold with zero signature bounds a 5-manifold)

A celebrated theorem of Rohlin states the following
An oriented closed 4-manifold $M^4$ bounds an oriented 5-manifold if and only if the signature of $M^4$ is zero.
Simple homological arguments ...

**58**

votes

**16**answers

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

**5**

votes

**0**answers

182 views

### Is there a Whitney-type theorem Cauchy manifolds?

Let $M$ be a Cauchy space whose induced topological space is a second-countable Hausdorff space that is locally homeomorphic to $\mathbb{R}^m$.
Does it follow that there exists a subspace $N$ of ...

**0**

votes

**1**answer

223 views

### What is the topology of the structure group of a fiber bundle?

I dont know how can we topologize the structure group G of a fiber bundle P:E\rightarrow B
by transition functions \psi_i^j (Osbern)
Do you know an easy and fundamental book on fiber and vector ...

**64**

votes

**4**answers

5k views

### Which manifolds are homeomorphic to simplicial complexes?

This question is only motivated by curiousity; I don't know a lot about manifold topology.
Suppose $M$ is a compact topological manifold of dimension $n$. I'll assume $n$ is large, say $n\geq 4$. ...

**1**

vote

**1**answer

386 views

### Understanding manifold GL+(3,R)/SO(3) ?

I'm trying to better understand the manifold GL+(3,R)/S0(3) which is diffeomorphic to positive definite symmetric matrices. My motivation is to understand U in F = RU where F in GL+(3,R) = deformation ...

**12**

votes

**2**answers

445 views

### Self homeomorphisms of $S^2\times S^2$

Every matrix $A\in SL_2(\mathbb{Z})$ induces a self homeomorphism of $S^1\times S^1=\mathbb{R}^2/\mathbb{Z}^2$. For different matrices these homeomorphisms are not homotopic, as the induced map on ...

**20**

votes

**2**answers

2k views

### Euler Characteristic of a manifold with non-vanishing vector field,

A friend of mine recently asked me if I knew any simple, conceptual argument (even one that is perhaps only heuristic) to show that if a triangulated manifold has a non-vanishing vector field, then ...

**8**

votes

**2**answers

775 views

### Simplifying triangulations of 3-manifolds

Throughout, by finite triangulation I mean a triangulation consisting of a finite number of triangles.
Suppose $T$ and $T'$ are finite triangulations of a 3-manifold $M$. We will say that $T'$ is ...

**5**

votes

**4**answers

970 views

### Higher-dimensional braid group?

Let $\Delta$ be 2-disk. Let $C(\Delta;n)$ be a configuration space.
i.e.) $C(\Delta;n)= \lbrace (z_1,\ldots,z_n)\in \Delta\times\ldots\Delta | z_i\neq z_j ~\textrm{if}~ i\neq j \rbrace $
Then, it ...

**26**

votes

**4**answers

711 views

### Ring of closed manifolds modulo fiber bundles

Let $R$ be the ring which is generated by homeomorphism classes $[M]$ of compact closed manifolds (of arbitrary dimension) subject to the relations that
$$[F]\cdot [B] = [E]$$
if there exists a fibre ...

**5**

votes

**5**answers

829 views

### topologically homogeneous space?

I want to know the example which satisfies the following.
X is topological space.
for every point x,y in X, there exist open nbhd Ux,Uy of x,y which are homeomorphic.
X has some kind of good ...

**23**

votes

**2**answers

1k views

### A Pachner complex for triangulated manifolds

A theorem of Pachner's states that if two triangulated PL-manifolds are PL-homeomorphic, the two triangulations are related via a finite sequence of moves, nowadays called "Pachner moves".
A ...

**21**

votes

**2**answers

2k views

### Are topological manifolds homotopy equivalent to smooth manifolds?

There exist topological manifolds which don't admit a smooth structure in dimensions > 3, but I haven't seen much discussion on homotopy type. It seems much more reasonable that we can find a smooth ...