Related papers: Every CBER is smooth below the Carlson-Simpson gen…

A result of P. Tukia from 1989 says that Lebesgue measure on $\mathbb{R}$ has conformal dimension zero: for every $\epsilon > 0$, there is a Borel set $G \subset \mathbb{R}$ of full Lebesgue measure, and a quasisymmetric homeomorphism $f…

A classical theorem in conformal geometry states that on a manifold with non-positive Yamabe invariant, a smooth metric achieving the invariant must be Einstein. In this work, we extend it to the singular case and show that in all…

We prove that the category $\mathsf{SBor}$ of standard Borel spaces is the (bi-)initial object in the 2-category of countably complete Boolean (countably) extensive categories. This means that $\mathsf{SBor}$ is the universal category…

We study a category of probability spaces and measure-preserving Markov kernels up to almost sure equality. This category contains, among its isomorphisms, mod-zero isomorphisms of probability spaces. It also gives an isomorphism between…

Using elementary comparison geometry, we prove: Let $(M,g)$ be a simply-connected complete Riemannian manifold of dimension $\ge 3$. Suppose that the sectional curvature $K$ satisfies $ -1-s(r) \le K \le -1$, where $r$ denotes distance to a…

Is every product system of Hilbert spaces over a semigroup $P$ concrete, i.e. isomorphic to the product system of an $E_0$-semigroup over $P$? The answer, in general, is no. We record a non-example when $P$ is cancellative and is not…

Let $(\Omega, \mathcal{A}, \mu)$ be a probability space. The classical Borel-Cantelli Lemma states that for any sequence of $\mu$-measurable sets $E_i$ ($i=1,2,3,\dots$), if the sum of their measures converges then the corresponding…

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…

Let $\mathbb{P}= \{P_1, \cdots, P_{k}\in \mathbb{R}[y]\}$ be a collection of polynomials with distinct degrees and zero constant terms. We proved that there exists $\epsilon=\epsilon(\mathbb{P})>0$ such that, for any compact set $E \subset…

This expository article is an expanded version of talks given at the "Current Developments in Mathematics, 2002" conference. It gives an introduction to the (generalized) conjecture of Rapoport and Goresky-MacPherson which identifies the…

We give a partial answer to the following question of Dobrinen: For a given topological Ramsey space $\mathcal{R}$, are the notions of selective for $\mathcal{R}$ and Ramsey for $\mathcal{R}$ equivalent? Every topological Ramsey space…

Let $E$, $F$ be separable Hilbert spaces, and assume that $E$ is infinite-dimensional. We show that for every continuous mapping $f:E\to F$ and every continuous function $\varepsilon: E\to (0, \infty)$ there exists a $C^{\infty}$ mapping…

In 1985 S.~Saeki and K.~Stromberg published the following question: {\it Does every infinite compact group have a subgroup which is not Haar measurable?} An affirmative answer is given for all compact groups with the exception of some…

We define and study expansion problems on countable structures in the setting of descriptive combinatorics. We consider both expansions on countable Borel equivalence relations and on countable groups, in the Borel, measure and category…

The Baire category theorem states that every complete pseudometric space is a Baire space. There are some results in metric spaces which have their analogue in uniform spaces, however this is not one of them. Nonetheless, since the Baire…

We conduct a computability-theoretic study of Ramsey-like theorems of the form "Every coloring of the edges of an infinite clique admits an infinite sub-clique avoiding some pattern", with a particular focus on transitive patterns. As it…

Esnault asked whether every smooth complex projective variety with infinite fundamental group has a nonzero symmetric differential (a section of a symmetric power of the cotangent bundle). In a sense, this would mean that every variety with…

We develop the theory of smooth principal bundles for a smooth group $G$, using the framework of diffeological spaces. After giving new examples showing why arbitrary principal bundles cannot be classified, we define $D$-numerable bundles,…

A number of years ago, Kumar Murty pointed out to me that the computation of the fundamental group of a Hilbert modular surface ([7],IV,${\S}$6), and the computation of the congruence subgroup kernel of SL(2) ([6]) were surprisingly…

We characterize a class of topological Ramsey spaces such that each element $\mathcal R$ of the class induces a collection $\{\mathcal R_k\}_{k<\omega}$ of projected spaces which have the property that every Baire set is Ramsey. Every…