Алгебраическое тождество Бьянки
Алгебраическое тождество Бьянки — определённый вид симметрии тензора кривизны. Также известно как тождество Бьянки — Падова), или первое тождество Бьянки. Тождество было найдено Грегорио Риччи-Курбастро, но оно называется первым тождеством Бьянки, потому что оно похоже на дифференциальное тождество, описанное Луиджи Бьянки.
Формулировка
Тензор Римана удовлетворяет следующему тождеству:
R ( u , v ) w + R ( v , w ) u + R ( w , u ) v = 0. {displaystyle R(u,;v)w+R(v,;w)u+R(w,;u)v=0.}которое называется алгебраическим тождеством Бьянки
Замечание
Это тождество эквивалентно следующему соотношению на компоненты тензора кривизны:
R s i j k + R s j k i + R s k i j = 0 {displaystyle R_{sijk}+R_{sjki}+R_{skij}=0}Варианты записи тождества
Поскольку тензор Римана имеет две антисимметричные пары индексов (тензор меняет знак на противоположный при перестановке двух индексов внутри каждой из пар), причем тензор симметричен при перестановке местами самих пар, то мы можем, например, поменять местами первые два индекса. Получаем (изменив знак):
( 1 a ) R i s j k + R j s k i + R k s i j = 0 {displaystyle (1a)qquad R_{isjk}+R_{jski}+R_{ksij}=0}Если теперь поменять местами пары индексов, то получим:
( 1 b ) R j k i s + R k i j s + R i j k s = 0 {displaystyle (1b)qquad R_{jkis}+R_{kijs}+R_{ijks}=0}Все эти тождества эквивалентны, и словами их можно описать так: фиксируем один из индексов тензора Римана, а с тремя остальными индексами проделываем три циклические перестановки. Сумма компонент тензора Римана с полученными тремя наборами индексов равна нулю.
Другие варианты получаются при подъёме одного или нескольких индексов, например:
( 1 c ) R i j k s + R j k i s + R k i j s = 0 {displaystyle (1c)qquad R_{;ijk}^{s}+R_{;jki}^{s}+R_{;kij}^{s}=0}Антисимметризация тензора Римана
Используя тензор метрической матрёшки, можно для произвольного тензора T i 1 ⋯ i m {displaystyle T_{i_{1}cdots i_{m}}} m {displaystyle m} -ранга составить следующий антисимметричный по всем индексам тензор:
( 16 ) A i 1 … i m = 1 m ! g i 1 … i m j 1 … j m T j 1 … j m {displaystyle (16)qquad A_{i_{1}dots i_{m}}={1 over m!}g_{i_{1}dots i_{m}}^{j_{1}dots j_{m}}T_{j_{1}dots j_{m}}}Очевидно, что антисимметричный тензор остаётся неизменным после проведения процедуры антисимметризации.
Применим антисимметризацию к тензору Римана:
( 17 ) A s i j k = 1 4 ! g s i j k s 1 i 1 j 1 k 1 R s 1 i 1 j 1 k 1 = 1 24 | δ s s 1 δ i s 1 δ j s 1 δ k s 1 δ s i 1 δ i i 1 δ j i 1 δ k i 1 δ s j 1 δ i j 1 δ j j 1 δ k j 1 δ s k 1 δ i k 1 δ j k 1 δ k k 1 | R s 1 i 1 j 1 k 1 {displaystyle (17)qquad A_{sijk}={1 over 4!}g_{sijk}^{s_{1}i_{1}j_{1}k_{1}}R_{s_{1}i_{1}j_{1}k_{1}}={1 over 24}{egin{vmatrix}delta _{s}^{s_{1}}delta _{i}^{s_{1}}delta _{j}^{s_{1}}delta _{k}^{s_{1}}delta _{s}^{i_{1}}delta _{i}^{i_{1}}delta _{j}^{i_{1}}delta _{k}^{i_{1}}delta _{s}^{j_{1}}delta _{i}^{j_{1}}delta _{j}^{j_{1}}delta _{k}^{j_{1}}delta _{s}^{k_{1}}delta _{i}^{k_{1}}delta _{j}^{k_{1}}delta _{k}^{k_{1}}end{vmatrix}}R_{s_{1}i_{1}j_{1}k_{1}}}При раскрытии определителя мы получим 24 слагаемых по перестановке индексов s i j k {displaystyle sijk} , причем парные перестановки будут со знаком «плюс», а нечётные — со знаком «минус»:
( 18 ) A s i j k = 1 24 ( ( R s i j k + R s j k i + R s k i j ) − ( R s j i k + R s i k j + R s k j i ) + … ) {displaystyle (18)qquad A_{sijk}={1 over 24}left((R_{sijk}+R_{sjki}+R_{skij})-(R_{sjik}+R_{sikj}+R_{skji})+dots ight)}Всего в формуле (18) будет восемь групп слагаемых по три слагаемых в каждой. Учитывая симметрию тензора Римана, легко увидеть, что все эти восемь групп одинаковые (с учётом знаков). Поэтому получаем:
( 19 ) A s i j k = 1 3 ( R s i j k + R s j k i + R s k i j ) {displaystyle (19)qquad A_{sijk}={1 over 3}(R_{sijk}+R_{sjki}+R_{skij})}Теперь алгебраическое тождество Бьянки можно словами описать так: антисимметризация тензора Римана равна нулю.
Количество линейно независимых компонент внутренней кривизны
Если n {displaystyle n} — размерность многообразия, то количество комбинаций в антисимметричной паре индексов равна:
( 20 ) α = C n 2 = n ( n − 1 ) 2 {displaystyle (20)qquad alpha =C_{n}^{2}={n(n-1) over 2}}Поскольку тензор Римана симметричен относительно перестановки пар индексов, то его компоненты записываются (с точностью до знака) таким количеством разных чисел:
( 21 ) β = α ( α + 1 ) 2 = n ( n − 1 ) 4 ( n ( n − 1 ) 2 + 1 ) {displaystyle (21)qquad eta ={alpha (alpha +1) over 2}={n(n-1) over 4}left({n(n-1) over 2}+1 ight)}Но эти числа связаны линейными зависимостями, которые следуют из алгебраического тождества Бьянки. Количество этих уравнений, как легко видеть из формулы (19), равно количеству существенно разных компонент антисимметричного тензора четвёртого ранга A i j k l {displaystyle A_{ijkl}} :
( 22 ) γ = C n 4 = n ( n − 1 ) ( n − 2 ) ( n − 3 ) 24 {displaystyle (22)qquad gamma =C_{n}^{4}={n(n-1)(n-2)(n-3) over 24}}(Заметим, что формула (22) даёт правильный результат, т.е. ноль, тогда, когда n < 4 {displaystyle n<4} ) Следовательно количество линейно независимых компонент тензора Римана равно разности:
( 23 ) N = β − γ = n ( n − 1 ) 24 ( 3 n ( n − 1 ) + 6 − ( n − 2 ) ( n − 3 ) ) = n 2 ( n 2 − 1 ) 12 {displaystyle (23)qquad N=eta -gamma ={n(n-1) over 24}(3n(n-1)+6-(n-2)(n-3))={n^{2}(n^{2}-1) over 12}}Формула (23) даёт только максимально возможное количество линейно независимых компонент тензора Римана для данной размерности многообразия. А для конкретных многообразий это количество может быть меньшим. Например для плоского пространства это число равно нулю, а для гиперповерхности в системе координат главных направлений, имеем для индексов i ≠ j {displaystyle i eq j} формулу:
( 24 ) R i j i j = k ( i ) k ( j ) {displaystyle (24)qquad R_{ijij}=k^{(i)}k^{(j)}}а следовательно, количество линейно независимых компонент не превышает количества комбинаций из n {displaystyle n} по 2, т.е.:
( 25 ) N h y p e r s u r f a c e = C n 2 = n ( n − 1 ) / 2 {displaystyle (25)qquad N_{hypersurface}=C_{n}^{2}={n(n-1)/2}}Связь с другими свойствами внутренней кривизны
Вследствие алгебраического тождества Бьянки внутренняя кривизна многообразия полностью определяется по значениям следующей квадратичной формы от бивекторов σ i j = a i b j − a j b i {displaystyle sigma ^{ij}=a^{i}b^{j}-a^{j}b^{i}} :
( 26 ) Φ ( σ ) = R i j k l σ i j σ k l {displaystyle (26)qquad Phi ({oldsymbol {sigma }})=R_{ijkl}sigma ^{ij}sigma ^{kl}}Также с алгебраическим тождеством Бьянки связана возможность альтернативного взгляда на внутреннюю кривизну через симметричный тензор внутренней кривизны.