Related papers: An Infinitary version of Sperner's lemma
We show that countable increasing unions preserve a large family of well-studied covering properties, which are not necessarily sigma-additive. Using this, together with infinite-combinatorial methods and simple forcing theoretic methods,…
By using a combination of algebraic, geometric, and dynamical techniques, together with input from higher dimensional Diophantine approximation, we give a complete characterization of all linearly repetitive cut and project sets with…
We define noncommutative binary forms. Using the typical representation of Hermite we prove the fundamental theorem of algebra and we derive a noncommutative Cardano formula for cubic forms. We define quantized elliptic and hyperelliptic…
Several structural properties of a universal algebra can be seen from the higher commutators of its congruences. Even on a finite algebra, the sequence of higher commutator operations is an infinite object. In the present paper, we exhibit…
We show spherical completeness of the ring of Colombeau generalized real (or complex) numbers endowed with the sharp norm. As an application, we establish a Hahn Banach extension theorem for ultra pseudo normed modules (over the ring of…
Let $G$ be an infinite-dimensional real classical group containing the complete unitary group (or complete orthogonal group) as a subgroup. Then $G$ generates a category of double cosets (train) and any unitary representation of $G$ can be…
A nonconstructive proof can be used to prove the existence of an object with some properties without providing an explicit example of such an object. A special case is a probabilistic proof where we show that an object with required…
In this note, we give a short proof of the Torelli theorem for cubic fourfolds that relies on the global Torelli theorem for irreducible holomorphic symplectic varieties proved by Verbitsky.
We prove a rigidity result for Serrin's overdetermined problem in a cone that is contained in a half-space in arbitrary dimensions. In the special case where the cone is an epigraph, this result was shown previously in low dimensions with a…
We generalize the reciprocity theorem of G.R.~Robinson, D. Benson and P. Webb between a finite group and its subgroup to the case of finite-dimensional {\it symmetric} algebras over a field which are connected by a bimodule for the two…
Kinematic algebras can be realised on geometric spaces and constrain the physical models that can live on these spaces. Different types of kinematic algebras exist and we consider the interplay of these algebras for non-relativistic limits…
We prove a substantial extension of an inverse spectral theorem of Ambarzumyan, and show that it can be applied to arbitrary compact Riemannian manifolds, compact quantum graphs and finite combinatorial graphs, subject to the imposition of…
We prove a conjecture of Toponogov on complete convex planes, namely that such planes must contain an umbilic point, albeit at infinity. Our proof is indirect. It uses Fredholm regularity of an associated Riemann-Hilbert boundary value…
Assume that the section conjecture holds over number fields. We prove then that it holds for a broad class of curves defined over finitely generated extensions of $\mathbb{Q}$. This class contains every projective, hyperelliptic curve,…
Recent advances in our understanding of higher derived limits carry multiple implications in the fields of condensed and pyknotic mathematics, as well as for the study of strong homology. These implications are thematically diverse,…
A tower for a (2+1)-dimensional Toda type system is constructed in terms of a series expansion of operators which can be interpreted as generalized Bessel coefficients; the result is formulated as an analog of the Baker-Campbell-Hausdorff…
We give upper-bounds for the dimension of some linear systems. The theorem improves the differential Horace method introduced by Alexander-Hirschowitz, and was conjectured by Simpson. Possible applications are the calculus of the dimension…
Using some extensions of a theorem of Heppes on finitely supported discrete probability measures, we address the problems of classification and testing based on projections. In particular, when the support of the distributions is known in…
We give some reasonable and usable conditions on a sequence of norm one in a dual banach space under which the sequence does not converges to the origin in the $w^*$-topology. These requirements help to ensure that the Lagrange multipliers…
Given a generalization of Lebesgue decomposition we obtain an extension to the finitely additive setting of the theorems of Halmos and Savage and of Yan.