Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Quadratic maps and Bockstein closed group extensions

Authors: Jonathan Pakianathan and Ergün Yalçin
Journal: Trans. Amer. Math. Soc. 359 (2007), 6079-6110
MSC (2000): Primary 20J05; Secondary 17B50, 15A63
Published electronically: May 7, 2007
MathSciNet review: 2336317
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Let $ E$ be a central extension of the form $ 0 \to V \to G \to W \to 0$ where $ V$ and $ W$ are elementary abelian $ 2$-groups. Associated to $ E$ there is a quadratic map $ Q: W \to V$, given by the $ 2$-power map, which uniquely determines the extension. This quadratic map also determines the extension class $ q$ of the extension in $ H^2(W,V)$ and an ideal $ I(q)$ in $ H^2(G, \mathbb{Z} /2)$ which is generated by the components of $ q$. We say that $ E$ is Bockstein closed if $ I(q)$ is an ideal closed under the Bockstein operator.

We find a direct condition on the quadratic map $ Q$ that characterizes when the extension is Bockstein closed. Using this characterization, we show for example that quadratic maps induced from the fundamental quadratic map $ Q_{\mathfrak{gl}_n}: \mathfrak{gl}_n (\mathbb{F}_2)\to \mathfrak{gl}_n (\mathbb{F}_2)$ given by $ Q(\mathbb{A})= \mathbb{A} +\mathbb{A} ^2$ yield Bockstein closed extensions.

On the other hand, it is well known that an extension is Bockstein closed if and only if it lifts to an extension $ 0 \to M \to \widetilde{G} \to W \to 0$ for some $ \mathbb{Z} /4[W]$-lattice $ M$. In this situation, one may write $ \beta (q)=Lq$ for a ``binding matrix'' $ L$ with entries in $ H^1(W, \mathbb{Z}/2)$. We find a direct way to calculate the module structure of $ M$ in terms of $ L$. Using this, we study extensions where the lattice $ M$ is diagonalizable/triangulable and find interesting equivalent conditions to these properties.

References [Enhancements On Off] (What's this?)

  • 1. W. Browder and J. Pakianathan, Cohomology of uniformly powerful $ p$-groups, Trans. Amer. Math. Soc. 352 (2000), 2659-2688. MR 1661313 (2000j:20099)
  • 2. K. Brown, Cohomology of Groups, Graduate Texts in Mathematics 87, Springer-Verlag, New York, 1994. MR 1324339 (96a:20072)
  • 3. N. Jacobson, Lie Algebras, Dover, New York, 1962. MR 0143793 (26:1345)
  • 4. P. A. Minh and P. Symonds, The cohomology of pro-$ p$ groups with a powerfully embedded subgroup, J. Pure Appl. Algebra, 189 (2004), 221-246. MR 2038572 (2004k:20113)
  • 5. D. Quillen, The Mod $ 2$ Cohomology Rings of Extra-Special $ 2$-Groups and the Spinor Groups, Math. Ann. 194 (1971), 197-212. MR 0290401 (44:7582)
  • 6. D. Rusin, The $ 2$-groups of rank $ 2$, J. Algebra 149 (1992), 1-31. MR 1165197 (93d:20042)
  • 7. J. P. Serre, Sur la Dimension Cohomologique des Groupes Profinis, Topology 3 (1965), 413-420. MR 0180619 (31:4853)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 20J05, 17B50, 15A63

Retrieve articles in all journals with MSC (2000): 20J05, 17B50, 15A63

Additional Information

Jonathan Pakianathan
Affiliation: Department of Mathematics, University of Rochester, Rochester, New York 14627

Ergün Yalçin
Affiliation: Department of Mathematics, Bilkent University, Ankara, 06800, Turkey

Keywords: Group extensions, quadratic maps, group cohomology, restricted Lie algebras.
Received by editor(s): December 2, 2005
Published electronically: May 7, 2007
Additional Notes: The second author was partially supported by a grant from the Turkish Academy of Sciences (TÜBA-GEBİP/2005-16).
Article copyright: © Copyright 2007 American Mathematical Society

American Mathematical Society