local charge conservationがゲージ不変性と同等であることを示す.以下の議論の大体のところはSchrieffer "SUPER CONDUCTIVITY"による.
ある点における連続の式:
を考える.ここではそれぞれ演算子である.これをフーリエ形式で書けば
.
これは(-1,1,1,1)という計量を入れればアインシュタインの規約を用いて
と書ける.以下ではなどと約束する.期待値をとれば電流の期待値に関する
を得る.ここで線形応答理論により,JはベクトルポテンシャルAについて
と書けるとすると*1,上の条件は
となる.これが電荷保存則による条件である.
次にゲージ不変性が要求する拘束条件を求める.ゲージ変換
に対し,電流(これはオブザーバブルである)が不変であるという要求をすると,
という条件を得る.これが先の式と同値であることを示すには,の対称性を考慮しなくてはいけない.いまKは線形応答理論より導かれる係数であり,
,
ただし
,
である.このことから
が言える.従って,書き変えてを得る.同様にして虚部についても.従って,ゲージ不変性より要求される条件が電荷の保存則と同値であることが示された.
電荷保存則はグリーン関数の言葉でWard's identityとして扱われる.一般にこの恒等式を満たすためには"density wave"や"backflow"を考慮しなくてはいけない.これはバーテックス補正の計算に他ならない.
*1:また別に議論をする