A partial $A_\infty$-structure on the cohomology of $C_n\times C_m$

TL;DR

This paper investigates the $A_ abla$-structure on the cohomology of product groups $C_n imes C_m$ over a field of characteristic 2, revealing specific non-vanishing higher operations and structural limits.

Contribution

It provides the first detailed characterization of the $A_ abla$-structure on the cohomology of product cyclic groups, including bounds and infinite families of higher operations.

Findings

Identifies limits on non-vanishing low-arity operations.

Establishes existence of an infinite family of non-vanishing higher operations.

Provides explicit descriptions of the $A_ abla$-structure on $H^*(C_n imes C_m,k)$.

Abstract

Suppose $k$ is a field of characteristic 2, and $n,m\geq 4$ powers of 2. Then the $A_\infty$-structure of the group cohomology algebras $H^*(C_n,k)$ and $H^*(C_m,k)$ are well known. We give results characterizing an $A_\infty$-structure on $H^*(C_n\times C_m,k)$ including limits on non-vanishing low-arity operations and an infinite family of non-vanishing higher operations.