Para ver formalmente como funciona el mecanismo de Higgs desde un punto de vista matemático se parte de una lagrangiana que describe dos campos bosónicos escalares complejos, en la que por un mecanismo de Higgs ocurrirá una ruptura de simetría local no abeliana.