ScalingStacks

0MZ7

Proposition 6.1. In case (AA) and (A~\widetilde{A}) the condtions (PT) and (PO) hold.

0MZ8

Proof. In the case (AA) there are only finitely many isomorphism classes of quiver representation with a fixed dimension vector by Gabriel’s theorem. Hence there are only finitely many GL⁡(𝐝)\operatorname{GL}(\mathbf{d}) orbits in Rep⁡(𝐝)\operatorname{Rep}(\mathbf{d}) and condition (FO) is fulfilled. The works of Cerulli-Irelli–Esposito–Franzen–Reineke [CIEFR21] and Maksimau [Mak19] show that type AA partial quiver flag varieties admit an affine pavings. This implies condition (PT) using Proposition 3.4 and Proposition 3.21.

In the case (A~\widetilde{A}) there can be infinitely many isomorphism classes of quiver representations with fixed dimension vector. However, any representation ρ∈Rep⁡(𝐝)\rho\in\operatorname{Rep}(\mathbf{d}) in the image of μ𝐝¯\mu_{\underline{\mathbf{d}}} fulfills (6.1) for some flag V¯∈Fl⁡(𝐝¯).\underline{V}\in\operatorname{Fl}(\underline{\mathbf{d}}). This implies that ρ\rho is nilpotent, that is, there is some n∈ℤ≥0n\in\mathbb{Z}_{\geq 0} such that ρa1​ρa2​…​ρan=0\rho_{a_{1}}\rho_{a_{2}}\dots\rho_{a_{n}}=0 for any sequence of composable arrows a1,…,an∈Q1.a_{1},\dots,a_{n}\in Q_{1}. There are only finitely many isomorphism classes of nilpotent quiver representations with fixed dimension vector in this case, see Section 6.3. This implies condition (FO). Moreover, we will show in Section 6.3 that the partial quiver flag varieties admit affine pavings which implies condition (PT). ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Jens Niklas Eberhardt, Catharina Stroppel

Original source: arXiv:2109.00305v2