チャーン・サイモンズ理論
である。もうひとつ、さらに有名な例がチャーン・サイモンズ理論であり、この理論は結び目不変量を計算することができる。一般には、分配関数は計量に依存するが、上記の例では計量とは独立であることが示されている。