Extremality of direct sums
Prove that the direct sum of extremal matroids is extremal; specifically, establish that if matroids M_1,\ldots,M_s are extremal, then M_1\oplus\cdots\oplus M_s is extremal.
References
We conjecture the converse, which appears subtle: If $M_1,\ldots,M_s$ are extremal matroids, then $M_1\oplus \cdots \oplus M_s$ is extremal.
— The polytope of all matroids
(2502.20157 - Ferroni et al., 27 Feb 2025) in Conjecture 4.??, Section 4, subsection “Extremality and direct sums”