arXiv++ Combinatorics

A Besicovitch-Rado-Kinney (BRK) set in $\mathbb{R}^n$ is a Borel set that contains a $(n-1)$-dimensional sphere of radius $r$, for each $r>0$. It is known that such sets have Hausdorff dimension $n$ from the work of Kolasa and Wolff. In this paper, we consider an analogous problem over a finite field, $\mathbb{F}_q$. We define BRK-type sets in $\mathbb{F}_q^n$, and establish lower bounds on the size of such sets using techniques introduced by Dvir's proof of the finite field Kakeya conjecture.

For $p$ prime, let $\mathcal{H}^n$ be the linear span of characteristic functions of hyperplanes in $(\mathbb{Z}/p^k\mathbb{Z})^n$. We establish new upper bounds on the dimension of $\mathcal{H}^n$ over $\mathbb{Z}/p\mathbb{Z}$, or equivalently, on the rank of point-hyperplane incidence matrices in $(\mathbb{Z}/p^k\mathbb{Z})^n$ over $\mathbb{Z}/p\mathbb{Z}$. Our proof is based on a variant of the polynomial method using binomial coefficients in $\mathbb{Z}/p^k\mathbb{Z}$ as generalized polynomials. We also establish additional necessary conditions for a function on $(\mathbb{Z}/p^k\mathbb{Z})^n$ to be an element of $\mathcal{H}^n$.

The correspondence between Gorenstein Fano toric varieties and reflexive polytopes has been generalized by Ilten and Süß to a correspondence between Gorenstein Fano complexity-one $T$-varieties and Fano divisorial polytopes. Motivated by the finiteness of reflexive polytopes in fixed dimension, we show that over a fixed base polytope, there are only finitely many Fano divisorial polytopes, up to equivalence. We classify two-dimensional Fano divisorial polytopes, recovering Huggenberger's classification of Gorenstein del Pezzo $\mathbb{K}^*$-surfaces. Furthermore, we show that any three-dimensional Fano divisorial polytope is equivalent to one involving only eight functions.