Free arrangements and rhombic tilings

AbstractLet Z be a centrally symmetric polygon with integer side lengths. We answer the following two questions:(1)When is the associated discriminantal hyperplane arrangementfree in the sense of Saito and Terao?(2)When areall of the tilings of Z by unit rhombicoherent in the sense of Billera and Sturmfels? Surprisingly, the answers to these two questions are very similar. Furthermore, by means of an old result of MacMahon on plane partitions and some new results of Elnitsky on rhombic tilings, the answer to the first question helps to answer the second. These results then also give rise to some interesting geometric corollaries. Consideration of the discriminantal arrangements for some particular octagons leads to a previously announced counterexample to the conjecture by Saito [ER2] that the complexified complement of a real free arrangement is aK (π, 1) space.

[1]  Paul H. Edelman.  A partial order on the regions of ⁿ dissected by hyperplanes , 1984 .

[2]  Richard Randell,et al.  Lattice-isotopic arrangements are topologically isomorphic , 1989 .

[3]  Luis Paris,et al.  Combinatorics of inductively factored arrangements , 1995, Eur. J. Comb..

[4]  Jim Lawrence,et al.  Oriented matroids , 1978, J. Comb. Theory B.

[5]  Paul H. Edelman,et al.  Free hyperplane arrangements betweenAn−1 andBn , 1994 .

[6]  G. B. Mathews,et al.  Combinatory Analysis. Vol. II , 1915, The Mathematical Gazette.

[7]  Matthew Prior,et al.  Letter from “J” , 1863, The Dental register.

[8]  Richard Randell,et al.  On the Homotopy Theory of Arrangements , 1987 .

[9]  Y. Manin,et al.  Higher Bruhat orders, related to the symmetric group , 1986 .

[10]  Margaret M. Bayer,et al.  Face Numbers and Subdivisions of Convex Polytopes , 1994 .

[11]  Serge Elnitsky,et al.  Rhombic Tilings of Polygons and Classes of Reduced Words in Coxeter Groups , 1997, J. Comb. Theory A.

[12]  Günter M. Ziegler,et al.  Matroid representations and free arrangements , 1990 .

[13]  斉藤 恭司,et al.  On the Uniformization of Complements of Discriminant Loci (超函数と線型微分方程式 V) , 1977 .

[14]  Günter M. Ziegler,et al.  Combinatorial construction of logarithmic differential forms , 1989 .

[15]  P. H. Powell.  A Letter to J. A. , 1967 .

[16]  P. Orlik,et al.  Arrangements Of Hyperplanes , 1992 .

[17]  Carlos Tomei,et al.  The Problem of the Calissons , 1989 .

[18]  T. Zaslavsky.  Facing Up to Arrangements: Face-Count Formulas for Partitions of Space by Hyperplanes , 1975 .

[19]  Paul H. Edelman,et al.  Hyperplane arrangements with a lattice of regions , 1990, Discret. Comput. Geom..

[20]  Philip Wagreich.  The growth function of a discrete group , 1982 .

[21]  B. Sturmfels.  Oriented Matroids , 1993 .

[22]  Sergey Yuzvinsky,et al.  Free and locally free arrangements with a given intersection lattice , 1993 .

[23]  G. David,et al.  The problem of Calissons , 1989 .

[24]  Richard P. Stanley,et al.  Symmetries of plane partitions , 1986, J. Comb. Theory A.

[25]  Günter M. Ziegler,et al.  Higher bruhat orders and cyclic hyperplane arrangements , 1993 .

[26]  Victor Reiner,et al.  Not all free arrangements are (,1) , 1995 .