Chern classes and compatible power operations in inertial \(K\)-theory (Q344507): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Tyler J. Jarvis / rank | |||
Property / author | |||
Property / author: Takahashi Kimura / rank | |||
Revision as of 12:10, 10 February 2024
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
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
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