리 군
콤팩트 리 군 formula_1가 주어졌다고 하자. 칼로론은 4차원 리만 다양체