Fibre stability for dominated self-affine sets

TL;DR

This paper investigates the stability of fiber dimensions in self-affine sets under weak domination conditions, establishing formulas for tangent and slice dimensions without requiring separation assumptions.

Contribution

It proves a new dimension formula for weak tangents of self-affine sets without separation or irreducibility assumptions, extending previous results.

Findings

Dimension formula for weak tangents of self-affine sets

No separation or irreducibility assumptions needed

Existence of a direction with maximal fiber dimension under strong separation

Abstract

Let $K$ be a planar self-affine set. Assuming a weak domination condition on the matrix parts, we prove for all backward Furstenberg directions $V$ that $$\max_{E\in\operatorname{Tan}(K)} \max_{x\in \pi_{V^\bot}(E)} \operatorname{dim_H} (\pi_{V^\bot}^{-1}(x)\cap E) = \operatorname{dim_A} K - \operatorname{dim_A} \pi_{V^\bot}(K).$$ Here, $\operatorname{Tan}(K)$ denotes the space of weak tangents of $K$. Unlike previous work on this topic, we require no separation or irreducibility assumptions. However, if in addition the strong separation condition holds, then there exists a $V\in X_F$ so that $$\max_{x\in \pi_{V^\bot}(K)} \operatorname{dim_H} (\pi_{V^\bot}^{-1}(x)\cap K) = \operatorname{dim_A} K - \operatorname{dim_A} \pi_{V^\bot}(K).$$ Our key innovation is an amplification result for slices of weak tangents via pigeonholing arguments.