On the irreducibility and monodromy of Tutte polynomials
Andrew Goodall, Florent Jouve, Jean-Sébastien Sereni
TL;DR
This work develops a unified framework for irreducibility and monodromy of Tutte polynomials across matroids and ranked sets. It introduces Brylawski polynomials, proves broad irreducibility criteria that apply to corank-nullity polynomials, and uses a probabilistic sieve to show that generic linear combinations of coprime Tutte polynomials have maximal Galois groups over $\mathbf{Q}(y)$. It then provides explicit monodromy computations for families such as cycle graphs, uniform matroids, and thick-edge cycles, yielding both maximal and non-maximal Galois behavior and proving BCM-type maximality for infinite families (e.g., cycles and uniform matroids). These results illuminate the algebro-geometric structure of Tutte polynomials and demonstrate how connectivity and rank-patterns influence Galois/monodromy behavior with potential implications for the broader landscape of polynomial matroid invariants.
Abstract
We study algebraic properties of the Tutte polynomial of a matroid and its generalizations to other combinatorially defined bivariate polynomial invariants. Merino, de Mier and Noy showed that the Tutte polynomial of a connected matroid is irreducible, and Bohn, Cameron and M{ü}ller conjectured the stronger property that the Galois/monodromy group of the Tutte polynomial of a connected matroid of rank r is isomorphic to the full symmetric group on r letters. First, we generalize the result of Merino-de Mier-Noy to the context of general ranked sets by exploiting a recent translation of the Brylawski relations, satisfied by the coefficients of the Tutte polynomial, into a functional identity. Second, we give the first confirmation of the conjecture of Bohn-Cameron-M{ü}ller for infinite families of connected matroids, including the cycle graphs and the uniform matroids. Moreover, we apply the large sieve to obtain a probabilistic statement showing that suitable linear combinations of coprime Tutte polynomials generically satisfy the conjecture.
