tác giả:
(1) Wahei Hara;
(2) Yuki Hirano.
4.1. Tương đương vượt tường và nghiêng. Phần này cho thấy rằng việc vượt qua các bức tường của cửa sổ ma thuật tương ứng với các giá trị tương đương được tạo ra bởi các mô-đun nghiêng.
Bằng chứng. Theo định lý lượng tử hóa [Tel] của Teleman, với mọi k ∈ Z, bản đồ giới hạn tự nhiên gây ra sự đẳng cấu
của sự tương đương có tính chất giao hoán.
Bằng chứng . (1) Sự kết hợp mang lại sự đẳng cấu
Do đó ta chỉ cần chứng minh vế phải của (4.E) và (4.F) là các hàm số đẳng cấu. Nhưng điều này xuất phát từ sự đẳng cấu tự nhiên
Bổ đề 4.8. Ký hiệu tương tự như trên.
(2) Điều này cũng tuân theo Bổ đề 3.19 và thực tế µδ,δ′ là song ánh.
(3) Đây là hệ quả của (2).
Với mỗi F ∈ F(δ,δ′)
Định lý 4.9. Ký hiệu tương tự như trên.
Bài viết này có sẵn trên arxiv theo giấy phép CC0 1.0 DEED.