arXiv++ Combinatorics

We develop a framework for a duality theory for general multilinear operators which extends that for transversal multilinear operators which has been established in arXiv:1809.02449. We apply it to the setting of joints and multijoints, and obtain a "factorisation" theorem which provides an analogue in the discrete setting of results of Bourgain and Guth (arXiv:0811.2251 and arXiv:1012.3760) from the Euclidean setting.

Let $\mathcal{L}$ be a family of lines and let $\mathcal{P}$ be a family of $k$-planes in $\mathbb{F}^n$ where $\mathbb{F}$ is a field. In our first result we show that the number of joints formed by a $k$-plane in $\mathcal{P}$ together with $(n-k)$ lines in $\mathcal{L}$ is $O_n(|\mathcal{L}||\mathcal{P}|^{1/(n-k)}$). This is the first sharp result for joints involving higher-dimensional affine subspaces, and it holds in the setting of arbitrary fields $\mathbb{F}$. In contrast, for our second result, we work in the three-dimensional Euclidean space $\mathbb{R}^3$, and we establish the Kakeya-type estimate \begin{equation*}\sum_{x \in J} \left(\sum_{\ell \in \mathcal{L}} χ_\ell(x)\right)^{3/2} \lesssim |\mathcal{L}|^{3/2}\end{equation*} where $J$ is the set of joints formed by $\mathcal{L}$; such an estimate fails in the setting of arbitrary fields. This result strengthens the known estimates for joints, including those counting multiplicities. Additionally, our techniques yield significant structural information on quasi-extremisers for this inequality.

We give a proof of the "folklore" theorem that the Kaplan--Sharir--Shustin/Quilodrán result on counting joints associated to a family of lines holds in vector spaces over arbitrary fields, not just the reals. We also discuss a distributional estimate on the multiplicities of the joints in the case that the family of lines is sufficiently generic.

Let L_1, ..., L_d be pairwise disjoint collections of lines in a d-dimensional vector space over some field. If the collections are sufficiently generic we prove that there exists a d-colouring of the set of multijoints J such that for each j, for each line in L_j, the number of points on it of colour j is O(|J|^{1/d}).