Un tensor de Levi-Civita de tres rangos en un espacio-tiempo de cuatro dimensiones

¿Es posible construir un invariante de Lorentz, un tensor Levi-Civita de tres rangos en el espacio-tiempo de Minkowski? Si no, ¿por qué? Estoy hablando de algo como esto. ϵ α β γ o ϵ α β γ , donde cada índice se ejecuta desde 0 a 3 . Como en esta respuesta aquí , que prueba la covarianza de Lorentz del tensor de Levi-Civita mediante el uso de la fórmula determinante, supongo que uno tendría problemas si tuviéramos tres tensores de Levi-Civita de rango. Tenga la amabilidad de elaborar sobre eso.

El símbolo de levi civita se define como este: ϵ 0123 = 1 y cada permutación impar de 0123 tendría un valor de ϵ ser cero Entonces, ¿cómo definiríamos un símbolo levi civita de 3 posiciones en 4 dimensiones?

Respuestas (2)

Puede usar cuadros/diagramas de Young y el grupo de permutación para averiguar las simetrías del tensor general de rango 3. Los espacios corresponden a las particiones del rango:

3=3 :

Un subespacio simétrico total de 20 dimensiones.

3=2+1 :

Dos subespacios de simetría mixta de 20 dimensiones.

3=1+1+1 :

Un subespacio de 4 dimensiones totalmente antisimétrico:

A α β γ = 1 6 [ T α β γ + T β γ α + T γ α β T γ β α T β α γ T α γ β ]

Esa es la única cosa antisimétrica que puedes hacer según la teoría de Schurl-Weyl.

Para encontrar las dimensiones, utilicé la fórmula de longitud de gancho (suma de las cajas X en un diagrama Y ( λ ) ) para el diagrama de Young correspondiente a la partición entera:

d i metro π λ = norte ! X Y h o o k ( X )

Si consideras 3 dimensiones ( norte = 3 ), usted obtiene d i metro = 1 , ese es el símbolo estándar de Levi-Civita ϵ i j k .

si configuras norte = 4 , el resultado es d i metro = 4 .

Eso significa A α β γ se transforma como un cuadrivector.

Entonces, la única parte antisimétrica de un tensor de rango 3 en el espacio de Minkowski gira como un vector de 4, lo que significa que no es invariante y no es candidato para ser como Levi-Civita.

Mientras tanto, las dimensiones de los otros 3 espacios irreducibles son todos 20, que ciertamente no son escalares y, por lo tanto, no son candidatos para ser como Levi-Civita.

Tenga en cuenta que si considera los tensores de rango 4, las particiones son las siguientes:

4=4 :

35 dimensional y simétrico.

4=3+1 :

Tres espacios de simetría mixta de 45 dimensiones.

4=2+2 :

Dos espacios de simetría mixta de 20 dimensiones.

4=2+1+1 :

Tres espacios de simetría mixta de 15 dimensiones.

4=1+1+1+1 :

Un espacio unidimensional antisimétrico total, que es proporcional al símbolo de Levi-Civita ϵ m v σ λ .

En resumen, la respuesta es "No", y la razón tiene que ver con las representaciones del grupo simétrico en 3 letras. Divide el rango = 3, usa la correspondencia de Robinson-Schensted para asociar esa partición con representaciones irreducibles del grupo de permutación. (Los Young Diagrams hacen que este paso sea rápido). Luego, la dualidad de Schur-Weyl asocia aquellos con subespacios irreducibles de y tensor de rango N (permutaciones firmadas de índices). Finalmente, la fórmula de la longitud del gancho te dice las dimensiones de esos subespacios.

El símbolo de Levi-Civita debe ser invariable (p. ej., dimensión 1, como un escalar) y debe ser totalmente antisimétrico en todos los índices, y eso simplemente no existía para el rango 3 en 4 dimensiones.

La respuesta es mucho más comprometida de lo que pensé que sería. Me llevará un poco de tiempo entender todo el asunto. ¿Puedes referirme a algo donde pueda leer sobre cuadros de Young, particiones y fórmula de longitud de gancho, etc.? Gracias.
@fogofmylife Tuve que seleccionar muchas referencias. La mayoría son demasiado matemáticos para nosotros. La teoría de grupos finitos es abstracta, pero un punto de partida es yufeizhao.com/research/youngtab-hcmr.pdf que cubre el grupo de permutación y los cuadros de Young. Que el simetrizador de Young aplicado a los índices produzca los subespacios irreducibles para todos los rangos en cualquier dimensión sobre todos los campos (dualidad de Schur-Weyl) no está claro y no conozco ninguna referencia orientada a la física. Es mejor intentarlo a mano para 0=0 (escalares), 1=1 (vectores), 2=2,1+1 (tensores), 3=3, 2+1, 1+1+1 (el 1er no trivial uno) a mano y ver qué está pasando. Buena suerte
@fogofmylife: la mejor referencia orientada a la física para la dualidad Schur-Weyl es probablemente la teoría de grupos de Hamermesh y su aplicación a problemas físicos , pero incluso esa no es la más clara.

¿Esto cumple con los requisitos?

En el espacio-tiempo de Minkowski (firma: -,+,+,+), sea ϵ a b C d sea ​​el tensor alterno satisfactorio ϵ a b C d = ϵ [ a b C d ] y ϵ a b C d ϵ a b C d = 24 y deja v a sea ​​la 4-velocidad de un observador ( v a v a = 1 ).

Defina el "tensor alterno espacial visto por el observador v a "

ϵ a b C = ϵ a b C d v d ,
que satisface ϵ a b C = ϵ [ a b C ] , ϵ a b C ϵ a b C = 6 , y v a ϵ a b C = 0 .

(Esto se extrae de "General Relativity, 1972 Lecture Notes" de Robert Geroch [ISBN 978-0987987174].)

Esto no sería invariante de Lorentz, ya que su definición depende de los cuatro vectores v a elegido, y este vector se transformará de manera no trivial entre marcos de referencia.
@MichaelSeifert, estoy de acuerdo. Por construcción, esto ciertamente depende de la elección de cuatro vectores.