Equivariant cobordism for torus actions (Q715221): Difference between revisions

Let \(G\) be a linear algebraic group over a field \(k\) of characteristic 0. The equivariant algebraic cobordism groups were defined by \textit{D. Deshpande} [``Algebraic cobordism of classifying spaces'', \url{arxiv:0907.4437}] and the theory of equivariant cobordism for \(k\)-schemes was subsequently devloped by the author in [Doc. Math., J. DMV 17, 95--134 (2012; Zbl 1246.14016)]. In that paper the author showed that the equivariant cobordism of a variety over \(k\) equipped with the action of a connected linear algebraic group \(G\) is the subgroup of invariants under the Weyl group for equivariant cobordism for the action action of a maximal torus of \(G\). This makes the study of toric actions crucial for the theory. In this paper the author proves that the the forgetful map to the ordinary cobordism yields an isomorphism: \[ r_{X}^{T}: {\Omega}_{*}^{T}(X) {\otimes}_{S(T)} {\mathbb L} \,{\cong} \, {\Omega}_{*}(X) \] which is a ring ismorphism when \(X\) is smooth. \(X\) is here a quasi-projective \(k\)-scheme with the linear action of a split torus \(T,\) S(T) is the cobordism ring of the classifying space of \(T\) and \(\mathbb L\) is the Lazard ring. If \(G\) is a connected reductive group, \(B\) a Borel subgroup containing a split maximal torus then the author proves that, with the rational coefficients, there is an \(\mathbb L\)-algebra isomorphism: \[ S(T){\otimes}_{S(G)}{\mathbb L} \, \cong \, {\Omega}^{*}(G/B), \] where \(S(G)= {\Omega}^{*}(BG).\) As an application of the formulas above the author obtains that if \(G\) is connected linear algebraic group acting on a scheme \(X\), then the forgetful map \[ r_{X}^{G}: {\Omega}_{*}^{G}(X) \rightarrow {\Omega}_{*}(X) \] is surjective with rational coefficients. The author gives also a structure theorem for the equivariant cobordism of \(X\) with a torus action, derives some localization theorems and a version of Bott residue formula for such varieties. As an application the author proves that \({\Omega}_{*}(X) \) is generated as \({\Omega}^{*}(BT) \)-module by the invariant cobordism cycles in \({\Omega}_{*}(X). \)