Abstract
The main result of the paper is that a formal topological space X is a rational K[ π,1] space if and only if the graded algebra H ∗(X,Q) is Koszul. This implies the lower central series (LCS) formula for a formal rational K[ π,1] space X: P(X,−t)= ∏ n⩾1 (1−t n) φ n . Here φ n =rank( Γ n / Γ n+1 ), where { Γ n } n⩾1 is the lower central series of the fundamental group π 1( X), and P( X, t) is the Poincaré polynomial of X. These results are applied to the complements of complex hyperplane arrangements that are known to be formal spaces. In particular, it is proved that the LCS formula implies the rational K[ π,1] property for arrangements in C 3.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have