Computing the Krichever genus

From MaRDI portal



Abstract: Let psi denote the genus that corresponds to the formal group law having invariant differential omega(t) equal to sqrt1+p1t+p2t2+p3t3+p4t4 and let kappa classify the formal group law strictly isomorphic to the universal formal group law under strict isomorphism xCP(x). We prove that on the rational complex bordism ring the Krichever-H"ohn genus phiKH is the composition psicirckappa−1. We construct certain elements Aij in the Lazard ring and give an alternative definition of the universal Krichever formal group law. We conclude that the coefficient ring of the universal Krichever formal group law is the quotient of the Lazard ring by the ideal generated by all Aij, i,jgeq3.


An elliptic genus \(\psi : MU_* \otimes\mathbb{Q} \to \mathbb{Q}[p_1, p_2, p_3, p_4]\) having four parameters is the theme of this paper, whose logarithm is given by the elliptic integral \[ \ell(x)=\int^x_0(1+p_1t+p_2t^2p_3t^3+p_4t^4)^{-1/2}dt, \] so that it satisfies \(\ell(x)'=\Sigma_{i \geq 1}\psi(\mathbb {CP}_i)x^i\) for the generators \(\mathbb{ CP}_i\) of \(MU_*\otimes \mathbb{Q}\), the bordism classes of the complex projective spaces \(\mathbb CP^i\). Set \(\mathbb {CP}(x)=1+\Sigma_{i \geq 1}\mathbb {CP}_ix^i\) and \(\nu(x)=x \mathbb {CP}(x)\). Let \(\tilde{F}\) be a formal group law strictly isomorphic to the universal formal group law \(F\) via the isomorphism \(\nu\). Also denote by \(\kappa : MU_*\otimes\mathbb{Q} \to MU_*\otimes\mathbb{Q}\) the classifying map of \(\tilde{F}\). Then the first result is that the Krichever-Höhn genus \(\phi_{KH}\) is the composition \(\psi\circ\kappa^{-1}\). To subsequently study the universal Krichever formal group law \(F_{Kr}\) the author introduces a formal series \[ A(x, y)=\Sigma A_{i j}x^iy^j=F(x, y)(x\omega(y)-y\omega(x)) \] where \(\omega(x)=F_y(x, 0)\) and by using this \(A(x, y)\) obtains that \(F_{Kr}\) coincides with the universal formal group laws by Buchstaber and Nadiradze and wherein the coefficient ring is the quotient of the Lazard ring \(L\) by the ideal generated by all \(A_{ij}\) with \(i, j \geq 3\). Finally, in connection with polynomial generators of \(L\) the author refers to the result of \textit{V. M. Buchstaber} and \textit{E. Yu. Bunkova} [Funct. Anal. Appl. 45, No. 2, 99--116 (2011); translation from Funkts. Anal. Prilozh. 45, No. 2, 23--44 (2011; Zbl 1271.55005)].











This page was built for publication: Computing the Krichever genus

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