Autores:
(1) Wahei Hara;
(2) Yuki Hirano.
4.1. Equivalencia de cruce e inclinación de muros. Esta sección muestra que los cruces de paredes de ventanas mágicas corresponden a equivalencias inducidas por módulos basculantes.
Prueba. Según el teorema de cuantificación de Teleman [Tel], para todo k ∈ Z, el mapa de restricción natural induce un isomorfismo
de equivalencias es conmutativa.
Prueba . (1) La adjunción da un isomorfismo
Por lo tanto, sólo necesitamos demostrar que los lados derechos de (4.E) y (4.F) son functores isomórficos. Pero esto se deriva de un isomorfismo natural.
Lema 4.8. La notación es la misma que la anterior.
(2) Esto también se desprende del Lema 3.19 y del hecho de que µδ,δ′ es una biyección.
(3) Esto es una consecuencia de (2).
Para cada F ∈ F(δ,δ′)
Teorema 4.9. La notación es la misma que la anterior.
Este documento está disponible en arxiv bajo licencia CC0 1.0 DEED.