Partitions and Hecke images

We obtain a new family of relations satisfied by the partition function. In contrast with most partition relations, these involve non-trivial roots of unity. We present two proofs, one using the fact that the discriminant modular form is a multiplicative Hecke eigenform, and one direct proof using q-series.