$G$-structures Global differential geometry mathematics