One-loop symmetry-restoring finite counter-terms in the Standard Model Effective Field Theory

We discuss dimensional regularization in the Breitenlohner-Maison-'t Hooft-Veltman scheme. Our goal is to calculate within this framework finite counter-terms in chiral theories which reestablish the Slavnov-Taylor identities at one loop. These counter-terms are necessary due to the presence of evanescent symmetry-breaking terms in the classical Lagrangian, which are needed to regularize fermion propagators. We focus on dimension-6 four-fermion operators of the Standard Model Effective Field Theory, determining the required set of finite counter-terms. As expected, we find no obstructions to the Slavnov-Taylor identities which cannot be removed by the introduction of such category of counter-terms.