Equivariant cobordism for torus actions

From MaRDI portal
(Redirected from Publication:715221)



Abstract: We study the equivariant cobordism theory of schemes for torus actions. We give the explicit relation between the equivariant and the ordinary cobordism of schemes with torus action. We deduce analogous results for action of arbitrary connected linear algebraic groups. We prove some structure theorems for the equivariant and ordinary cobordism of schemes with torus action and derive important consequences. We establish the localization theorems in this setting. These are used to describe the structure of the ordinary cobordism ring of certain smooth projective varieties.


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). \)











This page was built for publication: Equivariant cobordism for torus actions

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