# Tagged Questions

**4**

votes

**3**answers

687 views

### When are maps between topological spaces homotopic?

I wanted to ask if there is any known mehod to quantify 'how many' homotopy classes of maps there are between two given topological spaces $X$, $Y$ (CW-complexes, say).
So far I had the following ...

**5**

votes

**1**answer

211 views

### Is the homeomorphism class of a connected open set of C determined by its fundamental group?

Let $U,U'\subseteq\mathbf{C}$ be two connected open sets such that $\pi_1(U)\simeq\pi_1(U')$.
Q: Does this imply that $U$ is homeomorphic to $U'$?
In the case where the $\pi_1$'s are trivial then ...

**5**

votes

**1**answer

287 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 ...

**0**

votes

**1**answer

169 views

### Are period domains ever contractible

Which simply-connected period domains are contractible?
Examples. Siegel upper-half space? Poincare upper-half plane? Universal cover of a Shimura variety?
Are these contractible?

**2**

votes

**1**answer

247 views

### Continuous functions on path-connected subsets

Let $X$ be a topological space, and $PX$ the space of all paths on $X$. Then let $G\subset X$ be a path-connected subset and $p\in G$ a point. Let $\sigma:G\rightarrow PX$ be a continuous function ...

**2**

votes

**2**answers

268 views

### Homotopy Equivalences and Induced Correspondences between Fibre Bundles

Suppose that $f:X\rightarrow Y$ is a homotopy equivalence of manifolds. Given a manifold $F$, the pullback construction for $f$ yields a correspondence between isomorphism classes of fibre bundles ...

**4**

votes

**2**answers

317 views

### How to specify a finite group up to inner automorphism?

I want some finite set of data to which I can canoically associate a "group up to inner automorphism", and which can be constructed canoically from a "group up to inner automorphism". I have a few ...

**2**

votes

**1**answer

256 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)$ ...

**1**

vote

**0**answers

102 views

### Existence of open dense subset in a Lie group

Let $G=S\cdot R$ be a Levi-Malcev decomposition of a connected complex Lie group
and $\Gamma$ a discrete subgroup of $G$ such that the subgroups
$\Gamma_g := \Gamma\cap (gSg^{-1})$ are finite for all ...

**27**

votes

**9**answers

2k views

### Covering maps in real life that can be demonstrated to students

Edit: I've really enjoyed everyone's examples (especially the pictures!), but I was mostly looking for a general theorem. For instance, a similar statement to mine is, Can the mapping cylinder of ...

**4**

votes

**1**answer

305 views

### (Non)-exoticness of a diffeomorphism of a sphere

Suppose you have a standard sphere $S^n$ and a "standard" $S^{n-2}\subset S^n$. I am really thinking about $S^{n}\subset \mathbb{R}^{n+1}$ the usual sphere, and $S^{n-2}=S^n\cap \{x_0=x_1=0\}$. Let ...

**24**

votes

**2**answers

935 views

### Euler characteristic and universal cover

Let $M$ be a compact manifold, let $\tilde{M}$ be its universal cover, and suppose that the Euler characteristic $\chi(\tilde{M})=0$.
My question is: does this imply that $\chi(M)=0$?
This is clear if ...

**7**

votes

**1**answer

332 views

### What are the applications of Dowker's theorem?

Let $R \subset X \times Y$ be any relation between sets $X$ and $Y$. CH Dowker constructed two simplicial complexes $K$ and $L$ associated to $R$:
a simplex in $K$ consists of finitely many elements ...

**4**

votes

**2**answers

494 views

### Intersection forms of 4-manifolds with boundary

Let $X$ be any simply connected smooth 4-manifold with a fixed Euler characteristic $e$, signature $\sigma$ and boundary $Y$. Assume that the determinant of the intersection form $Q_{X}$ is equal to a ...

**3**

votes

**1**answer

442 views

### The number of simply connected 4-dimension manifold

For a simply connected four-dimension manifold, we know the Freedmen's work.
My question is: For every integer N, Is the number of simply connected 4-manifolds which the second betti number is ...

**1**

vote

**1**answer

319 views

### Homology and homotopy of a surface

Suppose $S$ be a closed orientable genous $g$ surface. Let $f$,$g$ be homeomorphis from $S$ to itself. Assume they induce the same map on 1st homology $H_1(S, \mathbb Z).$
My question is; does this ...

**11**

votes

**0**answers

478 views

### Codimension Two Embeddings in Goodwillie-Weiss Manifold Calculus, and the Difficulty of Fundamental Groups

In manifold calculus, there are various analyticity estimates which run into trouble for codimension two embeddings. For instance, the functor $\operatorname{Emb}(M,N)$ is analytic in $M$ if $\dim M ...

**5**

votes

**2**answers

951 views

### Construction of Serre Spectral Sequence

I'm trying to follow Hopkins' construction of the Serre Spectral Sequence, but some "obvious" things are not that obvious to me.
He starts with considering a double complex $C_{\bullet,\bullet}$ with ...

**12**

votes

**3**answers

484 views

### Recognizing the 4-sphere and the Adjan--Rabin theorem

The problem of recognizing the standard $S^n$ is the following:
Given some simplicial complex $M$ with rational vertices representing a closed manifold,
can one decide (in finite time) if $M$ is ...

**6**

votes

**0**answers

608 views

### Homotopy groups of a Bouquet of n-spheres

Let $$X=\vee_{\alpha\in A} S_{\alpha}^n$$ be a bouquet of $n$-spheres.
Q: How does one compute the homotopy groups $\pi_k(X)$?

**-1**

votes

**1**answer

433 views

### Is this manifold orientable? [closed]

Let $C$ be the set of points $(a,b,c,d) \in \mathbb{C}^4$ which satisfy
1) $ \left|a\right|^2+\left|c\right|^2=\left|b\right|^2+\left|d\right|^2 =1 $.
2) $ a\bar{b}+c\bar{d}=0 $
There is a ...

**3**

votes

**1**answer

387 views

### Definition of Pontrjagin Classes

I am studying characteristic classes recently and find some quesions about Pontrjagin classes.
Firstly the definition of Pontrjagin classes is not that natural. When we talk about Pontrjagin classes ...

**0**

votes

**1**answer

318 views

### A form of Lefschetz duality

Let W be a manifold with boundary such that \partial W is a union of two compact manifold A,B attached along their boundary. Does poincare duality hold for (W,A) and (W,B)?

**9**

votes

**4**answers

917 views

### Coincidences amongst classifying spaces and Eilenberg Mac-Lane spaces

Given that $$\mathbb{R}P^{\infty} = B O(1) = K(\widehat{O(1)}, 1)$$ $$\mathbb{C} P^{\infty} = B U(1) = K( \widehat{U(1)}, 2)$$ is there any way to make sense of $$\mathbb{H}P^{\infty} = B Sp(1)$$ in a ...

**0**

votes

**1**answer

313 views

### Triviality of finite fiber bundles [closed]

Hello,
I suspect the following is true and easy but I am unable to prove. Suppose (E, B, π, F) is a fiber bundle, where E,B are compact and F is finite, prove that E is a trivial fiber bundle. Any ...

**3**

votes

**1**answer

137 views

### Examples of H-cogroups and a question about julia sets

The following questions should be very easy, but I need help. Notations are same as Bredon's geometry and topology book. This question is related to chapter VII.3.page 441.
$\nabla \colon X\vee ...

**3**

votes

**2**answers

1k views

### How does singular homology H_n capture the number of n-dimensional “holes” in a space?

This is a foundational doubt I have. How does singular homology H_n capture the number of n-dimensional holes in a space?
We disregard the case of $H_0$ as it has the very satisfactory explanation ...

**3**

votes

**2**answers

427 views

### Euler characteristics and operator indices as exponents for Laurent polynomials

This question is rather vague. Are there any natural situations which involve Laurent polynomials of the form
$$\sum q^{a_i}\in\mathbb{Z}[q,q^{-1}]$$
where the $a_i$'s are either Euler characteristics ...

**5**

votes

**2**answers

532 views

### visualizing what's going on in based homotopy theory, et al.

I'm reading J.P. May's Concise Course in Algebraic Topology, and I'm having a lot of trouble visualizing how things work in Chapter 8, "Based cofiber and fiber sequences". Of course this is pretty ...

**19**

votes

**4**answers

2k views

### Visualizing how Cech cohomology detects holes

I think it's pretty intuitive how singular/simplicial cohomology detects "holes" in a space.
How can we directly visualize how and in what sense the Cech cohomology of a cover does this?
In ...