local charge conservationがゲージ不変性と同等であることを示す．以下の議論の大体のところはSchrieffer "SUPER CONDUCTIVITY"による．ある点における連続の式： を考える．ここではそれぞれ演算子である．これをフーリエ形式で書けば ． これは(-1,1,1,1)…