Related papers: Countable Borel equivalence relations and quotient…

Quasi-Boolean algebras were introduced as the generalization of Boolean algebras in the setting of quantum computation logic. In this paper, we investigate the completeness and congruences of quasi-Boolean algebras. First, we discuss the…

We prove several results showing that every locally finite Borel graph whose large-scale geometry is "tree-like" induces a treeable equivalence relation. In particular, our hypotheses hold if each component of the original graph either has…

We address some fundamental problems concerning the structure of idealistic equivalence relations. In particular, we show that, under analytic determinacy, there are continuum many idealistic analytic equivalence relations that are not…

Let $\Om$ be a Borel subset of $S^\Bbb N$ where $S$ is countable. A measure is called exchangeable on $\Om$, if it is supported on $\Om$ and is invariant under every Borel automorphism of $\Om$ which permutes at most finitely many…

We discuss the noncommutative generalizations of polynomial algebras which after appropriate completions can be used as coordinate algebras in various noncommutative settings, (noncommutative differential geometry, noncommutative algebraic…

We investigate Keisler measures in arbitrary theories. Our initial focus is on Borel definability. We show that when working over countable parameter sets in countable theories, Borel definable measures are closed under Morley products and…

We introduce the notion of an invariantly universal pair (S,E) where S is an analytic quasi-order and E \subseteq S is an analytic equivalence relation. This means that for any analytic quasi-order R there is a Borel set B invariant under E…

Let G be a Lie group and Q a quiver with relations. In this paper, we define G-valued representations of Q which directly generalize G-valued representations of finitely generated groups. Although as G-spaces, the G-valued quiver…

Using the adjoint action of the infinitesimal translations (with respect to some (in)dependant variables) on specific finite-dimensional subspaces of the space of generalized symmetries of some system of partial differential equations, we…

The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…

This article presents a proof of the Feldman-Moore theorem on Cartan subalgebras in W*-algebras based on the non-commutative Stone equivalence between Boolean inverse semigroups and Boolean groupoids. The proof is decomposed into two parts.…

This note is intended to reformulate the Dixmier-Malliavin theorem about smooth group representations in the language of bornological vector spaces, instead of topological vector spaces. This language turns out to allow a more general…

Recent work of the author established dual representation theorems for certain vector spaces that arise in an important article of Allcock and Vaaler. These results constructed an object called a consistent map which acts like a measure on…

This paper deals with countable products of countable Borel equivalence relations and equivalence relations "just above" those in the Borel reducibility hierarchy. We show that if $E$ is strongly ergodic with respect to $\mu$ then…

Pseudocycles are geometric representatives for integral homology classes on smooth manifolds that have proved useful in particular for defining gauge-theoretic invariants. The Borel-Moore homology is often a more natural object to work with…

The quotient cohomology of tiling spaces is a topological invariant that relates a tiling space to one of its factors, viewed as topological dynamical systems. In particular, it is a relative version of the tiling cohomology that…

The results, different aspects and applications of our method of quantisation on configuration manifolds - called Borel Quantisation - were presented at meetings of the series `Symmetries in Science' and can be found in the published…

For a given group $G$, it is natural to ask whether one can classify all isometric $G$-actions on Gromov hyperbolic spaces. We propose a formalization of this problem utilizing the complexity theory of Borel equivalence relations. In this…

It is well-known that a random variable, i.e., a function defined on a probability space, with values in a Borel space, can be represented on the special probability space consisting of the unit interval with Lebesgue measure. We show an…

Let C be a smooth projective curve over the field of the complex numbers. We consider Brill-Noether loci over the moduli of maps from C to the Grassmannian G(m,n) and the corresponding Quot schemes of quotients of a trivial vector bundle on…