In 1992 Wirthmüller showed that for any irreducible root system not of type E8 the ring of weak Jacobi forms invariant under Weyl group is a polynomial algebra. However, it has recently been proved that for E8 the ring is not a polynomial algebra. Weyl invariant E8 Jacobi forms have many applications in string theory and it is an open problem to describe such forms. The scaled refined free energies of E-strings with certain η-function factors are conjectured to be Weyl invariant E8 quasi holomorphic Jacobi forms. It is further observed that the scaled refined free energies up to some powers of E4 can be written as polynomials in nine Sakai's E8 Jacobi forms and Eisenstein series E2, E4, E6. Motivated by the physical conjectures, we prove that for any Weyl invariant E8 Jacobi form φt of index t the function E /6] φt can be expressed uniquely as a polynomial in E4, E6 and Sakai's forms, where [x] is the integer part of x. This means that a Weyl invariant E8 Jacobi form is completely determined by a solution of some linear equations. By solving the linear systems, we determine the generators of the free module of Weyl invariant E8 weak (resp. holomorphic) Jacobi forms of given index t when t ≤ 13 (resp. t ≤ 11). is a polynomial algebra generated by r + 1 Jacobi forms over the ring M * (SL 2 (Z)) = C[E 4 , E 6 ] of SL 2 (Z)-modular forms. For example, the algebra of W (A 1 )-invariant weak Jacobi forms, that is, the ring of even-weight weak Jacobi forms introduced by Eichler and Zagier, is freely generated by two forms of index 1 and weight 0 and −2. Recently, the second named author proved in [22] that the ring of W (E 8 )-invariant weak Jacobi forms is not a polynomial algebra. In other words, there exist some algebraic relations among generators. It is still unknown if this ring is finitely generated. In the study on the Seiberg-Witten curve of E-string theory [6], Sakai [18] constructed nine W (E 8 )-invariant holomorphic Jacobi forms denoted A
Read more