Elliptic function of level 4

TL;DR

This paper characterizes elliptic functions of level 4 as exponentials of universal formal groups, extending known results for levels 2 and 3, and expresses these functions via Weierstrass elliptic functions.

Contribution

It derives the explicit form of the elliptic function of level 4 as an exponential of a universal formal group, generalizing previous levels and establishing new functional relations.

Findings

Elliptic function of level 4 is the exponential of a specific universal formal group.

Derived a relation involving functions A(u) and B(u) for level 4.

Expressed the elliptic function of level 4 in terms of Weierstrass elliptic functions.

Abstract

The work is dedicated to the theory of elliptic functions of level $n$. An elliptic function of level $n$ determines a Hirzebruch genus that is called elliptic genus of level $n$. Elliptic functions of level $n$ are also interesting as solutions of Hirzebruch functional equations. The elliptic function of level $2$ is the Jacobi elliptic sine. It determines the famous Ochanine--Witten genus. It is the exponential of the universal formal group of the form \[ F(u,v)=\frac{u^2 -v^2}{u B(v) - v B(u)}, \quad B(0) = 1. \] The elliptic function of level $3$ is the exponential of the universal formal group of the form \[ F(u,v)=\frac{u^2 A(v) -v^2 A(u)}{u A(v)^2 - v A(u)^2}, \qquad A(0) = 1, \quad A"(0) = 0. \] In this work we have obtained that the elliptic function of level $4$ is the exponential of the universal formal group of the form \[ F(u,v)=\frac{u^2 A(v) -v^2 A(u)}{u B(v)-v B(u)}, \text{ where } A(0) = B(0) = 1, \] and for $B'(0) = A"(0) = 0, A'(0) = A_1, B"(0) = 2 B_2$ the relation holds \[ (2 B(u) + 3 A_1 u)^2 = 4 A(u)^3 - (3 A_1^2 - 8 B_2) u^2 A(u)^2. \] To prove this result we have expressed the elliptic function of level $4$ in terms of Weierstrass elliptic functions.