arXiv++ Combinatorics

The multivariate Tutte polynomial $\hat Z_M$ of a matroid $M$ is a generalization of the standard two-variable version, obtained by assigning a separate variable $v_e$ to each element $e$ of the ground set $E$. It encodes the full structure of $M$. Let $\bv = \{v_e\}_{e\in E}$, let $K$ be an arbitrary field, and suppose $M$ is connected. We show that $\hat Z_M$ is irreducible over $K(\bv)$, and give three self-contained proofs that the Galois group of $\hat Z_M$ over $K(\bv)$ is the symmetric group of degree $n$, where $n$ is the rank of $M$. An immediate consequence of this result is that the Galois group of the multivariate Tutte polynomial of any matroid is a direct product of symmetric groups. Finally, we conjecture a similar result for the standard Tutte polynomial of a connected matroid.

Let M be a matroid representable over a (partial) field P and B a matrix representable over a sub-partial field P' of P. We say that B confines M to P' if, whenever a P-representation matrix A of M has a submatrix B, A is a scaled P'-matrix. We show that, under some conditions on the partial fields, on M, and on B, verifying whether B confines M to P' amounts to a finite check. A corollary of this result is Whittle's Stabilizer Theorem. A combination of the Confinement Theorem and the Lift Theorem from arXiv:0804.3263 leads to a short proof of Whittle's characterization of the matroids representable over GF(3) and other fields. We also use a combination of the Confinement Theorem and the Lift Theorem to prove a characterization, in terms of representability over partial fields, of the 3-connected matroids that have k inequivalent representations over GF(5), for k = 1, ..., 6. Additionally we give, for a fixed matroid M, an algebraic construction of a partial field P_M and a representation A over P_M such that every representation of M over a partial field P is equal to f(A) for some homomorphism f:P_M->P. Using the Confinement Theorem we prove an algebraic analog of the theory of free expansions by Geelen et al.

There exist several theorems which state that when a matroid is representable over distinct fields F_1,...,F_k, it is also representable over other fields. We prove a theorem, the Lift Theorem, that implies many of these results. First, parts of Whittle's characterization of representations of ternary matroids follow from our theorem. Second, we prove the following theorem by Vertigan: if a matroid is representable over both GF(4) and GF(5), then it is representable over the real numbers by a matrix such that the absolute value of the determinant of every nonsingular square submatrix is a power of the golden ratio. Third, we give a characterization of the 3-connected matroids having at least two inequivalent representations over GF(5). We show that these are representable over the complex numbers. Additionally we provide an algebraic construction that, for any set of fields F_1,...,F_k, gives the best possible result that can be proven using the Lift Theorem.

Let $\tilde{K}_{3,n}$, $n\geq 3$, be the simple graph obtained from $K_{3,n}$ by adding three edges to a vertex part of size three. We prove that if $H$ is a hyperplane of a 3-connected matroid $M$ and $M \not\cong M^*(\tilde{K}_{3,n})$, then there is an element $x$ in $H$ such that the simple matroid associated with $M/x$ is 3-connected.

We consider the situation that M and N are 3-connected matroids such that |E(N)| > 3 and C* is a cocircuit of M with the property that M/y has an N-minor for some y in C*. We show that either there is an element x in C* such that si(M/x) or co(si(M/x)) is 3-connected with an N-minor, or there is a four-element fan of M that contains two elements of C* and an element x such that si(M/x) is 3-connected with an N-minor.