Let A be a semi-simplicial space and $k^\*$ be a generalised cohomology theory as in [This paper](https://www.maths.ed.ac.uk/~v1ranick/papers/segalclass.pdf) proposition 5.1. Using the natural filtration of the realisation of $A$ and then using the staircase diagramme of long exact sequences of pairs, we get the first page and exact couple which gives the second page and so on. Now we have the following relations (!)$${E\_1^p}^q=k^{p+q}(\Delta^pA,\Delta^{p-1}A)\cong k^{p+q}(\Sigma^p(A\_p)\_+,\Sigma^p(A^d\_p)\_+) \cong k^q(A\_p,A^d\_p)\rightarrow k^q(A\_p)$$ (please see ~5 ,page 109 for notations) where the arrow indicates the **natural** map. So we can make this replacement in the staircase diagramme. 


**Question:** How can you calculate $E\_2^{pq}$ from $k^q(A)$ ? 


Using induction on the cardinality of $S$ and using the fact that any epimorphish between finite ordinals has a section we get(right?) the following
$$k^q(A(S))\cong\bigoplus \limits\_Tk^q(A(T),A^d(T)) $$
where $T$ runs through the quotient (i.e through all the epimorphisms from S). Now putting $S=[P]$, we get that $k^q(A\_p,A\_p^d)$ is a direct summand in $k^q(A\_p)$ as stated there. 


**But how** does it helps us to get $E\_2^{pq}$? We also see that the **natural** map commutes with differential.


**Question**:For fix $q$, are the cohomology groups of the complexes $k^q(A\_p,A^d\_p)$ and $k^q(A\_p)$ same? **Q:** What does he want to mean by **semi-simplicial (so called simplicial) cochain complex $k^q(A)$?** Can we say something about the convergence of the stated **right-half space** spectral sequence?



Understanding the proof of Proposition 5.1 of Segal's paper: Classifying spaces and spectral sequences
Segal is assuming the reader has knowledge of a basic fact about chain complexes formed from simplicial (or cosimplicial) abelian groups: the sub (or quotient) complex of `degenerate' chains is acyclic. 


He points out that the $E\_1$ term of the spectral sequence he is describing is naturally mapping to a complement of the degenerate part of the chain complex for the cosimplicial abelian group $k^q(A)$. His big diagram on page 110 of the paper you linked to is checking that the differential is right: note that the composite of the bottom line is the usual alternating sum of face maps, as he points out.


It may help to note that in the special case when $A$ is a simplicial set, rathen than a general simplicial space, the spectral sequence will be the Atiyah--Hirzebruch spectral sequence.


