All Questions
Tagged with gn.general-topology manifolds
21 questions with no upvoted or accepted answers
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
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
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
5
votes
0
answers
196
views
Is there a Whitney-type theorem Cauchy manifolds?
Let $M$ be a Cauchy space whose induced topological space is a second-countable Hausdorff space that is locally homeomorphic to $\mathbb{R}^m$.
Does it follow that there exists a subspace $N$ of $\...
user5810
5
votes
1
answer
214
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 ...
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.9k
4
votes
0
answers
112
views
Bundle structures on spheres
Given a positive integer $n$, there is a well known free action of $\mathbb T^1$ on $\mathbb S^{2n-1}$ due to Hopf, which makes $\mathbb S^{2n-1}$ a fibre bundle with the fibre $\mathbb T^1$. Moreover,...
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
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})$$ ...
- 20.5k
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
0
answers
252
views
Special orthogonal groups over spheres
In Norman Steenrod's book "The Topology of Fibre Bundles", on page 37, one can find the following conjecture: if $n$ is a power of two then the fibre bundle with the projection $SO(n)\to SO(n)/SO(n-1)=...
2
votes
0
answers
305
views
Are homotopy equivalent manifolds with homeomorpic boundaries themselves homeomorphic?
Let $f:M \to M′$ be a homotopy equivalence of topological manifolds with boundary such that $dim(M)=dim(M′)$ and $f:\partial M \to \partial M′$ is a homeomorphism. Does this imply the existence of a ...
- 79
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
1
vote
0
answers
80
views
Extending maps to disc homeomorphisms isotopic to the identity
Consider the closed unit disc $\mathbb D^n$ in $\mathbb R^n$ and its closed subdisc $D$ centered at the origin with radius $1/2$. Denote by $V$ the interior of $\mathbb D^n$. I wonder whether the ...
1
vote
0
answers
91
views
Tubular neighbourhood which is nowhere piecewise linear
I recently asked this question.
I think, if the following were true, then I would solve my problem.
Let $E\subset\{(x_1,\dots,x_n)\in\mathbb R^n\;|\;x_i\geq 0\, \&\, \sum_ix_i=1\}$ be a convex ...
- 11
1
vote
0
answers
178
views
Proving that two given functionally structured spaces are isomorphic
The relevant definitions are listed below. They can be found in Chapter VI, pages 297-298 of Bredon's Introduction to Compact Transformation Groups; and Section 2, Chapter II of Bredon's Topology and ...
- 111
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
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. ...
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
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