La relatividad especial es uno de los pilares fundamentales sobre los que se basa nuestro conocimiento actual de la fisica. Anicriormente ya hice una presentacién bastante acelerada del ausunto, desde su motivacién hasta las formulas mas habituales. Ahora voy a centrarme mas en los aspectos mas matematicos, cémo no, usando teorfa de grupos. El aspecto principal de la relatividad especial son los cambios de sistema de referencia o boosts. Un boost en una determinada direccién se caracteriza por la velocidad , y el correspondiente factor de Lorentz y. Las coordenadas de los dos sistemas de referencia estan relacionadas mediante una transformacién lineal, por lo que se puede expresar como una matriz: Para un boost en la direcci6n x ct! ct ry WB 0 0\(et me) P. x|_|# 0 Of x if = AlB,x] yA | 0 1 oll» Zz z 0 0 I;\\z Algo parecido si hacemos el boost en las direcciones y, z: oon ct ry O vB O)\(et x! x}_]O 1 0 Of} x y y| |B 0 7 Olly Zz z 0 0 0 1)\z ct ct ry 0 0 B\(et x x 0 10 Offx ¥ = Aff,z] yl“]o 01 olly im iz ww 00 yz En las matrices aparecen dos parametros distintos, 7 y 7, pero no son independientes entre sf, sino que estan relacionados por (By - Esta ecuacién se puede parametrizar como yB=coshy y=sinhy n=Se conoce 7 como pseudorrapidez, que puede tomar valores entre —co (si f = —1) y oo (cuando B = 1). Sise hacen dos transformaciones sucesivas en la misma direccién, sus pseudorrapideces se suman: coshy, sinhy, 0 0)\(coshm sinhm O 0 sinh coshm 0 OJ] sinhm coshm O 0] _ 0 0 104i] o o 1 0] 0 0 0 2 0 0 01 cosh( +m) sinha +m) 0 0 sinhQn +m) cosh +m) 0 0 0 0 10 0 0 01 Si por el contrario se suceden dos boosts en direcciones diferentes, el resultado es un boost més una Totacién. La conclusién es que los boost no forman un grupo. Pero si consideramos boost y rotaciones, todas estas transformaciones s{ son un grupo, conocido como grupo de Lorentz ortécrono propio (ortécrono significa que el elemento (0,0) es positivo, y propio que el determinante de la matriz es +1). El grupo de Lorentz lo forman estas matrices y sus productos con las matrices P y T (inversiones espaciales y temporales): 10 0 0 -1000 P= 0-1 0 #0 T= 0100 0 0 -1 0 0010 00 0 -1 0001 Los generadores y su algebra Para conocer las intimidades de un grupo, tenemos que ver qué ocurre al hacer una transformacin infinitesimal, 9 << 1: 1100 04100 Bt lio Ji 0 00 . Aln,x] =I- =1-inK! nl) oo 1 0 "0 0 00 a 0001 0000Los generadores infinitesimales para los boosts en las otras direcciones son 00:0 000% Ka 0000 Ka 0000 iooo 0000 0000 i000 Alo que hay que afiadir los generadores infinitesimales de las rotaciones, ya conocidos: 000 0 0000 0000 000 0 000% oo-i 0 B= P= Pz 000 -i 0000 0oioo 00: 0 0 -i 00 0000 La matriz para cualquier transformacion de Lorentz consistenete en boosts 7 = (m,12,%3) Y rotaciones segtin los ejes con éngulos 6 = (01,62, 03), se construye como A=exp(-i6 -3 - -®) Un detalle nada insignificante: los generadores de las rotaciones son hermiticos, pero los generadores de los boosts no lo son. Asi que una transformacién de Lorentz no sera unitaria a no ser que sea una rotacién pura. Esto se debe a que el parametro de la transformacién, 7, no esta acotado. Las entrafias del grupo se ven al calcular los conmutadores de sus generadores, lo que se conoce como algebra de Lie: Ut,J'] = ieumJ” J", K"] = iemK" == [K*, K"] = ied” donde kim = 1 si Lm) = (1,2,3), 2,3, 1),G, 1,2), kim = —1 si (k,1,m) = (1,3, 2), (2, 1,3), (3,2, 1) y exim = 0 en caso contrario. Las relaciones de conmutacién de las K involucran a las matrices J, lo que nos vuelve a indicar que los boosts no son suficientes para formar un grupo. Préximamente veremos cémo construir mas representaciones (es decir, matrices de otros tamafios) de las transformaciones de Lorentz que cumplan las mismas relaciones de conmutacién de sus generadores.Enuna vimos que el grupo de Lorentz, que define las transformaciones legales en el juego de la relatividad especial, implicaban un cierto algebra de Lie de sus generadores infinitesimales: UES!) = itm] UE, K"] = ietimK™ [K*, K"] = —ietimJ™ Para hacer la notaci6n un poco mas compacta, podemos definir las matrices J” como J3 ay as) Pt = -78 = sj? J2 = 2 7? Jol = 710 = KI J? = — J = K? J3 = = K? y los parémetros de la transformacion @,, como o3=-on=6' = on =-o3=0? on =-on = 6° -@o1 = 10 = 71 = on = w20 = 7 = 03 = 30 =P Con lo cual una transformacién de Lorentz se puede reescribir como seca) y las retaciones de conmutacién como DP SA) = igh IP — gh — ehh te) La matriz g”” es la métrica del espacio. En la relatividad especial, es diagonal y tiene elementos {1,—1, -1,—-1} (aunque también se puede elegir el convenio con los sognos opuestos) La tarea que dejamos pendiente era encontrar representaciones para ese grupo, es decir, matrices que cumplieran las relaciones de conmutacién. Vamos a ver unas cuantas:Representacién escalar Es la opcién més sencilla: no hacer nada. Si escogemos J! = K‘ =0, las relaciones de conmutacién se cumplen, de un modo bastante evidente. Muchas cantidades fisicas importantes trasnforman como escalares, como la masa, el intervalo espciotemporal, o la densidad lagrangiana. Podemos ir un poco mas allé y construir campos escalares, es decir, magnitudes cuyo valor dependa de! punto (espaciotemporal), y que no cambien al hacer una transformacién de Lorentz, 9@) 9) > '@') = 66) Adelantando un poco los acontecimientos, préximamente veremos que los campos estan relacionados con las particulas. El mejor ejemplo de un campo escalar (complejo) es el archiconocido bosén de Higgs. Representacién vectorial ‘Si nuestro cometido es encontrar unas matrices con las mismas relaciones de conmutacién que las J', K', una elecoién ldgica es usar estas matrices. Asi obtenemos la representacién vectorial, en la que las matrices de la transformacién son las A ya conocidas. Estas matrices tienen dimensi6n 4x4, por lo que actuaran sobre objetos de dimensién 4 a los que llamaremos cuadrivectores contravariantes. Cada una de las componentes las identificaremos con un superindice x“. También etiquetaremos las filas de A con subindices y las columnas con superindices, y supondremos que se hace una suma en cada par de indices repetidos. Asi, una transformacién de Lorentz de un cuadrivector contravariante es ot > xl? = Ax” Otra representaci6n sencilla consite en tomar J’ = J‘, K” = —K’, ta representaci6n conjugada. La matriz definida con estos generadores es > > Ay! = exp(-i8 J! — i RK!) = gpyh? og es la matriz hermitica a la de la representacién vectorial. Ambas representaciones estén relacionadas por una transformacién de semejanza dada por g, por lo que las representaciones vectorial y su conjugada son equivalentes. Los objetos de 4 componentes que transforman con esta representacion se llaman cuadrivectores covariantes, y sus componentes se identifican mediante subindices, x): ye > Hh = Aye, EI producto de un vector covariante y otro contravariante es un escalar. Un ejemplo tipico de cuadrivector es el cuadrimomento p* = (E,p). Su médulo por tanto es un escalar, la masa: Py = 8wbtp” = E? — p? =m Si definimos un cuadrivector en cada punto del espaciotiempo, tenemos un campo vectorial A“(x). En la fisica de particulas, los campos vectoriales son los encargados de mediar las interacciones: los fotones, los gluones y los bosones W y Z.Representaciones tensoriales En nuestros escarceos previos con la teoria de gi s, ya vimos que existia una receta para construir representaciones nuevas a partir de otras de dimensién menor: el producto tensorial. El grupo de Lorentz no es una excepcién. Haciendo productos tensoriales de n vectores contravariantes y m vectores covariantes se obtiene un tensor de rango (7, m: V4 @- @V" @V, @-@V;, = Para hacer su transformacién de Lorentz, hay que incluir una A por cada indice. Por ejemplo, para un vector de rango 2: TP eT! = MN TO Algunos tensores importantes son el tensor de energia-momento, la densidad de momento angular y, por supuesto, la métrica g. Al pasar a campos tensoriales, tenemos el ejemplo del gravitén (de hecho, el gravitén es la métrica...). Representacién espinorial éCrelais que ya hemos visto todas las representaciones? Pues me temo que no, que el grupo de Lorentz atin nos depara una sorpresa. Para verlo, definimos las siguientes combinaciones de generadores: AlsJ+iKi) Bla J'— iB! Si las introducimos en el algebra de Lie de Lorentz, encontramos las siguientes relaciones de conmutaci6n: [4,4] =ieyA* [B',B/)=ieyBY = [A', BY] = il ijk 40s suena de algo? Las matrices A y B definen dos algebras de Lie de grupos SU(2) independientes. En jerga, esto se dice que el grupo de Lorentz es localmente isomorfo a ‘SU(2)xSUQ). Por lo tanto, cada representacién la podremos catalogar por el espin de cada uno de los generadores, (j1,j2) Como SU(2) ya lo conocemos bastante bien, podemos aprovecharlo para crear nuevas representaciones. Un ejemplo sencillo es tomar A! =o! (las matrices de Pauli), y B' =0, la representacion (1/2, 0). La transformaci6n es AL= exp|(-3 - -3|Esta transformaciones actuian sobre objetos con dos componentes, a los que llamaremos espinores de Weyl zurdos, yr. Del mismo modo podemos construir la representacién (0, 1/2) con los generadores A! = 0, B! = o!. La transformacién esta dada (jcuidado con el cambio de signo en la rapidez!) por Ag = exp |i +7) -3] Esta transformaci6n actia sobre los. espinores de Weyl diestros wr. Los espinores de Weyl estén muy bien, aunque presentan algunos problemas: en primer lugar, al hacer una transformacién de paridad, un espinor zurdo se transforma en diestro y viceversa. Ademés, cuando intentemos hacer particulas con espinores, estos no aceptan particulas masivas. Para solucionar ambos problemas, creamos los espinores de Dirac yp. Un espinor de Dirac tiene cuatro componentes, de las cuales las dos primeras transforman como un espinor de Weyl diestro y las otras dos como un espinor zurdo: m= (") we he 0). 0 1b) Wo = Aw Los campos espinoriales representan a las particulas de "materia": electrones, quarks, neutrinos. |Vamos a presentar a los protagonistas de nuestro "juego": los grupos, las matrices, y los ndmeros complejos. Un grupo es un conjunto de elementos A = a1,42,...,dn con los que podemos hacer una operaci6n x. Naturalmente queremas que el resultado de la operacién sea otro elemento del grupo i, dy = dz. También vamos a pedir que en el grupo haya un elemento neutro e, tal que al emplearlo con la operacién el resultado sea el otro factor a, * € = ek a, = a,; y que para cada elemento exista un inverso a,~! * a, = a, * a,-! =e. Notar que no hemos exigido que la operacién sea conmutativa: a, %* ay # dy * @;. Si esto ocurre, el grupo es abeliano. Algunos grupos comunes son el de los niimeros reales con la operacién de suma, los reales excluyendo el 0 con el producto (ambos son abelianos), o el de las rotaciones de un objeto tridimensional (no abeliano). Una matriz es una tabla de nimeros (usualmente cuadrada: con tantas filas como columnas). El ndmero que ocupa la fila jy la columna k de la matriz M lo denotaremos como my. Las matrices también se pueden sumar y multiplicar. Para sumar M = A + B, solo hay que sumar sus elementos: Ty, = aj + by. Las instrucciones para la multiplicacién son algo mas complicadas: para M = A - B , hay que hacer mj =, @nDnk- El producto de matrices no es conmutativo. Existe una matriz identidad I tal que A- J =1-A =A. Muchas (aunque no todas) las matrices tienen inversas A-A! =A. A =I. Las matrices también se pueden multiplicar por un numero, con lo que se multiplican por ese nimero todos los elementos de la matriz. También podemos hacer otras cosas con las matrices, como por ejemplo, la matriz transpuesta, que consiste en intercambiar filas y columnas: a’ j. = ay. La traza es la suma de todos los elementos de la diagonal de la matriz: trA = ), ay. El determinante es otra propiedad interesante, aunque algo mas enrevesada de explicar: 1. Para una matriz cuadrada con 1 elemento de lado, detA = aj. 2. Para una matriz cuadrada con n > 1 elementos de lado, toma cada uno de los elementos de la primera fila de la matriz, ayy. 3. Para cada uno de ellos tacha la primera fila y la columna j, obteniendo una matriz de n — 1 elementos de lado. 4. Calcula el determninante de esta matriz mas pequefia (consultando el punto 1 0 el 2, segun haga falta), al que llamaremos dj 5. Multiplicalo por ayy, y si j es par, cambia de signo: (-1)*! diay 6.Suma los nimeros asi obtenidos para todos los elementos de la fila, y la tienes el determinante: detA = Y(—1)*! dayComo caso particular, para una matriz 2x2 el determinante es detA = a11a22 — a12.a2. Lo Ultimo que vamos a hacer con las matrices es calcular su exponencial: oil expA =1+ )) (4) pt Y ahora tenemos que decidir qué ndmeros vamos a poner en las matrices. Podriamos usar los nimeros reales, pero eso serfa muy aburrido. En su lugar, usaremos los numeros complejos. Un complejo se puede representar como un punto en el plano, y esta caracterizado por su médulo y su argumento. El médulo, r = |z| es la distancia en linea recta desde el origen hasta el punto, y el argumento @ es el dngulo que forman el eje x y la recta que va desde el origen al punto. Esto se Tepresenta como z = re'?. Se llama unidad imaginaria al némero i = e*?. Para multiplicar dos complejos, se multiplican los médulos y se suman los argumentos. Re Dado un complejo, su conjugado es la reflexién del punto por el eje x: z“ = re. Ahora podemos definir una nueva operacién con las matrices, el adjunto, que consiste en calcular a transpuesta y conjugar sus elementos: at. = a.El grupo unitario Una vez conocidos los ingredientes, ya podemos empezar. Una matriz unitaria U es aquella que, al calcular su adjunta, se obtiene la inversa de la matriz de Partida: ut=u-! ‘Se denomina grupo unitario U(N) el conjunto de matrices unitarias de dimensién N. Esto es asf Porque el producto de dos matrices unitarias también es unitaria. Cualquier matriz unitaria se puede expresar como la exponencial de una matriz hermitica multiplicada por i, U = exp(iH). Una matriz hermitica es aquella que es igual a su adjunta Ht = H: por lo tanto, en una matriz hermitica los elementos de la diagonal son ntimeros reales, y los de fuera de la diagonal pueden ser complejos, pero con hy, = hig. En consecuencia, para caracterizar una matriz hermitica (y también una unitaria) de dimensién N x N,, solo hay que especificar N? némeros reales (grados de libertad). El determinante de cualquier matriz unitaria tiene médulo uno, ya que: det(U*) = (det )* (det U*)(det U) = (det U)* (det U) = | det U[? = det(Ut - U) = det(Z) = 1 El caso mas simple de grupo unitario es U(1). La multiplicacién de matrices 1x1 es simplemente la multiplicacién de nimeros complejos, asf que el grupo es abeliano. Ademds, como acabamos de ver, para que las matrices sean unitarias, el nimero complejo tiene médulo 1. As{ que el grupo U(1) es el conjunto de los puntos en el plano que forman una circunferencia de radio 1. U() = {e#|a € R} Como ya hemos visto, las matrices de U(1) se pueden expresar como la exponencial imaginaria de una matriz hermitica (en dimensi6n 1, un ndmero real) e” = exp(i6l) A la matriz identidad I en dimensién 1 Ia llamaremos generador infinitesimal del grupo. El origen de este nombre es que, si tomamos un valor de @ pequefio, dé, la matriz de la transformacién es 8 1 + idOl