Maximal green sequences for the Chekhov–Shapiro Aₙ-quiver and for its double, and a deck involution in the doubled Donaldson–Thomas transformation
PDFLet Aₙ be the Chekhov–Shapiro quiver attached to the symplectic groupoid of unipotent upper-triangular n × n matrices; it has n(n-1)/2 vertices, organised into ⌊ n/2 ⌋ main cycles. For even n = 2m, Choi has proved that the word ω₀ = (τ₁τ₂…τₘ)ᵐ in the cycle…
Evidence summary
190 Lean theorems · 21 stated results · 12 source-labelled candidates. Lean build reported passed by the source. Inspect claims