Extremality under direct sums
Prove that the direct sum of extremal matroids is extremal: if matroids M_1,...,M_s are extremal vertices of the corresponding polytopes, then M_1oplus3 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”