tác giả:
(1) Wahei Hara;
(2) Yuki Hirano.
3.1. Biểu diễn gần như đối xứng và cửa sổ ma thuật. Phần này nhắc lại các thuộc tính cơ bản của các loại dẫn xuất của thương số GIT phát sinh từ các biểu diễn gần như đối xứng, được thiết lập trong [HSa] và [SV1]. Chúng tôi tự do sử dụng ký hiệu từ Phần 1.6.
và sau đó nó liên kết ngăn xếp thương số GIT [Xss(ℓ)/G].
Dự luật 3.10 ([HSa, Dự luật 6.2]). Có sự tương đương của nhómoid
Dự luật 3.13 ([HSa, Dự luật 6.5]). Có một sự tương đương
mở rộng sự tương đương trong Mệnh đề 3.10.
(3) Điều này suy ra từ (2).
Mệnh đề sau đây tuy cơ bản nhưng chúng tôi đưa ra chứng minh để bạn đọc tiện theo dõi
Bằng chứng. Nếu W tầm thường thì kết quả là hiển nhiên. Do đó, giả sử rằng W ̸= 1
Kết quả sau đây chứng tỏ bản đồ này có tính chất phỏng đoán.
Bài viết này có sẵn trên arxiv theo giấy phép CC0 1.0 DEED.