5
votes
0answers
205 views

Quotienting disk inside sphere result in sphere

Let $S^k$ be a topological $k$-dimensional sphere. Let $D^k$ be a $k$ dimensional disk that includes in $S^k$. Let $q: D^k \to D^r$ be a map and $r \leq k$. Let $$W = S^k \sqcup D^r/\sim$$ where ...
1
vote
0answers
161 views

Number of faces of a polytopal subdivision

Let $\mathcal{P}$ be a (bounded) polytope in $\mathbb{R}^d$ and let $\mathcal{C}$ be a polytopal subdivision of $\mathcal{P}$ [1]. Is there a known tight upper bound in the number of polytopes in ...
2
votes
0answers
54 views

d-refining covering of normal space

If $X$ is normal, it is well known that for any open-covering $(U_i)$ of $X$, there exist closed subspaces $F_i$ and $G_i$ and an open subspaces $O_i$ such that $$F_i\subset O_i\subset G_i\subset ...
3
votes
2answers
278 views

If $E$ maps onto a contractible space with contractible fibers, must $E$ be contractible?

Let $p\colon E\to C$ be a continuous, surjective map between topological spaces with $C$ contractible. Suppose that $p^{-1}(c)$ is contractible for each $c\in C$. Is it true that $E$ is weakly ...
9
votes
1answer
420 views

Why does the singular simplicial space geometrically realize to the original space?

I have seen it claimed that (for compactly generated Hausdorff spaces) the geometric realization of the singular (internal) simplicial space is homotopy equivalent to the original space. I know how to ...
4
votes
2answers
180 views

Question about lower homology class of cobordism

Assume there are three differential oriented manifold $M_0$, $M_1$, $W$ with $\partial W= M_0 \coprod -M_1$. Denote dim $M_0$=dim $M_1$=n, and dim W=n+1. We know that for the highest homology class, ...
3
votes
1answer
264 views

Realizing homomorphisms between fundamental groups

Let $X,Y$ be compact connected manifolds and $\varphi\colon\pi_1(X)\to\pi_1(Y)$ be a homomorphism between their fundamental groups. Under what conditions on $X$, $Y$ and $\varphi$ is it true that ...
0
votes
3answers
171 views

Lifts across covering maps

Let $X,Y,Z$ be connected topological spaces, $f\colon X\to Y$ be a continuous map and $p\colon Z\to Y$ be a covering map. The problem is the existence of a continuous lift of $f$ across $p$. A ...
13
votes
2answers
794 views

Who first defined _simply connected_, reference?

The following definition is due to Donald J. Newman: A connected open subset $D$ of the plane $\mathbb C$ is simply connected if and only if its complement $\widetilde D = \mathbb C \setminus D$ ...
0
votes
0answers
30 views

Is the multiplicity of a Sobolev mapping alwasys locally essentially bounded´╝č

I have the following question: Let $f:\Omega\to \mathbb{R}^n$ be a (sense-preserving) continuous Sobolev mapping in $W^{1,n}$, where $\Omega$ is a domain in $\mathbb{R}^n$. By Sard's theorem for ...
0
votes
1answer
240 views

Computing the fundamental group of a flag variety

Let $G$ be a compact and connected and simply connected Lie group and $\mathfrak{g}$ be its Lie algebra and $x\in\mathfrak{g}^*$. How can we compute the fundamental group of $G/G_x$ where $G_x$ is ...
0
votes
0answers
193 views

Problem on infinite dimensional metric space, with rigidity assumption

By inspiring from this answer of S. Ivanov, here is a specialization with a rigidity assumption. Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of complete geodesic metric spaces verifying : ...
3
votes
0answers
221 views

How many ways do we have to prove that a mapping is open?

Given a continuous mapping $f$ between Euclidean domains (or domains in topological manifolds) of the same (topological) dimension, what are the natural assumptions to conclude that $f$ is open? ...
20
votes
1answer
518 views

Which spaces have the (weak) homotopy type of compact Hausdorff spaces?

Inspired by the discussion in the comments of this question, I'd like to ask the following question: is it possible to characterize the class of spaces that are homotopy equivalent (or weak ...
2
votes
0answers
122 views

How many ways we have to prove that a topologically (or analytically) nice mapping is injective?

I would like to know what are the methods people have used to prove that a topologically (or analytically) nice mapping $f: B\to \Omega$ is injective? Above, $B$ is the unit ball in $\Bbb R^n$ and ...
1
vote
0answers
92 views

Characterising singular homology among a more general class of cosimplicial spaces

Is there a way to characterise (up to isomorphism) the cosimplicial spaces $F: \Delta \to \underline{\text{Top}}$ with $F( \underline{n}) \subset \mathbb{R}^{n+1}$ compact and $F(\underline{0})$ a ...
1
vote
1answer
74 views

Simply connectedness of minimal resolution of Kleinian singularities

Is the minimal resolution of Kleinian singularities of type $D_k$ (i.e. the minimal resolution of singularities of the action of the binary dihedral group of order $4(k-2)$ on $ C^2$ simply connected? ...
0
votes
0answers
113 views

Subdividing Simplicial complexes

Barycentric subdivision is an important tool in simplicial homology theory, where it is used as a means of obtaining finer simplicial complexes from a given one. Are there other common subdivision ...
5
votes
2answers
465 views

CW complex and group action

This is a general question and any reference or related result will be extremely helpful. Suppose $X$ is a Hausdorff topological space. Suppose G (a countable group) acts on it. Let $Y=X/G$ be the ...
1
vote
1answer
576 views

Topological razors (ball-like spaces)

Introduction Many admire the Euclidean space, and I am not an exception. I will try to catch the topological roundness of the $n$-ball in its greatest generality. I call the resulting axiomatized ...
5
votes
1answer
575 views

A problem on infinite dimensional metric space

Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of complete geodesic metric spaces verifying : $X_{n}$ is a regular CW complex of constant local dimension $n$. $X_{n}$ is of finite type, ...
-1
votes
1answer
211 views

Topological degree of homogeneous function of degree k [closed]

Let $F:\mathbb{C}\to \mathbb{C}$ be a homogeneous map of degree $k$ (i.e., $F(tx)=t^kF(x)$, $t>0$). It is true that $F$ has topological degree less than or equal to k? This is true if F is ...
4
votes
3answers
518 views

Uniquely geodesic and CAT(0) spaces?

Improvement after J-M Schlenker's comment below : This post has been divided into two parts, the second part is here. Question : Is a finite dimensional metric space, uniquely geodesic if and only ...
6
votes
2answers
469 views

Homotopy problem for infinite dimensional topological space II

This post here is a specification of this post. Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of intrinsic metric spaces verifying : $X_{n}$ have topological dimension $n$. $X_{n+1}$ is ...
0
votes
2answers
278 views

Homotopy problem for infinite dimensional topological space

Let $X$ be an infinite dimensional topological space such that : $ \forall n \in \mathbb{N}$, $ \exists X_{n} \subset X$, $n$-dimensional subspaces verifying : $\forall r<n$, the homotopy ...
10
votes
0answers
244 views

When is the one-point compactification well-pointed?

This is a follow up to my previous question. Question: Is there a reasonably natural set of conditions which guarantee that the one-point compactification $X^+$ of a locally compact Hausdorff ...
11
votes
1answer
286 views

Does a self map from the wedge sum of two spheres have either a fixed point or a point of period 2?

Let $X$ be the wedge sum of two $2$-dimensional spheres and $f$ a continuous function from $X$ into $X$. Does $f$ have either a fixed point or a periodic point of order 2? Thanks
19
votes
0answers
458 views

Are there “chain complexes” and “homology groups” taking values in pairs of topological spaces?

Throughout this question, notation of the form $(X,A)$ denotes a sufficiently nice pair of topological spaces. I think for most of what I'm saying here, it is enough to assume that the inclusion $A ...
1
vote
1answer
90 views

ball in universal cover belongs to the union of actions on a section?

M is an n-dim manifold. $\pi :\tilde M \to M$ the universal cover of M. $\tilde p \in \tilde M$ a lift of p. We choose a measurable section $j:{B_1}\left( p \right) \to {B_1}\left( {\tilde p} ...
2
votes
0answers
91 views

Topology of Asymmetric Symmetric Products

Let $X_1,...,X_m$ be connected, simply-connected CW sub-complexes of a CW complex $X$. Let the symmetric group on $m$ letters, $S_m$, act on $P:=X_1\times\cdots\times X_m$ in $X^m$ by permuting ...
5
votes
1answer
281 views

Does there exist a space X whose suspension is homotopy equivalent to [0,1] rel ends but where X is not contractible?

As pointed out by David White in when mapping cone is contractible there exists an acyclic CW-complex $X$ which is not contractible but whose suspension is contractible. Namely, let $a$ and $b$ be ...
2
votes
0answers
73 views

Topological dimension of quotient group determined by the inverse limit of discrete free monoids

Must the natural quotient group of the inverse limit of a sequence of nested discrete free monoids have topological dimension zero? The question might well be open, but I would be grateful for news ...
3
votes
1answer
125 views

Topological question about right-lifting property and the evaluation map

Let $Z$ be a $\Delta$-generated space (a colimit of simplices -not sure that this hypothesis is important but it is the framework I am working in). The set of continuous maps $Z^{[0,1]}$ from $[0,1]$ ...
0
votes
0answers
127 views

Only finitely many fundamental groups in $M(n,k,v,D)$?

Let $M(n,k,v,D)$ denote the class of compact manifolds with $Ric \ge \left( {n - 1} \right)k,vol \ge v,diam \le D$.In 1990,M.Anderson proved that "There are only finitely many fundamental groups among ...
8
votes
6answers
1k views

Giving $Top(X,Y)$ an appropriate topology

I am not sure if its OK to ask this question here. Let $Top$ be the category of topological spaces. Let $X,Y$ be objects in $Top$. Let $F:\mathbb{I}\rightarrow Top(X,Y)$ be a function (I will ...
8
votes
1answer
514 views

When does the sheaf cohomology of a topological space vanish?

The question is in the title. A more precise formulation is: Let $X$ be a topological space. When does $H^i(X,F) = 0$ for all $i > 0$ and all abelian sheaves $F$ on $X$? The obvious example is a ...
4
votes
1answer
347 views

Homotopy equvalence from contractibility of fiber.

Suppose $X$ and $Y$ are two $CW$ complexes and $f:X\rightarrow Y$ is a continuous surjection such that fiber of each point (i.e. $f^{-1}(y)$ for each $y\in Y$) is contractible. Does it implies that ...
2
votes
2answers
223 views

Finitely cocomplete categories of compact Hausdorff spaces

Edit: Zhen Lin incisively observes in a comment below that the category of compact Hausdorff spaces is monadic over the category of sets, hence is cocomplete. That answers the first part of question 1 ...
5
votes
3answers
362 views

Probing a manifold with closed curves

Since fedja's excellent comment on Joseph's question on probing a manifold with geodesics remained uncommented (especially by topologists), I'd like to make a question out of it: Conjecture: Given ...
19
votes
4answers
932 views

The role of ANR in modern topology

Absolute neighborhood retracts (ANRs) are topological spaces $X$ which, whenever $i\colon X\to Y$ is an embedding into a normal topological space $Y$, there exists a neighborhood $U$ of $i(X)$ in $Y$ ...
2
votes
1answer
253 views

Homotopy groups of K3

Let X be a K3 surface and $Y=X/\mathbb{Z}_2$, an Enrique surface. Long exact sequence of homotopy groups corresponding to fiberaion $\pi:X\to Y$, says that $\pi_2(X)=\pi_2(Y)$, while we know $H_2(X)$ ...
0
votes
2answers
258 views

(Homotopy) Y ENR and contractible subset implies Y is a retract

I'm trying to solve the following question: Suppose $Y \subset R^n$ is a Euclidean neighborhood retract. I want to prove that if $Y$ is contractible, then it is a retract of $R^n$.
11
votes
1answer
1k views

Example of fiber bundle that is not a fibration

Hi all, It is well-known that a fiber bundle under some mild hypothesis is a fibration, but I don't know any examples of fiber bundles which aren't (Hurewicz) fibrations (they should be weird ...
8
votes
1answer
469 views

Making CW-complexes metrizable

It is a basic topological fact that CW-complexes aren't typically metrizable (they must satisfy a certain local finiteness condition) and the quotient topology is to blame. Suppose $X$ is a finite ...
11
votes
2answers
443 views

Manifolds covered by an n-dimensional torus

It is well-known that classification of manifolds up to homemorphism is, in general, out of question. However, this task is sometimes tractable under some additional assumptions on manifolds one would ...
2
votes
2answers
373 views

Is the wedge sum of two cones over the hawaiian earring contractible?

Let $X_1$ and $X_2$ be two cones over the hawaiian earring and let $X$ be the wedge sum of $X_1$ and $X_2$ (of course you join them in the special point of the hawaiian earring). How do you prove that ...
1
vote
1answer
269 views

Free and cellular G-action implies free G-complex?

Recall that a CW-complex $X$ with an action of a group $G$ which permutes the cells (i.e., for any $g \in G$ and any cell $\sigma \subseteq X$, $g\sigma$ is a cell) is called a $G$-complex. If the ...
6
votes
3answers
727 views

Universal covering space for non-semilocally simply connected spaces

Consider a topological space $X$. Let us consider a universal covering space to be a covering $ p : \tilde{X} \rightarrow X$ which is a covering of all other covering spaces. (Perhaps I should call ...
2
votes
1answer
300 views

Endomorphisms of degree d on a sphere with infinite fibers on a dense subset

Let $S^n$ be the sphere of dimension $n$. In order to construct a map $f:S^n\rightarrow S^n$ of degree $d\geq 2$ one has the following construction: Let $K$ be the complement of $d$ disjoint ...
7
votes
3answers
797 views

Associativity of topological join and join of spheres

This must be an elementary question, as I couldn't find any proofs on the Internet, but I still can't do it. And yes, Hatcher says that the join is not actually associative for general topological ...