arXiv:1906.00036v3 [math.CO] 25 Sep 2020 where ntrso the of terms in ree i ees nlso.Ti oe skont aeteprope the have to known is poset This inclusion. reverse via ordered 1,2] npriua,tenme fcabr # chambers of number geometr the discrete particular, In and 27]. card-shuffling, [19, walks, random groups, braid complement rmisuiu otmelement bottom unique its from inoesbpcsof subspaces one sion uh[ such scle the called is R rns#09111501ad#2016R1A5A1008055. and #2019R1F1A1059081 grants NRF r fe aldthe called often are 5] 1 # (1) h hoyo yepaearneet src n elepoe,w well-explored, and rich is arrangements hyperplane of theory The 1991 Date hspprconcerns paper This e od n phrases. and words Key h rtadtidatoswr atal upre yNFgr NSF by supported partially 1 were authors third and first The hsi eas ti h eeaigfnto o h et nu Betti the for function generating the is it because is This V µ etme 8 2020. 28, September : ahmtc ujc Classification. Subject Mathematics , ( eitrrtti enmn o l oesa oniglinea counting as posets all for refinement this interpret We R edn oasml eeaigfnto opln hs Whi these compiling function generating simple a to leading zstenme flf-orgtmxm fapruain Wh theory Foata’s permutation. using a differently, of refinement maxima this left-to-right interpret of number the izes Abstract. ae oue ncnswti h ri ragmn,consis arrangement, braid the a within to wit cones leading chambers on arrangement, count focuses the to paper from nonneg generalizes halfspaces of theorem of sum His collection a as kind. chambers first counts the Zaslavsky of theorem known X − n , sa is ] • • • o h ymti ru,togto stetype the as of thought group, symmetric the for − Poincar´e polynomial V h hte ubr ftecn neetnl en h numb the refine interestingly cone the of numbers Whitney the hmeswti h oecrepn olna xesosof extensions linear to correspond cone the within chambers posets, to correspond cones eoe the denotes ) \ nescinposet intersection ranked S i m yepaearneet dissect arrangements Hyperplane =1 sgls)Winynmeso h rtkind first the of numbers Whitney (signless) AE OPLNBRY AGSOKMADVCO REINER VICTOR AND KIM SOO JANG DORPALEN-BARRY, GALEN H V arrangements oe,weetern of rank the where poset, yepae ragmn,cn,pst hte,Ctln S Catalan, Whitney, poset, cone, arrangement, hyperplane, i called , = HTE UBR O OE CONES POSET FOR NUMBERS WHITNEY C M¨obius function ( R A n = ) ahsc ragmn dissects arrangement such Each . V chambers 1 . L X oayitreto space intersection any to [ ( ∈L X V A A , 5x,06A07. 05Axx, c ,cnitn fall of consisting ), ( X A k = ( ) Poin := ] A Let . | { µ := ) H ( of 1. V ( 1 { A , , Y L Introduction C . . . X R , X ( codim( C ( t n L ∈ A := ) A ) X ( , | A nocnetdcmoet aldcabr,adawell- a and chambers, called components connected into scodim( is ,wietenneaieintegers nonnegative the while ), ∈L eoetecleto falsc chambers. such all of collection the denote ) H X = A a aosfruadet alvk 3] expressed [31], Zaslavsky to due formula famous a has ) ( 1 m A ( X n k X k X A br ftecmlxfidcomplement complexified the of mbers − ≥ } =0 n )= : ) ): 1 0 fhyperplanes of fccedcmoiinfrmlie permutations, multiset for decomposition cycle of nescinsubspaces intersection k xesosacrigt ttsi htgeneral- that statistic a to according extensions r n M-616.Tescn uhrwsspotdby supported was author second The DMS-1601961. ant eeto ru.Here, group. reflection c c V oino hte ubr o ahcn.This cone. each for numbers Whitney of notion igo h eetn hyperplanes reflecting the of ting | k k nynumbers. tney µ X X ( ( ≤ ( i n oedfie steitreto fa of intersection the as defined cone any hin ntepsti ijituino his we chains, of union disjoint a is poset the en A A V := ) om a forms ) [ = ) Y , tv neescle hte ubr of numbers Whitney called integers ative t h poset, the X for k fpltpsadoine aris see matroids; oriented and polytopes of y ≤ V ro ieretnin fteposet. the of extensions linear of er n ) | Poin X A , t htevery that rty − notecnetdcmoet fits of components connected the into n hi eeaigfunction generating their and , } dim( emti lattice geometric t oncin orflcingroups, reflection to connections ith H ( A i iln,Faa utst permutation. multiset, Foata, tirling, hc r ffielna codimen- affine-linear are which , , X t )] .Zsasysrsl asthat says result Zaslavsky’s ). t =1 X , = oe interval lower H x npriua,each particular, In . i 1 i C = ∩ n A \ x H j i inside 2 e 1,Chap. [19, see ; ∩ · · · ∩ H i k , Our starting point is a less widely-known generalization of equation (1), also due to Zaslavsky [32]. It applies more generally to count the chambers of A that lie within a cone K, defined to be the intersection of any collection of open halfspaces for hyperplanes of A; said differently, a cone K of A is a chamber in C(A′) for some subarrangement A′ ⊆ A. Results on the set C(K) of all chambers of A inside a cone K have appeared more recently in work of Brown on random walks [8], and in work of Gente on Varchenko determinants [13, Section 2.4], and independently Aguiar and Mahajan [1, Theorem 8.22]. Define the poset of interior intersections for K to be the following order ideal in L(A): Lint(K)= {X ∈ L(A) | X ∩ K 6= ∅}. Zaslavsky observed in [32, Example A, p. 275] that (1) generalizes to cones K, asserting n
(2) #C(K)= |µ(V , X)| = ck(K) = [Poin(K, t)]t=1 . int X∈LX(K) Xk=0 Here we again define nonnegative integers, the (signless) Whitney numbers of the first kind for the cone K
ck(K) := |µ(V , X)|, X∈Lint(K): codim(XX)=k k with generating function Poin(K, t) := k ck(K) t , which we call the Poincar´epolynomial of K. 2 For example, inside A = {H1, H2, H3, H4, H5} in R shown below on the left, we have shaded one of four P ′ possible cones K defined by the subarrangement A = {H4, H5}, containing #C(K) = 5 chambers of A:
H1 H3 H1 H3
H4 H4
H5 H5
H2 H2 Zaslavsky’s formula (2) computes this as follows. The poset of interior intersections Lint(K) has Hasse diagram:
H2 ∩ H3
H1 H2 H3
V codim(X) Here µ(V , X) = (−1) for all X, so that (c0(K), c1(K), c2(K)) = (1, 3, 1), and 2 2 Poin(K, t) = c0(K)+ c1(K)t + c2(K)t = 1+3t + t , #C(K) = [Poin(K, t)]t=1 = c0(K)+ c1(K)+ c2(K) = 5. The object of this paper is to understand the distribution of the signless Whitney numbers as a re- finement of #C(K) as in equation (2), for cones K in the braid arrangement. The braid arrangement n An−1 = {Hij }1≤i