The ring of modular forms for the even unimodular lattice of signature (2,18)
We show that the ring of modular forms with characters for the even unimodular lattice of signature (2,18) is obtained from the invariant ring of with respect to the action of by adding a Borcherds product of weight 132 with one relation of weight 264, where is a 2-dimensional -vector space. The proof is based on the study of the moduli space of elliptic K3 surfaces with a section.