Formal Brauer groups arising from certain weighted K3 surfaces \(K3\) surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space. IV: The structure of the invariant 