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

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…

Let G be a k-step Carnot group. We prove an isoperimetric-type inequality for compact C^2-smooth immersed hypersurfaces with boundary, involving the horizontal mean curvature of the hypersurface. This generalizes an inequality due to…

Let $M$ be a smooth, compact manifold and let $\mathcal{N}_{\mu}$ denote the set of Riemannian metrics on $M$ with smooth volume density $\mu$. For a given $g_0\in \mathcal{N}_{\mu}$, we show that if $\dim(M)\ge 5$, then there exists an…

Working in the framework of Borel reducibility, we study various notions of embeddability between groups. We prove that the embeddability between countable groups, the topological embeddability between (discrete) Polish groups, and the…

We prove that ribbons, i.e. double structures associated with a line bundle $\SE$ over its reduced support, a smooth irreducible projective curve of arbitrary genus, are smoothable if their arithmetic genus is greater than or equal to $3 $…

We prove that measurable sets $E\subset \mathbb R^n$ with locally finite perimeter and zero $s$-mean curvature satisfy the surface density estimates: \begin{align*} \operatorname{Per} (E; B_R(x)) \geq CR^{n-1} \end{align*} for all $R>0$,…

We construct the general spherically symmetric and self-similar solution of the Einstein-Vlasov system (collisionless matter coupled to general relativity) with massless particles, under certain regularity conditions. Such solutions have a…

We reprise a $K_1$-valued refinement of Whitehead torsion originally studied by Gersten. We use this Gersten torsion to show that for nilpotent spaces with infinite fundamental group, any self-equivalence which acts as the identity on the…

A longstanding question is to characterize the lattice of supersets (modulo finite sets), $\mathcal{L}^*(A)$, of a low$_2$ computably enumerable (c.e.) set. The conjecture is that $\mathcal{L}^*(A)\cong {\mathcal E}^*$. In spite of claims…

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 prove that every continuous function on a separable infinite-dimensional Hilbert space X can be uniformly approximated by smooth functions with no critical points. This kind of result can be regarded as a sort of very strong approximate…

We give the first examples of nonabelian left-orderable groups such that the conjugacy orbit equivalence relation on its space of orders has infinity orbits, yet it is smooth in the Borel sense. The examples are all nilpotent groups and we…

For a smooth subvariety $X\subset\Bbb P^N$, consider (analogously to projective normality) the vanishing condition $H^1(\Bbb P^N,\Cal I^2_X(k))=0$, $k\ge3$. This condition is shown to be satisfied for all sufficiently large embeddings of a…

Let $G$ be a connected and simply connected complex semisimple Lie group. For a collection of homogeneous $G$-spaces $G/Q$, we construct a finite atlas ${\mathcal{A}}_{\rm BS}(G/Q)$ on $G/Q$, called the Bott-Samelson atlas, and we prove…

We prove that a compact space $K$ embeds into a $\sigma$-product of compact metrizable spaces ($\sigma$-product of intervals) if and only if $K$ is (strongly countable-dimensional) hereditarily metalindel\"of and every subspace of $K$ has a…

We consider isomorphisms between quotient algebras of $\prod_{n=0}^{\infty} \mathbb{M}_{k(n)}(\mathbb{C})$ associated with Borel ideals on $\mathbb{N}$ and prove that it is relatively consistent with \textbf{ZFC} that all of these…

We prove that for an elementary amenable group, coherence of the group, homological coherence of the group, and coherence of the integral group ring are all equivalent. This generalises a result of Bieri and Strebel for finitely generated…

Morrey (function) spaces and, in particular, smoothness spaces of Besov-Morrey or Triebel-Lizorkin-Morrey type enjoyed a lot of interest recently. Here we turn our attention to Morrey sequence spaces $m_{u,p}=m_{u,p}(\mathbb{Z}^d)$,…

Following Contou-Carrere [CC], we consider the Bott-Samelson resolution of a Schubert variety as a variety of galleries in the Tits building associated to the situation. We prove that the rational smoothness of a Schubert variety can be…

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),…