The equivariant Chow rings of quot schemes (Q953153): Difference between revisions

Let \(k\) be an algebraically closed base field. The quot scheme \({\mathcal Q}_d={\mathcal Q}_d(r,n)\) parametrizes quotient sheaves on \({\mathbb P}^1\) of the trivial vector bundle \({\mathcal O}^n_{{\mathbb P}^1}\) which have rank \(r\) and degree \(d\). It is a compactification of the space of the corresponding quotient bundles, which can also be regarded as rational curves of degree \(d\) in the Grassmannian \(G(r,n)\). There is a natural torus action of \(T=T_{k^n}\times T_{{\mathbb P}^1}\) on \({\mathcal Q}_d\). The paper studies the equivariant Chow ring \(A_T^*({\mathcal Q}_d)\), using localization techniques. Let \(i:{\mathcal Q}_d^T\to {\mathcal Q}_d\) be the inclusion of the set of fixed points, then \[ i^*: A_T^*({\mathcal Q}_d)\to A_T^*({\mathcal Q}_d^T)=\bigoplus_{p\in {\mathcal Q}_d^T} A^*_T(p) \] is injective, and each \(A^*_T(p)\) is canonically isomorphic to the symmetric algebra \(S\) of the character group of \(T\). The authors determine the combinatorial structure of the \textit{finite} fixed-point-set \({\mathcal Q}_d^T\), which is given by a set \({\mathcal F}\) parametrizing maximally degenerate quotient sheaves supported at 0 and \(\infty\). General results in equivariant Chow rings state that the image of the localization map \(i^*\) is cut out by families of invariant curves. More precisely in the general situation of \(T\) acting on \(X\), the rational image of \(i^*:A^*_{T}(X)_{\mathbb Q}\to A^*_{T}(X^{T})_{\mathbb Q}\) is the intersection of the images of the localization maps \[ i^*_{T'}:A^*_{T}(X^{T'})_{\mathbb Q}\to A^*_{T}(X^{T})_{\mathbb Q}, \] where \(T'\) runs over all codimension one subtori of \(T\). When there are finitely many such invariant curves, each one gives a relation to cut out the image. When there are infinitely many invariant curves, more relations are needed as given by \textit{L. Evain} [Transform. Groups 12, No. 2, 227--249 (2007; Zbl 1128.14004)]. The authors refine Evain's result, which they apply to the question at hand. They give a complete description of the torus-invariant curves and show that each family is a product of projective spaces. Throughout the authors pay attention to the more difficult integral coefficients than the rational coefficients. The final answer is given explicitly in terms of generators and relations as stated in Theorem 1.1.