The equivariant K-theory and cobordism rings of divisive weighted projective spaces

From MaRDI portal
(Redirected from Publication:511493)
The equivariant \(K\)-theory and cobordism rings of divisive weighted projective spaces



Abstract: We apply results of Harada, Holm and Henriques to prove that the Atiyah-Segal equivariant complex K-theory ring of a divisive weighted projective space (which is singular for nontrivial weights) is isomorphic to the ring of integral piecewise Laurent polynomials on the associated fan. Analogues of this description hold for other complex-oriented equivariant cohomology theories, as we confirm in the case of homotopical complex cobordism, which is the universal example. We also prove that the Borel versions of the equivariant K-theory and complex cobordism rings of more general singular toric varieties, namely those whose integral cohomology is concentrated in even dimensions, are isomorphic to rings of appropriate piecewise formal power series. Finally, we confirm the corresponding descriptions for any smooth, compact, projective toric variety, and rewrite them in a face ring context. In many cases our results agree with those of Vezzosi and Vistoli for algebraic K-theory, Anderson and Payne for operational K-theory, Krishna and Uma for algebraic cobordism, and Gonzalez and Karu for operational cobordism; as we proceed, we summarize the details of these coincidences.


Let \(\chi= (\chi_0, \ldots , \chi_n)\) denote a sequence of positive integers satisfying \(\chi_{j-1}\mid \chi_j\) for \(1\leq j \leq n\), called a divisive weight vector; it gives rise to an action of \(S^1\) on \(S^{2n+1}\subset \mathbb{C}^{n+1}\) given by \(t\cdot z=(t^{\chi_0}z_0, \ldots , t^{\chi_n}z_n)\) where \(t\in S^1\) and \(z=(z_0, \ldots, z_n)\in S^{n+1}\). Then the orbit space \(S^{n+1}/S^1\) is called the divisive weighted projective space and is written \(\mathbb{P}(\chi)\). In particular, in case \(\chi_0=1\), it becomes a \(T^n\)-space equipped with the action induced by \((t_1, \ldots, t_n)\cdot z=(z_0, t_1z_1, \ldots, t_nz_n)\) where \(T^n\) is the \(n\)-torus, i.e., the product of \(n\) circles \(S^1\times\cdots\times S^1\). We know that \(\mathbb{P}(\chi)\) is an equivariant CW-complex such that \(\mathbb{P}(\chi)=e^0\cup e^2\cup\cdots\cup e^{2n}\); the centers of \(e^j\) are fixed points. We write \(\Sigma_\chi\) for the fan associated with this. The theme of this paper is the description of \(E^*_{T^n}(\mathbb{P}(\chi))\) in a way which more directly reflects the properties of \(\Sigma_\chi\) where \(E=K, MU, H\). In fact, for example, in the case of \(E=K\) the authors obtain that \(K^0_{T^n}(\mathbb{P}(\chi))\) is isomorphic to the \(S^{\pm}_\mathbb{Z}(\alpha)\)-algebra of \textit{piecewise Laurent polynomials} on \(\Sigma_\chi\) where \(S^{\pm}_\mathbb{Z}(\alpha)\cong R(T^n)\); moreover \(K^1_{T^n}(\mathbb{P}(\chi))=0\). We also have that analogues of this statement hold for \(MU, H\). The proof of these results is essentially based on results of the first author et al. [Adv. Math. 197, No. 1, 198--221 (2005; Zbl 1110.55003)]. In the last two sections, the authors refer to two types of extensions of the results mentioned above. One is the Borel equivariant versions of these in the cases \(E=K, MU\) (in connection with this, the Chern character \(ch\) and the Boardman homomorphism \(bh\) are discussed); and the other one is results in the case of \textit{smooth} fans which have a similar description as above for \(E=K, MU, H\) and whose proof is done by applying the arguments used above, based on a result of the first author and \textit{G. D. Landweber} [Math. Res. Lett. 15, No. 1, 57--72 (2008; Zbl 1148.53063)].











This page was built for publication: The equivariant \(K\)-theory and cobordism rings of divisive weighted projective spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q511493)