An A_-structure on the cohomology ring of the symmetric group S_p with coefficients in F_p

DOI10.1007/S10468-013-9459-2MaRDI QIDQ471769zbMATH OpenOpenAlexFDO

Authors Stephan Schmid

Publication date 17 November 2014

Published in Algebras and Representation Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1302.0121

zbMATH Keywords

A-infinitygroup cohomologyminimal modelsymmetric group

Mathematics Subject Classification ID

Ext and Tor, generalizations, Künneth formula (category-theoretic aspects) (18G15)

Abstract: Let p be a prime. Let FpSp be the group algebra of the symmetric group over the finite field Fp with |Fp|=p$. Let Fp be the trivial FpSp-module. We present a projective resolution PRes Fp of the module Fp and equip the Yoneda algebra Ext(Fp,Fp) with an A(oo)-structure such that Ext(Fp,Fp) becomes a minimal model of the dg-algebra Hom(PRes Fp, PRes Fp).

Review text

Let \(p\) be a prime, and let \(\mathbb{F}_pS_p\) be the group algebra of the symmetric group over the field \(\mathbb{F}_p\). The main aim of the present paper is to study various cohomological properties associated to the trivial \(\mathbb{F}_pS_p\)-module \(\mathbb{F}_p\). In order to do this the author constructs a concrete projective resolution for \(\mathbb{F}_p\) using the method called ``Walking around the Brauer tree (Section 4). In the last section of the paper a minimal model for the dg-algebra \(\mathrm{Hom}_{\mathbb{F}_pS_p}^\ast(\mathrm{PRes}\mathbb{F}_p,\mathrm{PRes}\mathbb{F}_p)\) is computed.

Recommendations

• Modular invariants and the mod \(p\) cohomology algebra of the infinite symmetric group
• scientific article; zbMATH DE number 3897139
• A partial \(A_\infty\)-structure on the cohomology of \(C_n\times C_m\)
• \(A_{\infty }\)-coalgebra structure maps that vanish on \(H_*(K(\pi , n);\mathbb Z_p)\)
• Hopf ring structure on the \(\mod p\) cohomology of symmetric groups

Cites work

• A partial \(A_\infty\)-structure on the cohomology of \(C_n\times C_m\)
• Addendum to: ``Introduction to \(A\)-infinity algebras and modules
• Blackbox computation of \(A_\infty\)-algebras.
• Homotopy Associativity of H-Spaces. I
• Hook representations of the symmetric groups
• scientific article; zbMATH DE number 3850084 (Why is no real title available?)
• scientific article; zbMATH DE number 3712176 (Why is no real title available?)
• scientific article; zbMATH DE number 3726574 (Why is no real title available?)
• scientific article; zbMATH DE number 1292046 (Why is no real title available?)
• scientific article; zbMATH DE number 1181204 (Why is no real title available?)
• scientific article; zbMATH DE number 4000992 (Why is no real title available?)
• Introduction to \(A\)-infinity algebras and modules
• ON THE HOMOLOGY THEORY OF FIBRE SPACES
• Perturbation theory in differential homological algebra. II
• The representation theory of the symmetric groups
• Transferring algebra structures up to homology equivalence
• Walking around the Brauer tree

Cited in

(4)

• Algorithms in A_-algebras
• scientific article; zbMATH DE number 4075395 (Why is no real title available?)
• The singularity and cosingularity categories of \(C^{\ast}BG\) for groups with cyclic Sylow \(p\)-subgroups
• A partial \(A_\infty\)-structure on the cohomology of \(C_n\times C_m\)

This page was built for publication: An \(\mathrm A_\infty\)-structure on the cohomology ring of the symmetric group \(\mathrm S_p\) with coefficients in \(\mathbb F_p\)

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