Yazarlar:
(1) Wahei Hara;
(2) Yuki Hirano.
4.1. Duvar geçişi ve eğilme denkliği. Bu bölüm, sihirli pencerelerin duvar geçişlerinin, modüllerin eğilmesiyle oluşturulan eşdeğerliklere karşılık geldiğini göstermektedir.
Kanıt. Teleman'ın kuantizasyon teoremine [Tel] göre, tüm k ∈ Z için, doğal kısıtlama haritası bir izomorfizmi indükler
eşdeğerliklerin değişimi değişmelidir.
Kanıt . (1) Ekleme bir izomorfizm verir
Bu nedenle sadece (4.E) ve (4.F)'nin sağ taraflarının izomorfik fonksiyonlar olduğunu kanıtlamamız gerekiyor. Ancak bu doğal bir izomorfizmden kaynaklanmaktadır.
Lemma 4.8. Gösterim yukarıdakiyle aynıdır.
(2) Bu aynı zamanda Lemma 3.19'dan ve µδ,δ''nin bir eşleme olduğu gerçeğinden de çıkar.
(3) Bu (2)'nin sonucudur.
Her F ∈ F(δ,δ′) için
Teorem 4.9. Gösterim yukarıdakiyle aynıdır.
Bu makale arxiv'de CC0 1.0 DEED lisansı altında mevcuttur .