Big Bang Nucleosynthesis and the Neutrino-Extended Standard Model Effective Field Theory

We study the impact of light GeV-scale heavy neutral leptons (HNLs) on Big Bang nucleosynthesis (BBN) in the neutrino-extended Standard Model Effective Field Theory ($\nu$SMEFT). We show that, based on very general considerations, BBN constraints complement laboratory searches at colliders, beam dumps, and neutrinoless double beta decay, by providing an upper bound on the cut-off scale of the effective field theory for HNL masses above $\sim$100 MeV. We identify target regions for future laboratory probes of the $\nu$SMEFT parameter space that is bounded from above and below.