Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.07769

Semifree Cochain Models for Fibrations Revisited

Yanning Guo·Ruizhi Huang
View original source ↗Read source document ↗Export metadata ↓

Abstract

We construct cochain models for Serre fibrations over path-connected bases with coefficients in an arbitrary field. Our construction refines Brown's twisted tensor product to produce a differential graded module model over the singular cochain algebra of the base. If the homology of the fibre is finite dimensional in each degree and on which the action of the fundamental group of the base is degreewise nilpotent, then this model is a semifree resolution generated by the cohomology of the fibre. This extends the classical construction for simply connected bases. As applications, we compare the resulting model with arbitrary semifree resolutions, showing that every such resolution recovers the cohomology of the fibre after base change to the basepoint, and obtain an explicit bound on the page at which an associated spectral sequence collapses.

Explore related subjects

math.AT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yanning Guo, Ruizhi Huang. 2026-10-06. Semifree Cochain Models for Fibrations Revisited. https://arxiv.org/abs/2610.07769

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

KEEP EXPLORING

Related papers

arXiv2026

Second homotopy classes associated with non-cancellative monoids

We develop a method for constructing certain second homotopy classes in a topological space from NC-twins in the monoid associated with a semi-positive presentation of its fundamental group. The construction is achieved by lifting the algebraic defining relations to geometric relations. To each NC-twin we associate a set of second homotopy classes, called the $Π$-class, which forms a single coset of a subgroup of $π_2$, called the inertia group. We apply the construction to Yoshinaga's positive presentations for line-arrangement complements and show that, for the generic three-line arrangement, the resulting classes recover Hattori's second homotopy class. We also associate with each NC-twin of an abstract monoid a canonical second homotopy class in its classifying space, and formulate its comparison problems with the $Π$-class and the inertia group.

math.AT↗
arXiv2026

$K$-Theoretic Obstructions to Linearizing QCA Representations

Projective representations arise naturally in physics and representation theory, and determining whether they can be linearized has been a fundamental problem. In this work, we study the analogous problem for quantum cellular automata (QCA) representations, which incorporate locality constraints imposed by a metric space $X$. Over an arbitrary field $\mathbb{F}$, we develop an obstruction theory for the linearization of QCA representations, using the algebraic $K$-theory spectrum of QCA constructed in previous work of the authors. The resulting obstructions are governed by the homotopy type of the QCA spaces, from which we extract universal obstruction classes to linearization. In the complex algebraic and unitary case, we also fully compute the homotopy types of the QCA spaces over a point, a line, and a plane.

math.AT↗