Related papers: Structurable equivalence relations

A topological group G is profinite if it is compact and totally disconnected. Equivalently, G is the inverse limit of a surjective system of finite groups carrying the discrete topology. We discuss how to represent a countably based…

We consider quantum symmetric algebras, FRT bialgebras and, more generally, intertwining algebras for pairs of Hecke symmetries which represent quantum hom-spaces. The paper makes an attempt to investigate Koszulness and Gorensteinness of…

We show that the embeddability relations for countable quandles and for countable fields of any given characteristic other than 2 are maximally complex in a strong sense: they are invariantly universal. This notion from the theory of Borel…

We consider cohomology of small categories with coefficients in a natural system in the sense of Baues and Wirsching. For any funtor L: K -> CAT, we construct a spectral sequence abutting to the cohomology of the Grothendieck construction…

A relational structure $\mathbb{X}$ is called reversible iff each bijective homomorphism from $\mathbb{X}$ onto $\mathbb{X}$ is an isomorphism, and linear orders are prototypical examples of such structures. One way to detect new reversible…

We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete 1-types, then it has a Borel complete reduct. Similarly, if $Th(M)$ is not small, then $M^{eq}$ has…

Let $H$ and $K$ be the bosonizations of the Jordan and super Jordan plane by the group algebra of a cyclic group; the algebra $K$ projects onto an algebra $L$ that can be thought of as the quantum Borel of $\mathfrak{sl}(2)$ at $-1$. The…

Skew algebroid is a natural generalization of the concept of Lie algebroid. In this paper, for a skew algebroid E, its modular class mod(E) is defined in the classical as well as in the supergeometric formulation. It is proved that there is…

We investigate the extent to which the weak equivalences in a model category can be equipped with algebraic structure. We prove, for instance, that there exists a monad T such that a morphism of topological spaces admits T-algebra structure…

Correlation matrices are omnipresent in multivariate data analysis. When the number d of variables is large, the sample estimates of correlation matrices are typically noisy and conceal underlying dependence patterns. We consider the case…

In this paper we study the descriptive complexity of the topological orbit equvalence relation for some Borel classes of Cantor minimal systems. Specifically, we study the Borel class of all Cantor minimal systems with only finitely many…

We consider the problem of classifying Kolmogorov automorphisms (or $K$-automorphisms for brevity) up to isomorphism. Within the collection of measure-preserving transformations, Bernoulli shifts have the ultimate mixing property, and…

This paper studies when an arithmetical equivalence relation $E$ can be realized as the connectedness relation of a graph $G$ which is simpler to define than $E$. Several examples of such equivalence relations are established. In…

We show that if A is a linear order then Th(A) is either $\aleph_0$-categorical or Borel complete (in the sense of Friedman and Stanley). We generalize this; if A has countably many unary predicates attached, then Th(A) is…

A set $E$ in a Banach space $X$ is compactivorous if for every compact set $K$ in $X$ there is a nonempty, (relatively) open subset of $K$ which can be translated into $E$. In a separable Banach space, this is a sufficient condition which…

Prior work of Gavryushkin, Khoussainov, Jain and Stephan investigated what algebraic structures can be realised in worlds given by a positive (= recursively enumerable) equivalence relation which partitions the natural numbers into…

In this paper the authors investigate the $q$-Schur algebras of type B that were constructed earlier using coideal subalgebras for the quantum group of type A. The authors present a coordinate algebra type construction that allows us to…

We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of…

For every Hecke C*-algebra of right-angled, hyperbolic type, we construct a smooth subalgebra to which traces associated with arbitrary conjugacy classes in the associated Coxeter group extend. We calculate the pairing with K-theory of the…

Cubical cochains are equipped with an associative product, dual to the Serre diagonal, lifting the graded commutative structure in cohomology. In this work we introduce through explicit combinatorial methods an extension of this product to…