Autor:
(1) Yuki Koto
Esses feixes são dotados de ações T e todas as flechas são equivalentes a T. Tomando as partes móveis obtemos a seguinte sequência exata:
A parte móvel pode ser descrita como
Por outro lado, temos
Esses cálculos fornecem a fórmula desejada.
Realizando cálculos semelhantes aos da prova anterior, podemos estabelecer as seguintes fórmulas.
Usando os lemas acima, podemos calcular as contribuições dos gráficos do tipo (α, 1).
Proposição 4.15.
Prova. Para começar, reescrevemos o lado esquerdo usando a bijeção Φ1 da seguinte forma:
Usando Lema 4.11, Lema 4.12 e Lema 4.13, temos
4.4. Contribuição dos gráficos do tipo (α,2). A contribuição dos gráficos do tipo (α, 2) pode ser calculada da seguinte forma.
Este artigo está disponível no arxiv sob licença CC 4.0.