Related papers: Mutually Generics and Perfect Free Subsets

We present a free field realisation for the vertex operator algebra associated to the genus-two, class $\mathcal{S}$ superconformal field theory of type $\mathfrak{a}_1$. The free field realisation is in the style of recent work by the…

We extend some results of [BF12] on subfactor projections to show that the projection of a free factor B to the free factor complex of the free factor A is well-defined with uniformly bound diameter, unless either A is contained in B or A…

In [FHK13], the authors considered the question whether model-existence of $L_{\omega_1,\omega}$-sentences is absolute for transitive models of ZFC, in the sense that if $V \subseteq W$ are transitive models of ZFC with the same ordinals,…

We prove a general Fueter Theorem over real alternative *-algebras. We show that a suitable power of the Laplacian maps Dunkl-regular functions to Dunkl monogenic functions with axial symmetries. Using the embedding of hypercomplex function…

The Doob convergence theorem implies that the set of divergence of any martingale has measure zero. We prove that, conversely, any $G\_{\delta\sigma}$ subset of the Cantor space with Lebesgue-measure zero can be represented as the set of…

We compute the complete set of candidates for the zeta function of a K3 surface over F_2 consistent with the Weil conjectures, as well as the complete set of zeta functions of smooth quartic surfaces over F_2. These sets differ…

Let W be a projective variety of dimension n+1, L a free line bundle on W, X in $H^0(L^d)$ a hypersurface of degree d which is generic among those given by sums of monomials from $L$, and let $f : Y \to X$ be a generically finite map from a…

The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that…

We present proofs for the existence of distributional potentials $F\in{\mathcal D}'(\Omega)$ for distributional vector fields $G\in{\mathcal D}'(\Omega)^n$, i.e. $\operatorname{grad} F=G$, where $\Omega$ is an open subset of ${\mathbb…

Let X be a smooth quasiprojective subscheme of P^n of dimension m >= 0 over F_q. Then there exist homogeneous polynomials f over F_q for which the intersection of X and the hypersurface f=0 is smooth. In fact, the set of such f has a…

We show that if 2^{aleph_0} Cohen reals are added to the universe, then for every reduced non-free torsion-free abelian group A of cardinality less than the continuum, there is a prime p so that Ext_p(A, Z) not= 0. In particular if it is…

Hindman's celebrated Finite Sums Theorem, and its high-dimensional version due to Milliken and Taylor, are extended from covers of countable sets to covers of arbitrary topological spaces with Menger's classic covering property. The methods…

Let $S/R$ be a Frobenius extension with $_RS_R$ centrally projective over $R$. We show that if $_R\omega$ is a Wakamatsu tilting module then so is $_SS\otimes_R\omega$, and the natural ring homomorphism from the endomorphism ring of…

If M is a proper class inner model of ZFC and omega_2^M=omega_2, then every sound mouse projecting to omega and not past 0-pistol belongs to M. In fact, under the assumption that 0-pistol does not belong to M, K^M \| omega_2 is universal…

We establish a non-Archimedean analogue of Koksma's theorem. For a local field F of characteristic zero, we prove that the sequence ([{\alpha}x^n]) is uniformly distributed in the valuation ring O for almost every x with |x|_p>1. In the…

Based on the work done in \cite{BV-Tind,DMS} in the o-minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking-independent elements that is dense inside a…

The following results are proved: Theorem 1. A totally real semiparallel submanifold of constant curvature with parallel f-structure in the normal bundle of a K\"ahler manifold N is flat or a totally geodesic submanifold of N. Theorem 2. A…

We show that if a strictly positive joint probability distribution for a set of binary random variables factors according to a tree, then vertex separation represents all and only the independence relations enclosed in the distribution. The…

We prove that if $\bI$ is a p.\ o. set in a countable transitive model $\gM$ of $\ZFC$ then $\gM$ can be extended by a generic sequence of reals $\a_\i,$ $\i\in\bI,$ such that $\aleph_1^\gM$ is preserved and every $\a_\i$ is Sacks generic…

Motivated by ideas from the model theory of metric structures, we introduce a metric set theory, $\mathsf{MSE}$, which takes bounded quantification as primitive and consists of a natural metric extensionality axiom (the distance between two…