Related papers: Towards the Carpenter's Theorem

If F is a type-definable family of commensurable subsets, subgroups or sub-vector spaces in a metric structure, then there is an invariant subset, subgroup or sub-vector space commensurable with F. This in particular applies to…

A complete contraction on a C*-algebra A, which preserves all closed two sided ideals J, can be approximated pointwise by elementary complete contractions if and only if the induced map on the tensor product of B with A/J is contractive for…

Given a complex, elliptic coefficient function we investigate for which values of $p$ the corresponding second-order divergence form operator, complemented with Dirichlet, Neumann or mixed boundary conditions, generates a strongly…

We introduce {\em admissible collections} for a finite group $G$ and use them to prove that most of the finite classical groups in non-defining characteristic satisfy the {\em Quillen dimension at $p$ property}, a strong version of…

We introduce the concept of compact quantitative equational theory. A quantitative equational theory is defined to be compact if all its consequences are derivable by means of finite proofs. We prove that the theory of interpolative…

We introduce a tensor compatibility condition for t-structures. For any Noetherian scheme $X$, we prove that there is a one-to-one correspondence between the set of filtrations of Thomason subsets and the set of aisles of compactly…

Our goal is to derive some families of maps, also known as functions, from injective maps and surjective maps; this can be useful in various fields of mathematics. Let A be a small concrete category. We define a functor F, cometic functor,…

The purpose of this article is to formulate a number of probabilistic hidden-variable theorems, to provide proofs in some cases, and counterexamples to some conjectured relationships. The first theorem is the fundamental one. It asserts the…

For functions of two quaternionic variables that are regular in the sense of Fueter, we establish a result similar in spirit to the Hanges and Tr\`eves theorem. Namely, we show that a ball contained in the boundary of a domain is a…

Taking as model the attractor of an iterated function system consisting of phi-contractions on a complete and bounded metric space, we introduce the set-theoretic concept of family of functions having attractor. We prove that, given such a…

We prove a T(1) Theorem to completely characterize compactness of Calderon-Zygmund operators. The result provides sufficient and necessary conditions for the compactness of singular integral operators acting on L^p(R).

Let G be any additive abelian group with cyclic torsion subgroup, and let A, B and C be finite subsets of G with cardinality n>0. We show that there is a numbering {a_i}_{i=1}^n of the elements of A, a numbering {b_i}_{i=1}^n of the…

It is known that some theories of class $S$ are actually factorized into multiple decoupled nontrivial four-dimensional $N=2$ theories. We propose a way of constructing examples of this phenomenon using the physics of half-BPS surface…

Given a real vector space V of finite dimension, together with a particular homogeneous field of bivectors that we call a "field of projective forces", we define a law of dynamics such that the position of the particle is a "ray" i.e. a…

We establish a torsion theorem to the effect that the unique zero of the Kodaira-Spencer map attached to a certain quasi-semistable family of complex projective varieties over the complex projective line is the image of a torsion point of…

For a Calabi-Yau manifold $X$, the Kawamata - Morrison movable cone conjecture connects the convex geometry of the movable cone $\overline{\mathrm{Mov}}(X)$ to the birational automorphism group. Using the theory of Coxeter groups, Cantat…

Gleason's theorem [A. Gleason, J. Math. Mech., \textbf{6}, 885 (1957)] is an important result in the foundations of quantum mechanics, where it justifies the Born rule as a mathematical consequence of the quantum formalism. Formally, it…

For the weight function $\prod_{i=1}^{d+1}|x_i|^{2\k_i}$ on the unit sphere, sharp local estimates of the orthogonal projection operators are obtained and used to prove the convergence of the Ces\`aro $(C,\delta)$ means in the weighted…

Given a functor $T:C \to D$ carrying a class of morphisms $S\subset C$ into a class $S'\subset D$, we give sufficient conditions in order that $T$ induces an equivalence on the localised categories. These conditions are in the spirit of…

We give a simple construction involving partial actions which permits us to obtain an easy proof of a weakened version of L. O'Carroll's theorem on idempotent pure extensions of inverse semigroups.