[论文解读] Duality and triple structures

Kirill C. H. Mackenzie|ArXiv.org|Jun 14, 2004

Homotopy and Cohomology in Algebraic Topology被引用 6

一句话总结

该论文通过将三重向量丛嵌入余切三重向量丛，确立了三重向量丛上的对偶操作生成一个阶为72的群，该群不同于二面体群或对称群。该研究将双重重心丛对偶性的二面体对称性推广至高维，揭示了一个非平凡的群结构，该结构不扩展至超立方体对称性，并提出了n重向量丛对偶性的框架，其中存在一个关于(k+1)重对偶操作乘积的猜想关系。

ABSTRACT

We first recall the basic theory of double vector bundles and the canonical pairing of their duals introduced by the author and by Konieczna and Urbanski. We then show that the relationship between a double vector bundle and its two duals can be understood simply in terms of an associated cotangent triple vector bundle. In particular we show that the dihedral group of the triangle acts on this triple via forms of the isomorphisms R introduced by the author and Ping Xu. We then consider the three duals of a general triple vector bundle and show that the corresponding group is neither the dihedral group of the square nor the symmetry group on four symbols.

研究动机与目标

• 理解三重向量丛上对偶化操作生成的群结构。
• 将先前由对称群S3控制的双重重心丛对偶理论扩展至三重情形。
• 证明三重向量丛的三个对偶与原始丛构成余切(n+1)-重向量丛结构的下层n-面。
• 识别三重向量丛对偶化中产生的对称群，并与超立方体或对称群对称性的预期进行对比。

提出的方法

• 该论文通过Mackenzie引入的对偶配对以及Konieczna和Urbański的方法，从给定的双重重心丛构造余切三重向量丛。
• 它将阶为6的二面体群识别为通过同构R作用于双重重心丛三个对偶上的对称群，推广了Mackenzie和Xu的早期结果。
• 对于三重向量丛，作者定义了沿三个轴的三个对偶化操作X、Y、Z，并分析了它们的复合。
• 通过GAP计算代数，作者验证了由X、Y、Z生成的群满足关系式(XYZ)^4 = I、(YZX)^4 = I、(ZXY)^4 = I，且X^2 = Y^2 = Z^2 = I，从而得到一个阶为72的群。
• 该论文将三重向量丛嵌入一个余切(n+1)-重向量丛中，其中原始丛及其三个对偶构成下层n-面。
• 它猜想对于n重向量丛，k个不同对偶化操作的乘积的(k+1)次幂等于单位元，即(X_{i1}...X_{ik})^{k+1} = 1，推广了三重情形中观察到的模式。

实验结果

研究问题

• RQ1 三重向量丛上对偶化操作生成的群结构是什么？
• RQ2 三重向量丛的对偶性与双重重心丛的对偶性有何不同，特别是在对称性方面？
• RQ3 n重向量丛的对偶性能否系统地推广至双重重心丛之外的情形？
• RQ4 为何三重情形下对偶化操作的群不与对称群S4或正方形的二面体群同构？
• RQ5 余切(n+1)-重向量丛在统一n重向量丛对偶结构中起什么作用？

主要发现

• 通过GAP计算代数软件验证，三重向量丛上对偶化操作的群阶为72。
• 该群与正方形的二面体群或四元符号对称群不同构，表明其对称性比预期更复杂。
• 关系式X^2 = Y^2 = Z^2 = I、(XYZ)^4 = I、(YZX)^4 = I和(ZXY)^4 = I完全刻画了该群的结构。
• 三重向量丛的三个对偶与原始丛构成余切(n+1)-重向量丛的三个下层n-面。
• 由XYXZ、YZXY和ZXZY生成的子群阶为12，且为正规子群，其商群同构于S3。
• 该论文猜想：对于n重向量丛，k个不同对偶化操作的乘积的(k+1)次幂等于单位元，即(X_{i1}...X_{ik})^{k+1} = 1，推广了三重情形的规律。