Available in electronic format
Available in print format
Transacrions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(e) ISSN 0002-9947(p)
     

Quadratic maps and Bockstein closed group extensions

Author(s): Jonathan Pakianathan; Ergün Yalçin
Journal: Trans. Amer. Math. Soc. 359 (2007), 6079-6110.
MSC (2000): Primary 20J05; Secondary 17B50, 15A63
Posted: May 7, 2007
Retrieve article in: PDF DVI PostScript

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:

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
Email: jonpak@math.rochester.edu

Ergün Yalçin
Affiliation: Department of Mathematics, Bilkent University, Ankara, 06800, Turkey
Email: yalcine@fen.bilkent.edu.tr

DOI: 10.1090/S0002-9947-07-04346-2
PII: S 0002-9947(07)04346-2
Keywords: Group extensions, quadratic maps, group cohomology, restricted Lie algebras.
Received by editor(s): December 2, 2005
Posted: May 7, 2007
Additional Notes: The second author was partially supported by a grant from the Turkish Academy of Sciences (TÜBA-GEBIP/2005-16).
Copyright of article: Copyright 2007, American Mathematical Society


  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2008, American Mathematical Society
Privacy Statement
Search the AMSPowered by Google