Авторы:
(1) Вахей Хара;
(2) Юки Хирано.
4.1. Эквивалентность пересечения стен и наклона. В этом разделе показано, что пересечение стен волшебными окнами соответствует эквивалентностям, вызванным наклонными модулями.
Доказательство. По теореме Телемана о квантовании [Tel] для всех k ∈ Z естественное отображение ограничения индуцирует изоморфизм
эквивалентностей коммутативна.
Доказательство . (1) Присоединение дает изоморфизм
Поэтому нам нужно лишь доказать, что правые части (4.E) и (4.F) являются изоморфными функторами. Но это следует из естественного изоморфизма
Лемма 4.8. Обозначения такие же, как указано выше.
(2) Это также следует из леммы 3.19 и того факта, что µδ,δ′ является биекцией.
(3) Это следствие (2).
Для каждого F ∈ F(δ,δ′)
Теорема 4.9. Обозначения такие же, как выше.
Этот документ доступен на arxiv под лицензией CC0 1.0 DEED.