Related papers: Canonical quotients in model theory
For a NIP theory $T$, a sufficiently saturated model $\mathfrak{C}$ of $T$, and an invariant (over some small subset of $\mathfrak{C}$) global type $p$, we prove that there exists a finest relatively type-definable over a small set of…
We study maximal WAP and tame (in the sense of topological dynamics) quotients of $S_X(\mathfrak{C})$, where $\mathfrak{C}$ is a sufficiently saturated (called monster) model of a complete theory $T$, $X$ is a $\emptyset$-type-definable…
We investigate the class of models of a general dependent theory. We continue math.LO/0702292 in particular investigating so called "decomposition of types"; thesis is that what holds for stable theory and for Th(Q,<) hold for dependent…
We study strong types and Galois groups in model theory from a topological and descriptive-set-theoretical point of view, leaning heavily on topological dynamical tools. More precisely, we give an abstract (not model theoretic) treatment of…
We try to understand complete types over a somewhat saturated model of a complete first order theory which is dependent (previously called NIP), by "decomposition theorems for such types". Our thesis is that the picture of dependent theory…
Let ${\mathfrak C}$ be a monster model of an arbitrary theory $T$, $\bar \alpha$ any tuple of bounded length of elements of ${\mathfrak C}$, and $\bar c$ an enumeration of all elements of ${\mathfrak C}$. By $S_{\bar \alpha}({\mathfrak C})$…
We solve two problems from the paper "On maximal stable quotients of definable groups in NIP theories" by M. Haskel and A. Pillay, which concern maximal stable quotients of groups type-definable in NIP theories. The first result says that…
We study rational points on a smooth variety X over a complete local field K with algebraically closed residue field, and models of X with tame quotient singularities. If a model of X is the quotient of a Galois action on a weak N\'eron…
We develop the theory of generically stable types, independence relation based on nonforking and stable weight in the context of dependent (NIP) theories.
For a number field $K$, we consider $K^{\rm ta}$ the maximal tamely ramified algebraic extension of~$K$, and its Galois group $G^{\rm ta}_K= Gal(K^{ta}/K)$. Choose a prime $p$ such that $\mu_p \not \subset K$. Our guiding aim is to…
We study invariant types in NIP theories. Amongst other things: we prove a definable version of the (p,q)-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of M-invariant types to that…
We consider the quotient variety associated to a linear representation of the cyclic group of order p in characteristic p>0. We estimate the minimal discrepancy of exceptional divisors over the singular locus. In particular, we give…
We begin the process of classifying all supersymmetric theories with quantum modified moduli. We determine all theories based on a single SU or Sp gauge group with quantum modified moduli. By flowing among theories we have calculated the…
We give several characterizations of when a complete first-order theory $T$ is monadically NIP, i.e. when expansions of $T$ by arbitrary unary predicates do not have the independence property. The central characterization is a condition on…
We initiate the study of p-adic algebraic groups G from the stability-theoretic and definable topological-dynamical points of view, that is, we consider invariants of the action of G on its space of types over Q_p in the language of fields.…
An explicit expression in terms of canonical variables is obtained for the Hamiltonian functional determining the fully nonlinear dynamics of two-dimensional potential flows of an ideal fluid with a free surface over an arbitrary nonuniform…
We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of…
Tensor models are generalizations of matrix models, and are studied as discrete models of quantum gravity for arbitrary dimensions. Among them, the canonical tensor model (CTM for short) is a rank-three tensor model formulated as a totally…
Statistical equilibrium models of coherent structures in two-dimensional and barotropic quasi-geostrophic turbulence are formulated using canonical and microcanonical ensembles, and the equivalence or nonequivalence of ensembles is…
We study the fundamental relationship between stable quotient invariants and the B-model for local CP2 in all genera. Our main result is a direct geometric proof of the holomorphic anomaly equation in the precise form predicted by B-model…