Descriptive complexity of subsets of the space of finitely generated groups

© 2022 Elsevier GmbHIn this paper, we determine the descriptive complexity of subsets of the Polish space of marked groups defined by various group theoretic properties. In particular, using Grigorchuk groups, we establish that the sets of solvable groups, groups of exponential growth and groups with decidable word problem are Σ20-complete and that the sets of periodic groups and groups of intermediate growth are Π20-complete. We also provide bounds for the descriptive complexity of simplicity, amenability, residually finiteness, Hopficity and co-Hopficity. This paper is intended to serve as a compilation of results on this theme.
Expositiones Mathematicae


Universal groups of intermediate growth and their invariant random subgroups
Benli, Mustafa Gökhan; Nagnibeda, Tatiana (2015-07-01)
We exhibit examples of groups of intermediate growth with ergodic continuous invariant random subgroups. The examples are the universal groups associated with a family of groups of intermediate growth.
Algebraic curves hermitian lattices and hypergeometric functions
Zeytin, Ayberk; Önsiper, Mustafa Hurşit; Department of Mathematics (2011)
The aim of this work is to study the interaction between two classical objects of mathematics: the modular group, and the absolute Galois group. The latter acts on the category of finite index subgroups of the modular group. However, it is a task out of reach do understand this action in this generality. We propose a lattice which parametrizes a certain system of ”geometric” elements in this category. This system is setwise invariant under the Galois action, and there is a hope that one can explicitly under...
Equivariant Picard groups of the moduli spaces of some finite Abelian covers of the Riemann sphere
Ozan, Yıldıray (2023-03-01)
In this note, following Kordek's work we will compute the equivariant Picard groups of the moduli spaces of Riemann surfaces with certain finite abelian symmetries.
Ercan, Gülin; Ogut, Elif (2014-01-01)
We prove that a finite solvable group G admitting a Frobenius group FH of automorphisms of coprime order with kernel F and complement H such that [G, F] = G and C-CG(F) (h) = 1 for all nonidentity elements h is an element of H, is of nilpotent length equal to the nilpotent length of the subgroup of fixed points of H.
Smooth manifolds with infinite fundamental group admitting no real projective structure
Çoban, Hatice; Ozan, Yıldıray; Department of Mathematics (2017)
In this thesis, we construct smooth manifolds with the infinite fundamental group Z_2*Z_2, for any dimension n>=4, admitting no real projective structure. They are first examples of manifolds in higher dimensions with infinite fundamental group admitting no real projective structures. The motivation of our study is the related work of Cooper and Goldman. They proved that RP^3#RP^3 does not admit any real projective structure and this is the first known example in dimension 3. 
Citation Formats
M. G. Benli and B. Kaya, “Descriptive complexity of subsets of the space of finitely generated groups,” Expositiones Mathematicae, vol. 40, no. 4, pp. 1116–1134, 2022, Accessed: 00, 2023. [Online]. Available: