← Back to arXiv
arXivAlgebraic GeometryarXiv:2608.28783

Nonnegative conorms, regular matroids, and the tropical Schottky problem

The paper tackles a problem sitting at the intersection of geometry, combinatorics, and algebra. At the heart of it is a type of mathematical object called a positive-definite quadratic form, which you can think of as a generalization of the notion of distance or inner product. Associated to such a form are quantities called "conorms," which measure certain geometric properties of the form. The paper resolves an open conjecture by proving that a quadratic form has all nonnegative conorms if and only if it belongs to a special class called "matroidal" forms, meaning its structure can be encoded by a combinatorial object called a matroid. Matroids are abstract frameworks that generalize the notion of independence in linear algebra and graph theory.

Beyond resolving that conjecture, the authors show that the set of positive conorms carries even richer structure: it always corresponds to a specific type of matroid called a regular matroid, and the conorms themselves appear as the coefficients in a particularly clean decomposition of the quadratic form. Regular matroids are a well-studied class with strong structural properties, so this connection opens up powerful tools for analyzing these quadratic forms. Together, these results give a cleaner and more computable picture of how the geometry of the form relates to discrete combinatorial data.

The payoff comes in application to the "tropical Schottky problem," a major question in a field called tropical geometry, which studies algebraic geometry through a combinatorial lens involving piecewise-linear structures. The classical Schottky problem asks which geometric objects (principally polarized abelian varieties) come from curves. The tropical version asks the same question in this combinatorial setting. The paper gives a complete answer: a quadratic form lies in the tropical Schottky locus precisely when its conorms are nonnegative and its associated matroid is "cographic," meaning it comes from a graph in a specific dual sense. This also yields practical algorithms for deciding whether a given form belongs to the tropical Schottky locus and for recovering the underlying curve, working in any dimension.

Read original →