ScalingStacks

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 μ𝐝¯:𝔔⁡(𝐝¯)→Rep⁡(𝐝).\mu_{\underline{\mathbf{d}}}:\mathfrak{Q}(\underline{\mathbf{d}})\to\operatorname{Rep}(\mathbf{d}). 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.

  1. (AA)

    the quiver QQ is a Dynkin quiver where the underlying graph is a Dynkin diagram of type A.A.

  2. (A~\widetilde{A})

    the quiver QQ is the cyclic quiver with cyclic orientation, so the underlying graph is a Dynkin diagram of type A~\widetilde{A}.

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). ∎

0MZ9

Remark 6.2. Quiver flag varieties in type DD also admit affine pavings by [Mak19], so our results also apply here. The same should hold in type E.E.

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

Jens Niklas Eberhardt, Catharina Stroppel

Original source: arXiv:2109.00305v2