The manifolds tag has no usage guidance.

**7**

votes

**4**answers

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

**8**

votes

**1**answer

432 views

### What is the Status of Borel conjecture today?

Let me recall the conjecture: $M$ and $N$ two aspherical closed $n$-manifolds with isomorphic fundamental groups, then $M$ and $N$ are homeomorphic.

**6**

votes

**1**answer

109 views

### Rational cohomology of the Rosenfeld projective planes

The bioctonionic plane $(\mathbb{C} \otimes \mathbb{O})\mathbb{P}^2$, the quarteroctonionic plane $(\mathbb{H} \otimes \mathbb{O})\mathbb{P}^2$ and the octooctonionic plane $(\mathbb{O} \otimes ...

**1**

vote

**1**answer

158 views

### Smallest homotopy equivalent space inside a manifold with boundary

It is well known that any compact manifold with boundary is homotopy equivalent to its interior. Is there a notion of some smallest space in the interior of the manifold that is homotopy equivalent to ...

**1**

vote

**1**answer

225 views

### On compact, orientable 3-manifolds with non-empty boundary

I recall my Professor having stated something along the lines of the following, but I am not quite certain about the precise statement she gave:
Let $M$ be a compact, orientable 3 manifold with ...

**5**

votes

**2**answers

200 views

### Poisson structures on non-smooth manifolds with singularities

It's very known how we can describe a Poisson structure on a manifold $M$, where $M$ is a smooth manifold, but what about a Non-smooth manifold with singularities? In section $(2)$ of the paper The ...

**0**

votes

**1**answer

86 views

### A connection on fibred manifold always exists?

May be $\pi:Y \mapsto X$ a general fibred manifold. Is it true that in fibred manifold a connection always exists? This wiki article states this: ...

**2**

votes

**1**answer

112 views

### Is the complement of the ends of a manifold bounded?

Let $M$ be a connected manifold with precisely $k$ ends $\epsilon_1,...,\epsilon_k$. Choose a collection $(U_i)_{i=1}^k$ of pairwise disjoint open $\epsilon_i$-neighborhoods. Then I wonder how to ...

**14**

votes

**1**answer

172 views

### Smooth manifolds as idempotent splitting completion

The nlab has a particularly interesting thing to say about the category of smooth manifolds: it is the idempotent-splitting completion of the category of open sets of Euclidean spaces and smooth maps.
...

**32**

votes

**3**answers

2k views

### When is a submanifold of $\mathbf R^n$ given by global equations?

Let $M \subset \mathbf R^n$ be a (smooth) submanifold of dimension $d$. Under which conditions does there exist global equations defining $M$? By global equations I mean : does there exist a smooth ...

**4**

votes

**1**answer

111 views

### Is the signature of inverse images of diffeomorphic submanifolds (along a homotopy equivalence) the same?

Suppose it is given an orientation preserving homotopy equivalence $h:N→M$ between closed oriented connected manifolds. Let $X,Y\subset M$ be diffeomorphic submanifolds, and assume $h$ to be ...

**4**

votes

**2**answers

283 views

### Gluing two 3 manifolds along their boundary

Let $X,Y$ be two compact, smooth, orientable 3 manifolds, each with an incompressible boundary component diffeomorphic to some genus $g $ surface $S_g$. Under an orientation-reversig diffeomorphism ...

**16**

votes

**1**answer

687 views

### Is there a manifold with fundamental group $\mathbb{Q}$?

It is known that the fundamental group of a locally path connected, path connected compact metric space is finitely presented or uncountable. Furthermore the fundamental group of every manifold is ...

**9**

votes

**5**answers

861 views

### Simplicial volume

Is there a finite dimensional closed manifold $M$ which is a $K(\pi,1)$, whose fundamental group is not word-hyperbolic, but which has a positive simplicial volume (ie "Gromov norm")?
(Added:) The ...

**0**

votes

**0**answers

30 views

### Approximate rank of the set formed by all delayed replicas of a bandlimited signals between 0 and T

Given a complex-valued signal with a certain delay $s(t-\tau)$ for which we sample $N$ instants
$$
\mathbf{s(\tau)}=\left[s(0-\tau),\ldots,s\left(\frac{N-1}{f_s}-\tau\right)\right]^T
$$
at Nyquist ...

**10**

votes

**2**answers

333 views

### Homeo-Fixed point property

Edit: According to comment of Michał Kukieła I revised the question
A topological space $X$ satisfies "Homeo-fixed point" property if every homeomorphism $f$ on $X$ possess a fixed point.
...

**3**

votes

**0**answers

46 views

### Cubulating non-compact hyperbolic manifolds

Let $X$ be a hyperbolic manifold of arbitrary dimension. When does $X$ admit a cell structure of a CAT(-1) cube complex? of a hyperbolic CAT(0) cube complex?
I suspect that the question is widely ...

**10**

votes

**0**answers

180 views

### Mapping class groups in high dimension

Let $M$ be a $1$-connected, closed, smooth manifold with $dim(M)>4$ and let us set $MCG(M)=\pi_0(Diff(M))$. Dennis Sullivan proved that $MCG(M)$ is commensurable to an arithmetic group.
I was ...

**26**

votes

**3**answers

4k views

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

What is the difference between holonomy and monodromy?
And what is the simplest example in which one is trivial and the other is not?

**8**

votes

**0**answers

165 views

### Geometric argument for “easy” part of Jordan-Brouwer separation theorem without local flatness

Let $M^n \subset \mathbb{R}^{n+1}$ be an $n$-dimensional compact connected topological submanifold. The Jordan-Brouwer separation theorem says that $\mathbb{R}^{n+1} \setminus M^n$ contains two ...

**3**

votes

**1**answer

216 views

### Perturb a given smooth function to a Morse function relative to fixed level sets, which are already fine

This question was not answered on math.stackexchange.
Let $M$ be a manifold (not necessarily compact) , for the sake of clearness embedded in $\mathbb{R^n}$ and $f\colon M\rightarrow \mathbb{R}$ a ...

**3**

votes

**1**answer

106 views

### Existence of tubular neighborohoods of locally flat topological embeddings

Suppose $X$ is a topological manifold and $Y \subset X$ is a locally flat submanifold. We know that $Y$ doesn't necessarily have a tubular neighborhood. My definition of a tubular neighborhood of $Y$ ...

**9**

votes

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

**76**

votes

**8**answers

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

**5**

votes

**1**answer

167 views

### Which combinations of normality, separability, and paracompactness do complex manifolds possess?

I am interested in what kinds of non-paracompact complex manifolds may exist and which topological properties they may have.
Is there a non-separable complex manifold? Can a non-separable complex ...

**27**

votes

**3**answers

2k views

### What manifolds are bounded by RP^odd?

Real projective spaces $\mathbb{R}P^n$ have $\mathbb{Z}/2$ cohomology rings $\mathbb{Z}/2[x]/(x^{n+1})$ and total Stiefel-Whitney class $(1+x)^{n+1}$ which is $1$ when $n$ is odd, so it follows that ...

**1**

vote

**1**answer

47 views

### Tube formula for r-neighbourhood of a manifold

Let $P$ be a topologically embedded submanifold in a Riemannian manifold $M$. Then the tube $T(P, r)$ of radius $r \geq 0$ about $P$ is the set of all points $m \in M$ such that there exists a ...

**5**

votes

**1**answer

365 views

### Homeomorphism of closed manifold

Suppose that we have two closed n-manifold $M$ and $N$ such that
the topological group of homeomorphisms $Homeo(M)$ is homotopy equivalent to $Homeo(N)$ (maybe as topological groups if needed), can ...

**11**

votes

**1**answer

357 views

### Homology spheres and fundamental group

I have a curiosity about homology spheres: I was wondering if they were uniquely characterized by their fundamental group. I.e. given two $n-$dimensional (integral) homology spheres with isomorphic ...

**4**

votes

**1**answer

125 views

### Exotic C^k manifolds

How much is known about exotic $C^k$-manifolds? For example,
Is it known whether there are $C^k$-differentiable manifolds that are homeomorphic, but not $C^k$ diffeomorphic?
More generally, is it ...

**3**

votes

**1**answer

68 views

### Can any $n$ dimensional (smooth, PL, topological) closed manifold be covered by $2^n$ pieces of $n$ dimensional real spaces?

For any $n$ dimensional closed manifold $M^n$, can we find an open covering $\{U_i\}_{i\in[2^n]}$ such that $M=\cup U_i$ and each $U_i\cong \mathbb R^n$? How about complex manifolds (replacing ...

**69**

votes

**16**answers

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

**2**

votes

**1**answer

174 views

### Digital topology, animal problem, 2-sphere and torus

I have the following question relating digital topology, surfaces, particularly $S^2$ and torus.
Can a body $B$ constructed with cubes (without cavities or tunnels) and with frontier homeomorphic to ...

**0**

votes

**0**answers

51 views

### Looking for Information on Local Degree of Maps on Homology Manifolds

By a homology $n$-manifold, we mean a topological space $X$ such that for all $x \in X$:
1: if $k \neq n$ then $H_k(X, X-x)=0$
2: $H_n(X,X-x) \cong \mathbb{Z}$.
Given homology $n$-manifolds $X$ and ...

**1**

vote

**1**answer

173 views

### Homology of manifold with action of group

Sorry for my ignorance in advance, this should be a very naive question and I would be happy for a reference.
Let $G$ be an arbitrary group (not necessary finite) acting on two (connected) manifolds ...

**8**

votes

**2**answers

382 views

### Topological $n$-manifolds have the homotopy type of $n$-dimensional CW-complexes

I search for a chain of clean references, which lead the fact of topological manifolds of dimension $n$ having the homotopy type of a CW of dimension $n$.
Milnor's On spaces having the homotopy type ...

**27**

votes

**2**answers

785 views

### good covers of manifolds

It is well-known and easy to prove (see for instance this post) that every smooth manifold admits a "good cover", i.e. a locally finite cover by open balls such that all nonempty intersections of the ...

**31**

votes

**1**answer

997 views

### Are there only countably many compact topological manifolds?

Up to homeomorphism, there are 2 one-dimensional topological manifolds and countably many 2- and 3-dimensional compact manifolds, respectively, since each manifold in these dimensions can be ...

**-1**

votes

**1**answer

303 views

### History of Poincare conjecture in higher dimension [closed]

As far as I know, when Poincare formulated his well known conjecture, the original statement was the follwoing: if a closed manifold has the same homology groups as the sphere it is homoeomorphic to ...

**6**

votes

**1**answer

214 views

### Dual cell structures on manifolds

Suppose that $M$ is a compact manifold without boundary (smooth if you like), and suppose further that $M$ is equipped with a regular CW-complex structure. Denote the face poset of this CW-complex by ...

**3**

votes

**1**answer

79 views

### Whether the manifold part of an Alexandrov space is connected?

The title is my question.
Alexandrov space here means finite dimensional Alexandrov space with curvature bounded below ,denoted by CBB.
Let $\gamma$ be a simple curve in a $n$ dimensional CBB $M$ ...

**7**

votes

**2**answers

348 views

### Number of critical points of smooth functions on $S^1$

Let $u$ be a smooth function on the unit circle $S^1$ such that $\int_{S^1}ux_j=0$, for $j=1,2$. Is the number of critical points of $u$ strictly bigger than 2?

**2**

votes

**0**answers

145 views

### Caffarelli-Silvestre extension definition of fractional Laplace-Beltrami on hypersurface

Let $\Gamma \subset \mathbb{R}^{n+1}$ be a $n$-dimensional (closed) $C^k$-hypersurface. Consider the problem
$$\nabla_\Gamma \cdot (y^{1-2s}\nabla_\Gamma u)(x,y) =0 \quad \text{for $(x,y) \in \Gamma ...

**4**

votes

**0**answers

116 views

### Sampling from a Manifold

Suppose we were to obtain a uniform sample, $S=\{x_1,...,x_m\}$, of points on a closed Riemannian $n$-manifold $M$. Let $\Gamma(S)$ be the set of all geodesics between the points in $S$ and we are ...

**3**

votes

**1**answer

272 views

### The relation between Hausdorff dimension of an $n$-manifold and $n$

It is known that for a topological space with different metrics, the Hausdorff dimensions may not be equal in general.
For the case of manifolds, suppose $M$ is a $n$-manifold with a ...

**8**

votes

**2**answers

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

**1**

vote

**0**answers

68 views

### Invariant subsets of a local action

I have also asked this in MSE, but it seems to me that my question wasn't very well received there and I think someone in here will be able to answer it more quickly, hence this post.
I don't ...

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

**6**

votes

**1**answer

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

**26**

votes

**4**answers

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