Chern classes and compatible power operations in inertial \(K\)-theory (Q344507)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Chern classes and compatible power operations in inertial \(K\)-theory
scientific article

    Statements

    Chern classes and compatible power operations in inertial \(K\)-theory (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    23 November 2016
    0 references
    The paper is a follow-up to the authors' previous paper [Ann. K-Theory 1, No. 1, 85--108 (2016; Zbl 1390.55007)] establishing the formalism of inertial products on the Grothendieck group \(K(I\!\mathscr{X})\) of vector bundles on the inertia stack of a smooth Deligne-Mumford quotient stack \(\mathscr{X}=[X/G]\). The notion is motivated by mirror symmetry, and the paper develops analogs of Chern classes and compatible Adams power operations and \(\lambda\) operations of the ordinary \(K\)-theory. When \(G\) is diagonalizable and \(\mathscr{X}\) is strongly Gorenstein these operations induce a rationally augmented \(\lambda\)-ring structure on the inertial \(K\)-theory. Its \(\lambda\)-positive elements share many properties with classes of vector bundles in the ordinary \(K\)-theory, opening the door to orbifold Euler classes, Chow theory, and cohomology. Previously defined orbifold products and virtual orbifold products are particular cases of the inertial products. The main application is to a \(K\)-theory variant of Ruan's hyper-Kähler resolution conjecture (HKRC) for orbifolds \(X/G\) with diagonalizable \(G\). Remarkably, there is a summand \(\widehat{K}(I\!\mathscr{X})_{\mathbb{Q}}\), isomorphic as an Abelian group to the Chow group \(A^*(I\!\mathscr{X})_{\mathbb{Q}}\), which inherits any inertial \(\lambda\)-ring structure from \(K(I\!\mathscr{X})_{\mathbb{Q}}\), where the subscripts indicate tensoring with \(\mathbb{Q}\). The modified conjecture is that \(K(I\!\mathscr{X})_{\mathbb{C}}\), with its virtual orbifold product, is \(\lambda\)-ring isomorphic to \(K(Z)_{\mathbb{C}}\), where \(Z\) is a hyper-Kähler resolution of the cotangent bundle \(\mathbb{T}^*\!\mathscr{X}\). The conjecture is proved for the weighted projective lines \(\mathbb{P}(1,2)\) and \(\mathbb{P}(1,3)\) (it is reported that \textit{T. Kimura} and \textit{R. Sweet}, ``Adams operations on the virtual \(K\)-theory of \(P(1, n)\)'', preprint, to appear in J. Algebra Appl., \url{arXiv:1302.3524}] proved it for all \(\mathbb{P}(1,n)\) after the paper was accepted). Moreover, it is shown that there is an isomorphism of Chow rings commuting with the corresponding Chern characters in these cases, and that the semigroup of \(\lambda\)-positive elements induces an exotic integral lattice on \(K(I\!\mathscr{X})_{\mathbb{C}}\) corresponding to the ordinary lattice on \(K(Z)_{\mathbb{C}}\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    quantum cohomology
    0 references
    quantum \(K\)-theory
    0 references
    mirror symmetry
    0 references
    inertial products
    0 references
    Adams power operations
    0 references
    lambda rings
    0 references
    hyper-Kahler resolution conjecture
    0 references
    orbifold products
    0 references
    virtual orbifold products
    0 references
    0 references
    0 references