Equivariant formal group laws and p-typicality

The geometry of formal group laws informs and controls much of the structure of stable homotopy theory, and the notion of "p-typical formal group law" leads to one construction of the important Brown--Peterson spectra. In equivariant stable homotopy theory, it is not totally clear which notion of equivariant p-typicality should be used to construct equivariant Brown--Peterson spectra. This talk will start with Strickland's notion of p-typicality for equivariant formal group laws and construct a lift of Quillen's idempotent to equivariant complex cobordism, producing an equivariant Brown--Peterson spectrum.