[论文解读] Duality functors for $n$-fold vector bundles

Alfonso Gracia-Saz, Kirill C. H. Mackenzie|arXiv (Cornell University)|Aug 31, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 6

一句话总结

本文引入并表征了 $n$-重向量丛的对偶函子，表明此类对偶操作的群 $ \mathscr{D}\mathscr{F}_n $ 是对称群 $S_{n+1}$ 关于 $n$ 个 $\mathbb{Z}_2$ 的直积的扩张。当且仅当 $n$ 被 4 整除时，该群的中心非平凡，其结构通过 $n+1$ 个顶点上的图进行解释。

ABSTRACT

Double vector bundles may be dualized in two distinct ways and these duals are themselves dual. These two dualizations generate a group, denoted $\mathscr{D}\mathscr{F}_2$, which is the symmetric group $S_3$ on three symbols. In the case of triple vector bundles the authors proved in a previous paper that the corresponding group $\mathscr{D}\mathscr{F}_3$ is an extension of $S_4$ by the Klein four-group. In this paper we show that the group $\mathscr{D}\mathscr{F}_n$, for $n$-fold vector bundles, $n\geq 3$, is an extension of $S_{n+1}$ by a certain product of groups of order 2, and show that the centre is nontrivial if and only if $n$ is a multiple of 4. The methods employ an interpretation of duality operations in terms of certain graphs on $(n+1)$ vertices.

研究动机与目标

• 理解 $n \geq 3$ 时作用于 $n$-重向量丛的对偶函子的代数结构。
• 将已知的双重重 (\mathscr{D}\mathscr{F}_2 \cong S_3) 和三重重 (\mathscr{D}\mathscr{F}_3) 向量丛的对偶群结构推广至更高重的情况。
• 研究 $\mathscr{D}\mathscr{F}_n$ 的群论性质，特别是其扩张结构与中心。
• 通过 $n+1$ 个顶点上的图，提供对偶操作的组合解释。

提出的方法

• 作者将对偶操作建模为 $n$-重向量丛的 $n$ 个基丛结构的置换。
• 通过按顺序对每个基丛进行对偶化来定义对偶函子，从而在全空间上生成一个群作用。
• 利用 $n+1$ 个顶点上的图论解释，证明群 $\mathscr{D}\mathscr{F}_n$ 是 $S_{n+1}$ 关于 $n$ 个 $\mathbb{Z}_2$ 的直积的扩张。
• 通过 GAP 对小的 $n$ 进行显式计算，并利用对称群扩张研究一般情况。
• 通过分析对偶操作的可交换性来确定 $\mathscr{D}\mathscr{F}_n$ 的中心，关键结果为其中心非平凡当且仅当 $n$ 被 4 整除。
• 对偶操作通过带符号的置换编码，符号来源于某些图自同构的奇偶性。

实验结果

研究问题

• RQ1 对于 $n \geq 3$，$n$-重向量丛的对偶函子群 $\mathscr{D}\mathscr{F}_n$ 的代数结构是什么？
• RQ2 群 $\mathscr{D}\mathscr{F}_n$ 如何推广已知的 $\mathscr{D}\mathscr{F}_2 \cong S_3$ 和 $\mathscr{D}\mathscr{F}_3$（阶为 96）的结构？
• RQ3 群 $\mathscr{D}\mathscr{F}_n$ 的中心是否非平凡？如果是，其条件是什么？
• RQ4 对偶操作能否通过 $n+1$ 个顶点上的组合对象（如图）系统地描述？
• RQ5 对称群 $S_{n+1}$ 和 $\mathbb{Z}_2$ 因子的直积在群扩张结构中起什么作用？

主要发现

• 对 $n$-重向量丛的对偶函子群 $\mathscr{D}\mathscr{F}_n$ 是对称群 $S_{n+1}$ 关于 $n$ 个 $\mathbb{Z}_2$ 的直积的扩张，即 $\mathscr{D}\mathscr{F}_n \cong \operatorname{Ext}(S_{n+1}, (\mathbb{Z}_2)^n)$。
• 当且仅当 $n$ 被 4 整除时，$\mathscr{D}\mathscr{F}_n$ 的中心非平凡。
• 当 $n=2$ 时，$\mathscr{D}\mathscr{F}_2 \cong S_3$；当 $n=3$ 时，$\mathscr{D}\mathscr{F}_3$ 是 $S_4$ 关于克莱因四元群的扩张。
• 对偶操作通过 $n+1$ 个顶点上的图进行编码，其中每个顶点对应一个基丛，边表示对偶关系。
• 该群结构与双重重向量丛上李代数丛结构的相容性一致，如与公式 (1) 所述。
• GAP 中的显式计算验证了小 $n$ 时的结构，且一般情况下的扩张呈现出一致的模式。