Ian D. Morris
Abstract:We present a sufficient condition for a self-affine set to admit exceptional orthogonal projections in the sense of the projection theorems of Marstrand, Kaufman and Mattila. Using this condition we construct an affine iterated function system in four dimensions which satisfies strong irreducibility, proximality of all orders and the strong separation condition, but whose attractor admits a one-dimensional family of exceptional orthogonal projections onto planes. This example complements a recent result of A. Rapaport which shows that exceptional projections onto planes cannot exist when a further irreducibility hypothesis is also satisfied.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the abnormal projection phenomenon of self - affine sets under orthogonal projections. Specifically, the author proposes a sufficient condition such that a self - affine set exhibits abnormal projections under certain specific orthogonal projections, that is, the Hausdorff dimension of these projected images is strictly less than the Hausdorff dimension of the original set.
### Background and Motivation
1. **Classical Results**: According to the classical results of Marstrand, Kaufman and Mattila, for any compact set \(X\subset\mathbb{R}^d\), the set of abnormal projections of it under orthogonal projections of rank \(k\) has zero measure under the Lebesgue measure. Subsequent research has further tightened these results and given upper bounds on the Hausdorff dimension of the set of abnormal orthogonal projections.
2. **Special Properties of Self - affine Sets**: For compact sets \(X\subset\mathbb{R}^d\) with specific structures, especially self - affine sets, there have been some studies on the properties of their abnormal projections. For example, for strongly irreducible affine iterated function systems (IFS), if the strong open set condition is satisfied, there are no abnormal projections; and for some planar self - affine sets, there is at most one abnormal orthogonal projection.
### Main Contributions of the Paper
1. **New Mechanism**: The author introduces a new mechanism to construct self - affine sets with abnormal projections. This mechanism does not depend on exact overlaps, but is applicable in the self - affine but non - self - similar case and is compatible with strong irreducibility.
2. **Specific Results**: The author constructs a four - dimensional affine iterated function system that satisfies strong irreducibility, approximability of all orders and strong separation conditions, but its attractor has a one - dimensional family of abnormal orthogonal projections.
### Main Theorems
1. **Theorem 1**: Let \(A_1,\ldots,A_N\in GL_d(\mathbb{R})\) be linear transformations that are contractive with respect to some norm, and let \(X\) be the attractor of the corresponding affine iterated function system. Then for any \(Q\in M_d(\mathbb{R})\),
\[
\dim_B(QX)\leq\inf\left\{s > 0:\sum_{n = 1}^{\infty}\sum_{|i|=n}\varphi_s(QA_i)<\infty\right\}.
\]
2. **Theorem 2**: Let \(A_1,\ldots,A_N\in GL_d(\mathbb{R})\) be linear transformations that are contractive with respect to some norm, \(Q\in M_d(\mathbb{R})\) and \(\dim_{\text{aff}}(A_1,\ldots,A_N)\leq\text{rank}(Q)\). If:
- (i) The linear transformations \(A_1,\ldots,A_N\) are all similarity transformations with respect to some inner product structure, or
- (ii) The tuple \((A_1,\ldots,A_N)\) is \(k\)-irreducible, where \(\dim_{\text{aff}}(A_1,\ldots,A_N)\leq k\leq\text{rank}(Q)\),
then
\[
\inf\left\{s > 0:\sum_{n = 1}^{\infty}\sum_{|i|=n}\varphi_s(QA_i)<\infty\right\}=\dim_{\text{aff}}(A_1,\ldots,A_N).
\]
3. **Theorem 3**: Fix a positive matrix \(A\in GL_2(\mathbb{R})\), satisfying \(\|A\|<\frac{1}{3}\), \(\det(A)>\frac{1}{