群论,拓扑群,李代数和微分几何