しばらくIGをおべんきょしてた。行間メモは公開していきたい。 で、いまはChentsovの定理で絶賛ハマってる。(0,4)-テンソル場で定数倍にならない理由って何よ。
証明の1ステップと言ったらラベルに対する付替えで、 4次元以上で起こる特殊なこと…を調べていて、群論が関わってくるのでは。と。 ラベルの付替えは対称群に相当するはず。
でももっと単純に考えるべきかも。 \(F\) は当然計算できる上で、 \(\~{F}\) も不変性の要求を満たす。 でも \(\~{F}\) は \(F\) の定数倍にならない、みたいな論法。