Published in

American Mathematical Society, Transactions of the American Mathematical Society, 9(354), p. 3409-3433, 2002

DOI: 10.1090/s0002-9947-02-03021-0

Links

Tools

Export citation

Search in Google Scholar

Lower central series and free resolutions of hyperplane arrangements

Journal article published in 2001 by Henry K. Schenck, Alexander I. Suciu ORCID
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Green circle
Preprint: archiving allowed
Green circle
Postprint: archiving allowed
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO

Abstract

If $M$ is the complement of a hyperplane arrangement, and $A=H^*(M,̨)$ is the cohomology ring of $M$ over a field of characteristic 0, then the ranks, $ϕ_k$, of the lower central series quotients of $π_1(M)$ can be computed from the Betti numbers, $b_{ii}=\dim_{̨} \Tor^A_i(̨,̨)_i$, of the linear strand in a (minimal) free resolution of $̨$ over $A$. We use the Cartan-Eilenberg change of rings spectral sequence to relate these numbers to the graded Betti numbers, $b'_{ij}=\dim_{̨} \Tor^E_i(A,̨)_j$, of a (minimal) resolution of $A$ over the exterior algebra $E$. From this analysis, we recover a formula of Falk for $ϕ_3$, and obtain a new formula for $ϕ_4$. 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 $i \ge 2$. 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 $K_4$ subgraphs in the graph. ; Comment: 25 pages, to appear in Trans. Amer. Math. Soc