Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
3answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
3answers
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
0answers
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
0answers
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
3answers
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
0answers
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
0answers
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
3answers
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
2answers
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
1answer
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
3answers
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
0answers
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
0answers
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
2answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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 ...