Related papers: Borel Circle Squaring

We prove that no quantifier-free formula in the language of group theory can define the $\aleph_1$-half graph in a Polish group, thus generalising some results from [6]. We then pose some questions on the space of groups of automorphisms of…

The Riesz-Markov theorem identifies any positive, finite, and regular Borel measure on the complex unit circle with a positive linear functional on the continuous functions. By the Weierstrass approximation theorem, the continuous functions…

In this paper, we proved two results regarding the arithmetics of separably $\mathbb{A}^1$-connected varieties of rank one. First we proved over a large field, there is an $\mathbb{A}^1$-curve through any rational point of the boundary, if…

The article has been withdrawn by the author. Wolfgang Lueck and Peter Linnell pointed out that the proof of Lemma 3.8 does not apply to the unrestricted case of wreath product. It is not clear at this stage how to complete the proof of…

Let $E$ be an elliptic curve over an algebraically closed, complete, non-archimedean field $K$, and let ${\mathsf E}$ denote the Berkovich analytic space associated to $E/K$. We study the $\mu$-equidistribution of finite subsets of $E(K)$,…

Let xi be a non-null countable ordinal. We study the Borel subsets of the plane that can be made $\bormxi$ by refining the Polish topology on the real line. These sets are called potentially $\bormxi$. We give a Hurewicz-like test to…

We give a complete characterization of the positive trigonometric polynomials Q(\theta,\phi) on the bi-circle, which can be factored as Q(\theta,\phi)=|p(e^{i\theta},e^{i\phi})|^2 where p(z,w) is a polynomial nonzero for |z|=1 and |w|\leq…

We study Borel equivalence relations equipped with a uniformly Borel family of Polish topologies on each equivalence class, and more generally, standard Borel groupoids equipped with such a family of topologies on each connected component.…

It is well known due to Hahn and Mazurkiewicz that every Peano continuum is a continuous image of the unit interval. We prove that an assignment, which takes as an input a Peano continuum and produces as an output a continuous mapping whose…

We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply…

We investigate classes of functions from a topological space to a metric space that are related to those of Borel class 1. Following the idea defining an equi-Baire 1 family (due to Lecomte) we define the respective equi-families of…

The Brunn-Minkowski Theory has seen several generalizations over the past century. Many of the core ideas have been generalized to measures. With the goal of framing these generalizations as a weighted Brunn-Minkowski theory, we prove the…

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 investigate some aspects of Moyal-Weyl deformations of superspace and their compatibility with supersymmetry. For the simplest case, when only bosonic coordinates are deformed, we consider a four dimensional supersymmetric field theory…

A. Vistoli proved a decomposition theorem for the rational equivariant algebraic K-theory of a variety under the action of a finite group $G$. We generalize his result to more general algebraic (co)homology theories having the Mackey…

Given a commutative unital ring $R$, we show that the finiteness length of a group $G$ is bounded above by the finiteness length of the Borel subgroup of rank one $\mathbf{B}_2^\circ(R)=\left( \begin{smallmatrix} * & * \\ 0 & *…

Green and Schroll give an easy criterion for a monomial algebra $A$ to be quasi-hereditary with respect to some partial order $\leq_A$. A natural follow-up question is under which conditions a monomial quasi-hereditary algebra $(A, \leq_A)$…

We show that, on any given finite Borel measure space with the ambient space being a Polish metric space, every Borel real-valued function is almost a bounded, uniformly continuous function in the sense that for every $\varepsilon > 0$…

The $L_p$ chord Minkowski problem was recently introduced by Lutwak, Xi, Yang and Zhang, which seeks to determine the necessary and sufficient conditions for a given finite Borel measure such that it is the $L_p$ chord measure of a convex…

For a compact set $K\subset \mathbb C,$ a finite positive Borel measure $\mu$ on $K,$ and $1 \le t < \i,$ let $\text{Rat}(K)$ be the set of rational functions with poles off $K$ and let $R^t(K, \mu)$ be the closure of $\text{Rat}(K)$ in…