Computing the Krichever genus (Q2255530): Difference between revisions

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