On n-dependent groups and fields

First, an example of a 2-dependent group without a minimal subgroup of bounded index is given. Second, all infinite n-dependent fields are shown to be Artin-Schreier closed. Furthermore, the theory of any non separably closed PAC field has the IPn property for all natural numbers n and certain properties of dependent (NIP) valued fields extend to the n-dependent context

Mekler's construction and generalized stability

Mekler's construction gives an interpretation of any structure in a finite relational language in a group (nilpotent of class $2$ and exponent $p>2$, but not finitely generated in general). Even though this construction is not a bi-interpretation, it is known to preserve some model-theoretic tameness properties of the original structure including stability and simplicity. We demonstrate that $k$-dependence of the theory is preserved, for all $k \in \mathbb{N}$, and that NTP$_2$ is preserved. We apply this result to obtain first examples of strictly $k$-dependent groups (with no additional structure).Comment: v.2 many minor corrections and presentation improvements throughout the article, more details were added in some of the proofs; Remarks 2.12, 2.13 and Problem 5.8 are new; accepted to the Israel Journal of Mathematic

An improved bound for regular decompositions of 33-uniform hypergraphs of bounded VC2VC_2-dimension

A regular partition $\mathcal{P}$ for a $3$-uniform hypergraph $H=(V,E)$ consists of a partition $V=V_1\cup \ldots \cup V_t$ and for each $ij\in {[t]\choose 2}$, a partition $K_2[V_i,V_j]=P_{ij}^1\cup \ldots \cup P_{ij}^{\ell}$, such that certain quasirandomness properties hold. The complexity of $\mathcal{P}$ is the pair $(t,\ell)$. In this paper we show that if a $3$-uniform hypergraph $H$ has $VC_2$-dimension at most $k$, then there is a regular partition $\mathcal{P}$ for $H$ of complexity $(t,\ell)$, where $\ell$ is bounded by a polynomial in the degree of regularity. This is a vast improvement on the bound arising from the proof of this regularity lemma in general, in which the bound generated for $\ell$ is of Wowzer type. This can be seen as a higher arity analogue of the efficient regularity lemmas for graphs and hypergraphs of bounded VC-dimension due to Alon-Fischer-Newman, Lov\'{a}sz-Szegedy, and Fox-Pach-Suk

Model-theoretic properties of nilpotent groups and Lie algebras

We give a systematic study of the model theory of generic nilpotent groups and Lie algebras. We show that the Fra\"iss\'e 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$

NIPn CHIPS

We give general conditions under which classes of valued fields have NIPn transfer and generalize the Anscombe-Jahnke classification of NIP henselian valued fields to NIPn henselian valued fields.Comment: 17 page

NIP\rm NIP, and NTP2{\rm NTP}_2 division rings of prime characteristic

Combining a characterisation by Bélair, Kaplan, Scanlon and Wagner of certain $\rm NIP$ valued fields of characteristic $p$ with Dickson's construction of cyclic algebras, we provide examples of noncommutative $\rm NIP$ division ring of characteristic $p$ and show that an $\rm NIP$ division ring of characteristic $p$ has finite dimension over its centre, in the spirit of Kaplan and Scanlon's proof that infinite $\rm NIP$ fields have no Artin-Schreier extension. The result extends to ${\rm NTP}_2$ division rings of characteristic $p$, using results of Chernikov, Kaplan and Simon. We also highlight consequences of our proofs that concern $\rm NIP$ or simple difference fields

Sets, groups, and fields definable in vector spaces with a bilinear form

We study definable sets, groups, and fields in the theory $T_\infty$ of infinite-dimensional vector spaces over an algebraically closed field equipped with a nondegenerate symmetric (or alternating) bilinear form. First, we define an ($\mathbb{N}\times \mathbb{Z},\leq_{lex}$)-valued dimension on definable sets in $T_\infty$ enjoying many properties of Morley rank in strongly minimal theories. Then, using this dimension notion as the main tool, we prove that all groups definable in $T_\infty$ are (algebraic-by-abelian)-by-algebraic, which, in particular, answers a question of Granger. We conclude that every infinite field definable in $T_\infty$ is definably isomorphic to the field of scalars of the vector space. We derive some other consequences of good behaviour of the dimension in $T_\infty$, e.g. every generic type in any definable set is a definable type; every set is an extension base; every definable group has a definable connected component. We also consider the theory $T^{RCF}_\infty$ of vector spaces over a real closed field equipped with a nondegenerate alternating bilinear form or a nondegenerate symmetric positive-definite bilinear form. Using the same construction as in the case of $T_\infty$, we define a dimension on sets definable in $T^{RCF}_\infty$, and using it we prove analogous results about definable groups and fields: every group definable in $T^{RCF}_{\infty}$ is (semialgebraic-by-abelian)-by-semialgebraic (in particular, it is (Lie-by-abelian)-by-Lie), and every field definable in $T^{RCF}_{\infty}$ is definable in the field of scalars, hence it is either real closed or algebraically closed.Comment: v2: The particular bounds on dimension obtained in Section 3 were corrected, and a number of minor corrections has been made throughout the pape