Shellability of face posets of electrical networks and the CW poset property

We prove a conjecture of Thomas Lam that the face posets of stratified spaces of planar resistor networks are shellable. These posets are called uncrossing partial orders. This shellability result combines with Lam's previous result that these same posets are Eulerian to imply that they are CW posets, namely that they are face posets of regular CW complexes. Certain subposets of uncrossing partial orders are shown to be isomorphic to type A Bruhat order intervals; our shelling is shown to coincide on these intervals with a Bruhat order shelling which was constructed by Matthew Dyer using a reflection order.

[1]  Vincent Moulton,et al.  Peeling phylogenetic 'oranges' , 2004, Adv. Appl. Math..

[2]  Vincent Moulton,et al.  A regular decomposition of the edge-product space of phylogenetic trees , 2008, Adv. Appl. Math..

[3]  James A. Morrow,et al.  Circular planar graphs and resistor networks , 1998 .

[4]  D. Kozlov.  General lexicographic shellability and orbit arrangements , 1997 .

[5]  Richard Kenyon,et al.  The Laplacian on planar graphs and graphs on surfaces , 2012, 1203.1256.

[6]  M. Dyer,et al.  Small roots, low elements, and the weak order in Coxeter groups , 2015, 1505.02058.

[7]  Matthias Dyer,et al.  Hecke algebras and shellings of Bruhat intervals , 1993 .

[8]  Sabrina Hirsch,et al.  Reflection Groups And Coxeter Groups , 2016 .

[9]  A. Björner,et al.  Combinatorics of Coxeter Groups , 2005 .

[10]  P. Hersh.  Regular cell complexes in total positivity , 2007, 0711.1348.

[11]  A. Björner.  Shellable and Cohen-Macaulay partially ordered sets , 1980 .

[12]  P. Hersh.  Lexicographic Shellability for Balanced Complexes , 2003, math/0311262.

[13]  Louis J. Billera,et al.  Geometry of the Space of Phylogenetic Trees , 2001, Adv. Appl. Math..

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

[15]  V. Klee,et al.  Shellings of Spheres and Polytopes. , 1974 .

[16]  Thomas Lam.  Electroid varieties and a compactification of the space of electrical networks , 2018, Advances in Mathematics.

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

[18]  Thomas Lam,et al.  The totally nonnegative Grassmannian is a ball , 2017, Advances in Mathematics.

[19]  Thomas Lam.  The uncrossing partial order on matchings is Eulerian , 2015, J. Comb. Theory, Ser. A.

[20]  David Bruce Wilson,et al.  The Space of Circular Planar Electrical Networks , 2017, SIAM J. Discret. Math..

[21]  G. Rota.  On the Foundations of Combinatorial Theory , 2009 .

[22]  Michelle L. Wachs,et al.  Bruhat Order of Coxeter Groups and Shellability , 1982 .

[23]  T. Lam,et al.  Regularity theorem for totally nonnegative flag varieties , 2019, Journal of the American Mathematical Society.

[24]  Alexander Postnikov,et al.  Total positivity, Grassmannians, and networks , 2006 .

[25]  G. Rota.  On the foundations of combinatorial theory I. Theory of Möbius Functions , 1964 .

[26]  Thomas Lam,et al.  Positroid varieties: juggling and geometry , 2009, Compositio Mathematica.

[27]  I. G. MacDonald,et al.  Affine root systems and Dedekind'sη-function , 1971 .