Related papers: Ample Pairs

We show that a ring R has stable range one if and only if every left unit lifts modulo every left principal ideal. We also show that a left quasi-morphic ring has stable range one if and only if it is left uniquely generated. Thus we answer…

Let K be an Abstract Elementary Class. Under the asusmptions that K has a nicely behaved forking-like notion, regular types and existence of some prime models we establish a decomposition theorem for such classes. The decomposition implies…

We study ample stable vector bundles on minimal rational surfaces. We give a complete classification of those moduli spaces for which the general stable bundle is both ample and globally generated. We also prove that if $V$ is any stable…

We develop a general axiomatic theory of algebraic pairs, which simultaneously generalizes several algebraic structures, in order to bypass negation as much as feasible. We investigate several classical theorems and notions in this setting…

We study the relationship between several notions of connectedness arising in ${\mathbb A}^1$-homotopy theory of smooth schemes over a field $k$: ${\mathbb A}^1$-connectedness, stable ${\mathbb A}^1$-connectedness and motivic connectedness,…

We generalize the stable graph regularity lemma of Malliaris and Shelah to the case of finite structures in finite relational languages, e.g., finite hypergraphs. We show that under the model-theoretic assumption of stability, such a…

We prove that in a countable theory T fully stable over a predicate P, any complete set A has the existence property. This means that A can be extended to a model of T without changing the P-part. In particular, T has the Gaifman property:…

We begin a systematic development of structure theory for a first order theory, which is stable over a monadic predicate. We show that stability over a predicate implies quantifier free definability of types over stable sets, introduce an…

We use algorithmic methods from online learning to explore some important objects at the intersection of model theory and combinatorics, and find natural ways that algorithmic methods can detect and explain (and improve our understanding…

We study the behavior of generalized lc pairs with $\mathrm{\textbf b}$-log abundant nef part, a meticulously designed structure on algebraic varieties. We show that this structure is preserved under the canonical bundle formula and…

We show the abundance theorem for arithmetic klt threefold pairs whose closed point have residue characteristic greater than five. As a consequence, we give a sufficient condition for the asymptotic invariance of plurigenera for certain…

We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete 1-types, then it has a Borel complete reduct. Similarly, if $Th(M)$ is not small, then $M^{eq}$ has…

We prove that the $\Phi^4$ theory is trivial for any values of the bare coupling constant $\lambda$ thus extending previous results referring to very strong couplings to the full range of values for this parameter. The method is based on…

We prove that every set $A\subset\mathbb{Z}/p\mathbb{Z}$ with $\mathbb{E}_x\min(1_A*1_A(x),t)\le(2+\delta)t\mathbb{E}_x 1_A(a)$ is very close to an arithmetic progression. Here $p$ stands for a large prime and $\delta,t$ are small real…

The topic of stable matchings (marriages) in a bipartite graph has become widely popular, starting with the appearance of the classical work by Gale and Shapley. We give a detailed survey on selected known results in this field that…

Let $G$ be a complex linear algebraic group which is simple of adjoint type. Let $\overline G$ be the wonderful compactification of $G$. We prove that the tangent bundle of $\overline G$ is stable with respect to every polarization on…

We show that the vector bundle associated to a smooth projective connected finite covering of a simple complex abelian variety is ample (under a simple necessary condition). This result is obtained by showing that this bundle is M-regular…

We prove that any tame abstract elementary class categorical in a suitable cardinal has an eventually global good frame: a forking-like notion defined on all types of single elements. This gives the first known general construction of a…

In the context of continuous first-order logic, special attention is often given to theories that are somehow continuous in an 'essential' way. A common feature of such theories is that they do not interpret any infinite discrete…

Generalizing homogeneous spectra for rings graded by natural numbers, we introduce multihomogeneous spectra for rings graded by abelian groups. Such homogeneous spectra have the same completeness properties as their classical counterparts,…