Related papers: Projective measure without projective Baire

It is known that if a subset of $\mathbb{R}$ has positive Lebesgue measure, then it contains arbitrarily long finite arithmetic progressions. We prove that this result does not extend to infinite arithmetic progressions in the following…

We show in ZFC that there is no set of reals of size continuum which can be translated away from every set in the Marczewski ideal. We also show that in the Cohen model, every set with this property is countable.

Suppose $E, F$ are Borel sets in the plane, $\dim_{\mathcal{H}} E>1$, $\dim_{\mathcal{H}} E+\dim_{\mathcal{H}} F>2$, and $F$ has equal Hausdorff and packing dimension. We prove that there exists $y\in F$ such that the pinned distance set…

A subset of a topological space is said to be \emph{universally measurable} if it is measured by the completion of each countably additive $\sigma$-finite Borel measure on the space, and \emph{universally null} if it has measure zero for…

We show that if no $m$-plane contains almost all of an $m$-rectifiable set $E \subset \R^{n}$, then there exists a single $(m - 1)$-plane $V$ such that the radial projection of $E$ has positive $m$-dimensional measure from every point…

In a series of papers, M.Talagrand, the second author and others investigated at length the properties and structure of pointwise compact sets of measurable functions. A number of problems, interesting in themselves and important for the…

An old problem asks whether every compact group has a Haar-nonmeasurable subgroup. A series of earlier results reduce the problem to infinite metrizable profinite groups. We provide a positive answer, assuming a weak, potentially provable,…

A projective structure is Weyl metrizable if it has a representative that preserves a conformal structure. We interpret Weyl metrizability of 3-dimensional projective structures as certain 5-dimensional nondegenerate CR submanifolds in a…

Answering two questions of D. Fremlin [Real-valued measurable cardinals, in Set Theory of the Reals, H. Judah ed. 1993, 151-305 ] we show the following: (1) If c is real-valued measurable then the Maharam type of (c,P(c),sigma) is 2^c. (2)…

For a metrizable space, we consider the space of all metrics generating the same topology of the metrizable space, and this space of metrics is equipped with the supremum metric. In this paper, for every metrizable space, we establish that…

Let $M$ be a smooth compact manifold (maybe with boundary, maybe disconnected) of any dimension $d \ge 1$. We consider the set of $C^1$ maps $f:M\to M$ which have no absolutely continuous (with respect to Lebesgue) invariant probability…

Given an equivalence class $[A]$ in the measure algebra of the Cantor space, let $\hat\Phi([A])$ be the set of points having density 1 in $A$. Sets of the form $\hat\Phi([A])$ are called $\mathcal{T}$-regular. We establish several results…

We generalize the theorems in {\it Mirror Principle I} and {\it II} to the case of general projective manifolds without the convexity assumption. We also apply the results to balloon manifolds, and generalize to higher genus.

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 a purely unrectifiable self-similar set of finite 1-dimensional Hausdorff measure in the plane, satisfying the Open Set Condition, has radial projection of zero length from every point.

Let $\gamma:[0,1]\rightarrow \mathbb{S}^{2}$ be a non-degenerate curve in $\mathbb{R}^3$, that is to say, $\det\big(\gamma(\theta),\gamma'(\theta),\gamma"(\theta)\big)\neq 0$. For each $\theta\in[0,1]$, let $V_\theta=\gamma(\theta)^\perp$…

Assume that $\mathcal{I}$ is an ideal on $\mathbb{N}$, and $\sum_n x_n$ is a divergent series in a Banach space $X$. We study the Baire category, and the measure of the set $A(\mathcal{I}):=\left\{t \in \{0,1\}^{\mathbb{N}} \colon \sum_n…

We present a general procedure to construct examples of convex scalar variational problems which admit a minimizers with large singular sets. The dimension of the set of singularities is maximal and the minimizer has no higher integrability…

The Raisonnier Filter is a combinatorial object isolated by Jean Raisonnier in order to simplify Shelah's proof that if all $\boldsymbol{\Sigma}^1_3$ sets are Lebesgue-measurable then there is an inner model with an inaccessible cardinal.…

By a theorem proved by Erdos, Kunen and Mauldin, for any nonempty perfect set $P$ on the real line there exists a perfect set $M$ of Lebesgue measure zero such that $P+M=\mathbb{R}$. We prove a stronger version of this theorem in which the…