Direct methods ($G$-spaces of Busemann, etc.) Global differential geometry mathematics