Proposition 6.1. In case () and () the condtions (PT) and (PO) hold.
6.2. Conditions (PT) and (FO)
We want to apply the general setup of Springer motives from Section 4.1 to the collection of maps In particular, we are interested in settings where the condition (PT) and (FO) from Section 4.1 are fulfilled. We restrict our attention to the following two cases.
- ()
the quiver is a Dynkin quiver where the underlying graph is a Dynkin diagram of type
- ()
the quiver is the cyclic quiver with cyclic orientation, so the underlying graph is a Dynkin diagram of type .
Proof. In the case () 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 orbits in and condition (FO) is fulfilled. The works of Cerulli-Irelli–Esposito–Franzen–Reineke [CIEFR21] and Maksimau [Mak19] show that type partial quiver flag varieties admit an affine pavings. This implies condition (PT) using Proposition 3.4 and Proposition 3.21.
In the case () there can be infinitely many isomorphism classes of quiver representations with fixed dimension vector. However, any representation in the image of fulfills (6.1) for some flag This implies that is nilpotent, that is, there is some such that for any sequence of composable arrows 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). ∎
Remark 6.2. Quiver flag varieties in type also admit affine pavings by [Mak19], so our results also apply here. The same should hold in type
Original source: arXiv:2109.00305v2