[논문 리뷰] Generators of algebraic covariant derivative curvature tensors and Young symmetrizers

Bernd Fiedler|ArXiv.org|2003. 10. 02.

Tensor decomposition and applications참고 문헌 20인용 수 4

한 줄 요약

이 논문은 대칭군 대수에서의 영형자와 군환 아이디얼을 사용하여 대수적 공변도 미분 곡률 텐서의 생성자를 규명한다. 이 텐서들은 특정 불변 대칭 유형을 가진 두 차 및 세 차 공변 텐서의 영형자화된 곱으로 생성되며, (2,1) 분할 가족에서 유일한 예외적인 대칭 클래스를 제외한 모든 경우에서 생성 가능하다.

ABSTRACT

We show that the space of algebraic covariant derivative curvature tensors R' is generated by Young symmetrized tensor products W*U or U*W, where W and U are covariant tensors of order 2 and 3 whose symmetry classes are irreducible and characterized by the following pairs of partitions: {(2),(3)}, {(2),(2 1)} or {(1 1),(2 1)}. Each of the partitions (2), (3) and (1 1) describes exactly one symmetry class, whereas the partition (2 1) characterizes an infinite set S of irreducible symmetry classes. This set S contains exactly one symmetry class S_0 whose elements U can not play the role of generators of tensors R'. The tensors U of all other symmetry classes from S\{S_0} can be used as generators for tensors R'. Foundation of our investigations is a theorem of S. A. Fulling, R. C. King, B. G. Wybourne and C. J. Cummins about a Young symmetrizer that generates the symmetry class of algebraic covariant derivative curvature tensors. Furthermore we apply ideals and idempotents in group rings C[Sr], the Littlewood-Richardson rule and discrete Fourier transforms for symmetric groups Sr. For certain symbolic calculations we used the Mathematica packages Ricci and PERMS.

연구 동기 및 목표

• 공변도 미분 곡률 텐서의 대수적 생성자를 규명하는 것 — 이는 리만 곡률 텐서와 그 첫 번째 공변도 미분을 일반화한다.
• 이러한 곡률 텐서를 영형자화를 통해 생성할 수 있는 두 차 및 세 차 텐서의 대칭 유형을 특성화하는 것.
• (2,1) 분할 가족에서 생성이 불가능한 불변 대칭 유형 클래스를 규명하고, 유일한 예외적인 클래스를 식별하는 것.
• 표현 이론의 고급 도구 — 특히 군환 아이디얼, 프로젝터, 리틀우드-리치아드슨 규칙 — 을 사용하여 텐서 생성 문제를 해결하는 것.

제안 방법

• Fulling 등이 제시한 영형자화가 대수적 공변도 미분 곡률 텐서의 대칭 유형을 생성하는 데 사용되는 정리를 활용한다.
• 복소수 군환 $\mathbb{C}[\mathcal{S}_r]$ 내의 아이디얼과 프로젝터를 사용하여 생성 텐서의 구조를 분석한다.
• 리틀우드-리치아드슨 규칙을 적용하여 텐서 곱 표현의 분해를 수행하고 관련 대칭 유형을 식별한다.
• 대칭군 $\mathcal{S}_r$의 이산 푸리에 변환을 사용하여 표현 이론적 성질을 분석한다.
• Mathematica 패키지 Ricci와 PERMS를 사용한 기호 계산을 통해 군환 원소의 값이 0이 아님을 검증한다.
• 생성자를 유한한 텐서 곱의 합 $T \otimes \hat{T}$ 또는 $\hat{T} \otimes T$ 형태로 구성한다. 여기서 $T$ 와 $\hat{T}$ 는 특정 대칭 유형을 가진다.

실험 결과

연구 질문

• RQ1 어느 두 차 및 세 차 텐서의 대칭 유형이 대수적 공변도 미분 곡률 텐서 공간을 생성할 수 있는가?
• RQ2 (2,1) 분할이 생성 텐서의 분해에서 어떤 역할을 하는가? 그 가족 내에서 어떤 대칭 유형이 제외되는가?
• RQ3 $\mathbb{C}[\mathcal{S}_5]$ 내의 영형자화와 군환 프로젝터는 이러한 곡률 텐서의 구조와 어떻게 관련되어 있는가?
• RQ4 생성자는 특정 대칭 유형을 가진 곱 텐서의 유한한 합으로 표현될 수 있는가?
• RQ5 왜 (2,1) 가족 내에서 생성자가 될 수 없는 유일한 예외적인 대칭 유형 $S_0$ 가 중요한가?

주요 결과

• 대수적 공변도 미분 곡률 텐서 공간 $\mathfrak{R}'$ 은 영형자화된 곱 텐서 $T \otimes \hat{T}$ 또는 $\hat{T} \otimes T$ 로 생성되며, 여기서 $T$ 와 $\hat{T}$ 는 분할 쌍 $\{(2),(3)\}$, $\{(2),(2\,1)\}$, 또는 $\{(1^2),(2\,1)\}$ 에 해당하는 대칭 유형을 가진 두 차 및 세 차 텐서이다.
• 분할 $(2)$, $(3)$, $(1^2)$ 은 각각 정확히 하나의 불변 대칭 유형에 대응하며, 분할 $(2\,1)$ 은 무한한 불변 대칭 유형의 가족 $\mathfrak{S}$ 를 나타낸다.
• 가족 $\mathfrak{S}$ 내의 대칭 유형들 중 정확히 하나의 유형인 $S_0$ 만이 $\mathfrak{R}'$ 을 생성하지 못하며, 나머지 $\mathfrak{S} \setminus \{S_0\}$ 내의 모든 유형은 생성자로 사용 가능하다.
• 생성자는 군환 원소 $\rho_\epsilon$ 와 $\sigma_{\nu,\epsilon}$ 를 통해 구성되며, $\nu \neq \frac{1}{2}$ 일 때 이들은 0이 아니며, $\mathbb{K}[\mathcal{S}_5]$ 내에서 동일한 최소 오른쪽 아이디얼을 생성한다.
• 모든 대수적 공변도 미분 곡률 텐서는 형태 $S \otimes U$, $A \otimes U$, $U \otimes S$, 또는 $U \otimes A$ 의 유한한 합으로 표현 가능하다. 여기서 $S$ 와 $A$ 는 대칭 및 반대칭 두 차 텐서이며, $U$ 는 특정 대칭을 가진 세 차 텐서이다.
• 프로젝터 $\xi_\nu$ 는 $\nu = \frac{1}{2}$ 일 때 표준 영형자화와 일치하며, 표현 이론적 구성의 일관성을 확인한다.