Showing 1–5 of 5 results for author: Siniora, D

A two-sorted theory of nilpotent Lie algebras

Authors: Christian d'Elbée, Isabel Müller, Nicholas Ramsey, Daoud Siniora

Abstract: We prove the existence of a model companion of the two-sorted theory of $c$-nilpotent Lie algebras over a field satisfying a given theory of fields. We describe a language in which it admits relative quantifier elimination up to the field sort. Using a new criterion which does not rely on a stationary independence relation, we prove that if the field is NSOP$_1$, then the model companion is NSOP… ▽ More We prove the existence of a model companion of the two-sorted theory of $c$-nilpotent Lie algebras over a field satisfying a given theory of fields. We describe a language in which it admits relative quantifier elimination up to the field sort. Using a new criterion which does not rely on a stationary independence relation, we prove that if the field is NSOP$_1$, then the model companion is NSOP$_4$. We also prove that if the field is algebraically closed, then the model companion is $c$-NIP. △ Less

Submitted 17 July, 2024; originally announced July 2024.

Model-theoretic properties of nilpotent groups and Lie algebras

Authors: Christian d'Elbée, Isabel Müller, Nicholas Ramsey, Daoud Siniora

Abstract: We give a systematic study of the model theory of generic nilpotent groups and Lie algebras. We show that the Fraïssé limit of 2-nilpotent groups of exponent $p$ studied by Baudisch is 2-dependent and NSOP$_{1}$. We prove that the class of $c$-nilpotent Lie algebras over an arbitrary field, in a language with predicates for a Lazard series, is closed under free amalgamation. We show that for… ▽ More We give a systematic study of the model theory of generic nilpotent groups and Lie algebras. We show that the Fraïssé limit of 2-nilpotent groups of exponent $p$ studied by Baudisch is 2-dependent and NSOP$_{1}$. We prove that the class of $c$-nilpotent Lie algebras over an arbitrary field, in a language with predicates for a Lazard series, is closed under free amalgamation. We show that for $2 < c$, the generic $c$-nilpotent Lie algebra over $\mathbb{F}_{p}$ is strictly NSOP$_{4}$ and $c$-dependent. Via the Lazard correspondence, we obtain the same result for $c$-nilpotent groups of exponent $p$, for an odd prime $p > c$. △ Less

Submitted 21 June, 2024; v1 submitted 26 October, 2023; originally announced October 2023.

Comments: 45 pages

On the automorphism group of the universal homogeneous meet-tree

Authors: Itay Kaplan, Tomasz Rzepecki, Daoud Siniora

Abstract: We show that the countable universal homogeneous meet-tree has a generic automorphism, but it does not have a generic pair of automorphisms. We show that the countable universal homogeneous meet-tree has a generic automorphism, but it does not have a generic pair of automorphisms. △ Less

Submitted 15 December, 2020; v1 submitted 10 April, 2019; originally announced April 2019.

Comments: 33 pages (incl. references); very minor corrections, references and MSC update

MSC Class: 03C15; 03E15; 06A12; 20E08; 54H11; 20B27

Journal ref: The Journal of Symbolic Logic 86.4 (December 2021), pp. 1508-1540

Coherent extension of partial automorphisms, free amalgamation, and automorphism groups

Authors: Daoud Siniora, Sławomir Solecki

Abstract: We give strengthened versions of the Herwig-Lascar and Hodkinson-Otto extension theorems for partial automorphisms of finite structures. Such strengthenings yield several combinatorial and group-theoretic consequences for homogeneous structures. For instance, we establish a coherent form of the extension property for partial automorphisms for certain Fraisse classes. We deduce from these results t… ▽ More We give strengthened versions of the Herwig-Lascar and Hodkinson-Otto extension theorems for partial automorphisms of finite structures. Such strengthenings yield several combinatorial and group-theoretic consequences for homogeneous structures. For instance, we establish a coherent form of the extension property for partial automorphisms for certain Fraisse classes. We deduce from these results that the isometry group of the rational Urysohn space, the automorphism group of the Fraisse limit of any Fraisse class that is the class of all $\mathcal{F}$-free structures (in the Herwig--Lascar sense), and the automorphism group of any free homogeneous structure over a finite relational language, all contain a dense locally finite subgroup. We also show that any free homogeneous structure admits ample generics. △ Less

Submitted 16 April, 2019; v1 submitted 4 May, 2017; originally announced May 2017.

Comments: 27 pages

MSC Class: 03E15; 03C15; 03C13; 05C25; 08A35

Bowtie-free graphs and generic automorphisms

Authors: Daoud Siniora

Abstract: We show that the countable universal omega-categorical bowtie-free graph admits generic automorphisms. Moreover, we show that this graph is not finitely homogenisable. We show that the countable universal omega-categorical bowtie-free graph admits generic automorphisms. Moreover, we show that this graph is not finitely homogenisable. △ Less

Submitted 5 April, 2023; v1 submitted 3 May, 2017; originally announced May 2017.

Comments: 14 pages

MSC Class: 20B27; 03C15; 05C25; 05C75; 54H11