Articulo de referencia

ecuación de Majorana

En física , la ecuación de Majorana es una ecuación de onda relativista . Recibe su nombre del físico italiano Ettore Majorana , quien la propuso en 1937 como un medio para desc...

En física , la ecuación de Majorana es una ecuación de onda relativista . Recibe su nombre del físico italiano Ettore Majorana , quien la propuso en 1937 como un medio para describir fermiones que son su propia antipartícula . [ 1 ] Las partículas que corresponden a esta ecuación se denominan partículas de Majorana , aunque ese término ahora tiene un significado más amplio, refiriéndose a cualquier partícula fermiónica (posiblemente no relativista) que sea su propia antipartícula (y por lo tanto sea eléctricamente neutra).

Se han propuesto que los neutrinos masivos se describen mediante partículas de Majorana; existen diversas extensiones del Modelo Estándar que lo permiten. El artículo sobre partículas de Majorana presenta el estado actual de las búsquedas experimentales, incluyendo detalles sobre los neutrinos. Este artículo se centra principalmente en el desarrollo matemático de la teoría, prestando especial atención a sus simetrías discretas y continuas . Las simetrías discretas son la conjugación de carga , la transformación de paridad y la inversión temporal ; la simetría continua es la invariancia de Lorentz .

La conjugación de carga desempeña un papel fundamental, ya que es la simetría clave que permite describir las partículas de Majorana como eléctricamente neutras. Un aspecto particularmente notable es que la neutralidad eléctrica permite elegir libremente varias fases globales, una para cada campo quiral ( izquierdo y derecho ). Esto implica que, sin restricciones explícitas sobre estas fases, los campos de Majorana violan naturalmente la simetría CP . Otro aspecto de la neutralidad eléctrica es que a los campos quirales izquierdo y derecho se les pueden asignar masas distintas. Es decir, la carga eléctrica es un invariante de Lorentz y también una constante de movimiento ; mientras que la quiralidad es un invariante de Lorentz, pero no una constante de movimiento para campos masivos. Por lo tanto, los campos eléctricamente neutros están menos restringidos que los campos cargados. Bajo la conjugación de carga, las dos fases globales libres aparecen en los términos de masa (ya que son invariantes de Lorentz), por lo que la masa de Majorana se describe mediante una matriz compleja, en lugar de un solo número. En resumen, las simetrías discretas de la ecuación de Majorana son considerablemente más complicadas que las de la ecuación de Dirac , donde la carga eléctricaU(1){\displaystyle U(1)}La simetría restringe y elimina estas libertades.

Definición

La ecuación de Majorana se puede escribir de varias formas distintas:

Estas tres formas son equivalentes y pueden derivarse una de la otra. Cada una ofrece una perspectiva ligeramente diferente sobre la naturaleza de la ecuación. La primera forma enfatiza que se pueden encontrar soluciones puramente reales. La segunda forma aclara el papel de la conjugación de carga . La tercera forma proporciona el contacto más directo con la teoría de representación del grupo de Lorentz .

Forma puramente real de cuatro componentes

El punto de partida convencional es afirmar que "la ecuación de Dirac se puede escribir en forma hermitiana ", cuando las matrices gamma se toman en la representación de Majorana . La ecuación de Dirac se escribe entonces como [ 6 ].

(itiα^+βmetro)ψ=0{\displaystyle \left(\,-i\,{\frac {\partial }{\partial t}}-i\,{\hat {\alpha }}\cdot \nabla +\beta \,m\,\right)\,\psi =0}

conα^{\displaystyle {\sombrero {\alpha }}}siendo matrices simétricas puramente reales de 4×4, yβ{\displaystyle \beta }siendo antisimétrico puramente imaginario; como se requiere para asegurar que el operador (esa parte dentro de los paréntesis) sea hermitiano. En este caso, se pueden encontrar soluciones de 4 espinores puramente reales para la ecuación; estos son los espinores de Majorana .

Forma de cuatro componentes conjugada por carga

La ecuación de Majorana es

i/ψmetroψdo=0 {\displaystyle i\,{\partial \!\!\!{\big /}}\psi -m\,\psi _{c}=0~}

con el operador derivado/{\displaystyle {\partial \!\!\!{\big /}}}escrito en notación de barra de Feynman para incluir las matrices gamma así como una suma sobre los componentes espinoriales. El espinorψdo{\textstyle \,\psi _{c}\,}es la carga conjugada deψ.{\textstyle \,\psi \,.}Por construcción, los conjugados de carga están necesariamente dados por

ψdo=ηdodoψ¯T {\displaystyle \psi _{c}=\eta _{c}\,C\,{\overline {\psi }}^{\mathsf {T}}~}

dónde()T{\displaystyle \,(\cdot )^{\mathsf {T}}\,}denota la transpuesta ,ηdo{\displaystyle \,\eta _{c}\,}es un factor de fase arbitrario|ηdo|=1,{\displaystyle \,|\eta _ {c}|=1\,,}convencionalmente se toma comoηdo=1,{\displaystyle \,\eta _ {c}=1\,,}ydo{\displaystyle \,C\,}es una matriz de 4×4, la matriz de conjugación de carga . La representación matricial dedo{\displaystyle \,C\,}depende de la elección de la representación de las matrices gamma . Por convención, el espinor conjugado se escribe como

ψ¯=ψγ0 .{\displaystyle {\overline {\psi }}=\psi ^{\dagger }\,\gamma ^{0}~.}

De la matriz de conjugación de carga se derivan varias identidades algebraicas.do.{\displaystyle C.}[ a ] ​​Se afirma que en cualquier representación de lasmatrices gamma, incluidas las representaciones de Dirac, Weyl y Majorana, quedoγμ=γμTdo{\displaystyle \,C\,\gamma _{\mu }=-\gamma _{\mu }^{\mathsf {T}}\,C\,}y así se puede escribir

ψdo=ηdoγ0doψ {\displaystyle \psi _{c}=-\eta _{c}\,\gamma ^{0}\,C\,\psi ^{*}~}

dóndeψ{\displaystyle \,\psi ^{*}\,}es el conjugado complejo deψ.{\displaystyle \,\psi \,.}La matriz de conjugación de cargado{\displaystyle \,C\,}también tiene la propiedad de que

do1=do=doT=do{\displaystyle C^{-1}=C^{\dagger }=C^{\mathsf {T}}=-C}

en todas las representaciones (Dirac, quiral, Majorana). A partir de esto, y con un poco de álgebra, se puede obtener la ecuación equivalente:

i/ψdometroψ=0{\displaystyle i\,{\partial \!\!\!{\big /}}\psi _{c}-m\,\psi =0}
Prueba

Esta forma no es del todo obvia, por lo que merece una demostración. Empezando por

i/ψ+metroψdo=0{\displaystyle -i\,{\partial \!\!\!{\big /}}\psi +m\,\psi _{c}=0}

Expandirψdo=doψ¯T{\displaystyle \,\psi _{c}=C\,{\overline {\psi }}^{\mathsf {T}}\,}:

i/ψ+metrodoψ¯T=0{\displaystyle -i\,{\partial \!\!\!{\big /}}\psi +m\,C\,{\overline {\psi }}^{\mathsf {T}}=0}

Multiplicar pordo{\displaystyle \,C\,}usardo2=1{\displaystyle \,C^{2}=-1\,}:

ido/do1doψmetroψ¯T=0{\displaystyle -i\,C\,{\partial \!\!\!{\big /}}C^{-1}\,C\,\psi -m\,{\overline {\psi }}^{\mathsf {T}}=0}

La conjugación de carga transpone las matrices gamma:

+i/Tdoψmetro(γ0)Tψ=0{\displaystyle +i\,{\partial \!\!\!{\big /}}^{\mathsf {T}}\,C\,\psi -m\,\left(\gamma ^{0}\right)^{\mathsf {T}}\,\psi ^{*}=0}

Toma el conjugado complejo:

i/doψmetro(γ0)ψ=0{\displaystyle -i\,{\partial \!\!\!{\big /}}^{\dagger }C^{*}\,\psi ^{*}-m\,\left(\gamma ^{0}\right)^{\dagger }\,\psi =0}

La matrizγ0{\displaystyle \,\gamma ^{0}\,}es hermitiano,(γ0)=γ0{\displaystyle \,\left(\gamma ^{0}\right)^{\dagger }=\gamma ^{0}\,}en las tres representaciones (Dirac, quiral, Majorana):

i/doψmetroγ0ψ=0{\displaystyle -i\,{\partial \!\!\!{\big /}}^{\dagger }C^{*}\,\psi ^{*}-m\,\gamma ^{0}\,\psi =0}

También es una involución , tomando el conjugado hermitiano :γ0γμγ0=(γμ){\displaystyle \,\gamma ^{0}\,\gamma ^{\mu }\,\gamma ^{0}=\left(\gamma ^{\mu }\right)^{\dagger }}

iγ0/γ0doψmetroγ0ψ=0{\displaystyle -i\,\gamma ^{0}\,{\partial \!\!\!{\big /}}\gamma ^{0}\,C^{*}\,\psi ^{*}-m\,\gamma ^{0}\,\psi =0}

Multiplicar porγ0{\displaystyle \,\gamma ^{0}\,}, tenga en cuenta que(γ0)2=I{\displaystyle \,\left(\gamma ^{0}\right)^{2}=I\,}y hacer uso dedo=do{\displaystyle \,C^{*}=C\,}:

i/γ0doψmetroψ=0{\displaystyle -i\,{\partial \!\!\!{\big /}}\gamma ^{0}\,C\,\psi ^{*}-m\,\psi =0}

Lo anterior es simplemente la definición del conjugado, por lo que se concluye que

i/ψdometroψ=0{\displaystyle i\,{\partial \!\!\!{\big /}}\psi _{c}-m\,\psi =0}

Una discusión detallada de la interpretación física de la matrizdo{\displaystyle C}La conjugación de carga se puede encontrar en el artículo sobre conjugación de carga . En resumen, está involucrada en el mapeo de partículas a sus antipartículas , lo que incluye, entre otras cosas, la inversión de la carga eléctrica . Aunqueψdo{\displaystyle \psi ^{c}}se define como "el conjugado de carga" deψ,{\displaystyle \psi ,}El operador de conjugación de carga tiene no uno, sino dos autovalores. Esto permite definir un segundo espinor, el espinor ELKO . Este tema se analiza con mayor detalle más adelante.

Forma compleja de dos componentes

El operador Majorana ,DL,{\displaystyle \,\mathrm {D} _{\text{L}}\,,}se define como

DLiσ¯μμ+ηmetroωK{\displaystyle \mathrm {D} _{\text{L}}\equiv i\,{\overline {\sigma }}^{\mu }\,\partial _{\mu }+\eta \,m\,\omega \,K}

dónde

σ¯μ=[σ0σ1σ2σ3]=[I2σincógnitaσyσz]{\displaystyle {\overline {\sigma }}^{\mu }={\begin{bmatrix}\sigma ^{0}&-\sigma ^{1}&-\sigma ^{2}&-\sigma ^{3}\end{bmatrix}}={\begin{bmatrix}I_{2}&-\sigma _{\text{x}}&-\sigma _{\text{y}}&-\sigma _{\text{z}}\end{bmatrix}}}

es un vector cuyos componentes son la matriz identidad de 2×2I2{\displaystyle \,I_{2}\,}paraμ=0{\displaystyle \,\mu =0\,}y (menos) las matrices de Pauli paraμ{1,2,3}.{\displaystyle \,\mu \in \{1,\,2,\,3\}\,.}Elη{\displaystyle \,\eta \,}es un factor de fase arbitrario ,|η|=1,{\displaystyle \,|\eta |=1\,,}generalmente se toma como uno:η=1.{\displaystyle \,\eta =1\,.}Elω{\displaystyle \,\omega \,}es una matriz de 2×2 que puede interpretarse como la forma simpléctica para el grupo simplécticoSp(2,do),{\displaystyle \,\operatorname {Sp} (2,\mathbb {C} )\,,}que es una doble cobertura del grupo de Lorentz . Es

ω=iσ2=[0110] ,{\displaystyle \omega =i\,\sigma _{2}={\begin{bmatrix}0&1\\-1&0\end{bmatrix}}~,}

que resulta ser isomorfo a la unidad imaginaria " i " (es decir,ω2=I{\displaystyle \omega ^{2}=-I\,}yaI+bωa+bido{\displaystyle \,a\,I+b\,\omega \cong a+b\,i\in \mathbb {C} \,}paraa,bR{\displaystyle \,a,b\in \mathbb {R} }) siendo la transpuesta de la matriz el análogo de la conjugación compleja .

Finalmente, elK{\displaystyle \,K\,}es un recordatorio abreviado para tomar el conjugado complejo. La ecuación de Majorana para un espinor de dos componentes de valor complejo zurdoψL{\displaystyle \,\psi _{\text{L}}\,}es entonces

DLψL=0{\displaystyle \mathrm {D} _{\text{L}}\psi _{\text{L}}=0}

o, equivalentemente,

iσ¯μμψL(incógnita)+ηmetroωψL(incógnita)=0{\displaystyle i\,{\overline {\sigma }}^{\mu }\,\partial _{\mu }\psi _{\text{L}}(x)+\eta \,m\,\omega \,\psi _{\text{L}}^{*}(x)=0}

conψL(incógnita){\displaystyle \,\psi _{\text{L}}^{*}(x)\,}el conjugado complejo deψL(incógnita).{\displaystyle \,\psi _{\text{L}}(x)\,.}En esta sección , el subíndice L se utiliza para denotar un espinor quiral levógiro ; mediante una transformación de paridad , este se puede transformar en un espinor dextrógiro, obteniéndose así una forma dextrógira de la ecuación. Esto también se aplica a la ecuación de cuatro componentes; a continuación se presentan más detalles.

Ideas clave

Aquí se resumen algunas de las propiedades de la ecuación de Majorana, su solución y su formulación lagrangiana.

  • La ecuación de Majorana es similar a la ecuación de Dirac , en el sentido de que involucra espinores de cuatro componentes, matrices gamma y términos de masa, pero incluye el conjugado de carga. ψdo{\textstyle \psi _{c}}de un espino ψ{\textstyle \psi }. En cambio, la ecuación de Weyl es para espinores de dos componentes sin masa.
  • Las soluciones a la ecuación de Majorana pueden interpretarse como partículas eléctricamente neutras que son su propia antipartícula. Por convención, el operador de conjugación de carga transforma las partículas en sus antipartículas, por lo que el espinor de Majorana se define convencionalmente como la solución dondeψ=ψdo.{\displaystyle \psi =\psi _{c}.}Es decir, el espinor de Majorana es "su propia antipartícula". Dado que la conjugación de carga transforma una partícula con carga eléctrica en su antipartícula de carga opuesta, se debe concluir que el espinor de Majorana es eléctricamente neutro.
  • La ecuación de Majorana es covariante de Lorentz , y a partir de sus espinores se pueden construir diversos escalares de Lorentz. Esto permite construir varios lagrangianos distintos para los campos de Majorana.
  • Cuando el lagrangiano se expresa en términos de espinores quirales de dos componentes (izquierdo y derecho) , puede contener tres términos de masa distintos: los términos de masa de Majorana izquierdo y derecho, y un término de masa de Dirac. Estos se manifiestan físicamente como dos masas distintas; esta es la idea clave del mecanismo de balancín para describir los neutrinos de baja masa con un acoplamiento levógiro al modelo estándar, donde el componente dextrógiro corresponde a un neutrino estéril a masas de escala GUT .
  • Las simetrías discretas de la conjugación C , P y T están íntimamente controladas por un factor de fase elegido libremente en el operador de conjugación de carga . Esto se manifiesta como fases complejas distintas en los términos de masa. Esto permite escribir lagrangianos tanto simétricos como que violan la simetría CP .
  • Los campos de Majorana son invariantes bajo CPT , pero esta invariancia es, en cierto sentido, más flexible que en el caso de partículas cargadas. Esto se debe a que la carga es necesariamente una propiedad invariante bajo Lorentz y, por lo tanto, está restringida para campos cargados. Los campos neutros de Majorana no están restringidos de esta manera y pueden mezclarse.

Ecuación de Majorana de dos componentes

La ecuación de Majorana puede escribirse tanto en términos de un espinor real de cuatro componentes como de un espinor complejo de dos componentes. Ambas pueden construirse a partir de la ecuación de Weyl , con la adición de un término de masa propiamente covariante de Lorentz. [ 7 ] Esta sección proporciona una construcción y articulación explícitas.

ecuación de Weyl

La ecuación de Weyl describe la evolución temporal de un espinor de dos componentes de valor complejo sin masa . Se escribe convencionalmente como [ 8 ] [ 9 ] [ 10 ].

σμμψ=0{\displaystyle \sigma ^{\mu }\partial _{\mu }\psi =0}

Escrito explícitamente, es

I2ψt+σincógnitaψincógnita+σyψy+σzψz=0{\displaystyle I_{2}{\frac {\partial \psi }{\partial t}}+\sigma _{x}{\frac {\partial \psi }{\partial x}}+\sigma _{y}{\frac {\partial \psi }{\partial y}}+\sigma _{z}{\frac {\partial \psi }{\partial z}}=0}

El cuadrivector de Pauli es

σμ=(σ0σ1σ2σ3)=(I2σincógnitaσyσz){\displaystyle \sigma ^{\mu }={\begin{pmatrix}\sigma ^{0}&\sigma ^{1}&\sigma ^{2}&\sigma ^{3}\end{pmatrix}}={\begin{pmatrix}I_{2}&\sigma _{x}&\sigma _{y}&\sigma _{z}\end{pmatrix}}}

es decir, un vector cuyos componentes son la matriz identidad de 2 × 2I2{\displaystyle I_{2}}para μ = 0 y las matrices de Pauli para μ = 1, 2, 3. Bajo la transformación de paridadincógnitaincógnita=incógnita{\displaystyle {\vec {x}}\to {\vec {x}}^{\prime }=-{\vec {x}}}se obtiene una ecuación dual

σ¯μμψ=0{\displaystyle {\bar {\sigma }}^{\mu }\partial _{\mu }\psi =0}

dóndeσ¯μ=(I2σincógnitaσyσz){\displaystyle {\bar {\sigma }}^{\mu }={\begin{pmatrix}I_{2}&-\sigma _{x}&-\sigma _{y}&-\sigma _{z}\end{pmatrix}}}Estas son dos formas distintas de la ecuación de Weyl; sus soluciones también lo son. Se puede demostrar que las soluciones tienen helicidad levógira y dextrógira , y por lo tanto quiralidad . Es convencional etiquetar explícitamente estas dos formas distintas, así:

σμμψR=0σ¯μμψL=0 .{\displaystyle \sigma ^{\mu }\partial _{\mu }\psi _{\rm {R}}=0\qquad {\bar {\sigma }}^{\mu }\partial _{\mu }\psi _{\rm {L}}=0~.}

invariancia de Lorentz

La ecuación de Weyl describe una partícula sin masa ; la ecuación de Majorana añade un término de masa. La masa debe introducirse de forma invariante de Lorentz . Esto se logra observando que el grupo lineal especialSL(2,do){\displaystyle \operatorname {SL} (2,\mathbb {C} )}es isomorfo al grupo simplécticoSp(2,do).{\displaystyle \operatorname {Sp} (2,\mathbb {C} ).}Ambos grupos son versiones dobles del grupo Lorentz.ENTONCES(1,3).{\displaystyle \operatorname {SO} (1,3).}La invariancia de Lorentz del término derivado (de la ecuación de Weyl) se formula convencionalmente en términos de la acción del grupo.SL(2,do){\displaystyle \operatorname {SL} (2,\mathbb {C} )}en espinores, mientras que la invariancia de Lorentz del término de masa requiere la invocación de la relación definitoria para el grupo simpléctico.

El recubrimiento doble del grupo de Lorentz viene dado por

σ¯μΛμν=Sσ¯νS{\displaystyle {\overline {\sigma }}_{\mu }{\Lambda ^{\mu }}_{\nu }=S{\overline {\sigma }}_{\nu }S^{\dagger }}

dóndeΛENTONCES(1,3){\displaystyle \Lambda \in \operatorname {SO} (1,3)}ySSL(2,do){\displaystyle S\in \operatorname {SL} (2,\mathbb {C} )}yS{\displaystyle S^{\dagger }}es la transpuesta hermitiana . Esto se utiliza para relacionar las propiedades de transformación de los diferenciales bajo una transformación de Lorentz.incógnitaincógnita=Λincógnita{\displaystyle x\mapsto x^{\prime }=\Lambda x}a las propiedades de transformación de los espinores.

El grupo simplécticoSp(2,do){\displaystyle \operatorname {Sp} (2,\mathbb {C} )}se define como el conjunto de todas las matrices complejas de 2×2S{\displaystyle S}que satisfacen

ω1STω=S1{\displaystyle \omega ^{-1}S^{\textsf {T}}\omega =S^{-1}}

dónde

ω=iσ2=[0110]{\displaystyle \omega =i\sigma _{2}={\begin{bmatrix}0&1\\-1&0\end{bmatrix}}}

es una matriz antisimétrica . Se utiliza para definir una forma bilineal simpléctica endo2.{\displaystyle \mathbb {C} ^{2}.}Escribir un par de vectores bidimensionales arbitrarios,vdo2{\displaystyle u,v\in \mathbb {C} ^{2}}como

=(12)v=(v1v2){\displaystyle u={\begin{pmatrix}u_{1}\\u_{2}\end{pmatrix}}\qquad v={\begin{pmatrix}v_{1}\\v_{2}\end{pmatrix}}}

El producto simpléctico es

,v=v,=1v22v1=Tωv{\displaystyle \langle u,v\rangle =-\langle v,u\rangle =u_{1}v_{2}-u_{2}v_{1}=u^{\textsf {T}}\omega v}

dóndeT{\displaystyle u^{\textsf {T}}}es la transpuesta de .{\displaystyle u~.} Esta forma es invariante bajo transformaciones de Lorentz, en el sentido de que

,v=S,Sv{\displaystyle \langle u,v\rangle =\langle Su,Sv\rangle }

La matriz sesgada toma las matrices de Pauli para restarles su transpuesta:

ωσkω1=σkT{\displaystyle \omega \sigma _{k}\omega ^{-1}=-\sigma _{k}^{\textsf {T}}}

parak=1,2,3.{\displaystyle k=1,2,3.}La matriz sesgada puede interpretarse como el producto de una transformación de paridad y una transposición que actúa sobre dos espinores. Sin embargo, como se destacará en una sección posterior, también puede interpretarse como uno de los componentes del operador de conjugación de carga , siendo el otro componente la conjugación compleja . Al aplicarla a la transformación de Lorentz se obtiene

σμΛμν=(S1)σνS1{\displaystyle \sigma _{\mu }{\Lambda ^{\mu }}_{\nu }=\left(S^{-1}\right)^{\dagger }\sigma _{\nu }S^{-1}}

Estas dos variantes describen las propiedades de covarianza de los diferenciales que actúan sobre los espinores izquierdo y derecho, respectivamente.

Diferenciales

Bajo la transformación de Lorentzincógnitaincógnita=Λincógnita{\displaystyle x\mapsto x^{\prime }=\Lambda x}El término diferencial se transforma como

σμincógnitaμψR(incógnita)σμincógnitaμψR(incógnita)=(S1)σμincógnitaμψR(incógnita){\displaystyle \sigma ^{\mu }{\frac {\partial }{\partial x^{\mu }}}\psi _{\rm {R}}(x)\mapsto \sigma ^{\mu }{\frac {\partial }{\partial x^{\prime \mu }}}\psi _{\rm {R}}(x^{\prime })=\left(S^{-1}\right)^{\dagger }\sigma ^{\mu }{\frac {\partial }{\partial x^{\mu }}}\psi _{\rm {R}}(x)}

siempre que el campo diestro se transforme como

ψR(incógnita)ψR(incógnita)=SψR(incógnita){\displaystyle \psi _{\rm {R}}(x)\mapsto \psi _{\rm {R}}^{\prime }(x^{\prime })=S\psi _{\rm {R}}(x)}

De manera similar, las transformaciones diferenciales zurdas como

σ¯μincógnitaμψL(incógnita)σ¯μincógnitaμψL(incógnita)=Sσ¯μincógnitaμψL(incógnita){\displaystyle {\overline {\sigma }}^{\mu }{\frac {\partial }{\partial x^{\mu }}}\psi _{\rm {L}}(x)\mapsto {\overline {\sigma }}^{\mu }{\frac {\partial }{\partial x^{\prime \mu }}}\psi _{\rm {L}}(x^{\prime })=S{\overline {\sigma }}^{\mu }{\frac {\partial }{\partial x^{\mu }}}\psi _{\rm {L}}(x)}

siempre que el espinor zurdo se transforme como

ψL(incógnita)ψL(incógnita)=(S)1ψL(incógnita){\displaystyle \psi _{\rm {L}}(x)\mapsto \psi _{\rm {L}}^{\prime }(x^{\prime })=\left(S^{\dagger }\right)^{-1}\psi _{\rm {L}}(x)}
Prueba

Estas propiedades de transformación no son particularmente "obvias", por lo que merecen una derivación cuidadosa. Comencemos con la forma

ψR(incógnita)ψR(incógnita)=RψR(incógnita){\displaystyle \psi _{\rm {R}}(x)\mapsto \psi _{\rm {R}}^{\prime }(x^{\prime })=R\psi _{\rm {R}}(x)}

por algún desconocidoRSL(2,do){\displaystyle R\in \mathrm {SL} (2,\mathbb {C} )}por determinar. La transformada de Lorentz, en coordenadas, es

incógnitaμ=Λμνincógnitaν{\displaystyle x^{\prime \mu }={\Lambda ^{\mu }}_{\nu }x^{\nu }}

o, equivalentemente,

incógnitaν=(Λ1)νμincógnitaμ{\displaystyle x^{\nu }={\left(\Lambda ^{-1}\right)^{\nu }}_{\mu }x^{\prime \mu }}

Esto conduce a

σμμψR(incógnita)=σμincógnitaμψR(incógnita)=σμincógnitaνincógnitaμincógnitaνRψR(incógnita)=σμ(Λ1)νμincógnitaνRψR(incógnita)=σμ(Λ1)νμνRψR(incógnita){\displaystyle {\begin{aligned}&\sigma ^{\mu }\partial _{\mu }^{\prime }\psi _{\rm {R}}(x^{\prime })\\{}={}&\sigma ^{\mu }{\frac {\partial }{\partial x^{\prime \mu }}}\psi _{\rm {R}}(x^{\prime })\\{}={}&\sigma ^{\mu }{\frac {\partial x^{\nu }}{\partial x^{\prime \mu }}}{\frac {\partial }{\partial x^{\nu }}}R\psi _{\rm {R}}(x)\\{}={}&\sigma ^{\mu }{\left(\Lambda ^{-1}\right)^{\nu }}_{\mu }{\frac {\partial }{\partial x^{\nu }}}R\psi _{\rm {R}}(x)\\{}={}&\sigma ^{\mu }{\left(\Lambda ^{-1}\right)^{\nu }}_{\mu }\partial _{\nu }R\psi _{\rm {R}}(x)\end{aligned}}}

Para utilizar el mapa de Weyl

σμΛμν=(S1)σνS1{\displaystyle \sigma _{\mu }{\Lambda ^{\mu }}_{\nu }=\left(S^{-1}\right)^{\dagger }\sigma _{\nu }S^{-1}}

Es necesario aumentar y disminuir algunos índices. Esto es más fácil decirlo que hacerlo, ya que implica la identidad.

ηΛTη=Λ1{\displaystyle \eta \Lambda ^{T}\eta =\Lambda ^{-1}}

dóndeη=diagnóstico(+1,1,1,1){\displaystyle \eta =\operatorname {diag} (+1,-1,-1,-1)}es la métrica de Minkowski en espacio plano . La identidad anterior se usa a menudo para definir los elementos.ΛENTONCES(1,3).{\displaystyle \Lambda \in \operatorname {SO} (1,3).}Se toma la transpuesta:

(Λ1)νμ=(Λ1T)μν{\displaystyle {\left(\Lambda ^{-1}\right)^{\nu }}_{\mu }={\left(\Lambda ^{-1T}\right)_{\mu }}^{\nu }}

escribir

σμ(Λ1)νμνRψR(incógnita)=σμ(Λ1T)μννRψR(incógnita)=σμΛμννRψR(incógnita)=(S1)σμμS1RψR(incógnita){\displaystyle {\begin{aligned}&\sigma ^{\mu }{\left(\Lambda ^{-1}\right)^{\nu }}_{\mu }\partial _{\nu }R\psi _{\rm {R}}(x)\\{}={}&\sigma ^{\mu }{\left(\Lambda ^{-1T}\right)_{\mu }}^{\nu }\partial _{\nu }R\psi _{\rm {R}}(x)\\{}={}&\sigma _{\mu }{\Lambda ^{\mu }}_{\nu }\partial ^{\nu }R\psi _{\rm {R}}(x)\\{}={}&\left(S^{-1}\right)^{\dagger }\sigma _{\mu }\partial ^{\mu }S^{-1}R\psi _{\rm {R}}(x)\end{aligned}}}

De este modo se recupera la forma original siS1R=1,{\displaystyle S^{-1}R=1,}eso es,R=S.{\displaystyle R=S.} Al realizar las mismas manipulaciones para la ecuación de mano izquierda, se concluye que

ψL(incógnita)ψL(incógnita)=LψL(incógnita){\displaystyle \psi _{\rm {L}}(x)\mapsto \psi _{\rm {L}}^{\prime }(x^{\prime })=L\psi _{\rm {L}}(x)}

conL=(S)1.{\displaystyle L=\left(S^{\dagger }\right)^{-1}.}[ b ]

Término masivo

El conjugado complejo del campo espinorial dextrógiro se transforma como

ψR(incógnita)ψR(incógnita)=SψR(incógnita){\displaystyle \psi _{\rm {R}}^{*}(x)\mapsto \psi _{\rm {R}}^{\prime *}(x^{\prime })=S^{*}\psi _{\rm {R}}^{*}(x)}

La relación definitoria paraSp(2,do){\displaystyle \operatorname {Sp} (2,\mathbb {C} )}puede reescribirse comoωS=(S)1ω.{\displaystyle \omega S^{*}=\left(S^{\dagger }\right)^{-1}\omega \,.} De esto se concluye que el campo asimétrico complejo se transforma como

metroωψR(incógnita)metroωψR(incógnita)=(S)1metroωψR(incógnita){\displaystyle m\omega \psi _{\rm {R}}^{*}(x)\mapsto m\omega \psi _{\rm {R}}^{\prime *}(x^{\prime })=\left(S^{\dagger }\right)^{-1}m\omega \psi _{\rm {R}}^{*}(x)}

Esto es totalmente compatible con la propiedad de covarianza del diferencial. Tomandoη=miiϕ{\displaystyle \eta =e^{i\phi }}ser un factor de fase complejo arbitrario, la combinación lineal

iσμμψR(incógnita)+ηmetroωψR(incógnita){\displaystyle i\sigma ^{\mu }\partial _{\mu }\psi _{\rm {R}}(x)+\eta m\omega \psi _{\rm {R}}^{*}(x)}

se transforma de forma covariante. Si se establece en cero, se obtiene la ecuación de Majorana compleja de dos componentes para el campo diestro. De manera similar, la ecuación de Majorana quiral izquierda (que incluye un factor de fase arbitrario)ζ{\displaystyle \zeta }) es

iσ¯μμψL(incógnita)+ζmetroωψL(incógnita)=0{\displaystyle i{\overline {\sigma }}^{\mu }\partial _{\mu }\psi _{\rm {L}}(x)+\zeta m\omega \psi _{\rm {L}}^{*}(x)=0}

Las versiones quirales izquierda y derecha están relacionadas por una transformación de paridad . Como se muestra a continuación, estas son cuadradas al operador de Klein-Gordon solo siη=ζ.{\displaystyle \eta =\zeta .}El complejo conjugado asimétricoωψ=iσ2ψ{\displaystyle \omega \psi ^{*}=i\sigma ^{2}\psi }puede ser reconocido como la forma conjugada de carga deψ ;{\displaystyle \psi ~;}Esto se explica con mayor detalle más adelante. Así, la ecuación de Majorana puede interpretarse como una ecuación que relaciona un espinor con su forma conjugada de carga.

Operadores de Majorana de izquierda y derecha

Defina un par de operadores, los operadores de Majorana,

DL=iσ¯μμ+ζmetroωKDR=iσμμ+ηmetroωK{\displaystyle {\begin{aligned}\mathrm {D} _{\rm {L}}&=i{\overline {\sigma }}^{\mu }\partial _{\mu }+\zeta m\omega K&\mathrm {D} _{\rm {R}}&=i\sigma ^{\mu }\partial _{\mu }+\eta m\omega K\end{aligned}}}

dóndeK{\displaystyle K}es un recordatorio abreviado para tomar el conjugado complejo. Bajo las transformaciones de Lorentz, estos se transforman como

DLDL=SDLSDRDR=(S)1DRS1{\displaystyle {\begin{aligned}\mathrm {D} _{\rm {L}}\mapsto \mathrm {D} _{\rm {L}}^{\prime }&=S\mathrm {D} _{\rm {L}}S^{\dagger }&\mathrm {D} _{\rm {R}}\mapsto \mathrm {D} _{\rm {R}}^{\prime }&=\left(S^{\dagger }\right)^{-1}\mathrm {D} _{\rm {R}}S^{-1}\end{aligned}}}

mientras que los espinores de Weyl se transforman como

ψLψL=(S)1ψLψRψR=SψR{\displaystyle {\begin{aligned}\psi _{\rm {L}}\mapsto \psi _{\rm {L}}^{\prime }&=\left(S^{\dagger }\right)^{-1}\psi _{\rm {L}}&\psi _{\rm {R}}\mapsto \psi _{\rm {R}}^{\prime }&=S\psi _{\rm {R}}\end{aligned}}}

igual que arriba. Por lo tanto, las combinaciones coincidentes de estos son covariantes de Lorentz, y uno puede tomar

DLψL=0DRψR=0{\displaystyle {\begin{aligned}\mathrm {D} _{\rm {L}}\psi _{\rm {L}}&=0&\mathrm {D} _{\rm {R}}\psi _{\rm {R}}&=0\end{aligned}}}

como un par de ecuaciones de Majorana complejas de 2 espinores.

Los productosDLDR{\displaystyle \mathrm {D} _{\rm {L}}\mathrm {D} _{\rm {R}}}yDRDL{\displaystyle \mathrm {D} _{\rm {R}}\mathrm {D} _{\rm {L}}}son ambos covariantes de Lorentz. El producto es explícitamente

DRDL=(iσμμ+ηmetroωK)(iσ¯μμ+ζmetroωK)=(t2+ηζmetro2)=(+ηζmetro2){\displaystyle \mathrm {D} _{\rm {R}}\mathrm {D} _{\rm {L}}=\left(i\sigma ^{\mu }\partial _{\mu }+\eta m\omega K\right)\left(i{\overline {\sigma }}^{\mu }\partial _{\mu }+\zeta m\omega K\right)=-\left(\partial _{t}^{2}-{\vec {\nabla }}\cdot {\vec {\nabla }}+\eta \zeta ^{*}m^{2}\right)=-\left(\square +\eta \zeta ^{*}m^{2}\right)}

Para verificar esto es necesario tener en cuenta queω2=1{\displaystyle \omega ^{2}=-1}y esoKi=iK .{\displaystyle Ki=-iK~.}El lado derecho se reduce al operador Klein-Gordon siempre queηζ=1{\displaystyle \eta \zeta ^{*}=1}, eso es,η=ζ .{\displaystyle \eta =\zeta ~.} Estos dos operadores de Majorana son, por lo tanto, "raíces cuadradas" del operador de Klein-Gordon.

Ecuación de Majorana de cuatro componentes

La versión real de cuatro componentes de la ecuación de Majorana se puede construir a partir de la ecuación compleja de dos componentes de la siguiente manera. Dado el campo complejoψL{\displaystyle \psi _{\rm {L}}}satisfactorioDLψL=0{\displaystyle \mathrm {D} _{\rm {L}}\psi _{\rm {L}}=0}como se indicó anteriormente, defina

χRηωψL{\displaystyle \chi _{\rm {R}}\equiv -\eta \omega \psi _{\rm {L}}^{*}}

Utilizando la maquinaria algebraica dada anteriormente, no es difícil demostrar que

(iσμμηmetroωK)χR=0{\displaystyle \left(i\sigma ^{\mu }\partial _{\mu }-\eta m\omega K\right)\chi _{\rm {R}}=0}

Definición de un operador conjugado

δR=iσμμηmetroωK{\displaystyle \delta _{\rm {R}}=i\sigma ^{\mu }\partial _{\mu }-\eta m\omega K}

La ecuación de Majorana de cuatro componentes es entonces

(DLδR)(ψLχR)=0{\displaystyle \left(\mathrm {D} _{\rm {L}}\oplus \delta _{\rm {R}}\right)\left(\psi _{\rm {L}}\oplus \chi _{\rm {R}}\right)=0}

Al escribir esto en detalle, uno tiene

DLδR=[DL00δR]=i[I00I]t+i[σk00σk]k+metro[ηωK00ηωK]{\displaystyle \mathrm {D} _{\rm {L}}\oplus \delta _{\rm {R}}={\begin{bmatrix}\mathrm {D} _{\rm {L}}&0\\0&\delta _{\rm {R}}\end{bmatrix}}=i{\begin{bmatrix}I&0\\0&I\end{bmatrix}}\partial _{t}+i{\begin{bmatrix}-\sigma ^{k}&0\\0&\sigma ^{k}\end{bmatrix}}\nabla _{k}+m{\begin{bmatrix}\eta \omega K&0\\0&-\eta \omega K\end{bmatrix}}}

Multiplicando por la izquierda por

β=γ0=[0II0]{\displaystyle \beta =\gamma ^{0}={\begin{bmatrix}0&I\\I&0\end{bmatrix}}}

trae lo anterior a una forma matricial en la que se pueden reconocer las matrices gamma en la representación quiral. Esto es

β(DLδR)=[0δRDL0]=iβt+i[0σkσk0]kmetro[0ηωKηωK0]{\displaystyle \beta \left(\mathrm {D} _{\rm {L}}\oplus \delta _{\rm {R}}\right)={\begin{bmatrix}0&\delta _{\rm {R}}\\\mathrm {D} _{\rm {L}}&0\end{bmatrix}}=i\beta \partial _{t}+i{\begin{bmatrix}0&\sigma ^{k}\\-\sigma ^{k}&0\end{bmatrix}}\nabla _{k}-m{\begin{bmatrix}0&\eta \omega K\\-\eta \omega K&0\end{bmatrix}}}

Eso es,

β(DLδR)=iγμμmetro[0ηωKηωK0]{\displaystyle \beta \left(\mathrm {D} _{\rm {L}}\oplus \delta _{\rm {R}}\right)=i\gamma ^{\mu }\partial _{\mu }-m{\begin{bmatrix}0&\eta \omega K\\-\eta \omega K&0\end{bmatrix}}}

Aplicando esto al 4-spinor

ψLχR=(ψLχR)=(ψLηωψL){\displaystyle \psi _{\rm {L}}\oplus \chi _{\rm {R}}={\begin{pmatrix}\psi _{\rm {L}}\\\chi _{\rm {R}}\end{pmatrix}}={\begin{pmatrix}\psi _{\rm {L}}\\-\eta \omega \psi _{\rm {L}}^{*}\end{pmatrix}}}

y recordando queω2=1{\displaystyle \omega ^{2}=-1}Se encuentra que el espinor es un autoestado del término de masa,

[0ηωKηωK0](ψLηωψL)=(ψLηωψL){\displaystyle {\begin{bmatrix}0&\eta \omega K\\-\eta \omega K&0\end{bmatrix}}{\begin{pmatrix}\psi _{\rm {L}}\\-\eta \omega \psi _{\rm {L}}^{*}\end{pmatrix}}={\begin{pmatrix}\psi _{\rm {L}}\\-\eta \omega \psi _{\rm {L}}^{*}\end{pmatrix}}}

y así, para este espinor en particular, la ecuación de Majorana de cuatro componentes se reduce a la ecuación de Dirac.

(iγμμmetro)(ψLηωψL)=0{\displaystyle \left(i\gamma ^{\mu }\partial _{\mu }-m\right){\begin{pmatrix}\psi _{\rm {L}}\\-\eta \omega \psi _{\rm {L}}^{*}\end{pmatrix}}=0}

La matriz sesgada se puede identificar con el operador de conjugación de carga (en la base de Weyl ). Explícitamente, esto es

do=[0ηωKηωK0]{\displaystyle {\mathsf {C}}={\begin{bmatrix}0&\eta \omega K\\-\eta \omega K&0\end{bmatrix}}}

Dado un espinor arbitrario de cuatro componentesψ ,{\displaystyle \psi ~,}su carga conjugada es

doψ=ψdo=ηdoψ¯T{\displaystyle {\mathsf {C}}\psi =\psi ^{c}=\eta C{\overline {\psi }}^{\textsf {T}}}

condo{\displaystyle C}una matriz ordinaria de 4×4, cuya forma se da explícitamente en el artículo sobre matrices gamma . En conclusión, la ecuación de Majorana de 4 componentes se puede escribir como

0=(iγμμmetrodo)ψ=iγμμψmetroψdo{\displaystyle {\begin{aligned}0&=\left(i\gamma ^{\mu }\partial _{\mu }-m{\mathsf {C}}\right)\psi \\&=i\gamma ^{\mu }\partial _{\mu }\psi -m\psi ^{c}\end{aligned}}}

Conjugación de carga y paridad

El operador de conjugación de carga aparece directamente en la versión de 4 componentes de la ecuación de Majorana. Cuando el campo espinorial es un conjugado de carga de sí mismo, es decir, cuandoψdo=ψ,{\displaystyle \psi ^{c}=\psi ,}Entonces, la ecuación de Majorana se reduce a la ecuación de Dirac, y cualquier solución puede interpretarse como la descripción de un campo eléctricamente neutro. Sin embargo, el operador de conjugación de carga no tiene uno, sino dos autoestados distintos, uno de los cuales es el espinor ELKO ; este no resuelve la ecuación de Majorana, sino una versión de la misma con el signo invertido.

El operador de conjugación de cargado{\displaystyle {\mathsf {C}}}para un espinor de cuatro componentes se define como

doψ=ψdo=ηdo(ψ¯)T{\displaystyle {\mathsf {C}}\psi =\psi _{c}=\eta C\left({\overline {\psi }}\right)^{\textsf {T}}}

En el artículo sobre conjugación de carga se ofrece una discusión general de la interpretación física de este operador en términos de carga eléctrica . Bjorken y Drell [ 11 ] o Itzykson y Zuber [ c ] proporcionan discusiones adicionales . En términos más abstractos, es el equivalente espinorial de la conjugación compleja de laU(1){\displaystyle U(1)}acoplamiento del campo electromagnético. Esto se puede ver de la siguiente manera. Si se tiene un único campo escalar real , no puede acoplarse al electromagnetismo; sin embargo, un par de campos escalares reales, dispuestos como un número complejo , sí pueden. Para los campos escalares, la conjugación de carga es la misma que la conjugación compleja . Las simetrías discretas delU(1){\displaystyle U(1)}La teoría de gauge se deriva de la observación "trivial" de que

:U(1)U(1)miiϕmiiϕ{\displaystyle *:U(1)\to U(1)\quad e^{i\phi }\mapsto e^{-i\phi }}

es un automorfismo deU(1).{\displaystyle U(1).}Para campos espinoriales, la situación es más confusa. Sin embargo, en términos generales, se puede decir que el campo de Majorana es eléctricamente neutro, y que tomar una combinación apropiada de dos campos de Majorana puede interpretarse como un único campo de Dirac cargado eléctricamente. El operador de conjugación de carga dado anteriormente corresponde al automorfismo deU(1).{\displaystyle U(1).}

En lo anterior,do{\displaystyle C}es una matriz de 4×4, dada en el artículo sobre las matrices gamma . Su forma explícita depende de la representación. El operadordo{\displaystyle {\mathsf {C}}}no se puede escribir como una matriz de 4×4, ya que está tomando el conjugado complejo deψ{\displaystyle \psi }y la conjugación compleja no se puede lograr con una matriz compleja de 4×4. Se puede escribir como una matriz real de 8×8, suponiendo que también se escribeψ{\displaystyle \psi }como un espinor de 8 componentes puramente real. DejandoK{\displaystyle K}representan la conjugación compleja, de modo queK(incógnita+iy)=incógnitaiy,{\displaystyle K(x+iy)=x-iy,}Entonces se puede escribir, para espinores de cuatro componentes,

do=ηγ0doK{\displaystyle {\mathsf {C}}=-\eta \gamma ^{0}CK}

No es difícil demostrar quedo2=1{\displaystyle {\mathsf {C}}^{2}=1}y esodoγμdo=γμ .{\displaystyle {\mathsf {C}}\gamma ^{\mu }{\mathsf {C}}=-\gamma ^{\mu }~.}De la primera identidad se deduce quedo{\displaystyle {\mathsf {C}}}tiene dos valores propios, que pueden escribirse como

doψ(±)=±ψ(±){\displaystyle {\mathsf {C}}\psi ^{(\pm )}=\pm \psi ^{(\pm )}}

Los autovectores se encuentran fácilmente en la base de Weyl. De lo anterior, en esta base,do{\displaystyle {\mathsf {C}}}es explícitamente

do=[0ηωKηωK0]{\displaystyle {\mathsf {C}}={\begin{bmatrix}0&\eta \omega K\\-\eta \omega K&0\end{bmatrix}}}

y por lo tanto

ψWeyl(±)=(ψLηωψL){\displaystyle \psi _{\text{Weyl}}^{(\pm )}={\begin{pmatrix}\psi _{\rm {L}}\\\mp \eta \omega \psi _{\rm {L}}^{*}\end{pmatrix}}}

Ambos autovectores son claramente soluciones de la ecuación de Majorana. Sin embargo, solo el autovector positivo es una solución de la ecuación de Dirac:

0=(iγμμmetrodo)ψ(+)=(iγμμmetro)ψ(+){\displaystyle 0=\left(i\gamma ^{\mu }\partial _{\mu }-m{\mathsf {C}}\right)\psi ^{(+)}=\left(i\gamma ^{\mu }\partial _{\mu }-m\right)\psi ^{(+)}}

El vector propio negativo "no funciona", tiene el signo incorrecto en el término de masa de Dirac. Sin embargo, aún resuelve la ecuación de Klein-Gordon. El vector propio negativo se denomina espinor ELKO .

Prueba

Que ambos autoestados resuelven la ecuación de Klein-Gordon se deduce de las identidades anteriores para las versiones de dos componentes. Definiendo, como antes,

DL=iσ¯μμ+ηmetroωKDR=iσμμ+ηmetroωK{\displaystyle \mathrm {D} _{\rm {L}}=i{\overline {\sigma }}^{\mu }\partial _{\mu }+\eta m\omega K\qquad \mathrm {D} _{\rm {R}}=i\sigma ^{\mu }\partial _{\mu }+\eta m\omega K}

Como se demostró anteriormente

DRDL=DLDR=(+metro2){\displaystyle \mathrm {D} _{\rm {R}}\mathrm {D} _{\rm {L}}=\mathrm {D} _{\rm {L}}\mathrm {D} _{\rm {R}}=-\left(\square +m^{2}\right)}

El espinor de cuatro componentes requiere la introducción de

δL=iσ¯μμηmetroωKδR=iσμμηmetroωK{\displaystyle \delta _{\rm {L}}=i{\overline {\sigma }}^{\mu }\partial _{\mu }-\eta m\omega K\qquad \delta _{\rm {R}}=i\sigma ^{\mu }\partial _{\mu }-\eta m\omega K}

que también obedecen

δRδL=δLδR=(+metro2){\displaystyle \delta _{\rm {R}}\delta _{\rm {L}}=\delta _{\rm {L}}\delta _{\rm {R}}=-\left(\square +m^{2}\right)}

Por lo tanto

(DRδL)(DLδR)=(+metro2){\displaystyle \left(\mathrm {D} _{\rm {R}}\oplus \delta _{\rm {L}}\right)\left(\mathrm {D} _{\rm {L}}\oplus \delta _{\rm {R}}\right)=-\left(\square +m^{2}\right)}

La representación quiral requiere un factor adicional deβ=γ0{\displaystyle \beta =\gamma ^{0}}:

β(DLδR)=iγμμmetrodoβ(δLDR)=iγμμ+metrodo{\displaystyle \beta \left(\mathrm {D} _{\rm {L}}\oplus \delta _{\rm {R}}\right)=i\gamma ^{\mu }\partial _{\mu }-m{\mathsf {C}}\qquad \beta \left(\delta _{\rm {L}}\oplus \mathrm {D} _{\rm {R}}\right)=i\gamma ^{\mu }\partial _{\mu }+m{\mathsf {C}}}

y así se concluye que

(DRδL)(DLδR)=(iγμμ+metrodo)(iγμμmetrodo)=(+metro2){\displaystyle \left(\mathrm {D} _{\rm {R}}\oplus \delta _{\rm {L}}\right)\left(\mathrm {D} _{\rm {L}}\oplus \delta _{\rm {R}}\right)=\left(i\gamma ^{\mu }\partial _{\mu }+m{\mathsf {C}}\right)\left(i\gamma ^{\mu }\partial _{\mu }-m{\mathsf {C}}\right)=-\left(\square +m^{2}\right)}

Es decir, ambos autovectores del operador de conjugación de carga resuelven la ecuación de Klein-Gordon. La última identidad también se puede verificar directamente, observando quedoi=ido{\displaystyle {\mathsf {C}}i=-i{\mathsf {C}}}y esodoγμ=γμdo .{\displaystyle {\mathsf {C}}\gamma ^{\mu }=-\gamma ^{\mu }{\mathsf {C}}~.}

Paridad

Bajo paridad, los espinores levógiros se transforman en espinores dextrógiros. Los dos autovectores del operador de conjugación de carga, nuevamente en la base de Weyl, son

ψR,Weyl(±)=(±ηωψRψR){\displaystyle \psi _{\rm {{R},{\text{Weyl}}}}^{(\pm )}={\begin{pmatrix}\pm \eta \omega \psi _{\rm {R}}^{*}\\\psi _{\rm {R}}\end{pmatrix}}}

Como antes, ambas resuelven la ecuación de Majorana de cuatro componentes, pero solo una también resuelve la ecuación de Dirac. Esto se puede demostrar construyendo la ecuación de cuatro componentes de paridad dual. Esta toma la forma

β(δLDR)=iγμμ+metrodo{\displaystyle \beta \left(\delta _{\rm {L}}\oplus \mathrm {D} _{\rm {R}}\right)=i\gamma ^{\mu }\partial _{\mu }+m{\mathsf {C}}}

dónde

δL=iσ¯μμηmetroωK{\displaystyle \delta _{\rm {L}}=i{\overline {\sigma }}^{\mu }\partial _{\mu }-\eta m\omega K}

Dado el espinor de dos componentesψR{\displaystyle \psi _{\rm {R}}}define su conjugado comoχL=ηωψR.{\displaystyle \chi _{\rm {L}}=-\eta \omega \psi _{\rm {R}}^{*}.}No es difícil demostrar queDRψR=ηω(δLχL){\displaystyle \mathrm {D} _{\rm {R}}\psi _{\rm {R}}=-\eta \omega (\delta _{\rm {L}}\chi _{\rm {L}})}y que por lo tanto, siDRψR=0{\displaystyle \mathrm {D} _{\rm {R}}\psi _{\rm {R}}=0}entonces tambiénδLχL=0{\displaystyle \delta _{\rm {L}}\chi _{\rm {L}}=0}y por lo tanto que

0=(δLDR)(χLψR){\displaystyle 0=\left(\delta _{\rm {L}}\oplus \mathrm {D} _{\rm {R}}\right)\left(\chi _{\rm {L}}\oplus \psi _{\rm {R}}\right)}

o equivalentemente

0=(iγμμ+metrodo)(χLψR){\displaystyle 0=(i\gamma ^{\mu }\partial _{\mu }+m{\mathsf {C}}){\begin{pmatrix}\chi _{\rm {L}}\\\psi _{\rm {R}}\end{pmatrix}}}

Esto funciona porquedo(χLψR)=(χLψR){\displaystyle {\mathsf {C}}(\chi _{\rm {L}}\oplus \psi _{\rm {R}})=-(\chi _{\rm {L}}\oplus \psi _{\rm {R}})}y así se reduce a la ecuación de Dirac para

ψR,Weyl()=χLψR=(χLψR){\displaystyle \psi _{{\rm {R}},{\text{Weyl}}}^{(-)}=\chi _{\rm {L}}\oplus \psi _{\rm {R}}={\begin{pmatrix}\chi _{\rm {L}}\\\psi _{\rm {R}}\end{pmatrix}}}

Para concluir y reiterar, la ecuación de Majorana es

0=(iγμμmetrodo)ψ=iγμμψmetroψdo{\displaystyle 0=\left(i\gamma ^{\mu }\partial _{\mu }-m{\mathsf {C}}\right)\psi =i\gamma ^{\mu }\partial _{\mu }\psi -m\psi _{c}}

Tiene cuatro soluciones no equivalentes y linealmente independientes,ψL,R(±).{\displaystyle \psi _{\rm {L,R}}^{(\pm )}.}De estos, solo dos son también soluciones de la ecuación de Dirac: a saber:ψL(+){\displaystyle \psi _{\rm {L}}^{(+)}}yψR() .{\displaystyle \psi _{\rm {R}}^{(-)}~.}

Soluciones

autoestados de espín

Un punto de partida conveniente para escribir las soluciones es trabajar en el marco de referencia en reposo de los espinores. Escribiendo el hamiltoniano cuántico con la convención de signos convencional.H=it{\displaystyle H=i\partial _{t}}conduce a que la ecuación de Majorana tome la forma

itψ=iαψ+metroβψdo{\displaystyle i\partial _{t}\psi =-i{\vec {\alpha }}\cdot \nabla \psi +m\beta \psi _{c}}

En la base quiral (Weyl), se tiene que

γ0=β=(0II0),α=(σ00σ){\displaystyle \gamma ^{0}=\beta ={\begin{pmatrix}0&I\\I&0\end{pmatrix}},\quad {\vec {\alpha }}={\begin{pmatrix}{\vec {\sigma }}&0\\0&-{\vec {\sigma }}\end{pmatrix}}}

conσ{\displaystyle {\vec {\sigma }}}el vector de Pauli . La convención de signos aquí es consistente con el artículo matrices gamma . Sustituyendo el autoestado de conjugación de carga positivaψWeyl(+){\displaystyle \psi _{\text{Weyl}}^{(+)}}Dado lo anterior, se obtiene una ecuación para el espinor de dos componentes.

itψL=iσψL+metro(iσ2ψL){\displaystyle i\partial _{t}\psi _{\rm {L}}=-i{\vec {\sigma }}\cdot \nabla \psi _{\rm {L}}+m(i\sigma _{2}\psi _{\rm {L}}^{*})}

y asimismo

it(iσ2ψL)=+iσ(iσ2ψL)+metroψL{\displaystyle i\partial _{t}(i\sigma _{2}\psi _{\rm {L}}^{*})=+i{\vec {\sigma }}\cdot \nabla (i\sigma _{2}\psi _{\rm {L}}^{*})+m\psi _{\rm {L}}}

Estas dos son en realidad la misma ecuación, lo cual se puede verificar al observar queσ2{\displaystyle \sigma _{2}}produce el conjugado complejo de las matrices de Pauli:

σ2(kσ)σ2=kσ.{\displaystyle \sigma _{2}\left({\vec {k}}\cdot {\vec {\sigma }}\right)\sigma _{2}=-{\vec {k}}\cdot {\vec {\sigma }}^{*}.}

Las soluciones de onda plana se pueden desarrollar para la energía-momento.(k0,k){\displaystyle \left(k_{0},{\vec {k}}\right)}y se pueden expresar más fácilmente en el sistema de referencia en reposo. La solución de giro en el sistema de referencia en reposo es

ψL()=(miimetrotmiimetrot){\displaystyle \psi _{\rm {L}}^{(u)}={\begin{pmatrix}e^{-imt}\\e^{imt}\end{pmatrix}}}

mientras que la solución de desaceleración es

ψL(d)=(miimetrotmiimetrot){\displaystyle \psi _{\rm {L}}^{(d)}={\begin{pmatrix}e^{imt}\\-e^{-imt}\end{pmatrix}}}

Que se están interpretando correctamente se puede ver al reexpresarlos en la base de Dirac, como espinores de Dirac . En este caso, toman la forma

ψDirac()=[miimetrot00miimetrot]{\displaystyle \psi _{\text{Dirac}}^{(u)}={\begin{bmatrix}e^{-imt}\\0\\0\\-e^{imt}\end{bmatrix}}}

y

ψDirac(d)=[0miimetrotmiimetrot0]{\displaystyle \psi _{\text{Dirac}}^{(d)}={\begin{bmatrix}0\\e^{-imt}\\-e^{imt}\\0\end{bmatrix}}}

Estos son los espinores en el sistema de referencia propio. Pueden considerarse como una combinación lineal de las soluciones de energía positiva y negativa de la ecuación de Dirac. Estas son las únicas dos soluciones; la ecuación de Majorana solo tiene dos soluciones linealmente independientes, a diferencia de la ecuación de Dirac, que tiene cuatro. La duplicación de los grados de libertad de la ecuación de Dirac se debe a que los espinores de Dirac portan carga.

autoestados del momento

En un marco de momento general, el espinor de Majorana se puede escribir como

carga eléctrica

La aparición de ambosψ{\textstyle \psi }yψdo{\textstyle \psi _{c}}en la ecuación de Majorana significa que el campo ψ{\textstyle \psi }no se puede acoplar a un campo electromagnético cargado sin violar la conservación de la carga , ya que las partículas tienen la carga opuesta a la de sus propias antipartículas. Para satisfacer esta restricción,ψ{\textstyle \psi }Debe considerarse eléctricamente neutro. Esto puede explicarse con mayor detalle.

La ecuación de Dirac se puede escribir en forma puramente real cuando las matrices gamma se toman en la representación de Majorana. La ecuación de Dirac se puede escribir entonces como [ d ].

(itiα^+βmetro)ψ=0{\displaystyle \left(-i{\frac {\partial }{\partial t}}-i{\hat {\alpha }}\cdot \nabla +\beta m\right)\psi =0}

conα^{\displaystyle {\hat {\alpha }}}siendo matrices simétricas puramente reales, yβ{\displaystyle \beta }siendo antisimétricamente imaginaria pura. En este caso, se pueden encontrar soluciones puramente reales a la ecuación; estos son los espinores de Majorana. Bajo la acción de las transformaciones de Lorentz , estos se transforman bajo el grupo de espín (puramente real).Girar(1,3).{\displaystyle \operatorname {Spin} (1,3).}Esto contrasta con los espinores de Dirac , que solo son covariantes bajo la acción del grupo de espín complejizado.Girardo(1,3).{\displaystyle \operatorname {Spin} ^{\mathbb {C} }(1,3).}La interpretación es que el grupo de espín complejizado codifica el potencial electromagnético, mientras que el grupo de espín real no.

Esto también puede expresarse de otra manera: la ecuación de Dirac y los espinores de Dirac contienen suficiente libertad de gauge para codificar de forma natural las interacciones electromagnéticas. Esto se puede observar al notar que el potencial electromagnético se puede añadir fácilmente a la ecuación de Dirac sin necesidad de modificaciones ni extensiones adicionales, ni a la ecuación ni al espinor. La ubicación de este grado de libertad adicional está determinada por el operador de conjugación de carga y la imposición de la restricción de Majorana.ψ=ψdo{\textstyle \psi =\psi _{c}}Esto elimina este grado de libertad adicional. Una vez eliminado, no puede haber acoplamiento con el potencial electromagnético; por lo tanto, el espinor de Majorana es necesariamente eléctricamente neutro. El acoplamiento electromagnético solo se puede obtener añadiendo un factor de fase con valor complejo y acoplando este factor de fase al potencial electromagnético.

Lo anterior se puede precisar aún más examinando la situación en(pag,q){\displaystyle (p,q)}dimensiones espaciales. En este caso, el grupo de espín complejizadoGirardo(pag,q){\displaystyle \operatorname {Spin} ^{\mathbb {C} }(p,q)}tiene doble revestimiento porENTONCES(pag,q)×S1{\displaystyle \operatorname {SO} (p,q)\times S^{1}}conS1U(1){\displaystyle S^{1}\cong U(1)}el círculo. La implicación es queENTONCES(pag,q){\displaystyle \operatorname {SO} (p,q)}codifica las transformaciones de Lorentz generalizadas (por supuesto), mientras que el círculo se puede identificar con laU(1){\displaystyle \mathrm {U} (1)}Acción del grupo de gauge sobre cargas eléctricas. Es decir, la acción del grupo de gauge del grupo de espín complejizado sobre un espinor de Dirac puede dividirse en una parte lorentziana puramente real y una parte electromagnética. Esto puede desarrollarse aún más en variedades de espín no planas (no Minkowski-planas) . En este caso, el operador de Dirac actúa sobre el fibrado de espinores . Descompuesto en términos distintos, incluye la derivada covariante usual.d+A.{\displaystyle d+A.}ElA{\displaystyle A}Se puede observar que el campo surge directamente de la curvatura de la parte complejizada del haz de espines, en el sentido de que las transformaciones de gauge se acoplan a la parte complejizada, y no a la parte de espinores reales. Que elA{\displaystyle A}El campo corresponde al potencial electromagnético, como se puede observar al notar que (por ejemplo) el cuadrado del operador de Dirac es el laplaciano más la curvatura escalar.R{\displaystyle R}(de la variedad subyacente sobre la que se asienta el campo espinorial) más la intensidad del campo (electromagnético)F=dA.{\displaystyle F=dA.}Para el caso de Majorana, solo actúan las transformaciones de Lorentz sobre el espinor de Majorana; la complejización no juega ningún papel. Un tratamiento detallado de estos temas se puede encontrar en Jost [ 12 ] mientras que el(pag,q)=(1,3){\displaystyle (p,q)=(1,3)}El caso se articula en Bleeker. [ 13 ] Desafortunadamente, ninguno de los dos textos articula explícitamente el espinor de Majorana en forma directa.

cuantos de campo

Los cuantos de la ecuación de Majorana permiten dos clases de partículas: una partícula neutra y su antipartícula neutra . La condición suplementaria que se aplica con frecuenciaΨ=Ψdo{\textstyle \Psi =\Psi _{c}}corresponde al espinor de Majorana.

partícula de Majorana

Las partículas correspondientes a los espinores de Majorana se conocen como partículas de Majorana , debido a la restricción de autoconjugación mencionada anteriormente. Todos los fermiones incluidos en el Modelo Estándar han sido excluidos como fermiones de Majorana (ya que tienen carga eléctrica distinta de cero, no pueden ser antipartículas de sí mismos), con la excepción del neutrino (que es neutro).

Teóricamente, el neutrino podría ser una excepción a este patrón. De ser así, serían posibles la desintegración beta doble sin neutrinos , así como una serie de desintegraciones de mesones y leptones cargados que violan el número leptónico . Actualmente se están llevando a cabo varios experimentos para determinar si el neutrino es una partícula de Majorana. [ 14 ]

Notas

  1. Precaución: No todos los autores utilizan las mismas convenciones para la conjugación de carga, por lo que existe la posibilidad de errores sutiles de signo. Este artículo, al igual que el artículo sobre conjugación de carga , utiliza las convenciones de Itzykson y Zuber ( Teoría cuántica de campos , véase el capítulo 2 y el apéndice A). Estas difieren ligeramente de las de Bjorken y Drell ( Mecánica cuántica relativista) , por lo que deben tenerse en cuenta al compararlas.
  2. Los resultados presentados aquí son idénticos a los de Aste, op. cit. , ecuaciones 52 y 57, aunque la derivación realizada aquí es completamente diferente. El recubrimiento doble utilizado aquí también es idéntico a las ecuaciones 48 de Aste y a la versión actual (diciembre de 2020) del artículo sobre el grupo de Lorentz .
  3. Itzykson y Zuber, op. cit. (Capítulo 2-4)
  4. Itzykson y Zuber, (Véase el capítulo 2-1-2, página 49)

Referencias

  1. ^ Ettore Majorana, "Teoria Simmetrica Dell' Elettrone E Del Positrone", Nuovo Cimento 14 (1937) págs.171-184. PDF Versión original italiana
  2. Aste, Andreas (2010). "Un camino directo a los campos de Majorana" . Symmetry . 2010 (2): 1776– 1809. arXiv : 0806.1690 . Bibcode : 2010Symm....2.1776A . doi : 10.3390/sym2041776 .
  3. Pal, Palash B. (2011). "Fermiones de Dirac, Majorana y Weyl". American Journal of Physics . 79 (5): 485– 498. arXiv : 1006.1718 . Bibcode : 2011AmJPh..79..485P . doi : 10.1119/1.3549729 . S2CID 118685467 . 
  4. Marsch, Eckart (2012). "Sobre la ecuación de Majorana: Relaciones entre sus autofunciones complejas de dos componentes y reales de cuatro componentes" . ISRN Mathematical Physics . 2012 : 1–17 . arXiv : 1207.4685 . doi : 10.5402/2012/760239 . Artículo 760239.
  5. Marsch, Eckart (2013). "Una nueva ruta a la ecuación de Majorana" . Symmetry . 5 (4): 271– 286. Bibcode : 2013Symm....5..271M . doi : 10.3390/sym5040271 .
  6. Itzykson, Claude; Zuber, Jean-Bernard (1980). Teoría cuántica de campos . MacGraw-Hill. §2‑1‑2, página 49.
  7. Andreas Aste, (2010) "Un camino directo a los campos de Majorana", Symmetry 2010 (2) 1776-1809; doi:10.3390/sym2041776 ISSN 2073-8994.
  8. Mecánica cuántica, E. Abers, Pearson Ed., Addison Wesley, Prentice Hall Inc, 2004, ISBN 978-0-13-146100-0
  9. The Cambridge Handbook of Physics Formulas, G. Woan, Cambridge University Press, 2010, ISBN 978-0-521-57507-2.
  10. Introducción a la teoría cuántica de campos , ME Peskin, DV Schroeder, Addison-Wesley, 1995, ISBN 0-201-50397-2
  11. James D. Bjorken, Sidney D. Drell, (1964) "Mecánica cuántica relativista", McGraw-Hill (Véase el capítulo 5.2, páginas 66-70)
  12. Jurgen Jost (2002) "Geometría riemanniana y análisis geométrico (3.ª edición) Springer Universitext. (Véase el capítulo 1.8 para las estructuras de espín y el capítulo 3.4 para el operador de Dirac.)
  13. David Bleeker, (1981) "Teoría de gauge y principios variacionales" Addison-Wesley (Véase el Capítulo 6 para el campo de Dirac libre y el Capítulo 7 para el campo interactuante).
  14. A. Franklin, ¿Existen realmente los neutrinos?: Una historia basada en la evidencia (Westview Press, 2004), pág. 186

Lecturas adicionales

  • « El legado de Majorana en la física contemporánea. Archivado el 11 de julio de 2020 en Wayback Machine », Revista Electrónica de Física Teórica (EJTP) , Volumen 3, Número 10 (abril de 2006) . Número especial por el centenario de Ettore Majorana (1906-1938?) . ISSN 1729-5254
  • Frank Wilczek , (2009) " Majorana regresa ", Nature Physics Vol. 5 páginas 614–618.