Related papers: $\Sigma^1_3$ sets in the Sacks model
By studying the Seiberg-Witten equations on end-periodic manifolds, we give an obstruction on the existence of positive scalar curvature metric on compact $4$-manifolds with the same homology as $S^{1}\times S^{3}$. This obstruction is…
We study when co-evolving (or adaptive) higher-order networks defined on directed hypergraphs admit a simplicial description. Binary and triadic couplings are modelled by time-dependent weight tensors. Using representation theory of the…
Many natural decision problems can be formulated as constraint satisfaction problems for reducts $\mathbb{A}$ of finitely bounded homogeneous structures. This class of problems is a large generalisation of the class of CSPs over finite…
We consider 3-webs, hyper-para-complex structures and integrable Segre structures on manifolds of even dimension and generalise the second heavenly Pleba\'nski equation in the context of higher-dimensional hyper-para-complex structures. We…
We use machine learning to approximate Calabi-Yau and SU(3)-structure metrics, including for the first time complex structure moduli dependence. Our new methods furthermore improve existing numerical approximations in terms of accuracy and…
We investigate the supersymmetric versions of Bondi-Metzner-Sachs or, equivalently, conformal Carroll symmetry in boundary dimensions $d>3$, with applications of flat space holography in mind. We identify the contraction of the relativistic…
We propose a new, game-theoretic, approach to the idealized forcing, in terms of fusion games. This generalizes the classical approach to the Sacks and the Miller forcing. For definable ($\mathbf{\Pi}^1_1$ on $\mathbf{\Sigma}^1_1)…
We systematically study the moduli theory of symplectic varieties (in the sense of Beauville) which admit a resolution by an irreducible symplectic manifold. In particular, we prove an analog of Verbitsky's global Torelli theorem for the…
Let $\mathcal R$ be a $\Sigma^1_1$ binary relation and call a set $\mathcal R$-discrete iff no two distinct of its elements are $\mathcal R$-related. We show that in the extension of $\mathbf{L}$ by iterated Sacks forcing, there is a…
We show that every finite-dimensional Euclidean space contains compact universal differentiability sets of upper Minkowski dimension one. In other words, there are compact sets $S$ of upper Minkowski dimension one such that every Lipschitz…
We continue the study of the theories of Baldwin-Shi hypergraphs from $[5]$. Restricting our attention to when the rank $\delta$ is rational valued, we show that each countable model of the theory of a given Baldwin-Shi hypergraph is…
For a given complex n-fold M we present an explicit construction of all complex (n+1)-folds which are principal holomorphic T2-fibrations over M. For physical applications we consider the case of M being a Calabi-Yau 2-fold. We show that…
In this paper we prove the following. Let $\Sigma$ be an $n$--dimensional closed hyperbolic manifold and let $g$ be a Riemannian metric on $\Sigma \times \mathbb{S}^1$. Given an upper bound on the volumes of unit balls in the Riemannian…
We develop a generalization of manifold calculus in the sense of Goodwillie-Weiss where the manifold is replaced by a simplicial complex. We consider functors from the category of open subsets of a fixed simplical complex into the category…
We investigate an extension of ZFC set theory (in an extended language) that stipulates the existence of a proper class of indiscernibles over the universe. One of the main results of the paper shows that the purely set-theoretical…
In this paper, we use the KK-theory of Kasparov to prove exactness of sequences relating the K-theory of a real C^*-algebra and of its complexification (generalizing results of Boersema). We use this to relate the real version of the…
The Shapley-Folkman theorem is a statement about the Minkowski sum of (non-convex) sets, expressing the closeness of the Minkowski sum to convexity in a quantitative manner. This paper establishes similar theorems for integrally convex…
We study the supersymmetric extensions of the $O(3)$ $\sigma$-model in $1+1$ and $2+1$ dimensions. We show that it is possible to construct non-equivalent supersymmetric versions of a given model sharing the same bosonic sector and free…
Menger's basis property is a generalization of $\sigma$-compactness and admits an elegant combinatorial interpretation. We introduce a general combinatorial method to construct non $\sigma$-compact sets of reals with Menger's property.…
We study maximal independent families (m.i.f.) in the projective hierarchy. We show that (a) the existence of a $\boldsymbol{\Sigma}^1_2$ m.i.f. is equivalent to the existence of a $\boldsymbol{\Pi}^1_1$ m.i.f., (b) in the Cohen model,…