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

We compute for all orientable irreducible geometric 3-manifolds certain complexity functions that approximate from above Matveev's natural complexity, known to be equal to the minimal number of tetrahedra in a triangulation. We can show…

We consider N = 3 supersymmetric Chern-Simons gauge theories with product unitary and orthosymplectic groups and bifundamental and fundamental fields. We study the partition functions on an S^3 by using the Kapustin-Willett-Yaakov matrix…

Boris Tsirelson constructed an uncountable family of type III product systems of Hilbert spaces through the theory of Gausian spaces, measure type spaces and `slightly coloured noises', using techniques from probability theory. Here we take…

We prove a separable reduction theorem for sigma-porosity of Suslin sets. In particular, if A is a Suslin subset in a Banach space X, then each separable subspace of X can be enlarged to a separable subspace V such that A is sigma-porous in…

In complex dynamics, we construct a so-called nice set (one for which the first return map is Markov) around any point which is in the Julia set but not in the post-singular set, adapting a construction of Juan Rivera-Letelier. This…

Slicing a module into semisimple ones is useful to study modules. Loewy structures provide a means of doing so. To establish the Loewy structures of projective modules over a finite dimensional symmetric algebra over a field $F$, the…

We compare a relativistic and a nonrelativistic version of Ostrogradsky's method for higher-time derivative theories extended to scalar field theories and consider as an alternative a multi-field variant. We apply the schemes to space-time…

In this article, we propose a new classification of $\Sigma^0_2$ formulas under the realizability interpretation of many-one reducibility (i.e., Levin reducibility). For example, ${\sf Fin}$, the decision of being eventually zero for…

The main purpose of this work is to generalize the $S^3_\bfw$ Sasaki join construction $M\star_\bfl S^3_\bfw$ described in \cite{BoTo14a} when the Sasakian structure on $M$ is regular, to the general case where the Sasakian structure is…

We construct a family of non-parametric (infinite-dimensional) manifolds of finite measures on $R^d$. The manifolds are modelled on a variety of weighted Sobolev spaces, including Hilbert-Sobolev spaces and mixed-norm spaces. Each supports…

We develop a theory of Lagrangian reduction on loop groups for completely integrable systems after having exchanged the role of the space and time variables in the multi-time interpretation of integrable hierarchies. We then insert the…

We take two approaches to classifying the complexity of Presburger models: Scott analysis and degree spectra. In particular, we investigate the possible Scott sentence complexities and possible degree spectra of models of Presburger…

We prove a Goldberg-Sachs theorem in dimension three. To be precise, given a three-dimensional Lorentzian manifold satisfying the topological massive gravity equations, we provide necessary and sufficient conditions on the tracefree Ricci…

Let (M,g) be a compact Riemannian three-dimensional manifold with boundary. We prove the compactness of the set of scalar-flat metrics which are in the conformal class of g and have the boundary as a constant mean curvature hypersurface.…

For any odd prime $p$, the Galois group of the maximal unramified pro-$p$-extension of an imaginary quadratic field is a Schur $\sigma$-group. But Schur $\sigma$-groups can also be constructed and studied abstractly. We prove that if $p>3$,…

We put into a general setting a technique of Rene' David (see "A Very Absolute Pi^1_2 Singleton, Annals of Pure and Applied Logic, 1982) to show that for S a Sigma^1_1 statement quantifying over subclasses of V of a special form, there is a…

Through the Selberg zeta approach, we reduce the exponent in the error term of the prime geodesic theorem for cocompact Kleinian groups or Bianchi groups from Sarnak's $\frac{5}{3}$ to $\frac{3}{2}$. At the cost of excluding a set of finite…

We focus on computing certified upper bounds for the positive maximal singular value (PMSV) of a given matrix. The PMSV problem boils down to maximizing a quadratic polynomial on the intersection of the unit sphere and the nonnegative…

Local commuting charges in sigma-models with classical Lie groups as target manifolds are shown to be related to the conserved quantities appearing in the Drinfeld-Sokolov (generalized mKdV) hierarchies. Conversely, the Drinfeld-Sokolov…

Using the Sasakian join construction with homology 3-spheres, we give a countably infinite number of examples of Sasakian manifolds with perfect fundamental group in all odd dimensions greater than 1. These have extremal Sasaki metrics with…