Abstract:
We prove that the ideal in complex cobordism ring $\mathbf M\mathbf U^*$ generated by the polynomial generators $S=(x_1, x_k, k\geq 3)$ of $c_1$-spherical cobordism ring $W^*$, viewed as elements in $\mathbf M\mathbf U^*$ by forgetful map is prime. Using the Baas-Sullivan theory of cobordism with singularities we define a commutative complex oriented cohomology theory $\mathbf M\mathbf U^*_S(-)$, complex cobordism modulo $c_1$-spherical cobordism, with the coefficient ring $\mathbf M\mathbf U^*/S$. Then any $\Sigma\subseteq S$ is also regular in $\mathbf M\mathbf U^*$ and therefore gives a multiplicative complex oriented cohomology theory $\mathbf M\mathbf U^*_{\Sigma}(-)$. The generators of $W^*[1/2]$ can be specified in such a way that for $\Sigma=(x_k, k\geq 3)$ the corresponding cohomology is identical to the Abel cohomology, previously constructed in [BUSATO]. Another example corresponding to $\Sigma=(x_k, k\geq 5)$ gives the coefficient ring of the universal Buchstaber formal group law after tensored by $\mathbb{Z}[1/2]$, i.e., is identical to the scalar ring of the Krichever-Hoehn complex elliptic genus.
Keywords:сomplex bordism, $SU$-bordism, Formal group law, Complex elliptic genus.
Citation:
M. R. Bakuradze, “Complex cobordism modulo $c_1$-spherical cobordism and related genera”, Topology, Geometry, Combinatorics, and Mathematical Physics, Collected papers. Dedicated to Victor Matveevich Buchstaber on the occasion of his 80th birthday, Trudy Mat. Inst. Steklova, 326, Steklov Math. Inst., Moscow, 2024, 15–25