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

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Importer (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2107134520 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: math/0602161 / rank
 
Normal rank

Latest revision as of 18:03, 18 April 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
    0 references
    0 references