# Questions tagged [manifolds]

A manifold is a topological space that locally resembles Euclidean space near each point. More precisely, each point of an n-dimensional manifold has a neighbourhood that is homeomorphic to the Euclidean space of dimension n.

**16**

votes

**1**answer

699 views

### Can one determine the dimension of a manifold given its 1-skeleton?

This may be an easy question, but I can't think of the answer at hand.
Suppose that I have a triangulated $n$-manifold $M$ (satisfying any set of conditions that you feel like). Suppose that I give ...

**0**

votes

**0**answers

26 views

### dual and intersection of a simplex

In a triangulation $\Gamma$ of a (oriented) 2-manifold, consider a 2-simplex labeled by ($123$), where $1,2,3$ denote the order of vertices. Consider the dual $\Gamma^*$ of $\Gamma$, and then denote ...

**2**

votes

**0**answers

141 views

### Reference for a proof of a Theorem by Joseph Wolf

We know that Lie Groups are parallelizable, I was looking for a version of the converse and came across this:
https://books.google.com/books?id=w4bhBwAAQBAJ&pg=PA115 in Introduction to Smooth ...

**8**

votes

**1**answer

362 views

### Critical dimensions D for “smooth manifolds iff triangulable manifolds”

I am aware that at least for lower dimensions,
"smooth manifolds iff triangulable manifolds"
at least for dimensions below a certain critical dimensions D.
My question is that for
...

**11**

votes

**0**answers

207 views

### 3-fold of general type homeomorphic to rational 3-fold

Is there a smooth (complex projective) 3-fold of general type which is homeomorphic (in the complex topology) to a rational $3$-fold?
I am aware of such examples in complex dimension $2$, for ...

**3**

votes

**0**answers

250 views

### Topological approach to create a space between clouds

I have a dataset associated with labels. According to https://arxiv.org/pdf/1802.03426.pdf --> UMAP (Uniform Manifold Approximation and Projection) which is a novel manifold learning technique for ...

**2**

votes

**1**answer

139 views

### What is the topological/smooth analogue of Nagata compactification

A celebrated theorem of Nagata and subsequent refinements to schemes and algebraic spaces say that over a not-completely-monstrous base scheme, any separated morphism can be openly immersed in a ...

**4**

votes

**3**answers

276 views

### Elliptic regularity on compact manifold without boundary

Let $(M,g)$ be a Riemannian compact manifold without boundary, and $\Delta$ is the Laplace-Beltrami operator on $M$. Is there any result on the elliptic regularity like this:
For any $u\in H^1(M)$, ...

**6**

votes

**1**answer

191 views

### Action of diffeomorphism group on non-vanishing vector fields

Let $M$ denote a closed manifold. Let $\Gamma(TM\setminus 0) $ denote the space of non-vanishing sections of $TM$. Note that the diffeomorphism group $\text{Diff} (M)$ acts on $\Gamma(TM\setminus 0)...

**0**

votes

**1**answer

117 views

### Intersection of hyperspheres

Suppose we have $n$ hyperspheres in $\mathbb{R}^m$, $m\geq n$, of centers $x_1,\ldots x_n$, $x_i\neq x_j\,\forall i,j$, and radii $r_1,\ldots ,r_n$. Suppose that, for every $i,j$, the quantities $r_i$,...

**5**

votes

**0**answers

85 views

### Induced new structures on Poincare dual manifolds

"R. C. Kirby and L. R. Taylor, Pin structures on low-dimensional manifolds (1990)" shows
Given a spin structure on $M^3$, the submanifold $\text{PD}(a)$ can be given a natural induced $\text{Pin}^-$...

**6**

votes

**0**answers

149 views

### GSO (Gliozzi-Scherk-Olive) projection and its Mathematics?

GSO (Gliozzi-Scherk-Olive) projection is an ingredient used in constructing a consistent model in superstring theory. The projection is a selection of a subset of possible vertex operators in the ...

**3**

votes

**0**answers

44 views

### Relation between the orientation sheaves of the interior and the boundary of a topological manifold

Let $(M, \partial M)$ be an $n$-dimensional topological manifold with boundary. Let $\mathcal{O}_{M \setminus \partial M}$ and $\mathcal{O}_{\partial M}$ denote the orientation sheaves of $M \setminus ...

**5**

votes

**1**answer

128 views

### Relating bordism groups of different dimensions

Let
$M_d$
be a $d$-manifold generator of a subgroup of bordism group
$$
\Omega_d^{G},
$$
or further generalization
$$
\Omega_d^{G}(K(\mathcal{G},n+1)),
$$
which $G$ is the given structure ...

**8**

votes

**3**answers

907 views

### Is there a closed non-smoothable 4-manifold with zero Euler characteristic?

I will just repeat the title:
Is there a closed non-smoothable 4-manifold with zero Euler
characteristic?
I am guessing yes simply based on other existence theorems I have seen for 4-manifolds.

**1**

vote

**0**answers

43 views

### Upper bounds on $\epsilon$-covers of arbitrary compact manifolds

Let $M \subset \mathbb{R}^d$ be a compact $k$-dimensional manifold embedded in $\mathbb{R}^d$. Let $\mathcal{N}(\epsilon)$ denote the size of the minimum $\epsilon$-cover $P$ of $M$, that is for every ...

**4**

votes

**0**answers

89 views

### Lower bound on $\epsilon$-covers of arbitrary manifolds

Let $M \subset \mathbb{R}^d$ be a $k$-dimensional manifold embedded in $\mathbb{R}^d$. Let $\mathcal{N}(\epsilon)$ denote the size of the minimum $\epsilon$-cover $P$ of $M$, that is for every point $...

**5**

votes

**2**answers

512 views

### Classification of closed 3-manifolds with finite first homology group?

I am interested in a topological classification of connected closed 3-manifold $M$ that have finite homology group $H_1(M)$.
Since $H_1(M)$ is the abelization of the fundamental group $\pi_1(M)$, ...

**6**

votes

**1**answer

333 views

### Manifolds with negative dimension – Definition, References

Does the concept of differential manifold with negative dimension make sense, in differential geometry?
If yes, how is it defined? Do you have any reference to recommend?
My problem was born in ...

**4**

votes

**1**answer

252 views

### Every unorientable 4-manifold has a $Pin^c$, $Pin^{\tilde c+}$ or $Pin^{\tilde c-}$ Structure

The precise statement on J. W. Morgan's "The Seiberg-Witten Equations and Applications to the Topology of Smooth Four-Manifolds (MN-44)" that 4-manifold $X$ admits a Spinc structure (Lemma 3.1.2) ...

**4**

votes

**1**answer

131 views

### The homological negligibility of certain subsets in compact manifolds

Let $n\ge 3$ and $X$ be a compact connected $n$-manifold (without boundary).
I need a reference to the following facts (which I believe are true at least in dimension $n=3$):
Fact 1. For every ...

**3**

votes

**1**answer

171 views

### Poincaré dual of the generators of $H^d(\mathbb{RP}^5,\mathbb{Z}_2)$

We know $H^d(\mathbb{RP}^5,\mathbb{Z}_2)=\mathbb{Z}_2$. So there are two classes of $\mathbb{Z}_2$ generators, trivial and nontrivial, for $d=0,1,2,3,4,5$.
Wha are the Poincaré dual $(5-d)$-...

**3**

votes

**0**answers

43 views

### Irreducible separators of compact manifolds

Definition. A closed subset $S$ of a topological space $X$ is called
$\bullet$ a separator of $X$ if $X\setminus S$ is disconnected;
$\bullet$ an irreducible separator if $S$ is a separator of $X$ ...

**15**

votes

**0**answers

281 views

### Beyond smoothness-the clear picture about the notion of a differential form

In this paper N.Teleman constructs the signature operator on an arbitrary (closed, oriented) Lipschitz manifold with coefficients in a vector bundle $\xi$. In particular the notion of a differential $...

**4**

votes

**0**answers

164 views

### Non-spin 5-manifold and $2^2$-Bockstein homomorphism

The $2^2$-Bockstein is $\beta_4$ is associated to
$$0\to\mathbb{Z}/2\to\mathbb{Z}/{8}\to\mathbb{Z}/{4}\to 0,$$
(The $2^n$-Bockstein homomorphism
$$\beta_{2^n}:H^*(-,\mathbb{Z}/{2^n})\to H^{*+1}(-,\...

**2**

votes

**0**answers

219 views

### Quotient space, homogeneous space, and higher homotopy groups

Preparation and my input:
For the quotient space $G/H$, knowing the homotopy
groups of $G$ and $H$ one can determine homotopy groups from the long
exact sequence
$$
...
\to \pi_n(H) \to \pi_n(G) ...

**1**

vote

**0**answers

115 views

### Completing the proof of that the set of points where $f(x) = 0$ is a $k$-manifold [closed]

[I have asked this question with the previous versions of my answer in math.SE; however, I did not get any comment / answer, so I thought I might asked this in here with the improved version of my ...

**1**

vote

**1**answer

148 views

### Can a continuous map on a Hilbert manifold be approximated by a map which has infinitely many critical points?

It is well-known that a continuous map $f:M\to\mathbb{R}^n$ from a Hilbert manifold can be closely approximated by a smooth map $g:M\to\mathbb{R}^n$ which has no critical points.
But, can such a ...

**11**

votes

**1**answer

447 views

### Poincare duality spaces vs. manifolds via lifting maps, the obstruction theory and the role of simply connectedness

Suppose that we are given a topological space $X$: assume for simplicity that $X$ is compact we want to adress the following question:
Is it true that one can find a manifold $M$ which is homotopy ...

**12**

votes

**1**answer

342 views

### Obstruction of spin-c structure and the generalized Wu manifods

Bockstein homomorphim and obstruction of spin-c structure: Let $w_2$ be the Stiefel Whintney class of manifold $M$. Let the Bockstein homomorphim $\beta$ be the
$$
H^2(\mathbb{Z}_2,M) \to H^3(\mathbb{...

**8**

votes

**1**answer

248 views

### Non-triangulable 4-manifold as a boundary of some 5 manifold

We know that there are non-triangulable 4-manifolds, such as the E$_8$ manifold.
Can E$_8$ manifold be a boundary of some 5-manifold $M_5$? Can such a $M_5$ be triangulable or non-triangulable? What ...

**6**

votes

**2**answers

451 views

### Any 3-manifold can be realized as the boundary of a 4-manifold

We know
"Any closed, oriented $3$-manifold $M$ is the boundary of some oriented $4$-manifold $B$." See this post: Elegant proof that any closed, oriented 3-manifold is the boundary of some ...

**11**

votes

**1**answer

372 views

### Is there a PL, or topological, bordism hypothesis?

The bordism hypothesis says that the $(\infty, n)$-category of smooth, framed $n$-bordisms, $(n-1)$-dimensional boundaries, and corners down to points, is freely generated symmetric monoidal with ...

**11**

votes

**3**answers

624 views

### Existence of non-null-homotopic map from $M^n$ to $S^{n-1}$

Let $M^n$ be compact, connected, oriented $n$-dimensional smooth manifold without boundary, the Hopf degree theorem states that the homotopy class of continuous maps from $M^n$ to $S^n$ is classified ...

**1**

vote

**0**answers

58 views

### Does this “algebraic” method for the application of the constructive proof of the classification of closed & compact surfaces have any use? [closed]

Disclaimer: This question is cross-posted in here. I have never asked a question in mathoverflow before, so if the level of this question is not appropriate for this site, please just vote close it.
...

**4**

votes

**0**answers

40 views

### Theoretical justification of time-series forecasting using Takens' embedding

This is a cross-posting
where I couldn't get an answer. In the meantime I have tried to improve the original logic:
As in Takens original paper about his embedding theorem, consider a compact $m$-...

**8**

votes

**3**answers

403 views

### Is there a discrete lattice analogue of conformal transformations?

There is a simple discrete combinatorial analogue of manifolds and homeomorphisms: Replace manifolds by simplicial complexes and homeomorphisms by Pachner moves. Equivalence classes of manifolds under ...

**8**

votes

**2**answers

212 views

### Are there invariants of cell complexes similar to the Euler characteristic?

The Euler characteristic is an invariant (under homeomorphism) of manifolds that can be computed from a cellulation by (weighted) counting of different kinds of objects, namely
\begin{equation}
\chi=\...

**16**

votes

**1**answer

348 views

### Lowest Dimension for Counterexample in Topological Manifold Factorization

Bing gave a classical example of spaces $X, Y, Z$ such that $X \times Y = Z$, where $X$ and $Z$ are manifolds but $Y$ isn't. The space $Z$ in his example has dimension four. Is it known if this is ...

**10**

votes

**3**answers

228 views

### Do $\mathbb{HP}^2\#\overline{\mathbb{HP}^2}$ and $\mathbb{OP}^2\#\overline{\mathbb{OP}^2}$ arise as sphere bundles over spheres?

Recall that $\mathbb{RP}^2\#\mathbb{RP}^2$ is the Klein bottle and can be seen as a non-trivial $S^1$-bundle over $S^1$. In particular, it is the total space of the sphere bundle of $\gamma\oplus\...

**0**

votes

**0**answers

113 views

### Why according to Takens' theorem (1981) we need 2m+1 observation functions (or time series) to reconstruct the attractor?

In the paper [1], page 369 we have Theorem 1 which says:
Let $M$ be a compact manifold of dimension $m$. For pairs $(\phi,y),\;\phi: M\to M $ a smooth diffeomorphism and $y: M \to \mathbb{R}$ is a ...

**2**

votes

**0**answers

59 views

### Transfer map between simplicial manifolds

Let $M^m$ and $N^n$ be two triangulated oriented and closed manifolds and $f:M\to N$ a simplicial map. For each $a\in H_p(N)$ we may consider its homological transfer $f_!a\in H_{m-n+p}(M)$.
I want ...

**3**

votes

**2**answers

173 views

### Signature of the manifold of the multiple fibrations over spheres

We can define the signature of a manifold in $4k$ dimensions.
1) If I understand correctly, the signature $\sigma$ of the manifold of the product space of spheres would always be zero:
$$\sigma(S^...

**6**

votes

**0**answers

168 views

### Differential topology on arbitrary fields

What do the differential topology theories on arbitrary fields have in common?
Different differential topology theories
There is "ordinary" differential topology on real manifolds, with its rich ...

**1**

vote

**0**answers

33 views

### Criterion for bisemisimplicial sets to be a manifold

It is well known that a finite simplicial complex is a manifold of dimension $n$ iff the the link of each vertex is homeomorphic to $\mathbb{S}^{n-1}$.
Are there any criteria for weaker structures? E....

**3**

votes

**1**answer

145 views

### Arcwise-connectedness generalized to higher connectivity?

This is a crosspost from stackexchange. I'm not completely sure whether the question below is research-level, but I have not yet found an obvious answer, and what I have found thus far suggests that ...

**1**

vote

**0**answers

161 views

### What intuitive concepts in pure math can be used to understand Big data? [closed]

I am not a mathematician but I need mathematicians' general knowledge and that is why I chose this community to ask my question from.
As a student/researcher in Data Mining, with background in Pure ...

**2**

votes

**0**answers

95 views

### Uniqueness of spheres in prime decomposition of a 3-manifold

Let $M$ be a closed connected orientable 3-manifold. Then Kneser tells us that there is a decomposition $M = P_1 \sharp \cdots \sharp P_k$ of $M$ into prime manifolds. Milnor tells us that if $M = ...

**6**

votes

**1**answer

416 views

### What is “topology in dimension 3.5”?

I've noticed a couple of conference titles which reference something called
"topology in dimension 3.5," such as this one and this one. This subject seems quite mysterious to me — it looks like ...

**4**

votes

**0**answers

104 views

### Can non-chiral 3D TQFTs be extended to non-orientable manifolds whereas chiral ones cannot?

As far as I know, when talking about TQFT, one usually means TQFTs on oriented manifolds with boundary (cobordisms)
It appears to me that the Turaev-Viro-Barrett-Westbury state-sum construction can ...