هندسه دیفرانسیل و نظریه گروه‌های لی