I was recently studying Algebraic Topology reading Hatcher, and came across a table of diagram that talks about covering spaces of $S^1 \vee S^1$ on page 58. I don't really understand how these are acting as covering spaces. I've attached an image of the first two, if anyone has any tips on how to understand the covering done using this space, it would be very appreciated, as my intuition for this is currently very poor. Hatcher Page 58 Diagram
2026-04-03 21:27:06.1775251626
Intuition behind coverings of $S^1 \vee S^1 $
167 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in ALGEBRAIC-TOPOLOGY
- How to compute homology group of $S^1 \times S^n$
- the degree of a map from $S^2$ to $S^2$
- Show $f$ and $g$ are both homeomorphism mapping of $T^2$ but $f$ is not homotopy equivalent with $g.$
- Chain homotopy on linear chains: confusion from Hatcher's book
- Compute Thom and Euler class
- Are these cycles boundaries?
- a problem related with path lifting property
- Bott and Tu exercise 6.5 - Reducing the structure group of a vector bundle to $O(n)$
- Cohomology groups of a torus minus a finite number of disjoint open disks
- CW-structure on $S^n$ and orientations
Related Questions in INTUITION
- How to see line bundle on $\mathbb P^1$ intuitively?
- Intuition for $\int_Cz^ndz$ for $n=-1, n\neq -1$
- Intuition on Axiom of Completeness (Lower Bounds)
- What is the point of the maximum likelihood estimator?
- Why are functions of compact support so important?
- What is it, intuitively, that makes a structure "topological"?
- geometric view of similar vs congruent matrices
- Weighted average intuition
- a long but quite interesting adding and deleting balls problem
- What does it mean, intuitively, to have a differential form on a Manifold (example inside)
Related Questions in FUNDAMENTAL-GROUPS
- Help resolving this contradiction in descriptions of the fundamental groups of the figure eight and n-torus
- $f$ has square root if and only if image of $f_*$ contained in $2 \mathbb Z$
- Homotopic maps between pointed sets induce same group homomorphism
- If $H \le \pi_1(X,x)$ is conjugate to $P_*(\pi_1(Y, y))$, then $H \cong P_*(\pi_1(Y, y'))$ for some $y' \in P^{-1}(x)$
- Calculating the fundamental group of $S^1$ with SvK
- Monodromy representation.
- A set of generators of $\pi_1(X,x_0)$ where $X=U\cup V$ and $U\cap V$ path connected
- Is the fundamental group of the image a subgroup of the fundamental group of the domain?
- Showing that $\pi_1(X/G) \cong G$.
- Fundamental group of a mapping cone
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
Maybe obvious, but keep these things in mind:
Covering spaces have their own structures, fundamental groups, etc. The generators shown in pointed brackets are generators of loops in the covering space, not loops the figure eight.
These shapes are the covering spaces. They are not “instructions” on how to draw covering spaces over the figure eight.
Covering spaces are not spaces/shapes alone. By definition a covering space is a space plus a map that tells you how to map the covering space into the space downstairs. In Hatcher’s figures, the arrows tell us how that map works.
A list of generators is understood to include the inverses of the generators listed.
Below is an image showing how covering space #(1) on p58 works. Follow the arrows to see what maps to what.
Here are a few conclusions. The path $\ a \ $
is a loop in the cover because it goes from the base point in the cover back to that base point. So are $\ b^2 \ $ and $\ bab^{-1}\ $. Also, $\ bab \ $ is a loop; it comes from the product of generators $\ bab^{-1} b^2 \ $.
But note that $\ b \ $ is not a loop in the cover. Nor is $\ ab \ $. And as expected, these cannot be created from the generators.