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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 18:34, 30 January 2024

scientific article
Language Label Description Also known as
English
The equivariant Chow rings of quot schemes
scientific article

    Statements

    The equivariant Chow rings of quot schemes (English)
    0 references
    0 references
    0 references
    0 references
    14 November 2008
    0 references
    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.
    0 references
    0 references
    equivariant cohomology
    0 references
    Chow ring
    0 references
    quot scheme
    0 references
    Grassmannian
    0 references
    localization map
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references