Related papers: Dedekind sigma-complete l-groups and Riesz spaces …
We construct the first examples of an algorithmically complex finitely presented residually finite groups and first examples of finitely presented residually finite groups with arbitrarily large (recursive) Dehn function and depth function.…
Let $R$ be a commutative unital ring. We construct a category $\mathcal{C}_R$ of fractions $X/G$, where $G$ is a finite group and $X$ is a finite $G$-set, and with morphisms given by $R$-linear combinations of spans of bisets. This category…
A ringed finite space is a ringed space whose underlying topological space is finite. The category of ringed finite spaces contains, fully faithfully, the category of finite topological spaces and the category of affine schemes. Any ringed…
We show that an equation follows from the axioms of dagger compact closed categories if and only if it holds in finite dimensional Hilbert spaces.
In 1993, Lubotzky and Weiss conjectured that if a compact group admits two finitely generated dense subgroups, one of which is amenable and the other has Kazhdan's property (T), then it would be finite. This conjecture was resolved in the…
We consider a class of homogeneous self-similar sets with complete overlaps and give a sufficient condition for the Lipschitz equivalence between members in this class.
Given a variety with a finite group action, we compare its equivariant categorical measure, that is, the categorical measure of the corresponding quotient stack, and the categorical measure of the extended quotient. Using weak factorization…
We offer a solution to the long-standing problem of group completing within the context of rig categories (also known as bimonoidal categories). Given a rig category R we construct a natural additive group completion R' that retains the…
A tensor space is a vector space equipped with a finite collection of multilinear forms. The length of a tensor space is its length as a representation of its symmetry group. Infinite dimension tensor spaces of finite length are special,…
Motivated by the theory of locally definable groups, we study the theory of $K$-vector spaces with a predicate for the union $X$ of an infinite family of independent subspaces. We show that if $K$ is infinite then the theory is complete and…
We derive differential inequalities and difference inequalities for Riesz means of eigenvalues of the Dirichlet Laplacian, R_{\sigma}(z) := \sum_k{(z -\lambda_k)_+^{\sigma}}. Here ${\lambda_k}_{k=1}^{\infty}$ are the ordered eigenvalues of…
It is proved that the isometry classes of pointed connected complete Riemannian $n$-manifolds form a Polish space, $\mathcal{M}_*^\infty(n)$, with the topology described by the $C^\infty$ convergence of manifolds. This space has a canonical…
If a finite group $G$ acts on a rational homology manifold, then the orbit space is well-known to be a rational homology manifold again. We consider here actions on spaces that may be much more singular. If the $G$-space is a Witt…
We show that the sequential closure of a family of probability measures on the canonical space of c{\`a}dl{\`a}g paths satisfying Stricker's uniform tightness condition is a weak${}^*$ compact set of semimartingale measures in the pairing…
We show that elliptic classes introduced in our earlier paper for spaces with infinite fundamental groups yield Novikov's type higher elliptic genera which are invariants of K-equivalence. This include, as a special case, the birational…
Royden proved that any isometry of Teichmuller space in the Teichmuller metric must be an element of the extended mapping class group M(S). He also proved that the Teichmuller metric is not symmetric at any point. In this paper we give…
We prove that every partially ordered simple group of rank one which is not Riesz embeds into a simple Riesz group of rank one if and only if it is not isomorphic to the additive group of the rationals. Using this result, we construct…
Reidemeister (or twisted conjugacy) classes are considered in restricted wreath products of the form $G\wr \mathbb{Z}^k$, where $G$ is a finite group. For an automorphism $\varphi$ of finite order (supposed to be the same for the torsion…
We study different form of boundness for ideals of almost Dedekind domains, generalizing the notions of critical ideals, radical factorization, and SP-domains. We show that every almost Dedekind domain has at least one noncritical maximal…
Menger's conjecture that Menger spaces are /sigma-compact is false; it is true for analytic subspaces of Polish spaces and undecidable for more complex definable subspaces of Polish spaces. For non-metrizable spaces, analytic Menger spaces…