## Universal Covering Space of Wedge Products

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Today I was studying for a qualifying exam, and I came up with the following question;

Is there a simple description in terms of the subspaces universal covers for the universal cover of a wedge product?

This question came about after calculating universal covers of the wedge of spheres ($\mathbb{S}^1 \vee\mathbb{S}^1$ and $\mathbb{S}^1 \vee\mathbb{S}^n$) and the wedge of projective space with spheres. In these cases, the universal cover looks like the cross product of the sheets of the universal covers of each space in the wedge.

For the case of wedging two spheres, we can use the fact that $\pi_{n\geq2}\left(U\right)$ is isomorphic to $\pi_{n\geq2}\left(X\right)$ for $U$ covering $X$.

I googled around a bit to try and find something, but nothing appeared.

Thanks in advance!

-

4
The universal covering of $S^1\vee S^1$ is quite different from the cross product of the universal covering spaces of the factors. – Mariano Suárez-Alvarez Jan 22 2010 at 4:59

1
(By the way, the wedge of two spaces is usually denoted \vee in LaTeX.) – Mariano Suárez-Alvarez Jan 22 2010 at 5:00
Mariano, I understand that it is the fractal "snowflake". I did not mean for that comment to be taken literally, however it looks somewhat like it in the sense that in every sheet of the helix, we connect another helix and at every sheet of it... etc. Perhaps I shouldn't of included that idea, it was mostly rough thinking. Thanks for pointing this out though. Also, thanks for the \vee, I was wondering about that :) – B. Bischof Jan 22 2010 at 5:07

1
Typically in the context of topology, $\vee$ is the wedge sum, and $A\wedge B := (A\times B)/(A\vee B)$ is called the smash product. Mariano, just for the record, the exterior product of modules is called the wedge product and uses $\wedge$. This notation has been around since the 1930s, long before the wedge sum notation. So I guess it's fair in this case to blame the topologists. – Harry Gindi Jan 22 2010 at 9:22

1
When our spaces are not pointed, the smash product becomes a specialized type of pushout, but I've only seen this used once in HTT, so I can't fill you in on the details, so to speak. – Harry Gindi Jan 22 2010 at 9:37
show 3 more comments

## 1 Answer

If $X$ and $Y$ are two reasonable spaces with universal covers $\tilde{X}$ and $\tilde{Y}$, there is a nice picture of the universal cover $\widetilde{X \vee Y}$ which has the combinatorial pattern of an infinite tree. The tree is bipartite with vertices labeled by the symbols $X$ and $Y$. The edges from an $X$ vertex are bijective with the fundamental group $\pi_1(X)$, and likewise for $Y$ vertices and $\pi_1(Y)$. To make $\widetilde{X \vee Y}$, replace each $X$ vertex by $\tilde{X}$ and each $Y$ vertex by $\tilde{Y}$. The base point of $X$ lifts to $|\pi_1(X)|$ points in $\tilde{X}$, and likewise for $Y$. In $\widetilde{X \vee Y}$, copies of $\tilde{X}$ are attached to copies of $\tilde{Y}$ at lifts of base points. For example, if $X = Y = \mathbb{R}P^2$, then the tree is an infinite chain and $\widetilde{X \vee Y}$ is an infinite chain of 2-spheres.

This tree picture nicely and dramatically generalizes to Bass-Serre theory.

-

5
Your \wedge's should be \vee's. That's LaTeX's worst naming convention, to my knowledge :P – Mariano Suárez-Alvarez Jan 22 2010 at 7:21
Thanks! Another excellent answer. Also, thanks for the link, that looks very interesting. – B. Bischof Jan 22 2010 at 14:08
Thanks Mariano, I fixed it. – Greg Kuperberg Jan 22 2010 at 18:03
For the record, this picture is often credited to Scott and Wall in their paper: Topological methods in group theory. Homological group theory (Proc. Sympos., Durham, 1977), pp. 137--203, – HW Jan 22 2010 at 19:44
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 35, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9339486956596375, "perplexity_flag": "head"}