Equivariant \(K\)-theory of quasitoric manifolds (Q2274786)

Let \(Q\) be a simple convex polytope, and let \(\mathcal{F}= \{ Q_1,\, Q_2,\, \dots,\, Q_d\}\) denote the set of facets of \(Q\). Let \(X\) be a quasi-toric manifold associated to \(Q\) and the characteristic function \(\Lambda \colon \mathcal{F} \to \mathbb{Z}^n\). The authors define the \(K\)-theoretic face ring of \(Q\) as the Stanley-Reisner ring \[ \mathcal{K}(Q,\Lambda) = K^{*}(\mathrm{pt})[y_1^{\pm 1},\, \dots,\, y_d^{\pm 1}] \big/ J \ , \] where \(K^{*}(\mathrm{pt})\) is the (ordinary) \(K\)-ring of a point (explicitly \(K^{*}(\mathrm{pt}) = \mathbb{Z}[z,z^{-1}]\) with \(z\) a Bott periodicity element of cohomological dimension \(-2\)), and \(J\) is the ideal generated by products of the form \[ (1-y_{i_1}) \cdots (1-y_{i_r}) \quad \text{whenever} \quad Q_{i_1} \cap \cdots \cap Q_{i_r} = \emptyset \ . \] The main results of the paper under review are: \(\bullet\) \(\mathcal{K}(Q, \Lambda)\) is canonically isomorphic to the equivariant \(K\)-ring \(K_T^{*}(X)\) of \(X\); the isomorphism sends \(y_i\) to \([L_i]\) where \(L_i\) is a certain canonical \(T\)-equivariant complex line bundle on \(X\) corresponding to the facet \(Q_i\). \(\bullet\) The ordinary \(K\)-ring \(K^{*}(X)\) of \(X\) is obtained from \(K_T^{*}(X)\) by factoring additional relations of the form \[ \prod_{i=1}^d y_i^{\langle u, \lambda_i\rangle} - 1 \] where \(\lambda_i = \Lambda(Q_i)\), and \(u\) is an element of the character group \(M = \mathrm{Hom}(T, \mathbb{C}^*) = \mathbb{Z}^n\). This generalises results of \textit{M. Harada} et al. [Tohoku Math. J. (2) 68, No. 4, 487--513 (2016; Zbl 1360.55006)]. The main tool used in the present paper is the GKM theory developed by \textit{M. Harada} et al. [Adv. Math. 197, No. 1, 198--221 (2005; Zbl 1110.55003)].