Poincaré duality algebras mod two
type: Item
instance of: scholarly article
title: Poincaré duality algebras mod two
zbMATH Open document ID: 1214.13002
author: Larry Smith
author: R. E. Stong
published in: Advances in Mathematics
publication date: 2010-10-07T00:00:00Z
review text: A commutative graded connected algebra \(H\) over a field \(F\) is said to be a Poincaré duality algebra of formal dimension \(d\) if the following conditions on its homogeneous components are satisfied: (1) \(H_i=0\) for all \(i>d\); (2) \(H_d\) is a one dimensional vector space over \(F\); (3) for every nonzero \(u\in H_i\) there is an element \(\check{u}\in H_{d-i}\), called a Poincaré dual for \(u\), such that \(u\cdot \check{u}\neq 0\) in \(H_d\). In the paper under review Poincaré duality algebras are studied over the field \(\mathbb{F}_2\) of two elements. A Poincaré duality algebra of formal dimension two (three, respectively) is called a surface algebra (a 3-fold, respectively). A complete classification of surface algebras is obtained. At first, a connected sum operation is introduced for Poincaré duality algebras. Then the corresponding Grothendieck group is computed for surface algebras. It is shown that the corresponding group for 3-folds is not finitely generated but does have a Krull-Schmidt property. Isomorphism classes of 3-folds with at most three generators of degree 3 are classified. At the end of the paper several different means are considered of constructing connected sum indecomposable 3-folds.
Mathematics Subject Classification ID: 13A02
Mathematics Subject Classification ID: 13A50
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 55S10
zbMATH DE Number: 5796753
zbMATH Keywords: commutative rings and algebras
zbMATH Keywords: polynomial ideals
zbMATH Keywords: Steenrod algebra
reviewed by: Artem Lopatin
MaRDI profile type: Publication
full work available at URL: j.aim.2010.04.013
OpenAlex ID: W2095016535
cites work: Q3241211
cites work: Q3726125
cites work: Q4745933
cites work: Q3684278
cites work: Q4023809
cites work: Q5592263
cites work: Q3999472
cites work: On Macaulay duals of Hilbert ideals
cites work: Q4293528
cites work: Q4755560
cites work: Realization and nonrealization of Poincaré duality quotients of F2[x, y] as topological spaces
cites work: Q5464464
cites work: Invariants of some abelian $p$-groups in characteristic $p$
cites work: Q4838154
cites work: An algebraic introduction to the Steenrod algebra
cites work: Invariants of binary bilinear forms modulo two
cites work: Projective bundle ideals and Poincaré duality algebras
cites work: Q4344108
cites work: Stiefel-Whitney classes of manifolds
cites work: Ideals generated by \(R\)-sequences
cites work: A Note on Gorenstein Rings of Embedding Codimension Three
DOI: 10.1016/J.AIM.2010.04.013
description: scientific article; zbMATH DE number 5796753