[論文レビュー] The Classification of SU(3) Modular Invariants Revisited

Terry Gannon|ArXiv.org|Apr 29, 1994

Algebraic structures and combinatorial models参考文献 17被引用数 30

ひとこと要約

この論文は、モジュラー不変性、非負整数係数、および真空条件 $M_{\rho\rho} = 1$ という基本的原則のみを用いて、SU(3)のモジュラー不変量の分類を再考する。レベル $k$ 全ての物理的不変量の完全なリストを、重み格子、融合規則、対称性制約に基づく洗練された代数的アプローチにより簡略化・明確化し、フェルマー曲線および $SU(2)$ 不変量との明確な関係を明らかにする。

ABSTRACT

The SU(3) modular invariant partition functions were first completely classified in Ref.\ \SU. The purpose of these notes is four-fold: \item{(i)} Here we accomplish the SU(3) classification using only the most basic facts: modular invariance; $M_{\laμ}\in{\bf Z}_{\ge}$; and $M_{00}=1$. In \SU{} we made use of less elementary results from Moore-Seiberg, in addition to these 3 basic facts. \item{(ii)} Ref.\ \SU{} was completed well over a year ago. Since then I have found a number of significant simplifications to the general argument. They are all included here. \item{(iii)} A number of people have complained that some of the arguments in \SU{} were hard to follow. I have tried here to be as explicit and as clear as possible. \item{(iv)} Hidden in \SU{} were a number of smaller results which should be of independent value. These are explicitly mentioned here.

研究の動機と目的

• モジュラー不変性、非負整数係数 $M_{\lambda\mu} \in \mathbb{Z}_{\geq 0}$、および $M_{\rho\rho} = 1$ という最も基本的な原理のみを用いて、SU(3)モジュラー不変量の完全な分類を再導出すること。
• 文献[9]の元の証明を簡素化・明確化し、ムーア＝ザイベルグの高度な結果に依存しないようにし、よりアクセス可能で明示的な証明を実現すること。
• 元の研究に埋もれていた、偶数性則の役割や $\mathcal{J}_L(M)$ および $\mathcal{J}_R(M)$ の構造といった、より小さな独立した価値のある結果を抽出・強調すること。
• 重み格子、融合規則、対称性制約を通じて、SU(3)不変量と他の数学的構造（特にフェルマー曲線および $SU(2)$ 不変量）との深い関係を明らかにすること。

提案手法

• レベル $k$ および重み $\lambda = (\lambda_1, \lambda_2)$ を持つ標準的なアフィン $A_2^{(1)}$ 特性関数 $\chi_\lambda^k(\tau,z)$ を用い、$n = k+3$ を高さとする。
• モジュラー群 $SL(2,\mathbb{Z})$ の作用を $S^{(n)}$ および $T^{(n)}$ 行列を用いて適用し、特性関数に作用させ、モジュラー不変性の条件を定義する。
• 三つの物理的制約を課す：(P1) $M$ が $S^{(n)}$ および $T^{(n)}$ と可換であること、(P2) $M_{\lambda\mu} \in \mathbb{Z}_{\geq 0}$ であること、(P3) $M_{\rho\rho} = 1$ であること（$\rho = (1,1)$）。
• レベル $k$ の重み格子 $\mathcal{P}^k$ を用い、$\{ (\lambda_1, \lambda_2) \in \mathbb{Z}^2 \mid 0 < \lambda_1, \lambda_2, \lambda_1 + \lambda_2 < k+3 \}$ として定義し、表現をパrameter化する。
• $\mathcal{J}_L(M)$ および $\mathcal{J}_R(M)$ のイデアルを用いて $M$ の台を制約し、Lemma 1(c) を適用して独立パラメータの数を削減する。
• Lemma 4(a) を適用し、$M_{11,11} = 1$ のとき、特定の重みに対して $M_{aa,bb} = 1$ が成り立つことを導出し、式 (2.4b) の行和制約を用いて残りの要素を固定する。

実験結果

リサーチクエスチョン

• RQ1 モジュラー不変性、非負整数係数、真空正規化という基本公理のみを満たすSU(3)モジュラー不変量の完全な集合は何か？
• RQ2 ムーア＝ザイベルグの高度な結果に依存せず、基本的表現論のみを用いて分類を簡略化・明確化できるか？
• RQ3 注意深く分析した際、フェルマー曲線や $SU(2)$ 不変量との関係を示す、隠れた代数的・算術的構造（例：偶数性則）は何か？
• RQ4 不変行列 $M$ の台は、$\mathcal{J}_L(M)$ および $\mathcal{J}_R(M)$ を用いて完全に特徴付け可能か？ これらのイデアルは可能な不変量をどのように制約するか？
• RQ5 群 $\ell \in \mathcal{C}_n$ に対して $\epsilon(\ell\lambda) = \epsilon(\ell\mu)$ が成り立つ偶数性則は、関連するレベルにおける $SU(2)$ 不変量とSU(3)不変量をどのように結びつけるか？

主な発見

• 論文は、ムーア＝ザイベルグの高度な結果に依存せず、モジュラー不変性、非負整数係数、$M_{\rho\rho} = 1$ の三つの基本公理のみを用いて、物理的SU(3)モジュラー不変量の完全なリストを再導出する。特に $E_6$、$E_7$、および例外的不変量を再導出する。
• 唯一の可能な不変量は、既知の $E_6$、$E_7$、および対角不変量に他ならないことが証明され、例外的 $E_6$ および $E_7$ 不変量は特定の重み支持と行和制約から生じる。
• レベル $k=6$（$n=9$）の場合、$M = \mathcal{E}^{(1)}_9$ を明示的に導出し、$M_{33,33} = 2$、$M_{55,55} = 1$、$M_{11,11} = 1$ を得る。他のすべての要素は対称性および行和条件によって決定される。
• 論文は、$M$ の台が $\mathcal{J}_L(M) = \mathcal{J}_R(M) = \mathcal{O}_0$ で制約されることを確立し、独立パラメータが $M_{11,11}$、$M_{55,55}$、$M_{33,33}$ の値によって完全に決定されることを示す。後者は行和条件によって固定される。
• SU(3)不変量とフェルマー曲線との間に深い算術的関係が存在することが明らかになる。特に $n \equiv 0 \pmod{4}$ のとき、偶数性則により $SU(3)_{n-3}$ と $SU(2)_{n/2-2}$ および $SU(3)_{n/2-3}$ 不変量が関連づけられる。
• 物理的不変量は、外部自己同型、共形埋め込み、または $E_6$ や $E_7$ のような例外的ケースに起因するものに限られ、既知のもの以外の新しい不変量は存在しないことが確認された。