122 problems.
Hatcher §2.1 selections
- Quotient \(\Delta\)-complex of 2-simplex with two edges identified
- Edge identifications of \(\Delta^3\) producing Klein bottle, torus, \(S^2\), \(\mathbb{RP}^2\)
- \(\Delta\)-complex structure on \(\mathbb{RP}^n\) from \(S^n\)
- Simplicial homology of triangular parachute
- Simplicial homology of Klein bottle
- Simplicial homology of \(\Delta\)-complex from \(n+1\) 2-simplices with cyclic edge identifications
- \(\Delta\)-complex structure on \(S^3\) with a single 3-simplex
- Simplicial homology of lens space from cyclic tetrahedra
- Homology of \(\Delta\)-complex from \(\Delta^n\) with all faces of same dimension identified
- Retract induces injective map on homology
- Chain homotopy is an equivalence relation
- Short exact sequences of cyclic groups
- Relative homology of surfaces with point and circle subsets
- Reduced homology of suspension is shift of reduced homology
- Homology of finite-dimensional CW complexes by induction on dimension
- Map that is homotopy equivalence on \(X\) and \(A\) induces isomorphism on relative homology
- Local homology groups of cone on 1-skeleton of \(\Delta^3\)
- \(S^1 \times S^1\) and \(S^1 \lor S^1 \lor S^2\) have isomorphic homology but different universal covers
- Five-lemma example with zero outer maps and nonzero middle map
Hatcher §2.2 selections
- Map of \(S^{2n}\) has fixed point or antipodal point; \(\mathbb{RP}^{2n}\) maps have fixed points
- Degree zero map has fixed and antipodal points; Hairy Ball Theorem
- Surjective map \(S^n \to S^n\) of degree zero
- Any two reflections of \(S^n\) are homotopic through reflections
- Every map \(S^n \to S^n\) can be homotoped to have a fixed point
- Induced map on local homology of invertible linear transformation is \(\pm 1\) according to sign of determinant
- Homology of four specific 2-complexes
- Homology of \(S^2\) with equatorial antipodal identification, and \(S^3\) with equatorial \(S^2\) antipodal identification
- Homology of cube with opposite faces identified via one-quarter twist (quaternion group)
- Quotient map \(S^1 \times S^1 \to S^2\) inducing isomorphism on \(H_2\); all maps \(S^2 \to S^1 \times S^1\) nullhomotopic
- Even maps \(S^n \to S^n\) must have even degree; degree zero when \(n\) even
- Ranks of simplicial chain groups of \(\Delta^n\) and homology of skeleta
- \(H_i(\mathbb{RP}^n/\mathbb{RP}^m)\) by cellular homology
- If \(M_g\) covers \(M_h\) then \(g = n(h-1)+1\)
- Splitting of chain short exact sequences does not give splitting of homology
- Mayer–Vietoris computations for torus with Möbius band and \(\mathbb{RP}^2\) with Möbius band
- Homology of double of genus-\(g\) surface via Mayer–Vietoris
- Mayer–Vietoris gives \(\tilde{H}_n(X \vee Y) \approx \tilde{H}_n(X) \oplus \tilde{H}_n(Y)\) under neighborhood condition
- Mayer–Vietoris gives suspension isomorphism \(\tilde{H}_n(SX) \approx \tilde{H}_{n-1}(X)\)
- Nerve-type vanishing: \(\tilde{H}_i(X) = 0\) for \(i \geq n-1\) when intersections are acyclic
- Künneth formula \(H_i(X \times S^n) \approx H_i(X) \oplus H_{i-n}(X)\)
- Universal coefficient short exact sequence for homology with \(\mathbb{Z}_n\) coefficients
- Splitting of chain complexes and universal coefficient formula for \(H_n(X; G)\)
Hatcher §2.B selections
Hatcher §1.1 selections
- Cancellation property for composition of paths
- Basepoint-change homomorphism depends only on homotopy class
- Three equivalent conditions for simply-connected spaces
- Natural map from \(\pi_1\) to unbased homotopy classes of maps \(S^1 \to X\)
- Borsuk–Ulam theorem for the torus
- Explicit homotopy for commuting loops in product spaces
- Surjectivity of inclusion-induced map on \(\pi_1\) iff paths in \(X\) with endpoints in \(A\) are homotopic to paths in \(A\)
- No retractions in six specific cases
Hatcher §1.2 selections
- Fundamental group of \(S^2\) with north and south poles identified
- Fundamental group of two tori identified along a circle
- Loop nullhomotopic in \(D^2 \times I\) but not in complement of two arcs
- Fundamental group of mapping torus of map on wedge of circles
- Cube with face identifications via screw motions has quaternion group as fundamental group
- Canonical map from loop complex \(L(X)\) to \(X\) induces isomorphism on \(\pi_1\)
- Fundamental group of surface of infinite genus is free on infinitely many generators
- Join of path-connected space with any nonempty space is simply-connected
Hatcher §4.1 selections
Hatcher §4.2 selections
Hatcher §1.3 selections
- Restriction of a covering space to a subspace
- Product of covering spaces
- Simply-connected covering space of a sphere with diameter
- The harmonic broom has no simply-connected covering space
- Maps to \(S^1\) from spaces with finite fundamental group
- Connected covering spaces of \(S^1 \vee S^1\)
- Covering space of \(S^1 \vee S^1\) for a normal subgroup
- 27-sheeted covering space from the subgroup of cubes
- Connected covering spaces of \(\mathbb{RP}^2 \vee \mathbb{RP}^2\)
- Lifting covering spaces through composites
- Universal abelian covering space
- Nonnormal covering spaces of the Klein bottle
- Torus with Möbius band attached
- Covering spaces and fundamental groups
- Two actions of the fundamental group on the fiber
Hatcher §3.1 selections
- Functoriality of \(\operatorname{Ext}(H,G)\) in both variables
- Multiplication by \(n\) induces multiplication by \(n\) on \(\operatorname{Ext}\)
- Simplicial cohomology of the torus, \(\mathbb{RP}^2\), and the Klein bottle
- \(\operatorname{Hom}(H_n(X),\mathbb Z)\) is not a cohomology theory
- Cohomology of spheres, good pairs, and retracts
- Degree \(d\) maps act on \(H^n(S^n;G)\) by multiplication by \(d\)
Hatcher §3.2 selections
- Cup product structure on closed orientable surfaces
- Maps \(\mathbb{RP}^n\to\mathbb{RP}^m\) for \(n>m\) and the Borsuk–Ulam theorem
- The \(d\)-th power map on \(\mathbb{CP}^n\) in cohomology
- \(\mathbb{RP}^3\) is not homotopy equivalent to \(\mathbb{RP}^2\vee S^3\)
- Spaces with isomorphic integral but distinct \(\mathbb Z_p\) cohomology rings
- Maps \(S^{k+\ell} \to S^k \times S^\ell\) are trivial on top homology
- Torsion in products of CW complexes
- Cup product nondegenerality on surfaces
Hatcher §3.A selections
Hatcher §3.B selections
Hatcher §3.3 selections
- Deleting a point does not affect orientability
- Orientability of products
- Degree 1 maps to \(S^n\)
- Associativity of cap product
- Compactly supported \(H^0\) of noncompact spaces
- Compactly supported cohomology and one-point compactification
- Torsionfree \(H_{k-1}\) implies torsionfree \(H_k\)
- Cup product on connected sums of products
More practice problems — source-faithful positions
- Kronecker pairing descends to homology and cohomology
- Total Hom complexes preserve chain homotopies
- Cup-length obstruction from a contractible cover
- Degree of the coordinate-squaring map of the sphere
- Homology and cohomology of twice-punctured real projective space
- Classify a closed surface drawn as a circular chain of tori
- Classify a circular chain of tori with two links replaced by projective planes
- Covering-space existence among spheres and the torus
- A unital multiplication on a positive-dimensional sphere forces odd dimension
- Cohomological matrices of homeomorphisms of a product of even-dimensional spheres
- Realize the Klein bottle as a quotient of the plane
- The dimension of a manifold is intrinsic
- The figure-eight is not a retract of the torus
- Complex projective space does not split off a sphere wedge
- A product decomposition of complex projective space has a cohomologically trivial factor
- Degree of a normalized polynomial counts roots in the unit disk