[논문 리뷰] On the symmetry classes of the first covariant derivatives of tensor fields

Bernd Fiedler|ArXiv.org|2003. 01. 06.

Black Holes and Theoretical Physics참고 문헌 18인용 수 3

한 줄 요약

이 논문은 리틀우드-리치아드슨 곱과 양-대칭화자를 사용하여 텐서 장의 첫 번째 공변도함수의 대칭 계열을 특성화한다. 이는 ∇S − sym(∇S)와 ∇A − alt(∇A)의 대칭 계열이 각각 (r,1)과 (2,1^{r−1})의 양 프레임에 대응하며, 후자는 양-대칭화자를 통해 생성 가능하지만 전자는 그렇지 않음을 보여주며, 이는 대수적 공변도함수 곡률 텐서의 핵심 생성자를 제공한다.

ABSTRACT

We show that the symmetry classes of torsion-free covariant derivatives $ abla T$ of r-times covariant tensor fields T can be characterized by Littlewood-Richardson products $σ[1]$ where $σ$ is a representation of the symmetric group $S_r$ which is connected with the symmetry class of T. If $σ= [λ]$ is irreducible then $σ[1]$ has a multiplicity free reduction $[λ][1] = \sum [μ]$ and all primitive idempotents belonging to that sum can be calculated from a generating idempotent e of the symmetry class of T by means of the irreducible characters or of a discrete Fourier transform of $S_{r+1}$. We apply these facts to derivatives $ abla S$, $ abla A$ of symmetric or alternating tensor fields. The symmetry classes of the differences $ abla S - sym( abla S)$ and $ abla A - alt( abla A)$ are characterized by Young frames (r, 1) and (2, 1^{r-1}), respectively. However, while the symmetry class of $ abla A - alt( abla A)$ can be generated by Young symmetrizers of (2, 1^{r-1}), no Young symmetrizer of (r, 1) generates the symmetry class of $ abla S - sym( abla S)$. Furthermore we show in the case r = 2 that $ abla S - sym( abla S)$ and $ abla A - alt( abla A)$ can be applied in generator formulas of algebraic covariant derivative curvature tensors. For certain symbolic calculations we used the Mathematica packages Ricci and PERMS.

연구 동기 및 목표

• r번 공변 텐서 장 T의 첫 번째 공변도함수 ∇T의 대칭 계열을 특성화하는 것.
• 특정 양 프레임에 대응하는 양-대칭화자가 ∇S − sym(∇S)와 ∇A − alt(∇A)의 대칭 계열을 생성할 수 있는지 여부를 규명하는 것.
• 이 결과를 대수적 공변도함수 곡률 텐서의 생성자 공식에 적용하는 것.
• Mathematica 패키지 Ricci와 PERMS를 활용한 명시적 계산 도구 및 기호적 검증을 제공하는 것.

제안 방법

• 대칭군 𝕊r의 표현 이론을 사용하여, T의 대칭 계열과 ∇T의 대칭 계열을 리틀우드-리치아드슨 곱 σ[1]을 통해 연결한다. 여기서 σ는 T의 대칭 계열에 대응한다.
• 𝕊r+1에서의 기약 특성과 이산 푸리에 변환을 적용하여, ∇T의 대칭 계열에 대한 원시 비제로 원소를 계산한다.
• 양 프레임 (r,1)과 (2,1^{r−1})에 관련된 양-대칭화자를 사용하여, ∇S − sym(∇S)와 ∇A − alt(∇A)의 대칭 구조를 분석한다.
• Mathematica 패키지 Ricci와 PERMS를 통한 기호 계산을 통해 r=2,3,4일 때 결과를 검증한다.
• idempotent h_a (𝕊r+1의 대칭화자)가 양-대칭화자 e_t에 작용할 때, h_a·e_t가 0이 되는지 또는 유지되는지를 분석한다.
• 군 대수 원소와 비제로 원소를 사용하여 f·h_s와 f·h_a의 명시적 표현을 유도하며, ∇S − sym(∇S)의 대칭 계열에서 비자명한 구조가 있음을 보여준다.

실험 결과

연구 질문

• RQ1 ∇S − sym(∇S)의 대칭 계열은 (r,1)의 프레임에 대응하는 양-대칭화자를 통해 생성될 수 있는가?
• RQ2 ∇A − alt(∇A)의 대칭 계열은 (2,1^{r−1})의 프레임에 대응하는 양-대칭화자를 통해 생성 가능한가?
• RQ3 σ가 기약일 때 리틀우드-리치아드슨 곱 σ[1]은 ∇T의 대칭 계열을 어떻게 묘사하는가?
• RQ4 T의 대칭 계열의 생성 비제로 원소 e가 ∇T의 대칭 계열에 대한 비제로 원소를 구성하는 데 어떤 역할을 하는가?
• RQ5 ∇S − sym(∇S)와 ∇A − alt(∇A)는 대수적 공변도함수 곡률 텐서의 생성자로 사용될 수 있는가?

주요 결과

• ∇A − alt(∇A)의 대칭 계열은 양 프레임 (2,1^{r−1})에 대응하며, 해당하는 양-대칭화자를 통해 생성된다.
• ∇S − sym(∇S)의 대칭 계열은 양 프레임 (r,1)에 대응하지만, 이 프레임에 대응하는 어떤 양-대칭화자도 이 계열을 생성하지 못한다.
• r=2일 때, ∇S − sym(∇S)와 ∇A − alt(∇A)는 모두 대수적 공변도함수 곡률 텐서의 생성자 공식에서 사용 가능하다.
• r=2일 때, 대칭화자 h_a가 (2,1^{r−1})의 프레임에 대응하는 양-대칭화자 e_t에 작용하면, 6개의 표준 표기 중 2개에서 h_a·e_t = h_a를 만족하며, r=3과 r=4일 때도 유사한 패턴이 유지된다.
• PERMS를 통한 기호 계산 결과, r=4일 때 24개의 표준 표기에서 h_a·e_t = h_a이고, 72개는 h_a·e_t = 0임을 확인하여 생성 행동의 균일하지 않은 분포를 확인한다.
• f·h_a = z·e_a − f_a라는 표현은 f·h_a ≠ 0임을 보여주며, ∇A − alt(∇A)의 대칭 계열이 비자명하며 비제로 원소 f에 의해 소거되지 않음을 확인한다.