General projection conjecture for irrational (×m,×n)(\times m,\times n)-invariant measures

Let Tm,n:T2T2T_{m,n}:\mathbb{T}^2\to\mathbb{T}^2 denote the coordinatewise action of TmT_m and TnT_n, let Π2,1\Pi_{2,1} be the set of orthogonal projections from R2\mathbb{R}^2 to R\mathbb{R}, and let π1,π2\pi_1,\pi_2 be the coordinate projections. General projection conjecture. Suppose that logm/logn\log m/\log n is irrational and that μ\mu is a Tm,nT_{m,n}-invariant measure. Then, for every πΠ2,1{π1,π2}\pi\in\Pi_{2,1}\setminus\{\pi_1,\pi_2\},

dimπμ=min{1,dimμ}.\dim \pi\mu=\min\{1,\dim\mu\}.

This is posed in the prospects section as a natural direction beyond the Bernoulli-measure result proved earlier in the paper; its general case remains open according to the supplied context.

Sources & referencesView supporting material

Primary source

Andrew Ferguson, Jonathan Fraser and Tuomas Sahlsten, “Scaling scenery of (m,n) invariant measures”, arXiv:1307.5023 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.