Questions tagged [eilenberg-maclane-spaces]

A topological space with a single nonzero homotopy group. Use in conjunction with (algebraic-topology), (homotopy-theory), (homology-cohomology) or (classifying-spaces).

Filter by
Sorted by
Tagged with
8
votes
0answers
119 views

Homology and the reduced A-linearization of a space.

On page 16 of his book on symmetric spectra, Stefan Schwede defines the $n$-th Eilenberg-Mac Lane space $(HA)_n$ of an abelian group $A$ by means of a construction called the reduced $A$-...
0
votes
0answers
33 views

Wedge product of Eilenberg-MacLane spaces.

It is the case that the wedge product of aspherical spaces is aspherical, so in particular $K(G, 1) \vee K(H, 1) \simeq K(G*H, 1)$. I know homotopy groups are notoriously poorly behaved with respect ...
4
votes
2answers
154 views

What is the “natural homomorphism” in the definition of an *essential manifold*?

The following definition of "essential manifold" is in this wiki page: A closed $n$-manifold $M$ is called essential if its fundamental class $[M]$ defines a nonzero element in the homology ...
0
votes
1answer
58 views

Problem 22.39(a) in “ Modern classical homotopy Theory ” by Jeffery Strom on pg.511.

Here is the problem: Suppose $R$ is a field. (a) Show that $h^{n}(?) = Hom_{R}(H_{n}(?; R), R)$ is a cohomology theory defined on (at least) the category of finite CW complexes. I got a hint to ...
-3
votes
1answer
54 views

Why Eilenberg Maclane spaces $K(G,n)$ are $(n-1)$ connected?

Why Eilenberg Maclane spaces $K(G,n)$ are $(n-1)$ connected? could anyone explain this for me please?
1
vote
1answer
90 views

Embedding a pointed topological space into a Eilenberg-MacLane space of its homology group

We let $X$ be a CW complex with a unique 0-cell, given by the basepoint $x_0$, and no $k$-cells for $0 < k < n$. I want to show that $X$ can be embedded into a $K(\pi_{n}(X,x_0),n)$ space. I am ...
3
votes
0answers
54 views

An Question related to calculating $H^4(K(\mathbb{Z}/2,2))$

This is an assignment question with $3$ steps as follows: $1.$ Prove that $H^2(K(\mathbb{Z},2);\mathbb{Z}/2)\cong \mathbb{Z}/2.$ Use this generator to obtain a map $K(\mathbb{Z},2)\rightarrow K(\...
3
votes
1answer
53 views

Free resolution of a group $G$ and the chain complex of the universal cover of $K(G,1)$

Consider a group $G$ having a finite, free resolution $C_*(G)\to \mathbb Z$ over the group ring of $G$. I want to understand why this resolution may be viewed as the equivariant chain complex of the ...
2
votes
1answer
65 views

$[X,K(G,n)] = H^n(X;G)$ for non-CW-complex X?

It is a standard fact that if $X$ is a path-connected CW-complex, then: $$[X,K(G,n)] = H^n(X;G)$$ where: $G$ is an abelian group; $n>1$ is an integer; $K(G,n)$ is the Eilenberg-Maclane space; $[X,...
6
votes
2answers
234 views

Specific examples of Eilenberg-Maclane spaces?

Given an integer $n$ and a group $G$ (abelian if $n \geq 2$), it's always possible to construct a $K(G,n)$ as a cell complex. The standard procedure is to choose a presentation $\langle S | R \rangle$ ...
0
votes
1answer
37 views

Confusion about Hurewicz isomorphism

I'm currently studying Algebraic Topology from Hatcher's book and from Mosher and Tangora. However, when I try to compute the homology of Eilenberg-Maclane spaces using the Hurewicz theorem, there ...
4
votes
2answers
91 views

Is it true that $K(G \ast H, 1) = K(G,1)\vee K(H,1) $?

I know that, unlike the case of the fundamental group (where $\pi_1(X \vee Y) \cong \pi_1(X)\ast \pi_1(Y)$ at least for CW complexes, which are the spaces I care about for the purpose of this ...
2
votes
0answers
93 views

Cohomology of spectra as free modules over Steenrod Algebra

I'm studying the construction of Adams spectral sequence in Hatcher's "Algebraic Topology" chapter five; I'm in trouble with an "algebraic statement". Let $X$ be a connective CW-spectrum of finite ...
0
votes
1answer
67 views

Is the complex cobordism spectrum, $MU$, a finite spectrum?

Is the complex cobordism spectrum, $MU$, a finite spectrum? If yes, what other examples of finite spectrums there are? Is the Eilenberg-MacLane spectrum finite? What about the connective $K$-theory $...
3
votes
0answers
82 views

Does trivial cohomology of spectra imply trivial homology?

It is known that for any spectrum $X$, $H\mathbb{Z}^*(X)=0$ implies that $H\mathbb{Z} \wedge X =0$. Also, for the case $HF_p,$ if we consider $ HF_p^*(X) =0.$ This gives $[HF _ p \wedge X , \sum^i ...
3
votes
1answer
79 views

Homology of $K(\mathbb{Z}/n,1)$ via Fibrations.

I would like to calculate the $\mathbb{Z}$-Homology of $K(\mathbb{Z}/n,1)$ via the Fibration $$K(\mathbb{Z},1)\hookrightarrow K(\mathbb{Z},1)\twoheadrightarrow K(\mathbb{Z}/n,1)$$ and the Serre-...
3
votes
0answers
147 views

Structure of module over Eilenberg MacLane spectrum

Let $HR$ be the Eilenberg-Maclane spectrum for a commutative ring $R$ and $M$ be a module over $HR.$ Then I want to prove that $M$ is a product of Eilenberg-Mac Lane spectra. Construction: Let $\...
1
vote
1answer
121 views

How to visualize the String(n) group?

I am trying to get some more intuitions about the statement: Killing the $\pi_3$ homotopy group in Spin(n), one obtains the infinite-dimensional string group String(n). Formally: I know that here ...
2
votes
0answers
28 views

Reduced mod $p$ homology of a $p$-complete Eilenberg-MacLane space

Let $A$ be a $p$-complete abelian group for some prime $p$. Is it true that $\tilde{H}_*(K(A,2);\mathbb{F}_p)=0$? If so, how can one prove it? Please, also let me know if this hold only if we require ...
4
votes
0answers
96 views

What is the total space of the universal bundle over $B\mathbb{Q}$?

What is the total space of the universal bundle over $B\mathbb{Q}$, i.e. what is $E\mathbb{Q}$ for $B\mathbb{Q}=E\mathbb{Q}/\mathbb{Q}$ where $B\mathbb{Q}$ is the classifying space? Thoughts/Attempt: ...
1
vote
1answer
136 views

“2”-group cohomology

In order to define the cohomology of a topological group G, we first have to introduce the concept of a classifying space. A classifying space BG is the base space of a principal G bundle EG. The EG ...
3
votes
3answers
327 views

Eilenberg–MacLane space $K(\mathbb{Z}_2,n)$

We know that the generalized classifying space / Eilenberg–MacLane space $$ B\mathbb{Z}_2=\mathbb{RP}^{\infty} $$ $$ BU(1)=\mathbb{CP}^{\infty} $$ How do one construct/derive the (infinite ...
0
votes
0answers
55 views

Brown representability and based homotopy classes

The following statement is the version of Brown's representability theorem I learned: Let $\mathbf{CW}$ be the category of based, connected CW complexes together with based homotopy classes of ...
2
votes
0answers
72 views

Weak product of Eilemberg MacLane spaces

I'm studying some homotopy theory of topological monoids from the book Algebraic Topology from a Homotopical Viewpoint. I'm trying to understand the corollary below. I'm stuck on the first claim of ...
1
vote
0answers
74 views

Classifying spaces [related to Eilenberg–MacLane] for explicit group examples

I am interested in knowing the generalized classifying spaces (related to Eilenberg–MacLane space $K(G,n)$ when $G$ is discrete) for explicit group examples ($G=$ the entries given at the top row) ...
3
votes
0answers
89 views

Eilenberg–MacLane space for explicit group examples

I am interested in knowing the explicit answers of Eilenberg–MacLane space $K(G,n)$ for explicit group examples ($G=$ the entries given at the top row) given below. Can someone fill in the Table? $$\...
1
vote
0answers
30 views

Low-degree integral cohomology of $K(\mathbb{Z}/n,2)$

Consider the Serre spectral sequence for the fibration $K(\mathbb{Z}/n,1)\rightarrow * \rightarrow K(\mathbb{Z}/n,2)$, $$ E^{pq}_{2}=H^{p}\bigl(K(\mathbb{Z}/n,2);H^{q}(K(\mathbb{Z}/n,1);\mathbb{Z})\...
1
vote
1answer
123 views

First cohomology of topological spaces with non abelian coefficients

I would like to have a reference about the construction and properties of $H^1(X;G)$ for $X$ a topological space and $G$ a non-abelian group (in the spirit of expanding and clarifying the first rows ...
4
votes
0answers
92 views

Fibration with fibre $\mathbb{C}P^\infty$

I have a fibration $F\to E\to B$ where $B$ is a nice space (a compact manifold) and the fibre is $\mathbb{C}P^\infty$, i. e. an Eilenberg–MacLane space $K(\mathbb{Z},2)$. Are there good criteria to ...
1
vote
1answer
112 views

Is the Hurewicz isomorphism the identity for $K(G,n)$?

Let $X=K(G,n)$ be the Eilenberg-MacLane space with $\pi_n(X)=G$ and $\pi_i(X)=0$ for $i \neq n$. Is the Hurewicz isomorphism $h: \pi_n(X) \rightarrow H_n(X)$ the identity for such spaces? I mean, if ...
0
votes
1answer
118 views

On the homology of $K(G,n)$

I am wondering (but I may be wrong) if one can say that the homology of a K(G,n) is finite dimensional for G finitely generated abelian group. I looked up on the internet for some counterexample and I ...
4
votes
1answer
139 views

Which $BG$s are also $K(\pi,n)$s?

As a motivation for the question, note that $\mathbb{C}P^\infty$ is at the same time a $BU(1)$ and a $K(\mathbb{Z},2)$; therefore, $H^2(X,\mathbb{Z})$ classifies complex line bundles on a space $X$. ...
5
votes
1answer
271 views

Nonabelian second relative homotopy group

Can anyone demonstrate a pair of spaces $(X,A)$ such that $\pi_1(A)$ is abelian but $\pi_2(X,A)$ is nonabelian? I have tried to consider a pair of form $(K(A,2),K(C,1))$ such that (the interesting ...
6
votes
1answer
912 views

Is the classifying space $B^nG$ the Eilenberg-MacLane space $K(G, n)$?

Question: How should we interpret and understand the classifying space $B^nG$? Is that Eilenberg-MacLane space $K(G,n)$? What one can learn about $BG$ follows the basic: A classifying space $BG$ of a ...
1
vote
1answer
97 views

Is There a Term for a Manifold K(G,1)?

Is there a generally-accepted term (which has appeared "in print", in a peer-refereed, published paper) for a finitely-presented group G which has an aspherical, closed, connected, finite-dimensional ...
3
votes
0answers
86 views

Calculating torsion in $\pi_i(S^{2n})$

Let $p$ be an odd prime and $n>1$. I want to prove that $\pi_i(S^n)$ has no $p$-torsion for $i<n+2p-3$. For odd $n$ this is Proposition 6.26 in McCleary's book (p.206). He mentions afterward ...
5
votes
1answer
877 views

Proof that classifying spaces for discrete groups are the Eilenberg-MacLane spaces

A classifying space $BG$ of a topological group $G$ is the quotient of a weakly contractible space $EG$ by a free action of $G$. The claim is that if $G$ is a discrete group then $EG/G$ is an ...
4
votes
2answers
87 views

Why is $H_5(K(\Bbb Z_n,4))$ finite?

I want to see that the cohomology $H^i(K(\Bbb Z_n,4); \Bbb Z)$ starts with $\Bbb Z_n$ in degree 5. How do we know that $\operatorname{hom}(H_5(K(\Bbb Z_n,4);\Bbb Z), \Bbb Z)$ is zero? I.e. why is $H_5(...
7
votes
1answer
122 views

Concluding $\Bbb Z$-cohomology from $\Bbb Z_2$-cohomology using Bocksteins

According to a theorem of Serre, the cohomology algebra $H^*(K(\Bbb Z,3); \Bbb Z_2)$ is a polynomial ring on elements $\iota_3, \,\operatorname{Sq}^2(\iota_3), \,\operatorname{Sq}^4\operatorname{Sq}^2(...
4
votes
1answer
89 views

Equivalence of $[X,K(\mathbb{Z},n)]$ and $\langle X,K(\mathbb{Z},n)\rangle$ when $X$ is a CW complex but not connected

So Hatcher remarks that $[X,K(\mathbb{Z},n)]\cong\langle X,K(\mathbb{Z},n)\rangle$ when $X$ is a connected CW-complex and $n>0$. I was wondering if the result holds even if $X$ is not connected. If ...
4
votes
0answers
214 views

Eilenberg-Mac Lane functor being an embedding

So, I'm reading Rognes's paper Galois Extensions of Structured Ring Spectra and was wondering about one of his claims. In the beginning of section 4.2 he says the following: The Eilenberg–Mac Lane ...
1
vote
1answer
250 views

When is $\Pi_{i\leq n} K(\pi_i(X), i)$ the nth base for a postnikov tower on $X$.

Let $X$ be a connected CW complex. Let $X_n$ fit into a commutative postnikov diagram for $X$ and let the fibrations $K(\pi_n(X),n) \hookrightarrow X_n \xrightarrow{\mathscr p} X_{n-1}$ be given. ...
1
vote
1answer
76 views

$E_{p, 0}^2$ and $E_{0, 1}^2$ terms in sequence, in terms of homology of $K(G, 1)$, homology of $K(R, 1)$, and action of $G$ on $R$ by conjugation?

This is a followup to my previous question, reproduced here. Let$$0 \to R \to F \to G \to 0$$be a short exact sequence of groups. Is it possible to construct an associated fibration of spaces$$K(R, 1)...
4
votes
1answer
587 views

Extend a map over a $n+1$-cell IFF $f_nϕ$ is nullhomotopic.

Prove: If the map $f_n$ is defined on the $n$-skeleton $X_n$ and you want to define it on an $n+1$-cell with attaching map $ϕ:S_n→X_n$, then you can do so if and only if $f_nϕ$ is nullhomotopic. I ...
0
votes
1answer
269 views

Cohomology of Eilenberg Maclane space

In a book on spectral sequences that I am reading, it is stated, without proof, that $H^i(K(\mathbb{Z},2);H^0(K(\mathbb{Z},1);\mathbb{Z}))$ is isomorphic to $\mathbb{Z}$ for even $i$ and $0$ for odd $...
4
votes
1answer
483 views

Eilenberg-MacLane Spaces $K(G,n)$: Construction!

I'm looking for an easy construction of $K(G,n)$, Eilenberg-MacLane spaces. I know I can use the Postnikov Towers for the upper part $\pi_i(X)=0$ for $i > n$. For the lower part $\pi_i(X)=0$ for $...
3
votes
1answer
118 views

Why is the cohomological $\delta$-functor for $H^\ast(K(\pi,1),–)$ effaceable?

Let $\pi$ be an abelian group and $\mathbf Z[\pi]$ its group ring. One obtains a cohomological $\delta$-functor from the short exact sequence of $\mathbf Z[\pi]$-modules $$0\rightarrow A\rightarrow B\...
5
votes
0answers
46 views

Homology of Eilenberg-MacLane $K(\pi,1)$ in terms of group homology and Tor [duplicate]

Let $\pi$ be a group and $K(\pi,1)$ be the associated Eilenberg-MacLane space (it has a contractible universal cover). I have proved the following isomorphism for the the chain complex with local ...
5
votes
1answer
150 views

$[K(\pi, n), K(\rho, n)] \cong \text{Hom}(\pi, \rho)$

For Abelian groups $\pi$ and $\rho$, what is the easiest way to see that $$[K(\pi, n), K(\rho, n)] \cong \text{Hom}(\pi, \rho)?$$My idea is the use the natural isomorphism$$[X, K(\rho, n)] \cong \...
4
votes
1answer
134 views

Why is $H^*(K(\pi, 1); A) \cong \text{Ext}^*_{\mathbb{Z}[\pi]}(\mathbb{Z}, A)$?

As the question title suggests, what is the easiest way to see that there is an isomorphism$$H^*(K(\pi, 1); A) \cong \text{Ext}^*_{\mathbb{Z}[\pi]}(\mathbb{Z}, A)?$$