satshi/ising

２次元Ising模型のKramers-Wannier双対性

Kramers-Wannier双対性の導出の説明を書く。

• 離散群のゲージ化の部分も含めて厳密に書く。
• できたら高次元の場合も書く。