Cup-one algebras and 1-minimal models

MaRDI QIDQ6440913FDO

Authors R. Porter, Alexander I. Suciu

Publication date 20 June 2023

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Homological methods in group theory (20J05) Differential graded algebras and applications (associative algebraic aspects) (16E45) Nilpotent groups (20F18) Products and intersections in homology and cohomology (55N45) Rational homotopy theory (55P62) Primary cohomology operations in algebraic topology (55S05)

Abstract: In previous work, we introduced the notion of binomial cup-one algebras, which are differential graded algebras endowed with Steenrod $cu{p}_1$-products and compatible binomial operations. Given such an $R$-dga, $(A,d_A)$, defined over the ring $R=mathbbZ$ or $mathbb{Z}_p$ (for $p$ a prime), with $H^0(A)=R$ and with $H^1(A)$ a finitely generated, free $R$-module, we show that $A$ admits a functorially defined 1-minimal model, $hocolon(mathcalM(A),d)o(A,d_A)$, which is unique up to isomorphism. Furthermore, we associate to this model a pronilpotent group, $G(A)$, which only depends on the 1-quasi-isomorphism type of $A$. These constructions, which refine classical notions from rational homotopy theory, allow us to distinguish spaces with isomorphic (torsion-free) cohomology rings that share the same rational 1-minimal model, yet whose integral 1-minimal models are not isomorphic.

This page was built for publication: Cup-one algebras and 1-minimal models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6440913)