Non-positive curvature and complexity for finitely presented groups

A universe of finitely presented groups is sketched and explained, leading to a discussion of the fundamental role that manifestations of non-positive curvature play in group theory. The geometry of the word problem and associated filling invariants are discussed. The subgroup structure of direct pr...