Indexed metadata

A product theorem for rr-cross intersecting families of subspaces

Toshihiro Shimizu, Norihide Tokushige

Source record

Source: arXiv

Published: Aug 28, 2026

arXiv: 2608.28013

Open original source ↗

Source abstract

Let VV be an nn-dimensional vector space over a finite field of order qq. Let r3r\geq 3, (r1)nrk(r-1)n\geq rk and let F1,,Fr[Vk]\mathcal F_1,\ldots,\mathcal F_r\subset \genfrac{[}{]}{0pt}{}{V}{k}, where [Vk]\genfrac{[}{]}{0pt}{}{V}{k} denotes the set of kk-dimensional subspaces of VV. Suppose that F1Fr{0}F_1\cap\cdots\cap F_r\neq\{0\} holds for all FiFiF_i\in\mathcal F_i, 1ir1\leq i\leq r. Then we show that i=1rFi[n1k1]\prod_{i=1}^r|\mathcal F_i|\leq\genfrac{[}{]}{0pt}{}{n-1}{k-1}, provided nkn-k is sufficiently large for fixed qq and rr. Moreover, equality holds if and only if there is a common line LL such that every family Fi\mathcal F_i consists of all kk-dimensional subspaces containing the line LL. One of the main tools of the proof is a junta theorem concerning intersecting linear maps obtained by Ellis, Kindler, and Lifshitz.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.