English
Related papers

Related papers: On the model theory of open generalized polygons

200 papers

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…

Logic · Mathematics 2024-06-18 Gabriel Conant , Anand Pillay

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…

Logic · Mathematics 2015-03-17 Predrag Tanović

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…

Logic · Mathematics 2010-08-04 John Goodrick , Byunghan Kim , Alexei Kolesnikov

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…

Algebraic Geometry · Mathematics 2014-03-12 Vittoria Bussi

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…

Geometric Topology · Mathematics 2024-12-18 Daiki Iguchi

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…

Logic · Mathematics 2018-09-12 Gabriel Conant , Anand Pillay

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…

Logic · Mathematics 2020-09-21 Amador Martin-Pizarro , Martin Ziegler

We prove a stability theorem for families of holomorphically-parallelizable manifolds in the category of Hermitian manifolds.

Complex Variables · Mathematics 2015-07-13 Daniele Angella , Adriano Tomassini

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.

Number Theory · Mathematics 2010-03-03 Vladimir Shevelev

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…

Number Theory · Mathematics 2015-09-01 David Zywina

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…

High Energy Physics - Theory · Physics 2016-12-28 Mariana Carrillo-Gonzalez , Ali Masoumi , Adam R. Solomon , Mark Trodden

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…

Analysis of PDEs · Mathematics 2023-05-10 Yanlin Liu , Ping Zhang

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…

Complex Variables · Mathematics 2012-04-18 Julius Borcea , Petter Brändén

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)}$.

Group Theory · Mathematics 2024-06-05 Ilia Ponomarenko , Andrey V. Vasil'ev

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…

Logic · Mathematics 2019-09-18 Enrique Casanovas , Amador Martin-Pizarro , Daniel Palacin

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…

Group Theory · Mathematics 2025-11-19 Jitendra Bajpai , Daniele Dona

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…

Commutative Algebra · Mathematics 2024-05-14 Oscar Randal-Williams

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…

Group Theory · Mathematics 2009-03-13 Montserrat Casals-Ruiz , Ilya Kazachkov

We prove the existence of infinite dense free sets (in the usual topology) for set mappings on the reals, under reasonable assumptions.

Logic · Mathematics 2016-11-15 Shimon Garti

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…

Combinatorics · Mathematics 2017-01-11 József Balogh , Allan Lo , Theodore Molla