Precision High Scale Baryogenesis

Explaining the cosmic matter–antimatter asymmetry requires baryogenesis before Big Bang nucleosynthesis. A precise treatment must evolve baryon and lepton flavour charges while including the relevant Standard Model Yukawa interactions and electroweak and QCD sphaleron processes. This talk introduces a full-flavour-covariant formalism and a new formalism covariant under quark flavour transformations. Applications include SO(10) leptogenesis and cloistered baryogenesis. The work also produces BOLEH, a public general-purpose code for BaryOn and Lepton charge Evolution in the Hot big bang.