The manifolds tag has no usage guidance.

**8**

votes

**1**answer

97 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

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

**15**

votes

**1**answer

648 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

852 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

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

**9**

votes

**2**answers

325 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

41 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

157 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

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

**2**

votes

**1**answer

213 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

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

**74**

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

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

**25**

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

40 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

351 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

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

**3**

votes

**1**answer

117 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

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

**67**

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

167 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

47 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

170 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

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

**5**

votes

**3**answers

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

**27**

votes

**2**answers

751 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

978 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

292 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

183 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

339 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

137 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

114 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

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

**0**

votes

**0**answers

116 views

### A consequenc of a Lie group act on a Riemannian manifold by isometry

I am learning differential geometry for using this topic in my research. I am stuck to prove following Result which I got in a article.
Formulation:
Let $ f: [0, 1]\rightarrow \mathbb{R}^2$ be a ...

**8**

votes

**2**answers

821 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

67 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

882 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

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

**2**

votes

**0**answers

129 views

### Are there analogs of smooth partitions of unity and good open covers for PL-manifolds?

Smooth partitions of unity and differentiable good open covers are important technical tools in the realm of smooth manifolds.
Are there analogs of these tools for piecewise linear manifolds?
A PL ...

**19**

votes

**3**answers

2k views

### A book on locally ringed spaces?

Are there enough interesting results that hold for general locally ringed spaces for a book to have been written? If there are, do you know of a book? If you do, pelase post it, one per answer and a ...

**13**

votes

**1**answer

331 views

### If all balls around two points are isometric… — manifold version

This question is a natural follow-up of this other question, asked earlier today by wspin.
Let's say that a metric space $(X,d)$ has two poles if:
there are two distinct points $x$, $y$ such that ...

**1**

vote

**1**answer

117 views

### Zariski closure of the boundary of a closed convex subset of ${\mathbb R}^n$

Let $\eta$ be a closed convex subset of ${\mathbb R}^n$ of convex dimension $n$ (not necessarily compact) with nonempty boundary $\partial \eta$. Then $\eta$ is an $n$-dimensional topological ...

**12**

votes

**3**answers

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

**8**

votes

**2**answers

368 views

### Inverse cohomological isomorphisms

Let $\ M'\ M''\ $ be simply-connected Hausdorff compact manifolds (possibly with boundary for another variant of the question). Let $\ f:M'\rightarrow M''\ $ be a continuous function which induces an ...