Realization of permutation modules as homology of CW-complexes

Yang Bai; Chaoshun Yang; Xiugui Liu

Home/Archive/arXiv

arXiv · 2610.04516

Realization of permutation modules as homology of CW-complexes

Yang Bai·Chaoshun Yang·Xiugui Liu

View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper, we investigate the realizability problem, which asks whether prescribed group actions on graded modules can be realized by the groups of self-homotopy equivalences of CW-complexes acting on their homology. We provide a partial answer in the case of arbitrary groups and permutation modules concentrated in certain degrees. As a consequence, we realize every group as the group of self-homotopy equivalences of an $R$-local CW-complex with arbitrary prescribed connectivity, where $R$ may be chosen with $ρ(R)$ sufficiently large. In particular, this provides a complete answer to Kahn's realizability problem.

Explore related subjects

math.AT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Yang Bai, Chaoshun Yang, Xiugui Liu. 2026-10-08. Realization of permutation modules as homology of CW-complexes. https://arxiv.org/abs/2610.04516

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The zeroth stable homotopy groups of motivic spheres over the integers

The main result determines the zeroth integral Milnor-Witt stem of the motivic sphere spectrum in the Morel-Voevodsky motivic stable homotopy category of the integers. The component in weight zero is the Grothendieck-Witt ring of nondegenerate symmetric bilinear forms over the integers. Along the way, cellularity of connective Witt theory, as well as an absolute purity result for the η-inverted motivic sphere spectrum, is established over Dedekind domains of mixed characteristic.

math.AT↗

arXiv2026

Braidings of Self-Equivalences and Bordism

Let $M$ be a closed, smooth or topological $n$-manifold, with $n \geq 4$. We construct a homotopy highly cartesian square relating the space ${\mathcal E}(M (\ell))$ of homotopy self-equivalences of $M$ (in a suitable range) over the Postnikov $\ell$-sections of its stable normal microbundle, and an $(\infty + n)$-fold loop space representing an associated (normal) bordism theory. This implies the existence of braids of interlocking exact sequences involving the homotopy groups of ${\mathcal E}(M(\ell))$ and certain Lashof bordism groups, leading to a conceptual explanation and broad generalization of earlier work of Hambleton--Kreck for closed, oriented $4$-manifolds.

math.AT↗

arXiv2026

A Note on n-Representations of Simplicial Groups

For $n\ge1$, we study representations of a simplicial group $G$ in the full $\infty$-subcategory of simplicial vector spaces whose normalized homology is concentrated in degrees $0,\ldots,n-1$, retaining its full mapping spaces. The resulting functor category depends only on the $n$-truncated homotopy type of $\mathbf{B}G$ and admits projectively bifibrant strict diagram and simplicial group-algebra module models. If restriction along a specified map $f:G\to H$ is an equivalence, then $π_0(f)$ is a group isomorphism; the proof uses ordinary extension and restriction of scalars. Yet for every $n\ge2$ and prime $q$ invertible in $k$, the nontrivial source $K(\mathbb Z/q,n-1)$ has the same $n$-representation category with vertex evaluation as the trivial group. The group-algebra augmentation is a weak equivalence, so the constant functor is also an equivalence for untruncated representations. Thus $n$-representations depend only on the $n$-truncation of $\mathbf{B}G$, but need not determine that truncation, even together with vertex evaluation.

math.AT↗