We study the Lie group structure of asymptotic symmetry groups in General Relativity from the viewpoint of infinite-dimensional geometry. To this end, we review the geometric definition of asymptotic simplicity and emptiness ...