Showing 1–2 of 2 results for author: Carolillo, D

Profinite rigidity of crystallographic groups arising from Lie theory

Authors: Davide Carolillo, Gianluca Paolini

Abstract: We prove that every finite direct product of crystallographic groups arising from an irreducible root system (in the sense of Lie theory) is profinitely rigid (equiv. first-order rigid). This is a generalization of recent proofs of profinite rigidity of affine Coxeter groups [1, 7, 22]. Our proof uses model theory. We prove that every finite direct product of crystallographic groups arising from an irreducible root system (in the sense of Lie theory) is profinitely rigid (equiv. first-order rigid). This is a generalization of recent proofs of profinite rigidity of affine Coxeter groups [1, 7, 22]. Our proof uses model theory. △ Less

Submitted 18 June, 2025; originally announced June 2025.

Comments: 41 pages

MSC Class: 03C60; 20F55; 20E18; 20H15

The construction principle and non homogeneity of uncountable relatively free groups

Authors: Davide Carolillo, Gianluca Paolini

Abstract: In [11] Sklinos proved that any uncountable free group is not $\aleph_1$-homogenenous. This was later generalized by Belegradek in [1] to torsion-free residually finite relatively free groups, leaving open whether the assumption of residual finiteness was necessary. In this paper we use methods arising from the classical analysis of relatively free groups in infinitary logic to answer Belegradek's… ▽ More In [11] Sklinos proved that any uncountable free group is not $\aleph_1$-homogenenous. This was later generalized by Belegradek in [1] to torsion-free residually finite relatively free groups, leaving open whether the assumption of residual finiteness was necessary. In this paper we use methods arising from the classical analysis of relatively free groups in infinitary logic to answer Belegradek's question in the negative. Our methods are general and they also applications in varieties with torsion, for example we show that if $V$ contains a non-solvable group, then any uncountable $V$-free group is not $\aleph_1$-homogenenous. △ Less

Submitted 11 February, 2025; v1 submitted 20 July, 2023; originally announced July 2023.

MSC Class: 20E10; 03C50