Чтобы продвинуться дальше, приходится принять определенную гипотезу о механизме нарушения SU(2) × U(1). В перенормируемой SU(2) × U(1) — теории единственным полем, с помощью которого можно было бы придать электрону массу за счет отличных от нуля вакуумных средних, является SU(2) — дублет частиц (
Следующей проблемой была перенормируемость. Правила Фейнмана для теорий Янга-Миллса с ненарушенными калибровочными симметриями были разработаны [28] де Виттом, Фаддеевым и Поповым и другими, причем было известно, что такие теории перенормируемы. Однако в 1967 г. я еще не знал, как можно доказать, что это свойство перенормируемости не портится при спонтанном нарушении симметрии. Я усиленно работал над этой задачей в течение нескольких лет, частично вместе с моими студентами [29], но продвинулся в решении вопроса не намного. Оглядываясь назад, можно понять, что основная трудность заключалась в том, что при квантовании векторных полей я использовал калибровку, которая известна сейчас под названием унитарной калибровки [30]. Такая калибровка имеет ряд существенных преимуществ, например, она дает истинный спектр частиц в теории, но у нее есть и крупный недостаток, состоящий в том, что свойство перенормируемости в такой калибровке практически невозможно выяснить.
Наконец, в 1971 году 'т Хоофт [31] показал в своей прекрасной статье, как можно разрешить эту проблему. Он придумал калибровку, в которой (наподобие «фейнмановской калибровке» в квантовой электродинамике) правила Фейнмана явно приводили только к конечному числу типов ультрафиолетовых расходимостей. Необходимо было также показать, что эти бесконечности удовлетворяли практически тем же ограничениям, что и лагранжиан теории, так что они могли бы быть устранены путем переопределения параметров этой теории. (Это казалось естественным, но доказательство не было простым, потому что калибровочно инвариантную теорию можно проквантовать лишь после того как выбрана определенная калибровка, так что совсем не очевидно, что ультрафиолетовые расходимости удовлетворяют тем же ограничениям, вытекающим из калибровочной инвариантности, что и сам лагранжиан.) Вскоре доказательство было завершено [32] в работах Ли и Зинн-Жюстена, а также 'т Хоофта и Велтмана. Совсем недавно Бекки, Руэ и Стора [33] придумали изящный метод проведения такого доказательства, использующий глобальную суперсимметрию калибровочных теорий, которая сохраняется даже при выборе какой-либо специфической калибровки.
Мне придется признать, что, когда я впервые увидел статью 'т Хоофта в 1971 г., я не поверил, что им найден путь доказательства перенормируемости. Но это была уже моя беда, а не вина 'т Хоофта: я просто не был достаточно хорошо знаком с формализмом интегралов по траекториям, на котором основывалась работа 'т Хоофта, и мне хотелось увидеть вывод фейнмановских правил в калибровке 'т Хоофта из канонического квантования. Вскоре это было показано (для ограниченного класса калибровочных теорий) в статье Бена Ли [34]. После статьи Ли я уже был готов к восприятию мысли о том, что перенормируемость единой теории практически доказана.
К тому времени многие физики-теоретики поверили в общий подход, развиваемый Саламом и мною, т. е. в то, что слабые и электромагнитные взаимодействия управляются некой группой точных локальных калибровочных симметрий, эта группа спонтанно нарушена до U(1), за счет чего все векторные бозоны, за исключением фотона, приобретают массу, и такая теория перенормируема. Оставалось, правда, еще не ясным, действительно ли природа выбрала ту специфическую модель, которую мы предлагали. Конечно, только эксперимент мог дать ответ на этот вопрос.