Towards the multiplicative behavior of the \(K\)-theoretical McKay correspondence (Q818576): Difference between revisions

Let \(V\) be a finite dimensional complex symplectic vector space. If \(G\) is a finite subgroup of \(\text{Sp}(V)\) let \(V/G=\text{Spec}{\mathcal O}(V)^G\). By the Bridgeland-King-Reid theorem [\textit{T. Bridgeland, A. King} and \textit{M. Reid}, J. Am. Math. Soc. 14, No.~3, 535--554 (2001; Zbl 0966.14028)] one can take in some special cases the Hilbert scheme of \(G\)-regular orbits \(Y\) as a crepant and projective resolution of singularities. This scheme was defined by \textit{I. Nakamura} [J. Algebr. Geom. 10, No. 4, 757--779 (2001; Zbl 1104.14003)]. There exists a \(\mathbb Q\)-linear isomorphism \(K(Y){\otimes}_{\mathbb Z}{\mathbb Q}\cong R(G){\otimes}_{\mathbb Z}{\mathbb Q}.\) Here \(K(Y)\) denotes the Grothendieck group of coherent sheaves on \(Y\) and \(R(G)\) the representation ring of \(G\). The tensor product of vector bundles on \(Y\) yields the ring structure on \(K(Y).\) The above isomorphism is not compatible with the ring structures. The author studies the multiplicative behaviour of this map, i.e. the product induced on \(R(G)\) by this isomorphism for the special case of \(V={\mathbb C}^n\otimes {\mathbb C}^2\) with the action of the symmetric group \(S_n\) on the first factor and the canonical symplectic structure coming from the second factor.