Related papers: Simple Homogeneous Structures and Indiscernible Se…

Let $R$ be the homogeneous coordinate ring of the Grassmannian $\mathbb{G}=\operatorname{Gr}(2,n)$ defined over an algebraically closed field of characteristic $p>0$. In this paper we give a completely characteristic free description of the…

Assuming the existence of a monster model, tameness and continuity of nonsplitting in an abstract elementary class (AEC), we extend known superstability results: let $\mu>LS({\bf K})$ be a regular stability cardinal and let $\chi$ be the…

This work is concerned with Mishchenko and Fomenko's celebrated theory of completely integrable systems on a complex semisimple Lie algebra $\mathfrak{g}$. Their theory associates a maximal Poisson-commutative subalgebra of…

We develop the machinery of indiscernible subspaces in continuous theories of expansions of Banach spaces, showing that any such theory has an indiscernible subspace and therefore an indiscernible set. We extend a result of Shelah and…

Monadic stability and the more general monadic dependence (or NIP) are tameness conditions for classes of logical structures, studied in the 80's in Shelah's classification program in model theory. They recently emerged in algorithmic and…

We develop a framework, in the style of Adler, for interpreting the notion of "witnessing" that has appeared (usually as a variant of Kim's Lemma) in different areas of neostability theory as a binary relation between abstract independence…

Recently M. Mustata and V. Srinivas related a natural conjecture about the Frobenius action on the cohomology of the structure sheaf after reduction to characteristic $p > 0$ with another conjecture connecting multiplier ideals and test…

The main result of this paper is a generalization of Popa's free independence result for subalgebras of ultraproduct ${\rm II_1}$ factors [Po95] to the framework of ultraproduct von Neumann algebras $(M^\omega, \varphi^\omega)$ where $(M,…

We prove that a map germ $f:(\mathbb{C}^n,S)\to(\mathbb{C}^{n+1},0)$ with isolated instability is stable if and only if $\mu_I(f)=0$, where $\mu_I(f)$ is the image Milnor number defined by Mond. In a previous paper we proved this result…

We study the structure of tensor products of $\mathfrak{gl}(\infty) = \varinjlim \mathfrak{gl}(n)$-modules $\mathbf L(\mathbf \lambda) \otimes \mathbf F$ where $\mathbf L(\mathbf \lambda)$ is a simple integrable highest weight module and…

Independence of premise principles play an important role in characterizing the modified realizability and the Dialectica interpretations. In this paper we show that a great many intuitionistic set theories are closed under the…

Huneke and Wiegand conjectured that, if $M$ is a finitely generated, non-free, torsion-free module with rank over a one-dimensional Cohen-Macaulay local ring $R$, then the tensor product of $M$ with its algebraic dual has torsion. This…

Let $p$ be an odd prime and $f$ be a nearly ordinary Hilbert modular Hecke eigenform defined over a totally real field $F$. Let $\mathbb{I}$ be an irreducible component of the universal nearly ordinary or locally cyclotomic deformation of…

Let R be a commutative Noetherian ring, I and J ideals of R and M a finitely generated R-module. Let F be a covariant R-linear functor from the category of finitely generated R-modules to itself. We first show that if F is coherent, then…

We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, and (ii) a definable group G in a simple theory such…

Recently, Solecki introduced the notion of Ramsey monoid to produce a common generalization to theorems such as Hindman's theorem, Carlson's theorem, and Gowers' FIN$_k$ theorem. He proved that an entire class of finite monoids is Ramsey.…

Let $\mathsf{KP}$ denote Kripke-Platek Set Theory and let $\mathsf{M}$ be the weak set theory obtained from $\mathsf{ZF}$ by removing the collection scheme, restricting separation to $\Delta_0$-formulae and adding an axiom asserting that…

Let $L$ be a countable language. We characterize, in terms of definable closure, those countable theories $\Sigma$ of $\mathcal{L}_{\omega_1, \omega}(L)$ for which there exists an $S_\infty$-invariant probability measure on the collection…

Feder-Vardi conjecture, which proposed that every finite-domain Constraint Satisfaction Problem (CSP) is either in P or it is NP-complete, has been solved independently by Bulatov and Zhuk almost ten years ago. Bodirsky-Pinsker conjecture…

Let $X/\mathbb{C}$ be a smooth variety with simple normal crossings compactification $\bar{X}$, and let $L$ be an irreducible $\overline{\mathbb{Q}}_{\ell}$-local system on $X$ with torsion determinant. Suppose $L$ is cohomologically rigid.…