474 ：１３２人目の素数さん：2014/07/30(水) 20:54:57.29
>>472
K理論による証明はリーマンロッホグロタンディークの定理の拡張版の族の指数定理にほぼそのまま定理の証明を言い換えられて
熱核の方を使った証明は開多様体や奇数次元の場合に一般化しやすいと解説で読んだ。

>>473
ゲージ理論でモジュライ空間の次元の計算で族の指数定理を使う。あと、場の量子論のアノマリーがほぼ指数定理のことらしい

ガウスの定理
グリーンの定理
ストークスの定理
留数定理
ガウス・ボンネの定理
ポアンカレ・ホップの定理
ガウス・ボンネ・チャーンの定理
レフシェッツの不動点定理
リーマン・ロッホの定理
リーマン・ロッホ・ヒルツェブルフの定理
リーマン・ロッホ・グロタンディークの定理
ヒルツェブルフの整数性定理
ヒルツェブルフの符号数定理
アティヤ・シンガーの指数定理
アチア・ボット・シンガーの同変固定点定理
アティア・パトディ・シンガーの局所指数定理
カリアス・ボット・セリィの指数定理
などなどを含むのが指数定理。