\(K\)-theory of quasi-toric manifolds (Q2372374)

Let \(G=(\mathbb{S}^1)^n\) be an \(n\)-dimensional compact torus and let \(P \subset \mathbb{R}^n\) be a convex polytope of dimension \(n\) such that exactly \(n\) facets (= codimension 1 faces of \(P\)) meet at each vertex of \(P\). Let \(M\) be a \(G\)-quasi-toric manifold over \(P\), i.e., a smooth manifold having a locally standard \(G\)-action with projection \(\pi : M \to M/G \cong P\). Here \(\lq\lq\)locally standard'' means that every point of \(M\) has a \(G\)-neighbourhood \(G\)-diffeomorphic to an open \(G\)-set of \(\mathbb{C}^n\) on which \(G\) acts in the canonical fashion via an isomorphism of \(G\) onto the standard maximal torus of \(U(n)\). The purpose of this paper is to describe the topological \(K\)-ring of \(K(M)\) in terms of generators and relations. Let \(F_1, \dots, F_d\) denote the set of facets of \(P\). It is known that for each \(1 \leq j \leq d\), any point of the inverse image by \(\pi\) of the relative interior of \(F_j\) has the same (1-dimensional) isotropy subgroup for which one writes \(G_j\). Set \(\widetilde{G}=G_1\times\cdots\times G_d\) and consider the homomorphism \(\widetilde{G} \to G\) (which is surjective since \(n < d\)) induced by the multiplication of \(G\). Denoting by \(H\) its kernel there is a \(\widetilde{G}\)-manifold \(Z\) such that the restriction to \(H\) of the action of \(\widetilde{G}\) on \(Z\) is free and it holds that \(Z/H\cong M\) [\textit{M. W. Davis} and \textit{T. Januszkiewicz}, Duke Math. J. 62, 417--451 (1991; Zbl 0733.52006)]. Let \(V_j\) be the 1-dimensional complex representation space corresponding to the restriction to \(H\) of the \(j\)-th projection \(\widetilde{G}\cong (\mathbb{S}^1)^d \to \mathbb{S}^1\). Let \(L_j\) denote the associated \(V_j\)-bundle \(Z\times_HV_j \to M\) and put \(x_j=1-[L_j] \in K(M)\). Then the result is (Proposition 3.2): \(K(M)=\mathbb{Z}[x_1, \cdots, x_d]/\sim\) where the generating relations are (i) \(x_{j_1}\cdots x_{j_k}=0\) whenever \(F_{j_1}\cap\cdots\cap F_{j_k}=\phi, \;x_i^{n+1}=0\) for \(1\leq i \leq d\), and \ (2) \((1-x_1)^{u(v_1)}\cdots (1-x_d)^{u(v_d)}=1\) for any \(u \in \mathrm{Hom}(\mathbb{Z}^n, \mathbb{Z})\). Here \(v_j\) denotes a primitive vector determined by \(G_j\). But this is a specific result. In fact this has an extension to the associated \(M\)-bundle \(E(M)\) for a principal \(G\)-bundle \(E \to B\) (Theorem 1.2). Now in Section 4 are given two illustrative examples where \(K(\mathbb CP^n)\) (although familiar) and \(K(M\sharp \mathbb CP^n)\) are considered, and also as an application the \(K\)-rings of Bott-Samelson varieties are treated in the final section.