[論文レビュー] 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$ 個のベースバンドル構造に対する置換として双対性操作をモデル化する。
• 各ベースバンドルに対して逐次双対化することで双対性ファンクターを定義し、全空間に群作用を生成する。
• 群 $\mathscr{D}\mathscr{F}_n$ は、$n+1$ 頂点のグラフ的解釈を用いて、$S_{n+1}$ による拡張と $n$ 個の $\mathbb{Z}_2$ の直積であることが示される。
• 小規模な $n$ について GAP を用いた明示的計算により構造を分析し、一般の場合には対称群の拡張を用いて研究する。
• 双対性操作の可換性を分析することで $\mathscr{D}\mathscr{F}_n$ の中心が特定され、中心が非自明であるのは $n$ が 4 の倍数である場合に限ることが重要な結果として得られる。
• 符号付き置換を用いて双対性操作を符号化し、符号は特定のグラフ自己同型の偶奇性から得られる。

実験結果

リサーチクエスチョン

• RQ1 $n \geq 3$ に対して、$n$-重ベクトルバンドルの双対性ファンクターの群 $\mathscr{D}\mathscr{F}_n$ の代数的構造は何か？
• RQ2 $\mathscr{D}\mathscr{F}_2 \cong S_3$ および $\mathscr{D}\mathscr{F}_3$（位数 96）の既知の構造は、どのようにしてより高次のケースに一般化されるか？
• RQ3 $\mathscr{D}\mathscr{F}_n$ の中心は非自明か？ もし非自明であれば、$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)$ である。
• $\mathscr{D}\mathscr{F}_n$ の中心は $n$ が 4 の倍数である場合にのみ非自明である。
• $n=2$ の場合、$\mathscr{D}\mathscr{F}_2 \cong S_3$ であり、$n=3$ の場合、$\mathscr{D}\mathscr{F}_3$ は $S_4$ による拡張とクラインの四元群である。
• 双対性操作は、$n+1$ 頂点のグラフを用いて符号化され、各頂点がベースバンドルに対応し、辺が双対性関係を表す。
• 二重ベクトルバンドルにおけるリー代数的構造の整合性と整合するため、式 (1) に関連して述べられている。
• GAP を用いた明示的計算により、小規模な $n$ に対して構造が確認され、一般の場合には拡張構造に一貫性があることが示された。