В дифференциальной геометрии формула локализации утверждает, что для эквивариантно замкнутой эквивариантной дифференциальной формы на орбифолде M с действием тора и для достаточно малого в алгебре Ли тора T имеем
где сумма пробегает все связные компоненты F множества неподвижных точек, — кратность орбифолда ( которая равна , если — многообразие), а — эквивариантная форма Эйлера нормального расслоения .
Формула позволяет вычислить эквивариантное когомологическое кольцо орбифолда M (особый вид дифференцируемого стека ) из эквивариантных когомологий его неподвижных точек с точностью до кратностей и форм Эйлера. Аналог таких результатов не выполняется в неэквивариантных когомологиях.
Одним из важных следствий формулы является теорема Дуйстермаата–Хекмана , которая гласит: предположим, что существует действие гамильтоновой окружности (для простоты) на компактном симплектическом многообразии M размерности 2 n ,
где H — гамильтониан для действия окружности, сумма берется по точкам, фиксированным действием окружности, и является собственными значениями на касательном пространстве в точке p (ср. Действие группы Ли ).
Формула локализации может также вычислить преобразование Фурье (симплектической формы Костанта на) коприсоединенной орбите, что дает формулу интегрирования Хариш-Чандры, которая в свою очередь дает формулу характера Кириллова .
Теорема локализации для эквивариантных когомологий в нерациональных коэффициентах обсуждается в работах Дэниела Квиллена .
This section needs expansion. You can help by adding to it. (November 2014) |
Теорема локализации утверждает, что эквивариантные когомологии могут быть восстановлены с точностью до торсионных элементов из эквивариантных когомологий подмножества неподвижных точек. Это не распространяется дословно на неабелево действие. Но все еще существует версия теоремы локализации для неабелевых действий.