Abstract

Formality is a topological property that arises from the rational homotopy theory developed by Quillen and Sullivan in 70's. Roughly speaking, the rational homotopy type of a formal space is determined by its cohomology algebra. In this thesis, we explore the graded-formality, filtered-formality, and 1-formality of finitely-generated groups, by studying various Lie algebras over a field of characteristic 0 attached to such groups, including the associated graded Lie algebra, the holonomy Lie algebra, and the Malcev Lie algebra. We explain how these notions behave with respect to split injections, coproducts, direct products, and how they are inherited by solvable and nilpotent quotients.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call