Abstract
We define and investigate a class of groups characterized by a representation-theoretic property, called purely noncommuting or PNC. This property guarantees that the group has an action on a smooth projective variety with mild quotient singularities. It has intrinsic group-theoretic interest as well. The main results are as follows. (i) All supersolvable groups are PNC. (ii) No nonabelian finite simple groups are PNC. (iii) A metabelian group is guaranteed to be PNC if its commutator subgroup’s cyclic prime-power-order factors are all distinct, but not in general. We also give a criterion guaranteeing a group is PNC if its nonabelian subgroups are all large, in a suitable sense, and investigate the PNC property for permutations.
Similar content being viewed by others
Notes
Abelian groups themselves are PNC, vacuously. It is perhaps a failing of our nomenclature that abelian groups are called “purely noncommuting”.
In fact, if \(\lambda = (\lambda _1,\dots ,\lambda _r)\) with \(\lambda _1\geqslant \cdots \geqslant \lambda _r\) is the partition describing the type of A, so that , then the tuple \((\dim A_0,\dots ,\dim A_{k-1})\) is the conjugate partition \(\lambda '\).
References
Barry, M.J.J., Ward, M.B.: Simple groups contain minimal simple groups. Publ. Mat. 41(2), 411–415 (1997)
Blum-Smith, B.: Two Inquiries About Finite Groups and Well-Behaved Quotients. Ph.D. thesis, New York University (2017)
Cox, D.A., Little, J.B., Schenck, H.K.: Toric Varieties. Graduate Studies in Mathematics, vol. 124. American Mathematical Society, Providence (2011)
Dickson, L.E.: Linear Groups, with an Exposition of the Galois Field Theory. Teubner, Leipzig (1901)
Dornhoff, L.: Group Representation Theory. Part A. Pure and Applied Mathematics, vol. 7. Dekker, New York (1971)
King, O.H.: The subgroup structure of finite classical groups in terms of geometric configurations. In: Webb, B.S. (ed.) Surveys in Combinatorics. London Mathematical Society Lecture Note Series, vol. 327, pp. 29–56. Cambridge University Press, Cambridge (2005)
Ladisch, F.: Character kernels in the lattice of subgroups of a finite abelian group (version: 2016-03-04). https://mathoverflow.net/q/232803
Piatetski-Shapiro, I.: Complex Representations of \({\rm GL}(2,K)\) for Finite Fields \(K\). Contemporary Mathematics, vol. 16. American Mathematical Society, Providence (1983)
Serre, J.-P.: Linear Representations of Finite Groups. Graduate Texts in Mathematics, vol. 42. Springer, New York (1977)
Suzuki, M.: On a class of doubly transitive groups. Ann. of Math. 75(1), 105–145 (1962)
Thompson, J.G.: Nonsolvable finite groups all of whose local subgroups are solvable. Bull. Amer. Math. Soc. 74(3), 383–437 (1968)
Acknowledgements
The authors wish to thank Frieder Ladisch for the statement and proof of Lemma 6.8, and an anonymous referee for very helpful comments. With the exception of Sects. 7 and 8, this paper is a revision of work that originally appeared as part of the first author’s doctoral thesis under the supervision of the second author and Yuri Tschinkel at the Courant Institute of Mathematical Sciences at NYU.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
F.A. Bogomolov has been funded by the Russian Academic Excellence Project ‘5-100’ and acknowledges support by a Simons travel Grant and by the EPSRC program Grant EP/M024830.
Rights and permissions
About this article
Cite this article
Blum-Smith, B., Bogomolov, F.A. Purely noncommuting groups. European Journal of Mathematics 5, 1173–1191 (2019). https://doi.org/10.1007/s40879-019-00348-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40879-019-00348-1
Keywords
- Noncommuting operators
- Linear representation
- Metabelian group
- Finite simple group
- Supersolvable group
- Shared eigenvector