Skip to Main Content

St. Petersburg Mathematical Journal

This journal is a cover-to-cover translation into English of Algebra i Analiz, published six times a year by the mathematics section of the Russian Academy of Sciences.

ISSN 1547-7371 (online) ISSN 1061-0022 (print)

The 2020 MCQ for St. Petersburg Mathematical Journal is 0.68.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

 

Commutators of relative and unrelative elementary unitary groups
HTML articles powered by AMS MathViewer

by N. Vavilov and Z. Zhang
St. Petersburg Math. J. 34 (2023), 45-77
DOI: https://doi.org/10.1090/spmj/1745
Published electronically: December 16, 2022

Abstract:

In the present paper, which is an outgrowth of the authors’ joint work with Anthony Bak and Roozbeh Hazrat on the unitary commutator calculus [9, 27, 30, 31], generators are found for the mixed commutator subgroups of relative elementary groups and unrelativized versions of commutator formulas are obtained in the setting of Bak’s unitary groups. It is a direct sequel of the papers [71, 76, 78, 79] and [77, 80], where similar results were obtained for $GL(n,R)$ and for Chevalley groups over a commutative ring with 1, respectively. Namely, let $(A,\Lambda )$ be any form ring and let $n\ge 3$. Bak’s hyperbolic unitary group $GU(2n,A,\Lambda )$ is considered. Further, let $(I,\Gamma )$ be a form ideal of $(A,\Lambda )$. One can associate with the ideal $(I,\Gamma )$ the corresponding true elementary subgroup $FU(2n,I,\Gamma )$ and the relative elementary subgroup $EU(2n,I,\Gamma )$ of $GU(2n,A,\Lambda )$. Let $(J,\Delta )$ be another form ideal of $(A,\Lambda )$. In the present paper an unexpected result is proved that the nonobvious type of generators for $\big [EU(2n,I,\Gamma ),EU(2n,J,\Delta )\big ]$, as constructed in the authors’ previous papers with Hazrat, are redundant and can be expressed as products of the obvious generators, the elementary conjugates $Z_{ij}(\xi ,c)=T_{ji}(c)T_{ij}(\xi )T_{ji}(-c)$, and the elementary commutators $Y_{ij}(a,b)=[T_{ij}(a),T_{ji}(b)]$, where $a\in (I,\Gamma )$, $b\in (J,\Delta )$, $c\in (A,\Lambda )$, and $\xi \in (I,\Gamma )\circ (J,\Delta )$. It follows that $\big [FU(2n,I,\Gamma ),FU(2n,J,\Delta )\big ]=\big [EU(2n,I,\Gamma ),EU(2n,J,\Delta )\big ]$. In fact, much more precise generation results are established. In particular, even the elementary commutators $Y_{ij}(a,b)$ should be taken for one long root position and one short root position. Moreover, the $Y_{ij}(a,b)$ are central modulo $EU(2n,(I,\Gamma )\circ (J,\Delta ))$ and behave as symbols. This makes it possible to generalize and unify many previous results, including the multiple elementary commutator formula, and dramatically simplify their proofs.
References
Similar Articles
  • Retrieve articles in St. Petersburg Mathematical Journal with MSC (2020): 20H05
  • Retrieve articles in all journals with MSC (2020): 20H05
Bibliographic Information
  • N. Vavilov
  • Affiliation: Department of Mathematics and Computer Science, St. Petersburg State University, St. Petersburg, Russia
  • Email: nikolai-vavilov@yandex.ru
  • Z. Zhang
  • Affiliation: Department of Mathematics, Beijing Institute of Technology, Beijing, People’s Republic of China
  • Email: zuhong@hotmail.com
  • Received by editor(s): March 17, 2021
  • Published electronically: December 16, 2022
  • Additional Notes: The part of the work of the first author on unrelativization and multiple commutator formulas was supported by the Russian Science Foundation grant no. 17-11-01261. The later stages — explicit relations on symbols and stability — were supported by the “Basis” Foundation grant no. 20-7-1-27-1

  • Dedicated: To our dear friend Mohammad Reza Darafsheh, with affection and admiration
  • © Copyright 2022 American Mathematical Society
  • Journal: St. Petersburg Math. J. 34 (2023), 45-77
  • MSC (2020): Primary 20H05
  • DOI: https://doi.org/10.1090/spmj/1745