[论文解读] Generators of algebraic covariant derivative curvature tensors and Young symmetrizers

Bernd Fiedler|ArXiv.org|Oct 2, 2003

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)分拆族中哪些不可约对称类型无法生成该空间，识别出一个唯一的例外类。
• 将表示论中的高级工具——特别是群环理想、幂等元与Littlewood-Richardson法则——应用于张量生成问题。

提出的方法

• 使用Fulling等人关于生成代数协变导数曲率张量对称类的杨对称化子的定理。
• 在复群环 $\mathbb{C}[\mathcal{S}_r]$ 中应用理想与幂等元，分析生成张量的结构。
• 利用Littlewood-Richardson法则分解张量积表示，并识别相关对称类型。
• 使用对称群 $\mathcal{S}_r$ 的离散傅里叶变换分析表示论性质。
• 通过Mathematica软件包Ricci与PERMS进行符号计算，验证群环中关键元素的非零性。
• 将生成元构造为张量积 $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}$ 时其非零，且在 $\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}$ 时与标准杨对称化子一致，确认了表示论构造的一致性。