There is no use of IMAP, it's using the Gmail API. It does poll the Gmail API frequently which is currently the recommended method of checking for new email according to Google.
I know at some point they will switch to PubSubHubbub as the preferred way to get notifications.
I know at some point they will switch to PubSubHubbub as the preferred way to get notifications.