Lower central series and free resolutions of hyperplane arrangements

From MaRDI portal
(Redirected from Publication:4537394)



Abstract: If M is the complement of a hyperplane arrangement, and A=H∗(M,k) is the cohomology ring of M over a field of characteristic 0, then the ranks, phik, of the lower central series quotients of pi1(M) can be computed from the Betti numbers, bii=dimkToriA(k,k)i, of the linear strand in a (minimal) free resolution of k over A. We use the Cartan-Eilenberg change of rings spectral sequence to relate these numbers to the graded Betti numbers, b'ij=dimkToriE(A,k)j, of a (minimal) resolution of A over the exterior algebra E. From this analysis, we recover a formula of Falk for phi3, and obtain a new formula for phi4. The exact sequence of low degree terms in the spectral sequence allows us to answer a question of Falk on graphic arrangements, and also shows that for these arrangements, the algebra A is Koszul iff the arrangement is supersolvable. We also give combinatorial lower bounds on the Betti numbers, b'i,i+1, of the linear strand of the free resolution of A over E; if the lower bound is attained for i=2, then it is attained for all ige2. For such arrangements, we compute the entire linear strand of the resolution, and we prove that all components of the first resonance variety of A are local. For graphic arrangements (which do not attain the lower bound, unless they have no braid sub-arrangements), we show that b'i,i+1 is determined by the number of triangles and K4 subgraphs in the graph.




Cites work



Describes a project that uses

Uses Software






This page was built for publication: Lower central series and free resolutions of hyperplane arrangements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4537394)