Co-analytic Counterexamples to Marstrand's Projection Theorem

MaRDI QIDQ6423561zbMATH OpenFDO

Authors Linus Richter

Publication date 16 January 2023

Mathematics Subject Classification ID

Algorithmic randomness and dimension (03D32) Length, area, volume, other geometric measure theory (28A75) Fractals (28A80)

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 $epsilonin(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.

This page was built for publication: Co-analytic Counterexamples to Marstrand's Projection Theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6423561)