팔라티니 변분(Palatini變分, 영어: Palatini variation)은 아인슈타인-힐베르트 작용(및 추가 물질 작용)을 리만 계량 또는 필바인의 2차 도함수에 대한 범함수 대신, 필바인과 스핀 접속의 1차 도함수에 대한 범함수로 여겨 변분법을 가하는 것을 말한다. 이 경우, 필바인은 일종의 보조장을 이루며, 페르미온 물질이 존재할 경우 일반적으로 스핀 접속은 0이 아닌 비틀림 텐서를 갖는다.
준 리만 다양체
의 필바인
![{\displaystyle g_{\mu \nu }=e_{\mu }^{a}e_{\nu }^{b}\eta _{ab}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44dd0b41e38e85f2646ca11d70c09f548d789dce)
![{\displaystyle e_{\mu }^{a}\in \Omega ^{1}(M;E)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed41439e5b0be5784dd2a1b071ac3816ff916c7f)
과 스핀 접속
![{\displaystyle e_{\nu }^{a}\nabla _{\mu }e^{b\nu }=\omega _{\mu }^{ab}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa7b0f2af7d83563136cfc02c99a1d8e974c3a53)
![{\displaystyle \omega _{\mu }^{ab}\in \Omega ^{1}\left(M;\bigvee ^{2}E\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03e6214b0589cb360d1475f27f6f141e34dc8b09)
을 생각하자. 여기서
는
-구조 벡터 다발이다.
그렇다면, 아인슈타인-힐베르트 작용을 다음과 같이 쓸 수 있다.
![{\displaystyle S[e,\omega ]={\frac {1}{2\kappa ^{2}}}\int \mathrm {d} ^{D}x\,(\det e)\,e_{a}^{\mu }e_{b}^{\nu }R_{\mu \nu }{}^{ab}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/931cf9f7f8f6272f4c0b4f943d849b7891b330a7)
[1]:(7.10)
여기서
![{\displaystyle X_{[\mu _{1}\dotso \mu _{p}]}={\frac {1}{p!}}\left(X_{\mu _{1}\dotso \mu _{p}}-\dotsb \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/501e244b0f25bfa4a9574b528b0cc52c84707ae5)
는 규격화된 완전 반대칭화이며,
는
정사각 행렬
![{\displaystyle (e_{\mu }^{a})_{\mu ,a\in \{0,\dotsc ,D-1\}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9cb654b8bde2abfa69db24e85600b1b79252a982)
의 행렬식이며, 부피 형식의 성분이다.
이제, 이 범함수를 (
의 2차 도함수의 범함수 대신) 필바인과
(의 0차 도함수)와 스핀 접속
(의 0차 및 1차 도함수)의 범함수로 여겨, 변분법을 적용할 수 있다. 이를 팔라티니 변분이라고 한다. 이 경우, 필바인의 도함수가 등장하지 않으므로, 필바인은 보조장을 이룬다.
그렇다면,
에 대한 오일러-라그랑주 방정식은 다음과 같다.
![{\displaystyle \omega _{\mu }^{ab}=e_{\nu }^{a}\nabla _{\mu }e^{b\nu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3a98fb55bae33fd409311d8137af9d3da9d1965)
여기서 우변은 물론
를 사용한,
의 (원래) 정의와 같다. 이 조건은 스핀 접속이 비틀림 텐서가 0인 레비치비타 접속임을 의미한다.
또한, 이 작용에서
에 대한 오일러-라그랑주 방정식은 마찬가지로 리치 곡률이 0임, 즉
![{\displaystyle R_{\mu }{}^{a}=e_{\mu }{}^{b}R_{\mu \nu }{}^{ab}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3f3ce3c7d9b56da3f9a7ad1a4a0feb2feb57e18)
임을 의미한다. 이는 아인슈타인 방정식과 같다.
필바인을 사용하지 않으면 일반적으로 스피너를 정의할 수 없다. 필바인을 사용하여 페르미온을 추가하고 팔라타니 변분을 적용할 경우, 스핀 접속은 페르미온의 세기의 제곱에 비례하는 비틀림 텐서를 갖게 된다.
구체적으로, 스피너장
에 대하여 공변 미분
![{\displaystyle \nabla _{\mu }\psi =\left(\partial _{\mu }+{\frac {1}{4}}\omega _{\mu }^{ab}\gamma _{ab}\right)\psi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf7beb1682e14f916f21ec7f54a1f710d0bc68c0)
![{\displaystyle \psi {\overset {\leftarrow }{\nabla }}_{\mu }=\partial _{\mu }{\bar {\psi }}-{\frac {1}{4}}\omega _{\mu }^{ab}{\bar {\psi }}\gamma _{ab}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d80e8c329054d1a858d529f82742d904131d626f)
를 정의하자. 그렇다면, 다음과 같은 꼴의 작용을 적을 수 있다.
![{\displaystyle S=S_{\text{EH}}+{\frac {1}{2}}\int \mathrm {d} ^{D}x\,(\det e)\,\left(-{\bar {\psi }}\gamma ^{\mu }\nabla _{\mu }\psi +{\bar {\psi }}{\overset {\leftarrow }{\nabla }}_{\mu }e_{a}^{\mu }\gamma ^{\mu }\psi \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9a409219dd50e1217ec8c4a501005a9aa8e9f4d)
이 경우, 위와 같이 팔라티니 변분을 취했을 때, 다음을 얻는다.[1]:(8.3)
![{\displaystyle \omega _{\mu }^{ab}=\omega _{\mu }^{ab}[e]-{\frac {1}{4}}\kappa ^{2}{\bar {\psi }}\gamma _{abc}e^{c\nu }\psi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d07ec332f232a35586ade9848ec5d2438a84633)
즉, 이는 비틀림 텐서
![{\displaystyle 2\Gamma _{[\mu \nu ]}^{\rho }=T_{\mu \nu }{}^{\rho }={\frac {1}{2}}\kappa ^{2}{\bar {\psi }}\gamma _{\mu \nu \rho }\psi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/66c04a223c1ba2da3a8f0e9b12be77153a54465f)
에 해당한다.
이는 물리학적으로
를 필바인의 2차 도함수로 구성된 범함수로 여기는 것과 다른 결과이다.[1]:§8 (다만, 중력 상수가 매우 작으므로, 이 효과는 측정하기 매우 힘들다.)
이탈리아의 수학자 아틸리오 팔라타니(이탈리아어: Attilio Palatini, 1889~1949)의 이름이 붙어 있다.[2]
- ↑ 가 나 다 Freedman, Daniel Z.; Van Proeyen, Antoine (2011년 11월). “Ingredients of supergravity”. 《Fortschritte der Physik》 (영어) 59 (11–12): 1118–1126. arXiv:1106.1097. Bibcode:2011ForPh..59.1118F. doi:10.1002/prop.201100059.
- ↑ Palatini, Attilio (1919). “Deduzione invariantiva delle equazioni gravitazionali dal principio di Hamilton”. 《Rendiconti del Circolo Matematico di Palermo》 (이탈리아어) 43: 203–212.