arXiv++ Combinatorics

We develop a theory of principal determinants and hypergeometric systems for realizable matroids. Our framework parallels the toric theory of Gel'fand, Kapranov, and Zelevinsky (GKZ), but with the combinatorics of matroids and their flats replacing the usual role of polytopes and their faces. In this analogy, the toric variety is replaced by a reciprocal linear space. The {principal $A$-determinant} is replaced by the {principal matroid determinant}, defined as a specialization of a resultant. The GKZ hypergeometric system is replaced by the {matroid hypergeometric system}, a holonomic $D$-module of combinatorial nature whose singular locus is conjectured to be the principal matroid~determinant.

In \cite{M}, Sebastian Mizera discovered a tree expansion formula of a homology intersection number on the configuration space $\mathcal{M}_{0,n}$. The formula originates in a study of Kawai-Lewellen-Tye relation in string theory. In this paper, we give an elementary proof of the formula. The basic ingredients are the combinatorics of the real moduli space $\overline{\mathcal{M}}_{0,n}(\R)$ and a combinatorial identity related to the face number of the associahedron.