K3 surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space IV: The structure of the invariant