Related papers: Swiss Cheeses and Their Applications
We develop the theory of Schur covers of finite skew braces. We prove the existence of at least one Schur cover. We also compute several examples. We prove that different Schur covers are isoclinic. Finally, we prove that Schur covers have…
Quantitative algebras (QAs) are algebras over metric spaces defined by quantitative equational theories as introduced by the same authors in a related paper presented at LICS 2016. These algebras provide the mathematical foundation for…
A general slice theorem for the action of a Fr\'echet Lie group on a Fr\'echet manifolds is established. The Nash-Moser theorem provides the fundamental tool to generalize the result of Palais to this infinite-dimensional setting. The…
We explore the possibility of extending Mardare et al. quantitative algebras to the structures which naturally emerge from Combinatory Logic and the lambda-calculus. First of all, we show that the framework is indeed applicable to those…
Soft set theory serves as a mathematical framework for handling uncertain information, and hesitant fuzzy sets find extensive application in scenarios involving uncertainty and hesitation. Hesitant fuzzy sets exhibit diverse membership…
Many statistical models are algebraic in that they are defined by polynomial constraints or by parameterizations that are polynomial or rational maps. This opens the door for tools from computational algebraic geometry. These tools can be…
We prove that extension groups in strict polynomial functor categories compute the rational cohomology of classical algebraic groups. This result was previously known only for general linear groups. We give several applications to the study…
A theory of recursive definitions has been mechanized in Isabelle's Zermelo-Fraenkel (ZF) set theory. The objective is to support the formalization of particular recursive definitions for use in verification, semantics proofs and other…
The Universe is not completely homogeneous. Even if it is sufficiently so on large scales, it is very inhomogeneous at small scales, and this has an effect on light propagation, so that the distance as a function of redshift, which in many…
We prove new theorems which are higher-dimensional generalizations of the classical theorems of Siegel on integral points on affine curves and of Picard on holomorphic maps from $\mathbb{C}$ to affine curves. These include results on…
We re-examine some topics in representation theory of Lie algebras and Springer theory in a more general context, viewing the universal enveloping algebra as an example of the section ring of a quantization of a conical symplectic…
Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical computable model theory is used to examine the algorithmic structure of…
The theory of Rees algebras of monomial ideals has been extensively studied, and as a consequence, many (sometimes partial) equivalences between algebraic properties of monomial ideals, and combinatorial properties of simplicial complexes…
The study of the relation between Lie algebras and groups, and especially the derivation of new algebras from them, is a problem of great interest in mathematics and physics, because finding a new Lie group from an already known one also…
We develop here a concept of deformed algebras through three examples and an application. Deformed algebras are obtained from a fixed algebra by deformation along a family of indexes, through formal series. We show how the example of…
Recently there have been suggestions that the Type Ia supernova data can be explained using only general relativity and cold dark matter with no dark energy. In "Swiss cheese" models of the Universe, the standard Friedmann-Robertson-Walker…
\emph{Approximation Theory} uses nicely-behaved subcategories to understand entire categories, just as projective modules are used to approximate arbitrary modules in classical homological algebra. We use set-theoretic \emph{elementary…
In this article we introduce and study uniform and non-uniform approximate lattices in locally compact second countable (lcsc) groups. These are approximate subgroups (in the sense of Tao) which simultaneously generalize lattices in lcsc…
The theory of algebraic extensions of Banach algebras is well established, and there are many constructions which yield interesting extensions. In particular, Cole's method for extending uniform algebras by adding square roots of functions…
In this article, we introduce and investigate a class of C$^{\ast}$-algebras generated by reduced graph products of C$^{\ast}$-algebras, augmented with families of projections naturally associated with words in right-angled Coxeter groups.…