SO(k)-不変ゲージ分類とℓ¹(E; ℓ²)障害幾何学 | Synapse