O modelo electrodébil é uma teoria física que unifica a interacção débil e o electromagnetismo, dois das quatro forças fundamentais da natureza. A sua vez, este modelo acha-se incluído na Teoria de Grande Unificação (GUT), que une a interacção electrodébil com a interacção nuclear forte.
O modelo electrodébil foi desenvolvido nos anos 60 por Glashow , Salam e Weinberg. A constatación experimental das interacções débis mediadas por correntes carregadas (W±) levou-lhes a postular a existência das correntes neutras, as quais foram descobertas em 1973 pela colaboração Gargamelle. Estes três pesquisadores receberam o Prêmio Nobel de Física em 1979 .
Na formulación do Modelo Regular (SM) não existe a priori uma eleição única da simetría da Lagrangiana das interacções electrodébiles. Deduze-se, por tanto, de resultados experimentales. O grupo de simetría gauge mínimo capaz de acomodar as correntes carregadas é SUA(2). A observação de que as interacções electrodébiles actuam de maneira diferente sobre os fermiones dextrógiros e sobre os fermiones levógiros constitui uma das características deste modelo. Assim, as correntes carregadas incluem somente fermiones levógiros e não se conhecem neutrinos dextrógiros. É por isso que os campos fermiónicos levógiros são agrupados em dobletes, enquanto os campos dextrógiros são singletes do grupo SEU(2)L com simetría de isospín (onde o subíndice L unicamente indica a asimetría existente entre os fermiones de diferente helicidad):
| leptones: | ( | ne | )L | ( | nµ | )L | ( | nt | )L | eR | µR | tR | |||
| e | µ | t | |||||||||||||
| quarks: | ( | ou | )L | ( | c | )L | ( | t | )L | ouR | dR | cR | sR | tR | bR |
| d | s | b | |||||||||||||
O que quer dizer que as partículas são representantes de um grupo
. Na representação anterior não se pode (a não ser que se rompa explicitamente a simetría gauge) introduzir um termo de massa na lagrangiana que descreve a cinemática dos fermiones. Não obstante a realidade experimental dá conta da existência de massa nos bosones vectoriais. Por outro lado as forças electromagnética e débil actuam sobre os mesmos campos fermiónicos e não podem ser descritas por separado. Por todo isso, o grupo gauge mínimo que descreve as interacções electrodébiles é SUA(2)L × Ou(1)E. A simetría gauge local do grupo SEU(2)L está associado à conservação do isospín débil, T . A quantidade conservada pelo grupo Ou(1)E é a hipercarga, E , que se relaciona com o ónus eléctrico, Q, e com a terceira componente do isospín, T3, por médio da equação:
A exigência de que a lagrangiana que contém os termos cinemáticos dos campos fermiónicos seja invariante baixo transformações gauge definidas pelo grupo de simetría SEU(2)L × Ou(1)E introduz de maneira natural quatro campos bosónicos sem massa: Wiµ(x) (i = 1, 2, 3), sócios ao grupo SEU(2)L, e Bµ(x), sócio ao grupo Ou(1)E. Com estes campos define-se a derivada covariante:
onde g é a constante de acoplamento do grupo de isospín débil SEU(2)L e g´ é a constante de acoplamento do grupo de hipercarga Ou(1)E. O vetor t está formado pelas três matrizes de Pauli geradas pelo grupo SEU(2)L.
Finalmente a Lagrangiana electrodébil terá uma expressão da forma:
onde as duas lagrangianas descrevem os campos bosónicos (subíndice bos.) e fermiónicos (subíndice ferm.) e podem escrever da forma:
sendo:
Não obstante, esta construção resulta em bosones de massa nula. No entanto o facto experimental de que as interacções débis actuam só a distâncias extremamente pequenas, era um indicador claro de que os bosones transmissores da força débil deviam possuir massa, como foi demonstrado posteriormente. Um termo de massa da forma (1/2)mi2WiµWµi romperia explicitamente a simetría gauge, fazendo a teoria não renormalizable. O processo pelo qual se consegue introduzir os termos de massa no modelo se denomina ruptura espontánea de simetría electrodébil.