BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We consider G, a linear group defined over k, an algebraically closed field. By considering k as an embedded residue field of an algebraically closed valued field K, we can associate to it a compact G-space SGμ(k), consisting of μ-types on G. We showed that for each pμ∈SGμ(k), Stabμ(p)=Stab(pμ) is a solvable infinite algebraic group when pμ is centered at infinity and residually algebraic. Moreover we give a description of the dimension Stab(pμ) in terms of dimension of p.
We establish a cutting lemma for definable families of sets in distal structures, as well as the optimality of the distal cell decomposition for definable families of sets on the plane in o-minimal expansions of fields. Using it, we generalize the results in [J. Fox, J. Pach, A. Sheffer, A. Suk, and J. Zahl. "A semi-algebraic version of Zarankiewicz's problem"] on the semialgebraic planar Zarankiewicz problem to arbitrary o-minimal structures, in particular obtaining an o-minimal generalization of the Szemerédi-Trotter theorem.
We prove a generalizations of the Elekes-Szabó theorem for relations definable in strongly minimal structures that are interpretable in distal structures.
We investigate bounds in Ramsey's theorem for relations definable in NIP structures. Applying model-theoretic methods to finitary combinatorics, we generalize a theorem of Bukh and Matousek [B. Bukh, J. Matoušek. "Erdős-Szekeres-type statements: Ramsey function and decidability in dimension 1", Duke Mathematical Journal 163.12 (2014): 2243-2270] from the semialgebraic case to arbitrary polynomially bounded o-minimal expansions of R, and show that it doesn't hold in Rexp. This provides a new combinatorial characterization of polynomial boundedness for o-minimal structures. We also prove an analog for relations definable in P-minimal structures, in particular for the field of the p-adics. Generalizing [D. Conlon, J. Fox, J. Pach, B. Sudakov, A. Suk "Ramsey-type results for semi-algebraic relations", Transactions of the American Mathematical Society 366.9 (2014): 5043-5065], we show that in distal structures the upper bound for k-ary definable relations is given by the exponential tower of height k−1.
In this short note we present an elementary proof of the Ax-Lindemann-Weierstrass theorem for abelian and semi-abelian varieties. The proof uses ideas of Pila, Ullmo, Yafaev, Zannier and is based on basic properties of sets definable in o-minimal structures. It does not use the Pila-Wilkie counting theorem.
In this short note we provide a relatively simple proof of the Erdős-Hajnal conjecture for families of finite (hyper-)graphs without the k-order property. It was originally proved by M. Malliaris and S. Shelah in "Regularity lemmas for stable graphs", Transactions AMS, 366, 2014, 1551-1585.
It is known that families of graphs with a semialgebraic edge relation of bounded complexity satisfy much stronger regularity properties than arbitrary graphs, and that they can be decomposed into very homogeneous semialgebraic pieces up to a small error (e.g., see [33, 2, 16, 18]). We show that similar results can be obtained for families of graphs with the edge relation uniformly definable in a structure satisfying a certain model theoretic property called distality, with respect to a large class of generically stable measures. Moreover, distality characterizes these strong regularity properties. This applies in particular to graphs definable in arbitrary o-minimal structures and in p-adics.
In this paper we completely characterize solvable real Lie groups definable in o-minimal expansions of the real field.
We consider an arbitrary topological group G definable in a structure M, such that some basis for the topology of G consists of sets definable in M. To each such group G we associate a compact G-space of partial types SGμ(M)={pμ:p∈SG(M)} which is the quotient of the usual type space SG(M) by the relation of two types being "infinitesimally close to each other". In the o-minimal setting, if p is a definable type then it has a corresponding definable subgroup Stabμ(p), which is the stabilizer of pμ. This group is nontrivial when p is unbounded in the sense of M; in fact it is a torsion-free solvable group. Along the way, we analyze the general construction of SGμ(M) and its connection to the Samuel compactification of topological groups.
We prove in particular that, in a large class of dp-minimal theories including the p-adics, definable types are dense amongst non-forking types.
We give a stability theoretic proof of the algebraic regularity lemma of Tao, making use of a lemma of Hrushovski. We also point out that the underlying results hold at the level of measurable theories and structures in the sense of Elwes, Macpherson and Steinhorn.
We show that the first order structure whose underlying universe is C and whose basic relations are all algebraic subset of C2 does not have quantifier elimination. Since an algebraic subset of C2 needs either to be of dimension ≤1 or to have a complement of dimension ≤1, one can restate the former result as a failure of quantifier elimination for planar complex algebraic curves. We then prove that removing the planarity hypothesis suffices to recover quantifier elimination: the structure with the universe C and a predicate for each algebraic subset of Cn of dimension ≤1 has quantifier elimination.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.