Co-analytic Counterexamples to Marstrand's Projection Theorem

TL;DR

This paper constructs co-analytic counterexamples to Marstrand's projection theorem, showing sets of Hausdorff dimension 1 with projections of dimension 0, and extends the result to sets of higher dimension with projections of smaller dimension.

Contribution

It provides the first co-analytic counterexamples to Marstrand's projection theorem and extends the construction to sets of higher dimension with controlled projections.

Findings

Constructed a co-analytic set of Hausdorff dimension 1 with projections of dimension 0.

Extended the construction to sets of dimension 1 + ε with projections of dimension ε.

Used induction on countable ordinals and a theorem by Z. Vidnyanszky.

Abstract

Assuming $V=L$, we construct a plane set $E$ of Hausdorff dimension $1$ whose every orthogonal projection onto straight lines through the origin has Hausdorff dimension $0$. This is a counterexample to J. M. Marstrand's seminal projection theorem. While counterexamples had already been constructed decades ago, initially by R. O. Davies, the novelty of our result lies in the fact that $E$ is co-analytic. Following Marstrand's original proof (and R. Kaufman's newer, and now standard, approach based on capacities), a counterexample to the projection theorem cannot be analytic, hence our counterexample is optimal. We then extend the result in a strong way: we show that for each $\epsilon \in (0, 1)$ there exists a co-analytic set $E_{\epsilon}$ of dimension $1 + \epsilon$, each of whose orthogonal projections onto straight lines through the origin has Hausdorff dimension $\epsilon$. The constructions of $E$ and $E_{\epsilon}$ are by induction on the countable ordinals, applying a theorem by Z. Vidnyanszky.