Related papers: $\Sigma^1_3$ sets in the Sacks model

We construct the Seiberg-Witten theory on 3-manifolds with Euclidean ends (connected sums of $\R^3$ and a compact manifold) with perturbations which approximate $*dx_3$ at infinity, and describe the structure of the moduli spaces. The setup…

A general algebraic condition for the functional independence of 2n-1 constants of motion of an n-dimensional maximal superintegrable Hamiltonian system has been proved for an arbitrary finite n. This makes it possible to construct, in a…

We consider topological field theories that compute the Reidemeister-Milnor-Turaev torsion in three dimensions. These are the psl(1|1) and the U(1|1) Chern-Simons theories, coupled to a background complex flat gauge field. We use the 3d…

We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…

We construct a three-dimensional topological sigma model which is induced from a generalized complex structure on a target generalized complex manifold. This model is constructed from maps from a three-dimensional manifold $X$ to an…

It is shown that the supersymmetry-preserving automorphisms of any non-linear sigma-model on K3 generate a subgroup of the Conway group Co_1. This is the stringy generalisation of the classical theorem, due to Mukai and Kondo, showing that…

We prove that a theorem of Pawlucki, showing that Whitney regularity for a subanalytic set with a smooth singular locus of codimension one implies the set is a finite union of differentiable manifolds with boundary, applies to definable…

Using the general method presented by Mohammedi \cite{NM} for the integrability of a sigma model on a manifold, we investigate the conditions for having an integrable deformation of the general sigma model on a manifold with a complex…

Let H be a product of countably infinite number of copies of an uncountable Polish space X. Let $\Sigma_\xi$ $(\bar {\Sigma}_\xi)$ be the class of Borel sets of additive class \xi for the product of copies of the discrete topology on X (the…

We use ``iterated square sequences'' to show: There is an L-definable partition n: L-singulars --> omega such that if M is an inner model without 0#: (a) For some n, M satisfies that {alpha | n(alpha)=n} is stationary. (b) For each n there…

We summarize our investigations of several aspects of $\mathcal{N}=1$ supersymmetric Yang-Mills (SYM) theory. We present our final results for SU(3) $\mathcal{N}=1$ SYM simulated with Wilson fermions. We also discuss the first test of the…

Let $M^n$, $n\ge3$, be a compact differentiable manifold with nonpositive Yamabe invariant $\sigma(M)$. Suppose $g_0$ is a continuous metric with $V(M, g_0)=1$, smooth outside a compact set $\Sigma$, and is in $W^{1,p}_{loc}$ for some…

The space of unitary $C_{0}$-semigroups on separable infinite dimensional Hilbert space, when viewed under the topology of uniform weak convergence on compact subsets of $\mathbb{R}_{+}$, is known to admit various interesting residual…

We show that one can force over $L$ that $\Sigma^1_3$-separation holds, while $\Pi^1_3$-reduction fails, thus separating these two principles for the first time. The construction can be lifted to canonical inner models $M_n$ with $n$-many…

In this article, for generalized projective spaces with any weights, we prove four main theorems in three different contexts where the Unital Set Condition USC (Definition $2.8$) on ideals is further examined. In the first context we prove,…

In this paper we consider a notion of nonmeasurablity with respect to Marczewski and Marczewski-like tree ideals $s_0$, $m_0$, $l_0$, and $cl_0$. We show that there exists a subset $A$ of the Baire space $\omega^\omega$ which is $s$-, $l$-,…

In this paper we consider nonmeasurablity with respect to sigma-ideals defined be trees. First classical example of such ideal is Marczewski ideal s_0. We will consider also ideal l_0 defined by Laver trees and m_0 defined by Miller trees.…

We construct a new class of finite dimensional indecomposable representations of simple superalgebras which may explain, in a natural way, the existence of the heavier elementary particles. In type I Lie superalgebras sl(m/n) and osp(2/2n),…

We describe new irreducible components of the Gieseker-Maruyama moduli scheme $\mathcal{M}(3)$ of semistable rank 2 coherent sheaves with Chern classes $c_1=0,\ c_2=3,\ c_3=0$ on $\mathbb{P}^3$, general points of which correspond to sheaves…

We investigate the position that foundational theories should be modelled on ordinary computability. In this context, we investigate the metamathematics of $\Sigma$ formulas. We consider theories whose axioms are implications between…