Символ ' т Хоофта η - это символ, который позволяет выразить генераторы алгебры Ли SU (2) через порождающие алгебры Лоренца. Этот символ представляет собой смесь дельты Кронекера и символа Леви-Чивита . Его представил Жерар т Хофт . Он используется при построении инстантона BPST .
η a μν - символ ' т Хофта :
η
μ
ν
а
знак равно
{
ϵ
а
μ
ν
μ
,
ν
знак равно
1
,
2
,
3
-
δ
а
ν
μ
знак равно
4
δ
а
μ
ν
знак равно
4
0
μ
знак равно
ν
знак равно
4
.
{\ displaystyle \ eta _ {\ mu \ nu} ^ {a} = {\ begin {case} \ epsilon ^ {a \ mu \ nu} & \ mu, \ nu = 1,2,3 \\ - \ delta ^ {a \ nu} & \ mu = 4 \\\ delta ^ {a \ mu} & \ nu = 4 \\ 0 & \ mu = \ nu = 4 \ end {case}}.}
Другими словами, они определяются
( )
а
знак равно
1
,
2
,
3
;
μ
,
ν
знак равно
1
,
2
,
3
,
4
;
ϵ
1234
знак равно
+
1
{\ displaystyle a = 1,2,3; ~ \ mu, \ nu = 1,2,3,4; ~ \ epsilon _ {1234} = + 1}
η
а
μ
ν
знак равно
ϵ
а
μ
ν
4
+
δ
а
μ
δ
ν
4
-
δ
а
ν
δ
μ
4
{\ displaystyle \ eta _ {a \ mu \ nu} = \ epsilon _ {a \ mu \ nu 4} + \ delta _ {a \ mu} \ delta _ {\ nu 4} - \ delta _ {a \ nu } \ delta _ {\ mu 4}}
η
¯
а
μ
ν
знак равно
ϵ
а
μ
ν
4
-
δ
а
μ
δ
ν
4
+
δ
а
ν
δ
μ
4
{\ displaystyle {\ bar {\ eta}} _ {a \ mu \ nu} = \ epsilon _ {a \ mu \ nu 4} - \ delta _ {a \ mu} \ delta _ {\ nu 4} + \ дельта _ {а \ ню} \ дельта _ {\ му 4}}
где последние - антиавтодуальные символы 'т Хофта.
Более точно, эти символы
η
1
μ
ν
знак равно
[
0
0
0
1
0
0
1
0
0
-
1
0
0
-
1
0
0
0
]
,
η
2
μ
ν
знак равно
[
0
0
-
1
0
0
0
0
1
1
0
0
0
0
-
1
0
0
]
,
η
3
μ
ν
знак равно
[
0
1
0
0
-
1
0
0
0
0
0
0
1
0
0
-
1
0
]
,
{\ displaystyle \ eta _ {1 \ mu \ nu} = {\ begin {bmatrix} 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 \\ 0 & -1 & 0 & 0 \\ - 1 & 0 & 0 & 0 \ end {bmatrix}}, \ quad \ eta _ {2 \ mu \ nu} = {\ begin {bmatrix} 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \ end {bmatrix}}, \ quad \ eta _ {3 \ mu \ nu} = {\ begin {bmatrix} 0 & 1 & 0 & 0 \\ - 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & -1 & 0 \ end {bmatrix}},}
а также
η
¯
1
μ
ν
знак равно
[
0
0
0
-
1
0
0
1
0
0
-
1
0
0
1
0
0
0
]
,
η
¯
2
μ
ν
знак равно
[
0
0
-
1
0
0
0
0
-
1
1
0
0
0
0
1
0
0
]
,
η
¯
3
μ
ν
знак равно
[
0
1
0
0
-
1
0
0
0
0
0
0
-
1
0
0
1
0
]
.
{\ displaystyle {\ bar {\ eta}} _ {1 \ mu \ nu} = {\ begin {bmatrix} 0 & 0 & 0 & -1 \\ 0 & 0 & 1 & 0 \\ 0 & -1 & 0 & 0 \\ 1 & 0 & 0 & 0 \ end {bmatrix}}, \ quad { \ bar {\ eta}} _ {2 \ mu \ nu} = {\ begin {bmatrix} 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \\ 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \ end {bmatrix}}, \ quad {\ bar {\ eta}} _ {3 \ mu \ nu} = {\ begin {bmatrix} 0 & 1 & 0 & 0 \\ - 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & -1 \\ 0 & 0 & 1 & 0 \ end {bmatrix}}.}
Они удовлетворяют свойствам самодуальности и анти-самодуальности:
η
а
μ
ν
знак равно
1
2
ϵ
μ
ν
ρ
σ
η
а
ρ
σ
,
η
¯
а
μ
ν
знак равно
-
1
2
ϵ
μ
ν
ρ
σ
η
¯
а
ρ
σ
{\ displaystyle \ eta _ {a \ mu \ nu} = {\ frac {1} {2}} \ epsilon _ {\ mu \ nu \ rho \ sigma} \ eta _ {a \ rho \ sigma} \, \ qquad {\ bar {\ eta}} _ {a \ mu \ nu} = - {\ frac {1} {2}} \ epsilon _ {\ mu \ nu \ rho \ sigma} {\ bar {\ eta}} _ {а \ ро \ сигма} \}
Некоторые другие свойства
ϵ
а
б
c
η
б
μ
ν
η
c
ρ
σ
знак равно
δ
μ
ρ
η
а
ν
σ
+
δ
ν
σ
η
а
μ
ρ
-
δ
μ
σ
η
а
ν
ρ
-
δ
ν
ρ
η
а
μ
σ
{\ displaystyle \ epsilon _ {abc} \ eta _ {b \ mu \ nu} \ eta _ {c \ rho \ sigma} = \ delta _ {\ mu \ rho} \ eta _ {a \ nu \ sigma} + \ delta _ {\ nu \ sigma} \ eta _ {a \ mu \ rho} - \ delta _ {\ mu \ sigma} \ eta _ {a \ nu \ rho} - \ delta _ {\ nu \ rho} \ эта _ {а \ му \ сигма}}
η
а
μ
ν
η
а
ρ
σ
знак равно
δ
μ
ρ
δ
ν
σ
-
δ
μ
σ
δ
ν
ρ
+
ϵ
μ
ν
ρ
σ
,
{\ displaystyle \ eta _ {a \ mu \ nu} \ eta _ {a \ rho \ sigma} = \ delta _ {\ mu \ rho} \ delta _ {\ nu \ sigma} - \ delta _ {\ mu \ сигма} \ delta _ {\ ню \ rho} + \ epsilon _ {\ mu \ nu \ rho \ sigma} \,}
η
а
μ
ρ
η
б
μ
σ
знак равно
δ
а
б
δ
ρ
σ
+
ϵ
а
б
c
η
c
ρ
σ
,
{\ displaystyle \ eta _ {a \ mu \ rho} \ eta _ {b \ mu \ sigma} = \ delta _ {ab} \ delta _ {\ rho \ sigma} + \ epsilon _ {abc} \ eta _ { c \ rho \ sigma} \,}
ϵ
μ
ν
ρ
θ
η
а
σ
θ
знак равно
δ
σ
μ
η
а
ν
ρ
+
δ
σ
ρ
η
а
μ
ν
-
δ
σ
ν
η
а
μ
ρ
,
{\ displaystyle \ epsilon _ {\ mu \ nu \ rho \ theta} \ eta _ {a \ sigma \ theta} = \ delta _ {\ sigma \ mu} \ eta _ {a \ nu \ rho} + \ delta _ {\ sigma \ rho} \ eta _ {a \ mu \ nu} - \ delta _ {\ sigma \ nu} \ eta _ {a \ mu \ rho} \,}
η
а
μ
ν
η
а
μ
ν
знак равно
12
,
η
а
μ
ν
η
б
μ
ν
знак равно
4
δ
а
б
,
η
а
μ
ρ
η
а
μ
σ
знак равно
3
δ
ρ
σ
.
{\ Displaystyle \ эта _ {а \ му \ ню} \ эта _ {а \ му \ ню} = 12 \, \ квад \ эта _ {а \ му \ ню} \ эта _ {б \ му \ ню} = 4 \ delta _ {ab} \, \ quad \ eta _ {a \ mu \ rho} \ eta _ {a \ mu \ sigma} = 3 \ delta _ {\ rho \ sigma} \.}
То же самое, за исключением
η
¯
{\ displaystyle {\ bar {\ eta}}}
η
¯
а
μ
ν
η
¯
а
ρ
σ
знак равно
δ
μ
ρ
δ
ν
σ
-
δ
μ
σ
δ
ν
ρ
-
ϵ
μ
ν
ρ
σ
.
{\ displaystyle {\ bar {\ eta}} _ {a \ mu \ nu} {\ bar {\ eta}} _ {a \ rho \ sigma} = \ delta _ {\ mu \ rho} \ delta _ {\ nu \ sigma} - \ delta _ {\ mu \ sigma} \ delta _ {\ nu \ rho} - \ epsilon _ {\ mu \ nu \ rho \ sigma} \.}
а также
ϵ
μ
ν
ρ
θ
η
¯
а
σ
θ
знак равно
-
δ
σ
μ
η
¯
а
ν
ρ
-
δ
σ
ρ
η
¯
а
μ
ν
+
δ
σ
ν
η
¯
а
μ
ρ
,
{\ displaystyle \ epsilon _ {\ mu \ nu \ rho \ theta} {\ bar {\ eta}} _ {a \ sigma \ theta} = - \ delta _ {\ sigma \ mu} {\ bar {\ eta} } _ {a \ nu \ rho} - \ delta _ {\ sigma \ rho} {\ bar {\ eta}} _ {a \ mu \ nu} + \ delta _ {\ sigma \ nu} {\ bar {\ eta}} _ {a \ mu \ rho} \,}
Очевидно, из-за разных свойств двойственности.
η
а
μ
ν
η
¯
б
μ
ν
знак равно
0
{\ displaystyle \ eta _ {a \ mu \ nu} {\ bar {\ eta}} _ {b \ mu \ nu} = 0}
Многие их свойства приведены в таблице в приложении к статье 'т Хоофта, а также в статье Белицкого и др.
Смотрите также
использованная литература
<img src="https://en.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">