Torus manifolds in equivariant complex bordism (Q2344325)

The author studies geometric equivariant complex bordism for \(T^n\)-manifolds, where \(T^n\) is an \(n\)-dimensional torus. He provides a complete combinatorial description of the subring \({\mathcal{Z}}^{U: T^n}_\ast\) of the bordism ring \(\Omega^{U: T^n}_\ast\) consisting of elements that can be represented by a tangentially stably complex \(T^n\)-manifold having a finite fixed point set. The results in this paper are complex versions of results about real quasitoric manifolds (small covers) in [\textit{Z. Lü} and \textit{Q. Tan}, Int. Math. Res. Not. 2014, no. 24, 6756--6797 (2014; Zbl 1316.57024)]. Let \(J_n\cong {\mathbb{Z}}^n\setminus \{0\}\) denote the set of all non-trivial irreducible \(T^n\)-representations, and let \(\Lambda (J_n)\) be the free exterior algebra on \(J_n\), over \({\mathbb{Z}}\). Let \(K_n\) be the abelian group of all faithful exterior polynomials \(h\in \Lambda^n(J_n)\) such that \(d(h^\ast)=0\). The author obtains a monomorphism \(g_n\) from the abelian group \(G(n)\) of equivalence classes of \(n\)-valent oriented torus graphs to \(\Lambda^n (J_n)\) taking the class of a torus graph to the corresponding torus polynomial. The monomorphism \(g_n\) induces an isomorphism \(\tilde{g}_n: {\mathcal{Z}}^{U: T^n}_{2n}\to K_n\), for every \(n\geq 0\). The isomorphisms \(\tilde{g}_n\) then induce an isomorphism of non-commutative graded rings \[ \tilde{g}: \Xi_\ast =\bigoplus_{n\geq 0}{\mathcal{Z}}^{U: T^n}_{2n} \to K_\ast= \bigoplus_{n\geq 0}K_n. \] The author applies his results to quasitoric manifolds. He defines the graded ring \({\mathcal{Q}}_\ast\) of quasitoric pairs \((P,\Lambda)\), where \(P\) is a simple polytope and \(\Lambda\) is an integral matrix whose columns satisfy certain conditions. He obtains a graded ring homomorphism \({\mathcal{M}}: {\mathcal{Q}}_\ast\to \Xi_\ast\) and shows that the homomorphism \({\mathcal{M}}_i: {\mathcal{Q}}_i\to \Xi_i\) is surjective, for \(i=1,2\). He also conjectures that \({\mathcal{M}}\) is surjective.