[論文レビュー] Symmetric products, permutation orbifolds and discrete torsion

P. Bántay|ArXiv.org|Apr 5, 2000

Geometric and Algebraic Topology被引用数 12

ひとこと要約

本稿では、置換対称群の技術を用いて、対称積オルビフォールドの体系的な枠組みを構築し、トーラスの分配関数およびクラインボトル振幅の明示的な生成関数を導出する。離散的ねじれ係数について、巡回型に基づく閉形式の表現を提供し、第二量子化された弦理論およびヒルベルトスキームのシグマモデルにおける長年の計算的課題を解決する。

ABSTRACT

Symmetric product orbifolds, i.e. permutation orbifolds of the full symmetric group S_{n} are considered by applying the general techniques of permutation orbifolds. Generating functions for various quantities, e.g. the torus partition functions and the Klein-bottle amplitudes are presented, as well as a simple expression for the discrete torsion coefficients.

研究の動機と目的

• 置換オルビフォールド理論を用いて、完全な対称群 $S_n$ の下での対称積オルビフォールドを再定式化すること。
• ハミルトニアン法が対称積の分配関数およびモジュラー不変量を計算する際に抱える制限を克服すること。
• トーラスの分配関数およびクラインボトル振幅における離散的ねじれ係数の閉形式表現を導出すること。
• 任意のリーマン面における分配関数の計算を簡略化する生成関数形式の枠組みを確立すること。
• 普遍的な組合せ的恒等式を通じて、解析的数論および幾何的 CFT と理論を結びつけること。

提案手法

• 2次元 CFT $\mathcal{C}$ を用いて、$\mathcal{C} \wr S_n$ の一般理論を置換オルビフォールドに適用する。
• 有限生成群 $G$ に対して成り立つ、重要な組合せ的恒等式 (1): $\sum_{n=0}^\infty \frac{1}{n!} \sum_{\phi: G \to S_n} \prod_{\xi \in \mathcal{O}(\phi)} \mathcal{Z}(G_\xi) = \exp\left(\sum_{H < G} \frac{\mathcal{Z}(H)}{[G:H]}\right)$ を用いる。
• 群 $S_n$ の元の巡回型分解を用いて、$Z_n(\mathcal{S})$ を $S_n$-対称積オルビフォールドにおける表面 $\mathcal{S}$ の分配関数として定義する。
• 生成関数 $\sum_{n=0}^\infty p^n Z_n(\mathcal{S}) = \exp\left(\sum_{n=1}^\infty p^n Z^{(n)}(\mathcal{S})\right)$ を導出する。ここで $Z^{(n)}(\mathcal{S})$ は、指数 $n$ の部分群の和を表す。
• 離散的ねじれ係数の閉形式表現を導入する: $\varepsilon(x,y) = (-1)^{(|x|-1)(|y|-1) + |x,y| - 1}$。これは、$xy = yx$ または $xy = yx^{-1}$ を満たす $x,y \in S_n$ に対して有効である。
• 群コホモロジーと巡回構造解析を用いて、この表現が $H^2(S_n, \mathbb{Z}_2) = \mathbb{Z}_2$ と整合する 2-コサイクル $\vartheta$ と同等であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 置換オルビフォールド技術を用いて、どのように対称積オルビフォールドを体系的に計算できるか？
• RQ2 任意のリーマン面上における、対称積オルビフォールドの分配関数の生成関数構造は何か？
• RQ3 トーラスの分配関数およびクラインボトル振幅における、離散的ねじれ係数の明示的な閉形式表現は何か？
• RQ4 離散的ねじれは、特にクラインボトル振幅において、分配関数にどのように影響を与えるか？
• RQ5 組合せ的恒等式 (1) は、対称積 CFT における計算を統一的かつ簡略化するために利用可能か？

主な発見

• 対称積オルビフォールドの分配関数の生成関数は、$\sum_{n=0}^\infty p^n Z_n(\mathcal{S}) = \exp\left(\sum_{n=1}^\infty p^n Z^{(n)}(\mathcal{S})\right)$ である。ここで $Z^{(n)}(\mathcal{S})$ は、均一化群における指数 $n$ の部分群の和を表す。
• 群 $S_n$ の下での表面 $\mathcal{S}$ における分配関数は、$Z_n(\mathcal{S}) = \frac{1}{n!} \sum_{x \in S_n} \prod_{\xi \in \mathcal{O}(x)} Z^{(|\xi|)}(\mathcal{S})$ で与えられる。ここで $|\xi|$ は巡回長を表す。
• 離散的ねじれ係数の閉形式表現は、$\varepsilon(x,y) = (-1)^{(|x|-1)(|y|-1) + |x,y| - 1}$ である。これは、$x,y \in S_n$ で $xy = yx$ または $xy = yx^{-1}$ を満たす場合に有効である。
• 離散的ねじれの導入により、クラインボトル振幅は $K_{\text{discrete}}(t) = \sum_{d|n} \left(\beta^{\frac{n+d}{2d}} + \beta^{-\frac{n+d}{2d}}\right) K\left(\frac{nt}{d^2}\right)$ と変化し、巡回構造に非自明な依存性を示す。
• 離散的ねじれ係数 $\varepsilon(x,y)$ は必要なコサイクル条件を満たし、$S_n$ の非自明な 2-コサイクルと一致する。これにより、$H^2(S_n, \mathbb{Z}_2) = \mathbb{Z}_2$ と整合していることが確認される。
• 本手法は、対称積 CFT における分配関数およびモジュラーデータの計算について、ハミルトニアン法の代替として体系的かつ計算に適した代替手段を提供する。