Эквивариантные когомологии и последовательность Майера-Виеториса

Я читаю эту статью о топологической теории поля и немного запутался в том, как он вычисляет эквивариантные когомологии С 2 относительно U ( 1 ) , т.е. ЧАС С 1 ( С 2 ) . Вы можете найти это на стр. 92 - 93. В частности, есть две проблемы:

  1. Мне понятен смысл ур. (10.24), т.е. согласен на то к класс th-когомологий для к 2 . Но я не понимаю, как найти это для к "=" 1 . Мое рассуждение выглядит следующим образом. Я считаю точную последовательность (во избежание громоздких обозначений буду писать ЧАС вместо ЧАС С 1 )
    0 ЧАС 0 ( С 2 ) ЧАС 0 ( U 1 ) ЧАС 0 ( U 2 ) ЧАС 0 ( U 1 U 2 ) ЧАС 1 ( С 2 ) ЧАС 1 ( U 1 ) ЧАС 1 ( U 2 ) 0.
    Затем, как объяснено в начале страницы 93, ЧАС ( U я ) "=" С [ Ом ] , тем более что U 1 U 2 представляет собой деформационный ретракт С 1 на которой С 1 действует свободно, поэтому ЧАС 0 ( U 1 U 2 ) "=" С [ Ом ] . Поэтому я остаюсь с:
    0 ЧАС 0 ( С 2 ) С [ Ом ] С [ Ом ] С [ Ом ] ЧАС 1 ( С 2 ) С [ Ом ] С [ Ом ] 0.
    Теперь, это правильно? Как я могу вывести ЧАС 0 и ЧАС 1 ?
  2. Почему в (10.25) он указывает ф ( 0 ) "=" г ( 0 ) ? Откуда это состояние?

Более того, в дальнейшем он также пытается вычислить те же когомологии с помощью модели Картана. Здесь мне неясно, что он говорит, что класс когомологий

час 1 ( Ом ) ( г ф г θ + Ом потому что θ ) + час 2 ( Ом )
но это кажется только возможной четной формой, поскольку степень Ом равно 2, и внутри есть две формы. Как это работает?

Небольшой комментарий к сообщению (v1): В будущем просьба ссылаться на страницы тезисов, а не на файлы в формате pdf, например, arxiv.org/abs/hep-th/9411210 .
Я ответил на ваши вопросы о вычислении младших степеней когомологий. Я вообще-то не понял вашего вопроса о модели Картана, да и вообще это другой вопрос. Я бы посоветовал вам удалить его и спросить отдельно.

Ответы (1)

Вы неправильно поняли смысл ЧАС С 1 ( U 1 ) "=" С [ Ом ] . Это не значит ЧАС С 1 я ( U 1 ) "=" С [ Ом ] я , это означает, что кольцо когомологий (с умножением, заданным чашечным произведением ) задается алгеброй многочленов в одном элементе, имеющем степень 2. Переведено обратно в отдельные степени ЧАС я это заявление

ЧАС С 1 я ( U 1 ) "=" { С я  даже 0 я  странный

Правильная точная последовательность в младших степенях такова:

0 ЧАС С 1 0 ( С 2 ) С С С ЧАС С 1 1 ( С 2 ) 0
где сейчас ЧАС С 1 0 ( С 2 ) С С инъективна, и вам нужно убедиться, что карта С С С вызванные ограничениями ( U 1 U 1 U 2 , U 2 U 1 U 2 ) дан кем-то С С С , ( а , б ) а б . Легче всего это понять в когомологиях де Рама, поскольку в отображении Майера-Вьеториса всегда присутствует различие форм на перекрытии. В силу точности и инъективности ядро ​​этого отображения есть ЧАС С 1 0 ( С 2 ) , а ядро { ( а , б ) е С 2 а "=" б } С . Кроме того, это отображение сюръективно, поэтому по точности ЧАС С 1 1 ( С 2 ) "=" 0 .

Кстати, это также отвечает на вопрос, где ограничение ф ( 0 ) "=" г ( 0 ) в выражении для ЧАС С 1 ( С 2 ) происходит от - ф ( 0 ) , г ( 0 ) являются частями нулевой степени элементов кольца когомологий, и мы только что показали, что нулевая степень не ЧАС С 1 0 ( U 1 ) ЧАС С 1 0 ( U 2 ) , а только по диагонали.

Спасибо за ваш четкий ответ. У меня есть еще сомнение: в этом случае степень формы дается только силой Ом е г * , или также суммируя к этому степень формы в Ом ( М ) ?
@MaPo: В модели Картана, где комплекс " Ом г ( М ) "=" ( С ( г * ) Ом ( М ) ) г ", фактическая оценка дается Ом г ( М ) я "=" 2 Дж + к "=" я ( С Дж ( г * ) Ом ( М ) к ) г , т. е. эквивариантная форма степени я это к - форма с Дж полномочия в г * такой, что 2 Дж + к "=" я .