Related papers: On the model theory of open generalized polygons
We prove a structure theorem for stable functions on amenable groups, which extends the arithmetic regularity lemma for stable subsets of finite groups. Given a group $G$, a function $f\colon G\to [-1,1]$ is called stable if the binary…
We study non-orthogonality of symmetric, regular types and show that it preserves generic stability and is an equivalence relation on the set of all generically stable, regular types. We will also prove that some of the nice properties from…
This paper continues the study of generalized amalgamation properties. Part of the paper provides a finer analysis of the groupoids that arise from failure of 3-uniqueness in a stable theory. We show that such groupoids must be abelian and…
Generalized Donaldson-Thomas invariants defined by Joyce and Song arXiv:0810.5645 are rational numbers which `count' both $\tau$-stable and $\tau$-semistable coherent sheaves with Chern character $\alpha$ on a Calabi-Yau 3-fold $X$, where…
Let $g \ge 2$ and assume that we are given a genus $g$ Heegaard splitting of a closed orientable $3$-manifold with the distance greater than $2g+2$. We prove that the mapping class group of the once-stabilization of such a Heegaard…
We show that if $G$ is a sufficiently saturated stable group of finite weight with no infinite, infinite-index, chains of definable subgroups, then $G$ is superstable of finite $U$-rank. Combined with recent work of Palacin and Sklinos, we…
A first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition. Equationality…
We prove a stability theorem for families of holomorphically-parallelizable manifolds in the category of Hermitian manifolds.
We prove the theorems which are equivalent to the Roland's results such that a new form of them allows to consider some generalizations. In particular, we give generators of primes more than a fixed prime.
We gives an explicit genus 3 curve over Q such that the Galois action on the torsion points of its Jacobian is a large as possible. That such curves exist is a consequence of a theorem of D. Zureick-Brown and the author; however, those…
We consider the existence and stability of solitons in generalized galileons, scalar field theories with higher-derivative interactions but second-order equations of motion. It has previously been proven that no stable, static solitons…
In this paper, we first prove the global existence of strong solutions to 3-D incompressible Navier-Stokes equations with solenoidal initial data, which writes in the cylindrical coordinates is of the form: $A(r,z)\cos N\theta +B(r,z)\sin…
In the first part of this series we characterized all linear operators on spaces of multivariate polynomials preserving the property of being non-vanishing in products of open circular domains. For such sets this completes the multivariate…
Let $m\ge 3$ be an integer. It is proved that the $m$-closure of a given solvable permutation group of degree $n$ can be constructed in time $n^{O(m)}$.
We show that the ample degree of a stable theory with trivial forking is preserved when we consider the corresponding theory of belles paires, if it exists. This result also applies to the theory of $H$-structures of a trivial theory of…
We prove a version of Jordan's classification theorem for finite subgroups of $\mathrm{GL}_{n}(K)$ that is at the same time quantitatively explicit, CFSG-free, and valid for arbitrary $K$. This is the first proof to satisfy all three…
We prove a new kind of homological stability theorem for automorphism groups of finitely-generated projective modules over Dedekind domains, which takes into account all possible stabilisation maps between these, rather than only…
Using an analogue of Makanin-Razborov diagrams, we give a description of the solution set of systems of equations over an equationally Noetherian free product of groups $G$. Equivalently, we give a parametrisation of the set $Hom(H, G)$ of…
We prove the existence of infinite dense free sets (in the usual topology) for set mappings on the reals, under reasonable assumptions.
In this paper, we prove an analogue of Corr\'adi and Hajnal's classical theorem. There exists $n_0$ such that for every $n \in 3\mathbb{Z}$ when $n \ge n_0$ the following holds. If $G$ is an oriented graph on $n$ vertices and every vertex…