Algebraic Matroids and Frobenius Flocks
Total Page:16
File Type:pdf, Size:1020Kb
Algebraic matroids and Frobenius flocks Citation for published version (APA): Bollen, G. P., Draisma, J., & Pendavingh, R. A. (2017). Algebraic matroids and Frobenius flocks. arXiv, (1701.06384v2), 1-21. [1701.06384v2]. http://arxiv.org/abs/1701.06384v2 Document status and date: Published: 23/01/2017 Document Version: Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers) Please check the document version of this publication: • A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal. If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the “Taverne” license above, please follow below link for the End User Agreement: www.tue.nl/taverne Take down policy If you believe that this document breaches copyright please contact us at: [email protected] providing details and we will investigate your claim. Download date: 01. Oct. 2021 ALGEBRAIC MATROIDS AND FROBENIUS FLOCKS GUUS P. BOLLEN, JAN DRAISMA, AND RUDI PENDAVINGH Abstract. We show that each algebraic representation of a matroid M in positive characteristic determines a matroid valuation of M, which we have named the Lindstr¨omvaluation. If this valuation is trivial, then a linear representation of M in characteristic p can be derived from the algebraic representation. Thus, so-called rigid matroids, which only admit trivial valuations, are algebraic in positive characteristic p if and only if they are linear in characteristic p. To construct the Lindstr¨omvaluation, we introduce new matroid representations called flocks, and show that each algebraic representation of a matroid induces flock representations. 1. Introduction Several years before Whitney defined matroids in [22], Van der Waerden [21] recognized the commonality between algebraic and linear independence which is the defining property of matroids (see [17, Section 39.10b]). Today, linear matroids are the subject of some of the deepest theorems in combinatorics. By contrast, our understanding of the algebraic matroid is much less advanced. Algebraic matroids seem forebodingly hard to deal with, compared to linear matroids. Deciding if a matroid has a linear representation over a given field amounts to solving a system of polynomial equations over that field, which makes the linear representation problem decidable over algebraically closed fields (for the situation of representability over Q, see [20]). We do not know of any procedure to decide if a matroid has an algebraic representation; for example, it is an open problem if the Tic-Tac-Toe matroid, a matroid of rank 4 on 9 elements, is algebraic [7]. It is possible to describe the set of all linear representations of a given matroid as being derived from a `universal' matroid representation of that matroid over a partial field [15]. We tried to find a full set of invariants to classify (equivalence classes of) algebraic representations of the tiny uniform matroid U2;3, and failed. Since algebraic representations appear so difficult to deal with in full detail, we are pleased to report that we found a nontrivial invariant of algebraic matroid representations in positive characteristic, taking inspiration in particular from the work of Lindstr¨om[12]. Throughout the paper, we use the language of algebraic geometry to describe matroid repre- sentations, and we work over an algebraically closed field K. An irreducible algebraic variety X ⊆ KE determines a matroid M(X) with ground set E by declaring a set I ⊆ E independent I if the projection of X on K is dominant, that is, if the closure of fxI : x 2 Xg in the Zariski topology equals KI . In the special case that X is a linear space, M(X) is exactly the matroid represented by the columns of any matrix whose rows span X. We next translate results of Ingleton and Lindstr¨omto the language of algebraic geometry. arXiv:1701.06384v2 [math.CO] 6 Feb 2017 Ingleton argued that if K has characteristic 0, then for any sufficiently general point x 2 X, the tangent space TxX of X at x will have the same dominant projections as X itself, so that then M(X) = M(TxX). Since such a sufficiently general point always exists | it suffices that x avoids finitely many hypersurfaces in X | a matroid which has an algebraic representation over K also has a linear representation over K, in the form of a tangent space TxX. Ingletons argument does not generalize to fields K of positive characteristic p. Consider the p 2 p variety X = V (x1 − x2) = fx 2 K : x1 − x2 = 0g, which represents the matroid on E = f1; 2g with independent sets ;; f1g; f2g. The tangent space of X at any x 2 X is TxX = V (x1), which represents a matroid in which f1g is a dependent set. Thus, M(X) =6 M(TxX) for all x 2 X. Lindstr¨omdemonstrated that for some varieties X this obstacle may be overcome by applying the Frobenius map F : x 7! xp to some of the coordinates, to derive varieties from X which GPB is funded by a grant from Stichting Computer Algebra Nederland. JD is partially funded by Vidi and Vici grants from the Netherlands Organisation for Scientific Research (NWO). 1 p represent the same matroid. In case of the counterexample X = V (x1 − x2) above, we could define X0 = f(x1;F (x2)) : x 2 Xg: Then M(X0) = M(X), and X0 = V (x1 − x2), so that E M(X0) = M(Tx0 X0) for some (in fact, all) x0 2 X0. In general for an X ⊆ K , if we fix a vector α 2 ZE, put αi αx := (F − xi)i E and αX := fαx : x 2 Xg; 2 then it can be argued that M(αX) = M(X). This gives additional options for finding a suitable tangent space. Lindstr¨omshowed in [12] that if X is any algebraic representation of the Fano matroid, then there necessarily exists an α so that M(X) = M(TξαX) for a sufficiently general ξ 2 αX. Thus any algebraic representation of the Fano matroid spawns a linear representation in the same characteristic. The choice of the matroid in Lindstr¨om's argument is not arbitrary. If we consider an algebraic representation X of the non-Fano matroid in characteristic 2, then there cannot be an α 2 ZE so that in a sufficiently general point ξ 2 αX we have M(X) = M(TξαX): then the tangent space would be a linear representation of the non-Fano matroid in characteristic 2, which is not possible. Thus any attempt to balance out the Frobenius actions α 2 ZE will be fruitless in this case. In the present paper, we consider the overall structure of the map α 7! M(Tξα αX), where for each α, ξα is the generic point of αX. A central result of this paper is that a sufficiently general E x 2 X satisfies M(TαxαX) = M(Tξα αX) for all α 2 Z (Theorem 38). This is nontrivial, as now x must a priori avoid countably many hypersurfaces, which one might think could cover all of X. Fixing such a general x, the assignment V : α 7! Vα := TαxαX is what we have named a E Frobenius flock: each Vα is a linear subspace of K of fixed dimension dim Vα = dim X =: d, and moreover E (FF1) Vα=i = Vα+ei ni for all α 2 Z and i 2 E; and E (FF2) Vα = 1Vα+1 for all α 2 Z . Here we wrote W=i := fwE i : w 2 W; wi = 0g and W ni := fwE i : w 2 W g; 1 is the all-one vector. − − In this paper, we are primarily concerned with properties of the matroids represented by the E vector spaces Vα | in particular, we want to understand when there exists an α 2 Z so that M(X) = M(Vα). We will call an assignment M : α 7! Mα of a matroid of rank d on E to each α 2 ZE a matroid flock if it satisfies E (MF1) Mα=i = Mα+ei ni for all α 2 Z and i 2 E; and E (MF2) Mα = Mα+1 for all α 2 Z . Clearly, any Frobenius flock V gives rise to a matroid flock by taking Mα = M(Vα). In particular, E each algebraic matroid representation X ⊆ K gives rise to a matroid flock M : α 7! M(TαxαX). This matroid flock does not depend on the choice of the very general point x 2 X, since M(TαxαX) = M(Tαx0 αX) for any two such very general points.