Кажется я нашел ответ на свой вопрос (поправьте, если буду нести чушь).
Дело вот в чем. Как для кварков, так и для лептонов, после спонтанного нарушения электрослабой симметрии появляются вообще говоря, недиагональные массовые матрицы.
Однако, всегда можно переопределить поля так, чтобы недиагональной была массовая матрица лишь для одной из компонент SU(2)-дублета.
Например, в случае лептонов - массовая матрица заряженных лептонов выбирается диагональной, а для нейтрино (если они массивны) - масоовая матрица оказывается в общем случае недиагональной.
Суть в том, что мы не можем путем переопределения полей диагонализовать массовые слагаемые одновременно для заряженных лептонов и для нейтрино
(см., например, К. В. Степаньянц, "Классическая теория поля", 2009 г., стр. 199).
То же справедливо в отношении верхних и нижних кварков. Если, например, мы диагонализуем массовую матрицу верхних кварков, то массовая матрица нижних будет недиагональной.
Мы можем дополнительно переопределить поля нижних кварков, чтобы диагонализовать их массовую матрицу:
где
- это CKM-матрица.
Тут и начинается самое главное:
Слабое взаимодействие по определению связывает верхние и нижние кварки, т.е. описывается слагаемым типа
- ковариантная производная.
Если мы переопределим поля нижних кварков, с помощью CKM-матрицы, диагонализовав их массовую матрицу, то это выражение примет вид
Поэтому, слабое вз-ствие кварков (как и лептонов) оказывается недиагональным в массовом базисе.
В случае сильного вз-ствия происходит переход нижнего кварка в нижний, а верхнего - в верхний же, что описывается слагаемыми вида
Очевидно, что производя линейное преобразование полей
в этом выражении с помощью матрицы
, мы получим то же самое выражение, т.к.
для
в нем сокращается с
для
в силу унитарности
.
Это довольно тривиально, если это верно :)