コンパクトLie群
コンパクトLie群についてまとめました．最高ウェイト理論が目標です．若干一般化して，コンパクトなLie代数をもつ連結Lie群に対して示しています．
コンパクトLie群上の積分公式，Weylの指標公式あたりは，将来追記したいと思っています．
2025-08-10: 公開