603B -- Lie groups (Fall 2024)