We study the restrictions, the strict fixed points, and the strict quotients of the partition complex $|\Pi_n|$, which is the $\Sigma_n$-space attached to the poset of proper nontrivial partitions of the set $\{ 1,\ldots,n\}$. We express the space of fixed points $|\Pi_n|^G$ in terms of subgroup posets for general $G\subset \Sigma_n$ and prove a formula for the restriction of $|\Pi_n|$ to Young subgroups $\Sigma_{ n_1}\times \dots\times \Sigma_{ n_k}$. Both results follow by applying a general method, proven with discrete Morse theory, for producing equivariant branching rules on lattices with group actions. We uncover surprising links between strict Young quotients of $|\Pi_n|$, commutative monoid spaces, and the cotangent fibre in derived algebraic geometry. These connections allow us to construct a cofibre sequence relating various strict quotients $|\Pi_n|^\diamond\wedge_{ \Sigma_n} (S^\ell)^{ \wedge n}$ and give a combinatorial proof of a splitting in derived algebraic geometry. Combining all our results, we decompose strict Young quotients of $|\Pi_n|$ in terms of "atoms" $|\Pi_d|^\diamond\wedge_{ \Sigma_d} (S^\ell)^{ \wedge d}$ for $\ell$ odd and compute their homology. We thereby also generalise Goerss' computation of the algebraic Andr\'e-Quillen homology of trivial square-zero extensions from $\mathbb{ F}_2$ to $\mathbb{ F}_p$ for $p$ an odd prime.
Categories: math.AT math.CO
