Representation theory for polymatroids

TL;DR

This paper develops a comprehensive theory of polymatroid representations over various algebraic structures called tracts, introducing new operations, concepts, and connections to algebraic geometry, with implications for understanding polymatroid and matroid realizations.

Contribution

It introduces a new framework for representing polymatroids over tracts, including operations like translation, minors, duality, and a canonical bijection between universal tract and pasture.

Findings

Polymatroids are representable over idempotent tracts only if they are translates of matroids.

The universal tract and universal pasture are canonically bijective, even for matroids.

Foundation of a polymatroid is generated by cross ratios.

Abstract

We develop a theory of representations of (discrete) polymatroids over tracts in terms of Pl\"ucker coordinates and suitable Pl\"ucker relations. As special cases, we recover polymatroids themselves as polymatroid representations over the Krasner hyperfield K and M-convex functions as polymatroid representations over the tropical hyperfield. We introduce and study several useful operations for polymatroid representations, such as translation and refined notions of minors and duality which have better properties than the existing definitions; for example, deletion and contraction become dual operations (up to translation) in our setting. We also prove an idempotency principle which asserts that polymatroids which are not translates of matroids are representable only over tracts that are idempotent in a certain specific sense (in particular -1 = 1). The space of all representations of a polymatroid J, which we call the thin Schubert cell of J, is represented by an algebraic object called {universal tract of J. When we restrict to just the 3-term Pl\"ucker relations, we obtain the weak thin Schubert cell, and passing to torus orbits yields the realization space. These are represented by the universal pasture and the foundation of J, respectively. We exhibit a canonical bijection between the universal tract and the universal pasture, which is new even in the case of matroids, and we show that the foundation of a polymatroid is generated by cross ratios. We also describe a (possibly incomplete) list of multiplicative relations between cross ratios. Thin Schubert cells and realization spaces are canonically embedded in certain tori. Over idempotent tracts, we show that thin Schubert cells contain a canonical torus orbit and split naturally as a product of the realization space with this distinguished torus.