All Questions
Tagged with gn.general-topology manifolds
72 questions
6
votes
1
answer
360
views
On connected sum of compact manifolds along a submanifold
Let $M_1$ and $M_2$ be two compact manifolds of dimension $n\ge 3$. Let us have embeddings $i_1: K \to M_1$ and $i_2: K \to M_2$ for a closed manifold $K$ of dimension at most $n-1$ such that the ...
- 506
9
votes
0
answers
258
views
Sheaf cohomology of non-paracompact manifolds (e.g. the long line)
I have long heard that manifolds are "affine". If we allow non-paracompact manifolds, then this seems to fail, since as explained in Dmitri Pavlov's answer, the Serre–Swan theorem fails. I ...
- 2,806
7
votes
2
answers
534
views
Does there exist a Dehn filling of an irreducible 3-manifold with toroidal boundaries which is still irreducible?
Let $M$ be a compact, orientable, irreducible 3-manifold with incompressible toroidal boundary (there might be more than one boundary component). Is it always possible to choose appropriate slopes on ...
- 605
0
votes
3
answers
238
views
Extending $\mathbb{R}$ to a higher dimensional manifold [closed]
If a topological space $X$ is Hausdorff, connected, second countable, homogeneous (i.e. it has transitive homeomorphism group) and embeds the real line $\mathbb{R}$, does it follow that $X$ is a ...
0
votes
0
answers
117
views
Example of a metrizable space that is not an ANR
I have been looking for an example of a metrizable space that is not an absolute neighborhood retract (ANR).
Recall that a metrizable space $X$ is called an ANR if there exists an open set $U$ in a ...
- 506
17
votes
3
answers
2k
views
Is symmetric power of a manifold a manifold?
A Hausdorff, second-countable space $M$ is called a topological manifold if $M$ is locally Euclidean. Let $SP^n(M): = \left(M \times M \times \cdots \times M \right)/ \Sigma_m$, where product is done $...
- 506
1
vote
0
answers
84
views
Is there a standard name for the following class of functions on non-Hausdorff manifolds?
Let $M$ be a (not necessarily Hausdorff) smooth manifold. Given an open chart $U\subset M$ and a compactly-supported smooth function $f:U\to\mathbb{R}$ on $U$, define $\widetilde{f}:M\to\mathbb{R}$ by ...
- 2,178
8
votes
1
answer
380
views
Given an embedded disk in $\mathbb{R}^n$, is there always another disk which intersects it nontrivially in a disk?
We call an open subset $D\subset X$ of a manifold $X$ an embedded disk, if there exists a homeomorphism $D\cong \mathbb{R}^n$.
The precise formulation of the question in the title is as follows:
Let $...
- 725
0
votes
0
answers
177
views
Homeomorphism groups on manifolds and topological properties
Let $M$ be a compact $n$-dimensional manifold let $H(M)$ denote the homeomorphism group of $M$.
If $n=2$ then $H(M)$ enjoys nice properties such as being an ANR, is locally contractible, separable. ...
3
votes
1
answer
325
views
A detail in Brown's proof of the generalized Schoenflies theorem
Consider a homeomorphic embedding $h:S^{n-1}\times [0,1]\rightarrow S^n$ and denote
$$S^{n-1}_t=h(S^{n-1}\times \{t\}).$$
The generalized Schoenflies theorem states the closure of each connected ...
- 1,225
3
votes
0
answers
86
views
(When) can you embed a closed map with finite discrete fibers into a (branched) cover?
Assume all spaces are topological manifolds. A branched cover is a continuous open map with discrete fibers. A finite branched cover is one with finite fibers.
Questions. Given closed map $X\to S$ ...
- 10.5k
8
votes
1
answer
233
views
If $M$ is contractible manifold and $X\subset \partial M$, does the cone over $X$ embed in $M$?
Let $M$ be a compact contractible manifold, $X\subset\partial M$ and $C_X$ the cone over $X$.
Question: Is it true that $C_X$ embeds in $M$ with its boundary $\partial C_X$ mapped to $X\subset \...
- 13.6k
4
votes
1
answer
236
views
What is the Freudenthal compactification of a wildly punctured n-sphere?
Let $C$ be a compact and totally-disconnected subspace of the $n$-sphere $\mathbb{S}^n$, where $n\geq 2$.
Question: Must the Freudenthal compactification of $\mathbb{S}^n \setminus C$ be homeomorphic ...
- 1,926
6
votes
0
answers
136
views
A particular case of the general converse to the preimage (submanifold) theorem
I was thinking whether it would be possible to develop a converse to the preimage theorem in differential topology and I found the following post:
When is a submanifold of $\mathbf R^n$ given by ...
- 197
8
votes
0
answers
198
views
A modified version of the converse to the Sard's Theorem
When I learned Sard's Theorem in differential topology by myself, I was thinking whether it would be possible to prove a converse version of the theorem. That is to say, can we somehow show that each (...
- 349
14
votes
2
answers
891
views
Must a space that is locally injective image of $\mathbb{R}^n$ be a manifold?
Suppose $X\subseteq\mathbb{R}^m$ s.t. for any $x\in X$ and any open $U\subseteq\mathbb{R}^m$ that contains $x$, there exists a smaller open set $V\subseteq U$ also containing $x$, so that $V\cap X$ is ...
- 623
2
votes
1
answer
313
views
(Homotopy) colimit and manifold
Suppose that I have an arbitrary regular CW complex. By associating a topological space to each vertex of the CW complex, I can have a diagram of topological spaces, denoted by $D$, over the CW ...
- 37
0
votes
0
answers
336
views
Can someone explain this proof on aspherical manifolds?
I am trying to understand this proof that the fundamental group of an aspherical manifold is torsion free. The proof is lemma 4.1 from Aspherical manifolds at the Manifold Atlas Project. The proof is:
...
- 29
4
votes
1
answer
253
views
Is every (not necessarily PL-) triangulation of a manifold pure, non-branching and strongly-connected?
A triangulation of a topological manifold $\mathcal{M}$ possibly with boundary is an abstract simplicial complex $\Delta$ together with a homeomorphism $\varphi:\vert\Delta\vert\to\mathcal{M}$, where $...
- 1,171
3
votes
0
answers
187
views
Analogue of Kolmogorov/Arnold superposition for general manifolds?
Previously asked and bountied at MSE with slightly different language:
Given a topological space $\mathcal{X}$, let $$\mathsf{Cl_C}(\mathcal{X})=\bigcup_{n\in\mathbb{N}}C(\mathcal{X}^n,\mathcal{X})$$ ...
- 21.2k
7
votes
1
answer
354
views
Decomposition of manifolds with toroidal boundary
Let $\mathcal{M}$ be a compact, connected, oriented 3-manifolds with non-empty connected boundary $\partial\mathcal{M}$. Then, following this article, it is stated that $\mathcal{M}$ can be written as
...
- 1,429
14
votes
1
answer
937
views
Classification of 3-dimensional manifolds with boundary
It is well-known that every closed, connected and orientable 3-manifold $\mathcal{M}$ can uniquely be decomposed as
$$\mathcal{M}=P_{1}\#\dots\# P_{n}$$
where $P_{i}$ are prime manifolds, i.e. ...
- 1,429
3
votes
0
answers
173
views
How do you compute the $w_2$ of Freedman's E8 manifold?
The Wikipedia page for Rokhlin's Theorem says
"Michael Freedman's E8 manifold is a simply connected compact topological manifold with vanishing $w_{2}(M)$ and intersection form $E_{8}$ of ...
2
votes
1
answer
560
views
Collar neighborhood theorem for manifold with corners
I was reading this wonderful sequence of posts:
nlab: manifold with boundary
and nlab: collar neighbourhood theorem
and I couldn't help but wonder. Is there an extension of the Collar neighborhood ...
- 5,405
3
votes
1
answer
382
views
Closed manifolds are not absolute retracts?
A fundamental result in topology is that the $n$-sphere is not a retract of the $n+1$-ball. It implies that the $n$-sphere is not an absolute retract.
Is there a generalization from the sphere to ...
- 41
8
votes
1
answer
183
views
Are all monotonically normal manifolds of dimension at least two metrizable?
Alan Dow and Frank Tall recently proved the consistency of the statement Every hereditarily normal manifold of dimension at least two is metrizable.
See: Dow, Alan; Tall, Franklin D., Hereditarily ...
- 4,413
0
votes
0
answers
217
views
Intersection of zero sets of continuous functions
Let the zero sets $F=\{x \in \mathbb{R}^n: f(x) = 0\}$, $G = \{x \in \mathbb{R}^n : g(x) = 0\}$, where $f$ and $g$ are $m$-dimensional real, analytic, continuous, and nonlinear vector functions. Under ...
- 1
0
votes
0
answers
174
views
Problem of Thickening an Arc in a Topological $ 2 $-Manifold
Let $ M $ be a topological $ 2 $-manifold (possibly with boundary), $ C $ an arc in the interior of $ M $ (i.e., an injective continuous function from $ [- 1,1] $ into $ \operatorname{Int}(M) $), and $...
- 1,396
-1
votes
1
answer
98
views
Topological connected eccentrics, not homeomorphic to commutative Lie groups
An eccentric is a universal algebra $\ (X\ \sigma\ \lambda\ \rho)\ $ such that operations
$\ \sigma\ \lambda\ \rho\,:\,X\times X\to X\ $ satisfy:
$\quad \forall_{x\ y\,\in X}\quad \lambda(\sigma(x\ y)...
- 4,786
6
votes
1
answer
506
views
Map which is null-homotopic on compacts
This is the missing ingredient towards answering my previous question.
Let $M$ and $N$ be path connected locally compact, locally contractible metric spaces (you may assume that they are manifolds). ...
- 5,529
9
votes
2
answers
755
views
Is limit of null-homotopic maps null-homotopic?
The question is motivated by my failed comment to this one.
Let $M$ and $N$ be path connected locally compact, locally contractible metric spaces (you may assume that they are manifolds).
Let $\...
- 5,529
5
votes
1
answer
380
views
Non-density of continuous functions to interior in set of all continuous functions
Let $M$ be an $m$-dimensional manifold and $N$ be an $n$-dimensional manifold. Suppose also that the topology on $N$ can be described by a metric. Thus, the set $C(M,N)$ can be endowed with the ...
- 5,405
2
votes
1
answer
301
views
Density of continuous functions to interior in set of all continuous functions
Let $M$ be an $m$-dimensional manifold and $N$ be an $n$-dimensional manifold with boundary. Suppose also that the topology on $N$ can be described by a metric. Thus, the set $C(M,N)$ can be endowed ...
- 5,405
5
votes
2
answers
562
views
Collared boundary of a non-metrizable manifold
For this question a manifold-with-boundary is a topological space which is Hausdorff and locally upper-Euclidean. Every metrizable manifold-with-boundary has a collared boundary, as shown in "Locally ...
- 397
3
votes
0
answers
221
views
Category of Manifolds and Maps: TOP $\supseteq$ TRI $\supseteq$ PL $\supseteq$ DIFF? [closed]
Please let me denote the following
(TOP) topological manifolds https://en.wikipedia.org/wiki/Topological_manifold
(PDIFF), for piecewise differentiable https://en.wikipedia.org/wiki/PDIFF
(PL) ...
- 2,147
8
votes
1
answer
1k
views
Cobordism Theory of Topological Manifolds
Unfortunately, due to my ignorance, my present knowledge is limited to the cobordism Theory of Differentiable Manifolds.
Cobordism Theory for DIFF/Differentiable/smooth manifolds
However, there are ...
- 10.5k
16
votes
1
answer
905
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 ...
- 6,290
4
votes
1
answer
378
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 ...
- 10.5k
4
votes
1
answer
153
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 ...
- 41.8k
4
votes
0
answers
67
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$ ...
- 41.8k
14
votes
1
answer
578
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{...
- 2,147
8
votes
2
answers
2k
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 ...
- 10.5k
17
votes
1
answer
525
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 ...
- 439
3
votes
2
answers
218
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^...
- 10.5k
3
votes
1
answer
208
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 ...
- 133
7
votes
1
answer
731
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 ...
- 6,881
9
votes
1
answer
495
views
Which topological manifolds do not correspond to strongly Hausdorff locales?
I'm toying with the idea of using locales as a way to define topological manifolds without beginning with points, largely for philosophical reasons.
In this context I think I want to redefine a ...
- 93
5
votes
1
answer
258
views
Generating the topology of a manifold
Let $X$ be a topological manifold of dimension $d$, and let $F$ be a collection of continuous maps from $X$ into $\mathbf{R}^d$ such that:
$F$ separates points of $X$, i.e. for any two distinct ...
- 5,529
9
votes
1
answer
333
views
Tietze's extension theorem for contractible manifolds
I've read that the Tietze's extension theorem was still valid for continuous applications from a closed subspace of a normal topological space to a contractible topological manifold (understood as ...
- 1,346
16
votes
4
answers
2k
views
Self-covering spaces
Let $M$ be a connected Hausdorff second countable topological space. I will call $M$ self-covering if it is its own $n$-fold cover for some $n>1$. For instance, the circle is its own double cover ...
- 1,959