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
327 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
653 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
190 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
261 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
280 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 ...
4
votes
0answers
380 views

Is every CW complex homotopic to a Delta-Complex?

Both answers to this question seem equally reasonable to me. If the answer is positive, I have no idea what the construction of such a space would look like.... If the answer is negative, I assume ...
3
votes
0answers
24 views

Postnikov towers for non-CW spaces

In the literature, Postnikov systems seem to be defined always in the setting of CW complexes. Looking at the proofs, it is not clear to me, why this assumption should be necessary. Question: Does ...
3
votes
0answers
43 views
+50

Why use the Lefschetz Zeta function?

Given a compact, triangulable space $X$ and a continuous function $f: X\rightarrow X$, then we define the Lefschetz number $\Lambda_{f}$ by $$\Lambda_{f} = \sum_{k\geq0}(-1)^{k}Tr(f_{\ast}\vert ...
3
votes
0answers
70 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
47 views

Short proof of Borsuk-Ulam's

By examining the singular cohomology ring with $\mathbb{Z}/2\mathbb{Z}$ coefficients, it is easy to see that if $n>m$ that there can be no map $f:\mathbb{R}P^{n}\to \mathbb{R}P^m$ that induces ...
3
votes
0answers
54 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
31 views

Presentation of group equal to trivial group

Problem: Show that the group given by the presentation $<x,y,z \mid xyx^{-1}y^{-2}\, , \, yzy^{-1}z^{-2}\, , \, zxz^{-1}x^{-2}>$ is equivalent to the trivial group. I have tried all sorts ...
3
votes
0answers
37 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
66 views

Leray-Hirsch Using Kunneth Formula from “Differential form in Algebraic Topology” by Bott and Tu

Kunneth Formula: Let M and F are manifolds. If M has a finite good cover then $H^n(M\times F)=\bigoplus _{p+q=n} H^p(M)\bigotimes H^q (F)$ Bott and tu says One can prove Leray-Hirsch theorem by the ...
3
votes
0answers
16 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
59 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
28 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
18 views

examples of k-invariants of spectra

The homotopy groups of commonly used topological spectra (like KO, S, MO, MSO, etc) are easy to find in literature, even appearing on Wikipedia's List of Cohomology Theories; however, I have had some ...
3
votes
0answers
44 views

How do I show that these two presentations are isomorphic?

I'm taking algebraic topology this year and my professor assigned a class an exercise, and he told that the exercise will be on a coming exam. The exercise is: Show that $(x,y|xyx=yxy)\cong ...
3
votes
0answers
56 views

Definition of the triad homotopy groups

Let $ \ n \in \mathbb{N}$, $n \geqslant 2$. Equip $\mathbb{R}^n$ with the usual euclidean norm $ \ \Vert . \Vert : \mathbb{R}^n \to \mathbb{R}$, metric and topology. Consider $ \ p_0 = (1,0,0,...,0,0) ...
3
votes
0answers
42 views

Homology of stunted infinite real projective space

Consider the following composite based map $$f: S^2 \xrightarrow{\sim} RP^2/RP^1 \to RP^\infty/RP^1$$ induced by the inclusion of the real projective plane $RP^2$ into infinite real projective space ...
3
votes
0answers
58 views

About homotopy fiber at Hatcher's book

What is the meaning of the statement: In this case a map $(I^{i+1},∂I^{i+1},J^i) \to (B,A,x_0)$ is the same as a map $(I^i,∂I^i) \to (F_f, \gamma_0)$ where $\gamma_0$ is the constant path at ...
3
votes
0answers
33 views

Can one prove that $\Bbb{CP}^\infty$ is a $K(\Bbb Z, 2)$ without invoking the long exact sequence of a fibration?

In trying to remind myself why $\Bbb{CP}^\infty$ is a $K(\Bbb Z, 2)$, the natural argument that comes to mind is to take the long exact sequence associated to the fibration $S^1 \rightarrow S^\infty ...
3
votes
0answers
34 views

Group bundle over a topological space

Suppose $p:\tilde X\rightarrow X$ is the universal cover of $X$. Take $G$ a group where $\pi_1(X,x)$ acts by isomorphisms. I read that if we consider $X\times G$ ($G$ with the discrete topology) and ...
3
votes
0answers
38 views

Cycles non-homologous but with the same winding number at each point outside?

Problem (Fulton's Algebraic Topology: A First Course, Problem 6.28) Can we find a closed set $X\subseteq\mathbb R^2$, such that there's a cycle $\gamma$ in $X$ not homologous to zero but for each ...
3
votes
0answers
43 views

Brief summary of simplicial, CW and manifold notions

I tried to summarize the relations between the following notions of: a manifold (smooth, topological and PL), simpilicial complex, CW complex. However I found some inconsistencies, which may be not a ...
3
votes
0answers
54 views

Fundamental group of 7-gon with labelling scheme $abaaab^{-1}a^{-1}$

I want to calculate the fundamental group of of a $7$-gon with labelling scheme $abaaab^{-1}a^{-1}$. I will call the quotient space $X$ with reference point $x_0$. This is what I tried: If you have ...
3
votes
0answers
32 views

Existence of orientation-reversing automorphisms

Let $M$ be a connected orientable manifold (I don't really care about which category of manifolds we should work in). Since I read that there are nice manidolds without orientation-reversing ...
3
votes
0answers
47 views

Is there fundamental group “with coefficients”

Constructing fundamental group in usual way, one uses $I=[0,1] \in \mathbb R$, so uses real numbers, and gets a group classifying coverings for nice spaces: locally connectible and so on, in fact ...
3
votes
0answers
37 views

About the Chern class of infinite complex Grassmannian

I learned that any characteristic class of rank-$k$ complex vector bundles on paracompact spaces is determined bijectively by a cohomology class in $H^*(Gr_k^\infty(\mathbb C))$, the cohomology ring ...
3
votes
0answers
38 views

Homology of non-singular projective algebraic variety

I am unsure whether or not the following claim is true or false and whether or not my proof works or not: Claim: Let $V \subset \mathbb{C}P^n$ be a complex $k$-dimensional, non-singular, projective ...
3
votes
0answers
47 views

definitions of various spectra: $E^X$ and $E \wedge \Sigma^\infty X$

Let $E=\{E_n\}$ be a spectrum given by a sequence of pointed CW complexes $E_n$ and inclusions $\Sigma E_n \to E_{n+1}$. Let $X$ a pointed CW complex. I had a few very naive questions I had while ...
3
votes
0answers
62 views

Motivation behind definition of homologous cycles

Two cycles are said to be homologous if their difference is a boundary.(usual meanings implied) What is the motivation behind this definition or the intuitive meaning it carries. I am looking of ...
3
votes
0answers
50 views

Surgery and Euler Characteristic

I am trying to find out how a $(p,n-p)$ surgery affects the Euler Characteristic of an orientable, $n-$ dimensional, compact manifold. Call the initial manifold $M$ and the post-op manifold $M'$. This ...
3
votes
0answers
38 views

Coboundary map problem

I have to show that if $A$ and $B$ are compact connected subsets in the plane such that $A\cap B$ is not connected (and not empty), then $\Bbb R^2\setminus(A\cup B)$ is not connected. The tool I must ...
3
votes
0answers
48 views

When is a graded ring the cohomology ring of a CW-complex?

Let $A^*$ be a graded-commutative ring with $A^n = 0$ for sufficiently large $n$ and each $A^n$ finitely generated. When does there exist a finite CW-complex $X$ with $H^*(X) \cong A$ as graded rings? ...
3
votes
0answers
60 views

De Rahm Cohomology of Complex Grassmannian

Since the complex Grassmannian $G_k(\mathbb{C}^n)\cong SU(n)/S(U(k)\times U(n-k))$ is connected and simply connected, the first two de Rahm cohomology groups are given by $$ ...
3
votes
0answers
40 views

Why are homotopy spheres spin-cobordant in dimensions divisible by 4?

Manifolds are assumed to be smooth having dimensions $\geq5$. As usual, $\Omega^{Spin}_{*}$ denotes the spin bordism ring and $\Omega^{SO}_{*}$ the oriented bordism ring. Let $\Sigma^n$ be a closed ...
3
votes
0answers
23 views

Has there been work on computational group theory applications to computing colimits of crosses n-cubes of groups?

I'm trying to compute homotopy groups of a few spaces using crossed n-cubes of groups. I'm able to describe a few colimits in terms of quotients of induced crossed modules and nonabelian tensor ...
3
votes
0answers
47 views

Minimum regularity Of Stoke's theorem to hold in smooth manifold.

Stokes’ Theorem on Manifolds is often express as follows: Given a differential m-form $\omega$ whose support is the $C^{\infty}$ $m$-dimensional compact manifold ${\cal{M}}$ with boundary ...
3
votes
0answers
69 views

Winding number and homotopy

Given two maps $f,g : S^1 \rightarrow S^1$, I want to show that if they have the same winding number, then there is a homotopy between them. Well, we know that we can write them as $f(\exp(2 \pi i ...
3
votes
0answers
29 views

Generalisation of Adams spectral sequence to triangulated categories

We have the Adams SS with $$ E_2^{p,q} = Ext^{p,q} _{E^*(E)}([S,E],[S,E]) $$ where $E$ is the Eilenberg-Maclane Spectrum yielding $\mathbb{Z}/p$ coefficients. I was wondering if there is a SS for ...
3
votes
0answers
31 views

third quandle homology group $H_3^Q(R_3;\mathbb{Z}) \cong \mathbb{Z}_3$

It is known that the third quandle homology group $H_3^Q(R_3;\mathbb{Z}) \cong \mathbb{Z}_3$. Each colouring $C$ of a knot diagram by a dihederal quandle $R_3$ induces a homomorphism $f:C \rightarrow ...
3
votes
0answers
55 views

The vanishing (?) cohomology of the Milnor fiber

Setup. Say we have a germ of a holomorphic function $f:(\mathbb C^{n+1},0)\to (\mathbb C,0)$ with a critical point at the origin. There is an $\epsilon>0$ small enough so that $f$ becomes a ...
3
votes
0answers
37 views

Are 4-dimensional mapping tori always spin?

We know that all compact orientable manifolds of dimension 3 are spin. In 4 dimensions, $CP^2$ is not spin. I would like to ask if all 4-dimensional compact orientable mapping tori are spin?
3
votes
0answers
44 views

The Morse complex of a manifold with boundary

For a smooth manifold with boundary $M$ and $\partial M = V_+ \cup V_-$ two disjoint sets of boundary components, one usually defines the Morse complex of $M$ using a Morse-Smale pair $(f,X)$ such ...
3
votes
0answers
51 views

Prove that if $f:D^2\to D^2$ is a homeomorphism, then $f(S^1)=S^1$

I've already proved that set of points $z\in D^2$ such that $D^2-z$ is simply connected is precisely $S^1$. Now from this, I'm supposed to conclude that if $f:D^2\to D^2$ is a homeomorphism, then ...
3
votes
0answers
138 views

Is every compact space compactly generated?

I am using the definition of compactly generated space from The Category of CGWH Spaces, which is In $\mathbf{Top}$, a $k$-closed subset $Y\subset X$ is a set such that $u^{-1}(Y)$ is closed in ...
3
votes
0answers
44 views

“Naive” smash products for spectra

Suppose I work in the completeley naive homotopy category of spectra, by which I mean sequences $E = (E_n)_{n = 0, 1, \dots}$ together with maps $\sigma_{E,n}: S^1 \wedge E_n \to E_{n+1}.$ We might ...
3
votes
0answers
70 views

Does the pullback of a covering space correspond to the pullback of the corresponding representation of $\pi_1$?

In other words, suppose you have a degree $n$ covering space $C\rightarrow X$ corresponding to some (equivalence class of) representation $\pi_1(X)\rightarrow S_n$. Suppose you have any continuous map ...