Quadratic maps and Bockstein closed group extensions
HTML articles powered by AMS MathViewer
- by Jonathan Pakianathan and Ergün Yalçın PDF
- Trans. Amer. Math. Soc. 359 (2007), 6079-6110 Request permission
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
- William Browder and Jonathan Pakianathan, Cohomology of uniformly powerful $p$-groups, Trans. Amer. Math. Soc. 352 (2000), no. 6, 2659–2688. MR 1661313, DOI 10.1090/S0002-9947-99-02470-8
- Kenneth S. Brown, Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York, 1994. Corrected reprint of the 1982 original. MR 1324339
- Nathan Jacobson, Lie algebras, Interscience Tracts in Pure and Applied Mathematics, No. 10, Interscience Publishers (a division of John Wiley & Sons, Inc.), New York-London, 1962. MR 0143793
- Pham Anh Minh and Peter Symonds, The cohomology of pro-$p$ groups with a powerfully embedded subgroup, J. Pure Appl. Algebra 189 (2004), no. 1-3, 221–246. MR 2038572, DOI 10.1016/j.jpaa.2003.10.034
- Daniel Quillen, The $\textrm {mod}$ $2$ cohomology rings of extra-special $2$-groups and the spinor groups, Math. Ann. 194 (1971), 197–212. MR 290401, DOI 10.1007/BF01350050
- David J. Rusin, The $2$-groups of rank $2$, J. Algebra 149 (1992), no. 1, 1–31. MR 1165197, DOI 10.1016/0021-8693(92)90002-4
- Jean-Pierre Serre, Sur la dimension cohomologique des groupes profinis, Topology 3 (1965), 413–420 (French). MR 180619, DOI 10.1016/0040-9383(65)90006-6
Additional Information
- Jonathan Pakianathan
- Affiliation: Department of Mathematics, University of Rochester, Rochester, New York 14627
- Email: jonpak@math.rochester.edu
- Ergün Yalçın
- Affiliation: Department of Mathematics, Bilkent University, Ankara, 06800, Turkey
- Email: yalcine@fen.bilkent.edu.tr
- 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).
- © Copyright 2007 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 359 (2007), 6079-6110
- MSC (2000): Primary 20J05; Secondary 17B50, 15A63
- DOI: https://doi.org/10.1090/S0002-9947-07-04346-2
- MathSciNet review: 2336317