[论文解读] Uniform product of A_{g,n}(V) for an orbifold model V and G-twisted Zhu algebra

Masahiko Miyamoto, K. TANABE|ArXiv.org|Dec 6, 2001

Algebraic structures and combinatorial models参考文献 11被引用 9

一句话总结

本文为具有有限自同构群 $G$ 的顶点算子代数 $V$ 引入了一个统一的 $G$-扭 Zhu 代数 $A_{G,n}(V)$，解决了 $g$-扭 Zhu 代数 $A_{g,n}(V)$ 对 $g$ 的特征空间的依赖性问题。通过在 $V$ 上构造一个统一的乘积 $*_{n}$，该乘积对所有 $g \in G$ 均一致地约化为 $A_{g,n}(V)$，作者建立了 $V^G$ 与一个有限维半单代数 ${\cal A}_\alpha(G,{\cal S})$ 之间的类 Schur-Weyl 对偶定理，证明了每个不可约 $g$-扭 $V$-模作为 $V^G$-模都是完全可约的。

ABSTRACT

Let V be a vertex operator algebra and G a finite automorphism group of V. For each g\in G and nonnegative rational number n\in {\mathbb Z}/|g|, a g-twisted Zhu algebra A_{g,n}(V) plays an important role in the theory of vertex operator algebras, but the given product in A_{g,n}(V) depends on the eigenspaces of g. We show that there is a uniform definition of products on V and we introduce a G-twisted Zhu algebra A_{G,n}(V) which covers all g-twisted Zhu algebras. Assume that V is simple and let {\cal S} be a finite set of inequivalent irreducible twisted V-modules which is closed under the action of G. There is a finite dimensional semisimple associative algebra {\cal A}_α(G,{\cal S}) for a suitable 2-cocycle naturally determined by the G-action on {\cal S}. We show that a duality theorem of Schur-Weyl type holds for the actions of {\cal A}_α(G,{\cal S}) and V^G on the direct sum of twisted V-modules in {\cal S} as an application of the theory of A_{G,n}(V). It follows as a natural consequence of the result that for any g\in G every irreducible g-twisted V-module is a completely reducible V^G-module.

研究动机与目标

• 通过在 $V$ 上定义一个不依赖于 $g$ 的特征空间分解的统一乘积 $*_{n}$，解决 $g$-扭 Zhu 代数 $A_{g,n}(V)$ 对 $g$ 的特征空间的依赖性问题。
• 构造一个 $G$-扭 Zhu 代数 $A_{G,n}(V) = V / \bigcap_{g \in G} O_{g,n}(V)$，利用统一乘积 $*_{n}$ 将所有 $A_{g,n}(V)$ 统一起来。
• 建立固定点代数 $V^G$ 与一个与 $G$-稳定不可约扭 $V$-模集 ${\cal S}$ 相关的有限维半单代数 ${\cal A}_\alpha(G,{\cal S})$ 之间的类 Schur-Weyl 对偶定理。
• 证明每个不可约 $g$-扭 $V$-模作为 $V^G$-模都是完全可约的，将已知结果从 $G$ 的中心推广到任意 $g \in G$。

提出的方法

• 通过涉及顶点算子 $Y(u,z)v$ 的留数构造，在 $V$ 上定义一个统一的乘积 $u *_{n} v$，其系数仅依赖于 $u$ 和 $v$ 的权重，而不依赖于 $g$ 的特征空间。
• 将 $G$-扭 Zhu 代数 $(A_{G,n}(V), *_{n})$ 定义为 $V / \bigcap_{g \in G} O_{g,n}(V)$，并证明当 $V$ 是单代数时，其同构于 $\bigoplus_{g \in G} A_{g,n}(V)$。
• 利用自然来自 $G$-作用于 $G$-稳定不可约扭 $V$-模集 ${\cal S}$ 的 2-上循环 $\alpha$，在 $\mathbb{C}$ 上构造一个有限维半单结合代数 ${\cal A}_\alpha(G,{\cal S})$。
• 利用 $A_{G,n}(V)$ 的理论分析 $V^G$ 与 ${\cal A}_\alpha(G,{\cal S})$ 在直和 $\mathcal{M} = \bigoplus_{M \in \mathcal{S}} M$ 上的作用，建立类 Schur-Weyl 对偶分解 $\mathcal{M} \cong \bigoplus_{j,\lambda} W^j_\lambda \otimes M^j_\lambda$。
• 通过将矩阵 $A$ 的行列式因式分解为差积与变量幂的乘积，并利用组合恒等式，计算其行列式，证明其非奇异。
• 利用 $A$ 的非奇异性质，确保类 Schur-Weyl 对偶分解的有效性，并保证分解中 $V^G$-模的不可约性。

实验结果

研究问题

• RQ1 能否在 $V$ 上定义一个单一的、统一的乘积 $*_{n}$，使得其在每个 $A_{g,n}(V)$ 中的像均恢复标准的 $g$-扭乘积，且不依赖于 $g$ 的特征空间？
• RQ2 通过统一乘积 $*_{n}$ 构造的 $G$-扭 Zhu 代数 $A_{G,n}(V)$ 是否能将所有 $g$-扭 Zhu 代数 $A_{g,n}(V)$ 统一为一个代数结构？
• RQ3 在 $G$-稳定不可约扭 $V$-模的直和上，是否存在 $V^G$ 与一个有限维半单代数 ${\cal A}_\alpha(G,{\cal S})$ 之间的类 Schur-Weyl 对偶？
• RQ4 该对偶是否意味着每个不可约 $g$-扭 $V$-模作为 $V^G$-模都是完全可约的，即使 $g$ 不在 $G$ 的中心中？
• RQ5 证明对偶性时使用的广义二项式矩阵的行列式是什么？其非奇异性质如何支持主要结果？

主要发现

• 当 $V$ 是单代数时，$G$-扭 Zhu 代数 $A_{G,n}(V)$ 同构于直和 $\bigoplus_{g \in G} A_{g,n}(V)$ 作为代数，确认了统一乘积构造的一致性。
• $V$ 上的统一乘积 $*_{n}$ 满足 $\phi_n(u *_{n} v) = (u *_{g,n} v + O_{g,n}(V))_{g \in G}$，其中 $\phi_n: V \to \bigoplus_{g \in G} A_{g,n}(V)$ 是一个代数同态。
• 直和 $\mathcal{M} = \bigoplus_{M \in \mathcal{S}} M$ 的 $G$-稳定不可约扭 $V$-模分解为 $\mathcal{M} \cong \bigoplus_{j,\lambda} W^j_\lambda \otimes M^j_\lambda$，其中 $W^j_\lambda$ 是 ${\cal A}_\alpha(G,{\cal S})$ 的单模，$M^j_\lambda$ 是 $V^G$-模的单模。
• $V^G$-模 $M^j_\lambda$ 对于不同的 $(j,\lambda)$ 是两两非同构的，且每个 $M^j_\lambda$ 是一个单 ${\cal A}_\alpha(G,{\cal S})$-模的重数空间。
• 对于 $1 \leq i \leq t$，$0 \leq k \leq b-1$，二项式系数矩阵 $A$ 的行列式 $\binom{x_i}{a+k}$ 是非奇异的，其行列式由涉及差积与变量幂的有理函数给出。
• 矩阵 $A$ 的非奇异性质确保了类 Schur-Weyl 对偶分解的有效性，并为每个不可约 $g$-扭 $V$-模作为 $V^G$-模完全可约的证明提供了基础。