4
votes
3answers
677 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
1answer
207 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
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 ...
0
votes
1answer
166 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
1answer
243 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
2answers
264 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
2answers
315 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
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)$ ...
1
vote
0answers
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
9answers
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
1answer
302 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
2answers
925 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
1answer
326 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
2answers
486 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
1answer
437 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
1answer
315 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
0answers
471 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
2answers
940 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
3answers
474 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
0answers
570 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
1answer
428 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
1answer
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
1answer
316 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
4answers
909 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
1answer
311 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
1answer
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
2answers
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
2answers
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
2answers
527 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
4answers
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 ...