No Arabic abstract
Suppose k is a field of characteristic 2, and $n,mgeq 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_ntimes C_m,k)$ including limits on non-vanishing low-arity operations and an infinite family of non-vanishing higher operations.
Suppose $k$ is a field of characteristic 2, and $n,mgeq 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_ntimes C_m,k)$ including limits on non-vanishing low-arity operations and an infinite family of non-vanishing higher operations.
Let $F$ be a local field with residue field $k$. The classifying space of $GL_n(F)$ comes canonically equipped with a map to the delooping of the $K$-theory space of $k$. Passing to loop spaces, such a map abstractly encodes a homotopy coherently associative map of A-infinity-spaces $GL_n(F)to K_k$. Using a generalized Waldhausen construction, we construct an explicit model built for the $A_infty$-structure of this map, built from nested systems of lattices in $F^n$. More generally, we construct this model in the framework of Tate objects in exact categories, with finite dimensional vector spaces over local fields as a motivating example.
Let A be a connected graded algebra and let E denote its Ext-algebra. There is a natural A-infinity algebra structure on E, and we prove that this structure is mainly determined by the relations of A. In particular, the coefficients of the A-infinity products m_n restricted to the tensor powers of Ext^1 give the coefficients of the relations of A. We also relate the m_ns to Massey products.
We give an elementary proof of the well-known fact that the third cohomology group H^3(G, M) of a group G with coefficients in an abelian G-module M is in bijection to the set Ext^2(G, M) of equivalence classes of crossed module extensions of G with M.
Tate cohomology (as well as Borel homology and cohomology) of connective K-theory for $G=(mathbb{Z}/2)^n$ was completely calculated by Bruner and Greenlees. In this note, we essentially redo the calculation by a different, more elementary method, and we extend it to $p>2$ prime. We also identify the resulting spectra, which are products of Eilenberg-Mac Lane spectra, and finitely many finite Postnikov towers. For $p=2$, we also reconcile our answer completely with the result of Bruner and Greenlees, which is in a different form, and hence the comparison involves some non-trivial combinatorics.