Positively oriented matroids are realizable

We prove da Silva's 1987 conjecture that any positively oriented matroid is a positroid; that is, it can be realized by a set of vectors in a real vector space. It follows from this result and a result of the third author that the positive matroid Grassmannian (or positive MacPhersonian) is homeomorphic to a closed ball.

[1]  Bernd Sturmfels,et al.  Oriented Matroids: Notation , 1999 .

[2]  Bernd Sturmfels,et al.  On the decidability of Diophantine problems in combinatorial geometry , 1987 .

[3]  Lauren K. Williams,et al.  Shelling totally nonnegative flag varieties , 2005, math/0509129.

[4]  P. Vámos,et al.  The Missing Axiom of Matroid Theory is Lost Forever , 1978 .

[5]  Jerrold R. Griggs,et al.  Journal of Combinatorial Theory, Series A , 2011 .

[6]  Suho Oh,et al.  Positroids and Schubert matroids , 2008, J. Comb. Theory, Ser. A.

[7]  L. Williams,et al.  Discrete Morse theory for totally non-negative flag varieties☆ , 2008, 0810.4314.

[8]  Daniel K. Biss.  The homotopy type of the matroid Grassmannian , 2003 .

[9]  E. Groves.  A Dissertation ON , 1928 .

[10]  P. McMullen.  The maximum numbers of faces of a convex polytope , 1970 .

[11]  A. Postnikov,et al.  Scattering Amplitudes and the Positive Grassmannian , 2012, 1212.5605.

[12]  Robert G. Bland,et al.  A combinatorial abstraction of linear programming , 1977, J. Comb. Theory B.

[13]  Dillon Mayhew,et al.  Yes, the missing axiom of matroid theory is lost forever , 2012, 1204.3365.

[14]  Federico Ardila,et al.  Positroids and non-crossing partitions , 2013, 1308.2698.

[15]  James F. Davis,et al.  Mod 2 cohomology of combinatorial Grassmannians , 1999, math/9911158.

[16]  Caroline J. Klivans,et al.  The Bergman complex of a matroid and phylogenetic trees , 2006, J. Comb. Theory, Ser. B.

[17]  Dillon Mayhew,et al.  IS THE MISSING AXIOM OF MATROID THEORY LOST FOREVER , 2014 .

[18]  Anders Björner,et al.  Posets, Regular CW Complexes and Bruhat Order , 1984, Eur. J. Comb..

[19]  James G. Oxley,et al.  Matroid theory , 1992 .

[20]  G. Lusztig.  Total positivity in partial flag manifolds , 1998 .

[21]  J. Scott.  Grassmannians and Cluster Algebras , 2003, math/0311148.

[22]  Bernd Sturmfels,et al.  An infinite family of minor-minimal nonrealizable 3-chirotopes , 1989 .