Questions about algebraic methods and invariants to study and classify topological spaces: homotopy groups, (co)-homology groups, and beyond.

learn more… | top users | synonyms (1)

4
votes
0answers
169 views

Cohomology of the pullback of a fiber bundle over the torus (generalised Eilenberg-Moore spectral sequence?)

I've found myself in the following situation and the tools that have been suggested to me to calculate the necessary invariants don't quite seem up to the job (I may be wrong in this as I have very ...
4
votes
0answers
61 views

$J$-homomorphism and homotopy

We have Bott periodicity theorem for unitary group $U(n)$: $$ \pi_{i-1}^{s}(U) = \pi_{i-1}(U(m)) \simeq \pi_{i}(Gr_m(\mathbb{C}^{2m})) \simeq \pi_{i+1}(SU(2m)) \simeq \pi_{i+1}^{s}(U) .$$ So we can ...
4
votes
0answers
58 views

Which is harder to compute: $\pi_{n+k}$ or $\Omega^{fr}_n$?

Denote the $n+k$-th homotopy group of $S^n$ by $\pi_{n+k}(S^n)$ and the group of framed cobordism classes by $\Omega_n^{fr}(S^k)$. A central problem of algebraic topology is to compute $\pi_i(S^j)$ ...
4
votes
0answers
142 views

algebraic or homotopical proof for Kakutani fixed point theorem

As Kakutani fixed point theorem is a genral case of Brouwer fixed point theorem, and one can read the proof from homotopy theory books. I wonder if there is any proof for the Kakutani using homotopy ...
4
votes
0answers
106 views

The classifying space of a gauge group

Let $G$ be a Lie group and $P \to M$ a principal $G$-bundle over a closed Riemann surface. The gauge group $\mathcal{G}$ is defined by $$\mathcal{G}=\lbrace f : P \to G \mid f(p \cdot g) = ...
4
votes
0answers
342 views

suggestion for video lectures on algebraic topology

can anyone suggest me any good video lecture series for algebraic topology other than N.J.Wildberger videos. If it is equivalent to Munkres topology (algebraic topology section) it should be great. ...
4
votes
0answers
149 views

Calculating H_0 directly from Eilenberg-Steenrod axioms

It's well-known that every homology theory satisfying Eilenberg-Steenrod axioms is isomorphic to singular homology. I tried to perform some homology calculations directly from axioms but couldn't do ...
4
votes
0answers
208 views

Algebraic Morse theory

In 2005, prof. Emil Skoldberg developed a theory, similar to Forman's Discrete Morse Theory, but suited for arbitrary based chain complexes, in his Morse Theory from an algebraic viewpoint. I'm going ...
4
votes
0answers
65 views

Computing number of path components.

Let $H \subset \mathbb{R}^n$ be a closed subset homeomorphic to $\mathbb{R}^{n - 1}$. Could you give me an idea of how to prove that $\mathbb{R}^n - H$ has exactly two path components. I am expecting ...
4
votes
0answers
123 views

Transforming the Dirac Operator on $S^1$

My goal is to understand as much as I can about the Dirac operator on $S^1$ where we give $S^1$ the spin structure given by the connected double cover of the frame bundle. The spinor bundle on $S^1$ ...
4
votes
0answers
77 views

Contractible and Compact space can be contained in an open set after time $t_0$?

$X$ is a topological space that is contractible and compact. Show that if $U$ is an open set in $X$ containing $x_0$ then there exists $t_0<1$ so that $H(x,t)∈U$, for all $x∈X$, and all $t_0≤t≤1$. ...
4
votes
0answers
73 views

homotopy type of the closure of a subset

Let $X$ be a topological space and $N$ a subset of $X$. Is it true that the closure of $N$ in $X$ is homotopy equivalent to $N$. I think it is not. take for example $N=\mathbb Q\subset \mathbb ...
4
votes
0answers
189 views

Homology and Homotopy group

$E, F, B$ are topological space, $B$ path connected. If we have given a long exact sequence.. $$\cdots\to \pi_1(F)\to \pi_1(E)\to \pi_1(B)\to\cdots$$ what will the relationship of $H_1(F,\mathbb R)$, ...
4
votes
0answers
215 views

Morse theory and homology of an algebraic surface (example)

Let $T_n$ denote the $n$-th Chebyshev polynomial and define $f_n(x,y,z)\!:=\!T_n(x)\!+\!T_n(y)\!+\!T_n(z)$ and $$Z_n:=\mathcal{Z}(f_n) \subseteq \mathbb{R}^3,$$ the Bachoff-Chmutov surface, where in ...
4
votes
0answers
75 views

Coboundary of Thom class and Thom class of boundary

In Griffiths and Morgan's book "Rational Homotopy Theory and differential forms", pages 154-158, they give an example of a computation in de Rham cohomology of the minimal model of a DGA using Massey ...
4
votes
0answers
2k views

Torus as double cover of the Klein bottle

Reading through some lecture notes and it says The torus $T^2$ is the orientation double cover of the Klein bottle $K$, via the covering projection $p:T^2\to K; [x,y]\mapsto [x,2y]$ Could someone ...
4
votes
0answers
216 views

Characteristic Class exercises

I tagged this as "homework" because my supervisor told me I need to be better at computing characteristic classes. The classic examples I can think of are tangent bundles and tautological line ...
4
votes
0answers
124 views

Why is $\pi_2(S^1 \vee S^2)$ not finitely generated?

This is an exercise following a discussion of fibrations. preceding that there was a discussion of cofibrations and the long exact sequence of homotopy groups of a pair. Any hints would be greatly ...
4
votes
0answers
149 views

Can the disk bundle associated to a vector bundle over a finite CW-complex be obtained by attaching cells?

Let $V$ be a vector bundle (with a chosen metric) over a finite CW-complex $X$ and $B(V), S(V)$ the associated (unit) disk resp. sphere bundles. In the paper Clifford-Modules the authors remark that ...
4
votes
0answers
121 views

Given a space what spaces can it cover?

I was thinking about my previous question and thought about going the other way around. Assume we are given a space $Y$ and $Y$ covers $X$, then how much can be said about $X$? The most trivial ...
4
votes
0answers
117 views

Homology of subsets of $\mathbb R^n$

Let $E \subset \mathbb R^n$. Must the homology groups $H_k (E)$ be trivial for $k \geq n$? How about just for $k > n$? If not, whats an example? Thanks.
4
votes
0answers
93 views

Why does applying $-\Box_{A//B} A$ to a free coresolution preserve exactness?

Let $A$ be a Hopf algebra over a field $k$, and let $B$ be a normal subHopf algebra of $A$. Suppose we have an $A$-free coresolution of $k$ over the form $F_n=K_n \otimes_k A$. Kochman claims that ...
4
votes
0answers
133 views

The action of the Steenrod algebra on $H^*(BU; \mathbb{Z}_p)$

By considering the classifying map $f \colon (\mathbb{C} P^{\infty})^n \rightarrow BU(n)$, its induced map on cohomology, and using the Cartan formula, we can derive the Wu formula for the action of ...
4
votes
0answers
149 views

Lie group quotient bundle with image of normalizer as structure group

In Glen Bredon "Topology and Geometry", Ch. II-13, I am stuck on the following "Problem 1. Finish the proof at the end of this section that $G\rightarrow G/H$ is a bundle. Also show that this is a ...
4
votes
0answers
360 views

Homology groups of unit square with parts removed

I did exercise 19 in Hatcher on page 132 and I was wondering if anyone could tell me if this is right: 19. Compute the homology groups of the subspace of $I \times I$ consisting of the four boundary ...
4
votes
0answers
737 views

How to calculate all the subgroups of the fundamental group of the Klein bottle?

A problem asks me to find all the covering spaces of a Klein bottle. This needs to calculate all the subgroups of the fundamental group of the Klein bottle. But I don't have any idea how to do it. I ...
4
votes
0answers
206 views

$T \times S^1$ and $K \times S^1$ (a question from Hatcher)

Note that in what follows $T$ is the torus and $K$ is the Klein bottle I am just looking at Hatcher's example calculation using cellular homology of $T \times S^1$ and $K \times S^1$. is the image ...
4
votes
0answers
294 views

Prove $e^{2 \pi k s}$ is not homotopic to constant loop at $1$ in $S^1$

Let $e^{2 \pi k s} = f(s)$, $f \colon [0,1] \to S^1$ subset of Complex numbers ($S^1$ = unit circle at origin). So $f$ is a loop at the basepoint $1$ in $S^1$. Show that it is not homotopic to the ...
4
votes
0answers
317 views

Exact sequences in the category of chain complexes

Here is the question from Rotman, verbatim: A sequence $S'_*\stackrel{f}{\to} S_* \stackrel{g}{\to} S''_*$ is exact in Comp if and only if $S'_{n}*\stackrel{f_n}{\to} S_n ...
3
votes
0answers
22 views

Multiplicative structure in the cohomological Leray-Serre spectral sequence — please elucidate a proof

Let $\pi \colon X \to B$ be a fibration with $B$ a path-connected CW complex. Write $B^p$ for the $p$-th skeleton of $B$ and set: $X_p = \pi^{-1}(B^p)$, $F_p^m = \ker [H^m(X) \to H^m(X_{p-1})]$, ...
3
votes
0answers
35 views

The relation between homotopy equivalence and contractible mapping cone?

In this MO thread, the OP claimed that it is obvious that homotopy equivalence implies the mapping cone contractible, whereas the converse proposition is wrong. I hate to admit that it's not obvious ...
3
votes
0answers
74 views

Criterion for homotopy equivalence in the category of pair of spaces

I am trying to prove the following statement : Let $\{ * \} \subset A \subset B \subset X$ be a chain of topological spaces (all subsets have the subspace topology). It is given that $A \to X$ ...
3
votes
0answers
38 views

Let $A$ be the annulus in $\mathbb{C}$, what is the space $A/{\sim}$ generated by identifying all points on the “inner circle” with each other?

The annulus is $A=\{z\in\mathbb{C}:1\leq |z| \leq 2\}$ and the "inner circle" here is the set of points $\{z\in\mathbb{C}:|z|=1\}$. If we identify all points of the inner circle together, then, ...
3
votes
0answers
16 views

Is the projection from the cyclic nerve to the simplicial nerve a cyclic map?

I’m trying to understand Loday’s proof of Theorem 7.3.11 in “Cyclic Homology” (2nd ed 1998). I have a problem right at the beginning where it says: The projection map $\text{proj}:\Gamma_\bullet G ...
3
votes
0answers
59 views

Hatcher and “house with two rooms”

On page 4 of Hatcher's "Algebraic Topology" he constructs the "house with two rooms" space. He claims that there is some neighborhood containing this space that is homeomorphic to the unit ball (in ...
3
votes
0answers
34 views

Graph theory application of homology

I am struggling with the idea of local homology groups and would like to see an example of how to go about finding them in general. I'm thinking of the most trivial case to apply the theory of local ...
3
votes
0answers
63 views

The set of homotopy classes of maps is in bijection with homomorphisms between homotopy groups

My question comes from the fact that $\langle K(G,n),K(H,n)\rangle = \text{Hom}(G,H)$. The only proof of this fact that I know uses $\langle X,K(H,n)\rangle = H^n(X,H)$. However, this way of ...
3
votes
0answers
29 views

Crossed product in relative cohomology

First let me fix some notations: $\Delta^p$ will be a standard $p$-simplex, $\Sigma_p(X)$ the set of all continuous maps $\sigma:\Delta^p \to X$ (where $X$ is some topological space) Let $S_p(X,R)$ ...
3
votes
0answers
97 views

The tangent bundle of $\mathbb{CP}^1$ is not isomorphic to its dual.

This question is related to this one but is not a duplicate. In " Characteristic Classes" by Milnor and Stasheff on pages 167-168, the authors give a brief argument about why the tangent bundle of the ...
3
votes
0answers
61 views

Calculating the first homology group

Suppose all vertices on a polygon are identified and the polygon is $abcb^{-1}a^{-1}c$. Is it enough to simply switch to additive notation, get $2c$ and realize that $H_1(X) = \mathbb{Z}_2 * ...
3
votes
0answers
59 views

Fundamental groups of the projective plane

I'm practicing for my topology final. Munkres' Topology, Theorem 74.4 states that: Let $X$ denote the $m$-fold projective plane, that is the space obtained by taking the connected sum of the ...
3
votes
0answers
45 views

cohomology of complex grassmannians and quaternion grassmannians (the finite dimensional case)

Let $G_k(\mathbb{C}^N)$ be the complex grassmannian manifold. Let $G_k(\mathbb{H}^N)$ be the quaternion grassmannian manifold. Let $p$ be a prime integer (we may also impose extra conditions, such as ...
3
votes
0answers
126 views

Fundamental group of connected sum for non-orientable manifolds

For orientable $n$-manifolds, $n\ge3$, the fundamental group of connected sum is free product of fundamental groups: $\pi_1(M\#N)=\pi_1(M)*\pi_1(N)$. As far as I understand, for non-orientable ...
3
votes
0answers
79 views

Lifting a sphere-valued homotopy.

Let $A\subseteq X$ be two finite cell complexes, $\dim X\leq 2n-3$ and let $[(X,A), (S^n, *)]$ be the relative cohomotopy group. There is a natural map $$ \delta: [(X,A),(B^n,S^{n-1})] \to [(X,A), ...
3
votes
0answers
62 views

Describing generators for the fundamental group of an elliptic curve given by an equation

Say you're given an equation in the form $y^2 + a_1xy + a_3y = x^3 + a_2x^2 + a_4x + a_6$. If the $a_i$'s are complex numbers, the subset $E^*\subset\mathbb{C}^2$ satisfying this equation is a ...
3
votes
0answers
48 views

When is $H_i(X,Y)\cong H_i(X/Y)$?

For orientable manifolds,for what $X$ and $Y\not=\varnothing$ does this isomorphism hold true?
3
votes
0answers
27 views

pontriyagin class of quaternionic vector bundle

Let $\xi^{\mathbb{H}}$ be a quaternionic vector bundle over $X$. How to define the Pontriyagin class of $\xi^{\mathbb{H}}$ efficiently? Of course we can let $(\xi^{\mathbb{H}})_{\mathbb{R}}$ be the ...
3
votes
0answers
94 views

Prove that the quotient map $P:G \to G/H$ is a covering space.

Let $G$ be a topological group and $H$ is a subgroup of $G$. Suppose that the subspace topology on $H$ is the discrete topology. Prove that the quotient map $P:G \to G/H$ is a covering space. My ...
3
votes
0answers
46 views

quaternion vector bundle and quaternion grassmannian

Let $\mathbb{H}$ be quaternion numbers. Let $G_n(\mathbb{H}^\infty)$ be the grassmannian of $n$-subspaces of $\mathbb{H}^\infty$. Then ...
3
votes
0answers
72 views

Few questions about compactly generated Hausdorff spaces and Yoneda lemma.

It is a well known fact that in CGWH spaces we have following homeomorphism: $$\mathrm{map}(X \times Y,Z)\cong\mathrm{map}(X, \mathrm{map}(Y,Z)).$$ The proof starts like this: We are dealing with ...