English

Complex cobordism modulo $c_1$-spherical cobordism and related genera

Algebraic Topology 2023-10-31 v2

Abstract

We prove that the ideal in complex cobordism ring \MU\MU^* generated by the polynomial generators S=(x1,xk,k3)S=(x_1, x_k, k\geq 3) of c1c_1-spherical cobordism ring WW^*, viewed as elements in \MU\MU^* by forgetful map is prime. Using the Baas-Sullivan theory of cobordism with singularities we define a commutative complex oriented cohomology theory \MUS()\MU^*_S(-), complex cobordism modulo c1c_1-spherical cobordism, with the coefficient ring \MU/S\MU^*/S. Then any ΣS\Sigma\subseteq S is also regular in \MU\MU^* and therefore gives a multiplicative complex oriented cohomology theory \MUΣ()\MU^*_{\Sigma}(-). The generators of W[1/2]W^*[1/2] can be specified in such a way that for Σ=(xk,k3)\Sigma=(x_k, k\geq 3) the corresponding cohomology is identical to the Abel cohomology, previously constructed in \cite{BUSATO}. Another example corresponding to Σ=(xk,k5)\Sigma=(x_k, k\geq 5) gives the coefficient ring of the universal Buchstaber formal group law after tensored by Z[1/2]\mathbb{Z}[1/2], i.e., is identical to the scalar ring of the Krichever-Hoehn complex elliptic genus \cite{KR}, \cite{H}.

Keywords

Cite

@article{arxiv.2306.02163,
  title  = {Complex cobordism modulo $c_1$-spherical cobordism and related genera},
  author = {Malkhaz Bakuradze},
  journal= {arXiv preprint arXiv:2306.02163},
  year   = {2023}
}

Comments

10 pages