Related papers: Borel Circle Squaring

Let $G$ be a Polish group and let $H \leq G$ be a compact subgroup. We prove that there exists a Borel set $T \subset G$ which is simultaneously a complete set of coset representatives of left and right cosets, provided that a certain index…

We prove that the median hypersimplex $\Delta_{2k,k}$ is Minkowski indecomposable, i.e. it cannot be expressed as a non-trivial Minkowski sum $\Delta_{2k,k} = P+Q$, where $P\neq \lambda\Delta_{2k,k}\neq Q$. We obtain as a corollary that…

Let $G$ denote a linear algebraic group over $\mathbf{Q}$ and $K$ and $L$ two number fields. Assume that there is a group isomorphism of points on $G$ over the finite adeles of $K$ and $L$, respectively. We establish conditions on the group…

In [GW09a] we conjectured that uniformity of degree $k-1$ is sufficient to control an average over a family of linear forms if and only if the $k$th powers of these linear forms are linearly independent. In this paper we prove this…

We consider circles of common centre and increasing radius on a compact hyperbolic surface and, more generally, on its unit tangent bundle. We establish a precise asymptotics for their rate of equidistribution. Our result holds for…

We give a complete solution to the Borel-Ritt problem in non-uniform spaces $\mathscr{A}^-_{(M)}(S)$ of ultraholomorphic functions of Beurling type, where $S$ is an unbounded sector of the Riemann surface of the logarithm and $M$ is a…

We study Torelli-type theorems in the Zariski topology for varieties of dimension at least 2, over arbitrary fields. In place of the Hodge structure, we use the linear equivalence relation on Weil divisors. Using this setup, we prove a…

We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classifiable and T' is not, then the isomorphism of models of T' is…

Using reduction of spherical functions, we obtain generators of the algebra and the field of invariants for the coadjoint representation of Borel and maximal nilpotent subalgebras of simple Lie algebras.

Let D be a division ring. We say that D is left algebraic over a (not necessarily central) subfield K of D if every x in D satisfies a polynomial equation x^n + a_{n-1}x^{n-1}+...+a_0=0 with a_0,...,a_{n-1} in K. We show that if D is a…

We study the complexity of the isomorphism relation for various classes of closed subgroups of the group of permutations of the natural numbers. We use the setting of Borel reducibility between equivalence relations on Polish spaces. For…

A classical result of Arne Beurling states that the Fourier transform of a nonzero complex Borel measure $\mu$ on the real line cannot vanish on a set of positive Lebesgue measure if $\mu$ has certain decay. We prove a several variable…

Let $K\subset R^n$ be a compact basic semi-algebraic set. We provide a necessary and sufficient condition (with no a priori bounding parameter) for a real sequence $y=(y_\alpha)$, $\alpha\in N^n$, to have a finite representing Borel measure…

We study the problem of covering R^d by overlapping translates of a convex body P, such that almost every point of R^d is covered exactly k times. Such a covering of Euclidean space by translations is called a k-tiling. The investigation of…

The transitive closure of a reflexive, symmetric, analytic relation is an analytic equivalence relation. Does some smaller class contain the transitive closure of every reflexive, symmetric, closed relation? An essentially negative answer…

We study the isomorphism relation on Borel classes of locally compact Polish metric structures. We prove that isomorphism on such classes is always classifiable by countable structures (equivalently: Borel reducible to graph isomorphism),…

We show that after forcing with a countable support iteration or a finite product of Sacks or splitting forcing over $L$, every analytic hypergraph on a Polish space admits a $\mathbf{\Delta}^1_2$ maximal independent set. As a main…

We prove that the set of smooth, $\pi$-periodic, positive functions on the unit circle for which the $L_{-2}$ Minkowski problem is solvable is dense in the set of all smooth, $\pi$-periodic, positive functions on the unit circle with…

Langlands has described the irreducible admissible representations of $T$, when $T$ is the group of points of an algebraic torus over a local field. Also, Langlands described the automorphic representations of $T_{\mathbb A}$ when…

We prove that any divisible dynamical simplex is the set of invariant measures of some Toeplitz subshift. We apply our construction to prove that orbit equivalence of Toeplitz subshifts is Borel bireducible to the universal equivalence…