Автор:
(1) Юки Кото
Эти пучки наделены Т-действиями, и все стрелки Т-эквивариантны. Взяв движущиеся части, получим следующую точную последовательность:
Движущуюся часть можно описать как
С другой стороны, у нас есть
Эти вычисления дают искомую формулу.
Проведя вычисления, аналогичные проведенным в предыдущем доказательстве, можно установить следующие формулы.
Используя приведенные выше леммы, мы можем вычислить вклады графов типа (α, 1).
Предложение 4.15.
Доказательство. Для начала перепишем левую часть, используя биекцию Φ1, следующим образом:
Используя лемму 4.11, лемму 4.12 и лемму 4.13, имеем
4.4. Вклад графов типа (α, 2) . Вклад графов типа (α, 2) можно вычислить следующим образом.
Этот документ доступен на arxiv под лицензией CC 4.0.