Related papers: On the model theory of open generalized polygons

We prove that every uniform approximate homomorphism from a discrete amenable group into a symmetric group is uniformly close to a homomorphism into a slightly larger symmetric group. That is, amenable groups are uniformly flexibly stable…

We show that given a monadically stable theory $T$, a sufficiently saturated $\mathbf M \models T$, and a coherent system of probability measures on the $\sigma$-algebras generated by parameter-definable sets of $\mathbf M$ in each…

We show that the Stanley-Reisner ideal of the one-dimensional simplicial complex whose diagram is an $n$-gon is always a set-theoretic complete intersection in any positive characteristic.

A class of n-ary Poisson structures of constant rank is indicated. Then, one proves that the ternary Poisson brackets are exactly those which are defined by a decomposable 3-vector field. The key point is the proof of a lemma which tells…

Suppose that G is a finite group and x in G has prime order p > 3. Then x is contained in the solvable radical of G if (and only if) <x,x^g> is solvable for all g in G. If G is an almost simple group and x in G has prime order p > 3 then…

In this paper, we consider universal sums of generalized polygonal numbers. Fixing $m\in\mathbb{N}_{\geq 3}$, we show two finiteness theorems for universal sums of generalized polygonal numbers whose inputs have a restricted number $L$ of…

We elucidate, for the first time, a novel group-theoretic structure that arises from certain solutions of the $n$-dimensional Prouhet--Tarry--Escott problem of degree $2$ and size $n$. We prove that the group is isomorphic to the orthogonal…

We develop foundational aspects of stability theory in affine logic. On the one hand, we prove appropriate affine versions of many classical results, including definability of types, existence of non-forking extensions, and other…

A polynomial $f(x)$ over a field $K$ is called stable if all of its iterates are irreducible over $K$. In this paper we study the stability of trinomials over finite fields. Specially, we show that if $f(x)$ is a trinomial of even degree…

We construct the first examples of an algorithmically complex finitely presented residually finite groups and first examples of finitely presented residually finite groups with arbitrarily large (recursive) Dehn function and depth function.…

We classify the ultrahomogeneous complete 3-edge-coloured graphs (3-graphs) with simple theory. This extends Lachlan's result (a corollary of the Effective Classification Theorem for stable structures) classifying the stable homogeneous…

We show that if the rotation set of a homeomorphism of the torus is stable under small perturbations of the dynamics, then it is a convex polygon with rational vertices. We also show that such homeomorphisms are $C^0$-generic and have…

We introduce the theory of monoidal Groebner bases, a concept which generalizes the familiar notion in a polynomial ring and allows for a description of Groebner bases of ideals that are stable under the action of a monoid. The main…

We prove that the twisted group C*-algebra of a finitely generated nilpotent group is $\mathcal{Z}$-stable if and only if it is nowhere scattered, a condition that we characterize in terms of the given group and 2-cocycle. As a main…

Inspired by a theorem by Skornjakov-Hughes-Pasini [9, 7, 8] and a problem which turned up in our recent paper [13], we start a study of epimorphisms with source a thick generalized m-gon and target a thin generalized m-gon. In this first…

Let $S$ be a closed Shimura variety uniformized by the complex $n$-ball. The Hodge conjecture predicts that every Hodge class in $H^{2k} (S, \Q)$, $k=0, \ldots, n$, is algebraic. We show that this holds for all degree $k$ away from the…

Let $\Gamma$ be the fundamental group of a closed orientable surface of genus at least two. Consider the composition of a uniformly random element of $\mathrm{Hom}(\Gamma,S_n)$ with the $(n-1)$-dimensional irreducible representation of…

A group is called square-like if it is universally equivalent to its direct square. It is known that the class of all square-like groups admits an explicit first order axiomatization but its theory is undecidable. We prove that the theory…

We study the canonical stability of a smooth projective 3-fold $V$ of general type. We prove that (1) $|5K_V|$ gives a birational map onto its image provided the geometric genus $p_g\geq 4$; (2) $|6K_V|$ gives a birational map provided…

Let $T$ be a complete, superstable theory with fewer than $2^{\aleph_{0}}$ countable models. Assuming that generic types of infinite, simple groups definable in $T^{eq}$ are sufficiently non-isolated we prove that $\omega^{\omega}$ is the…