Extremal mutually annihilating pairs in exterior algebra
Question on extremal mutually annihilating pairs (Theorem 2.4) · arXiv:1907.06019
Status open medium confidence
No follow-up paper characterizing all extremal mutually annihilating pairs U ⊆ ∧^r V, W ⊆ ∧^s V with dim U · dim W = C(n-1,r-1)·C(n-1,s-1) was found in the literature. The source paper was published in the Journal of the London Mathematical Society in 2021 (from the 2019 preprint). A related 2024 paper by Bulavka (arXiv:2406.17857) answers a Hilton-Milner-type extension question posed by Scott and Wilmer, but it concerns self-annihilating subspaces and an additive bound, not the multiplicative extremal characterization of Theorem 2.4.
Reviewer notes. The conjecture is from 2020 (6 years old), so medium rather than high confidence. The only post-2020 paper found that addresses Scott-Wilmer questions in this setting is arXiv:2406.17857 (Bulavka, Transactions of the London Mathematical Society, 2025), which answers the Hilton-Milner extension for self-annihilating subspaces — a distinct open question from the same paper. The specific extremal characterization for the product bound dim U · dim W = C(n-1,r-1)·C(n-1,s-1) remains unresolved in all indexed literature found.
Context
Theorem 2.4 bounds $\dim U \cdot \dim W$ for mutually annihilating pairs $U \subseteq \bigwedge^r V$, $W \subseteq \bigwedge^s V$ with $r, s \leq n/2$. Equality is achieved by fixing $v \in V$ and setting $U = \{v \wedge z : z \in \bigwedge^{r-1} V\}$ and $W = \{v \wedge z : z \in \bigwedge^{s-1} V\}$, and the authors ask for a full characterization of all extremal examples.
Notes. Stated in running prose after Theorem 2.4: 'it would be interesting to characterize the extremal examples when $r, s < n/2$.' PDF source.
Source paper
Combinatorics in the exterior algebra and the Bollobás Two Families Theorem
Alex Scott, Elizabeth Wilmer · 2020-07-14
https://arxiv.org/abs/1907.06019
PDF source