Skip to content
DraconiticResearch
Search Sources API
194,216 studies31 sourcesUpdated 45 min ago
PreprintarXiv licencearXiv

Lie methods for countably categorical Engel groups: the Wilson conjecture for 4-Engel 5-groups

Abstract

We are interested in the following conjecture of Wilson from 1981: every locally nilpotent countably categorical group is nilpotent. Following our previous work on the Lie algebra analogue of the conjecture, we use Lie methods to deduce the first nontrivial cases of the Wilson conjecture for n-Engel groups: countably categorical 3-Engel groups and 4-Engel 5-groups are nilpotent, from which we also conclude that countably categorical 4-Engel groups of odd exponent are nilpotent. This is implemented via an exceptional case of the Lazard correspondence, checked using computer algebra systems. We also study the transfer of nilpotency results between the three categories: groups, Lie algebras, associative algebras. Among other things, we prove that the Wilson conjecture implies the analogous nilpotency statement for associative algebras (modulo the commutative case).

Related

  1. Lie groups are countably representable
    Nicolas Monod, Andreas Thom
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  2. The Malt'sev condition for groups is not categorical
    Carlyle Stewart
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  3. Categorical and Floer-theoretic entropies: comparison and counting conjugacy classes in symplectic mapping class groups
    Sangjin Lee
    arXivPreprintarXiv licenceFull textDynamical systemsGeometry & topologyarXiv
  4. Categorical representations of algebraic groups in positive characteristic
    Pramod N. Achar, Gurbir Dhillon, Simon Riche
    HALPreprintCC BY-NC-ND 4.0Full textAlgebra & number theoryHALarXiv
  5. The group class SJ is not countably recognizable
    M. Brescia, B. G. Di Siena, E. Ingrosso +1
    arXivPreprintCC BY-NC-ND 4.0Full textAlgebra & number theoryarXiv
BibTeX
@misc{delbee2026methods,
  title = {{Lie methods for countably categorical Engel groups: the Wilson conjecture for 4-Engel 5-groups}},
  author = {Christian d'Elbée},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2608.15664},
  eprint = {2608.15664},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2608.15664},
}
RIS
TY  - UNPB
TI  - Lie methods for countably categorical Engel groups: the Wilson conjecture for 4-Engel 5-groups
AU  - Christian d'Elbée
PY  - 2026
DA  - 2026/10/28
PB  - arXiv
DO  - 10.48550/arxiv.2608.15664
UR  - https://arxiv.org/abs/2608.15664
AB  - We are interested in the following conjecture of Wilson from 1981: every locally nilpotent countably categorical group is nilpotent. Following our previous work on the Lie algebra analogue of the conjecture, we use Lie methods to deduce the first nontrivial cases of the Wilson conjecture for n-Engel groups: countably categorical 3-Engel groups and 4-Engel 5-groups are nilpotent, from which we also conclude that countably categorical 4-Engel groups of odd exponent are nilpotent. This is implemented via an exceptional case of the Lazard correspondence, checked using computer algebra systems. We also study the transfer of nilpotency results between the three categories: groups, Lie algebras, associative algebras. Among other things, we prove that the Wilson conjecture implies the analogous nilpotency statement for associative algebras (modulo the commutative case).
ER  -