IMAP servers through APNS ping the iOS Mail about updates in certain pre-registered inboxes. Then iOS Mail re-fetches those inboxes.
The change signal is pushed; the data (inboxes/emails) aren’t.