[论文解读] The Automorphism Group of the Vertex Operator Algebra $V_L^+$ for an even lattice $L$ without roots

Hiroki Shimakura|ArXiv.org|Nov 10, 2003

Algebraic structures and combinatorial models参考文献 13被引用 4

一句话总结

该论文通过分析其在不可约模上的作用及融合规则，确定了无根偶格 L 的顶点算子代数 $V_L^+$ 的自同构群。研究发现，当且仅当格 L 由二元码通过 Construction B 构造时，$V_L^+$ 才存在额外的自同构（超出稳定化子 $H_L$）。论文对关键格（包括 Barnes-Wall 格 $ L_{16}$）完全刻画了 ${ m Aut}(V_L^+)$，得出其群结构为 $2^{16} cdot Omega_{10}^+(2)$。

ABSTRACT

The automorphism group of the vertex operator algebra $V_L^+$ is studied by using its action on isomorphism classes of irreducible $V_L^+$-modules. In particular, the shape of the automorphism group of $V_L^+$ is determined when $L$ is isomorphic to an even unimodular lattice without roots, $\sqrt2R$ for an irreducible root lattice $R$ of type $ADE$ and the Barnes-Wall lattice of rank 16.

研究动机与目标

• 确定无根偶格 $L$ 的完整自同构群 $\mathrm{Aut}(V_L^+)$，特别是当存在超出稳定化子 $H_L$ 的额外自同构时的情况。
• 建立一种统一的方法，通过自同构在不可约 $V_L^+$-模的同构类上的作用来计算 $\mathrm{Aut}(V_L^+)$。
• 阐明 $V_L^+$ 具备额外自同构的条件，证明其恰好发生在 $L$ 通过二元码的 Construction B 构造时。
• 对重要格（包括偶自对偶格 $ Lambda_{16}$、$ sqrt{2}R$（$R$ 为 $ADE$ 根格）以及 Barnes-Wall 格）显式计算自同构群。

提出的方法

• 该方法利用 $\mathrm{Aut}(V_L^+)$ 在不可约 $V_L^+$-模的同构类集合 $S_L$ 上的作用，重点研究 $(-1)$-特征空间 $V_L^-$ 的轨道。
• 构造一个子集 $P \subset S_L$，其在融合规则下封闭且被 $\mathrm{Aut}(V_L^+)$ 保持不变，从而构成 $\mathbb{F}_2$ 上的向量空间。
• 定义群同态 $\zeta_{V_L^+}: \mathrm{Aut}(V_L^+) \to \mathrm{GL}(P)$，利用自同构保持融合规则的性质。
• 通过稳定化子 $H_L$ 分析 $\zeta_{V_L^+}$ 的核，证明其同构于 $\mathrm{Aut}(V_L)$ 中 $\theta_{V_L}$ 的中心化子模去 $\langle \theta_{V_L} \rangle$，其结构为 $\mathrm{Hom}(L, \mathbb{Z}_2) \cdot (O(L)/\langle -1 \rangle)$。
• 通过分析 $[0]^{-}$ 的轨道大小，并结合 $\mathrm{GL}(P)$ 中的群论约束（特别是 $ Lambda_{16}$ 的情形），确定 $\zeta_{V_L^+}$ 的像。
• 对于 Barnes-Wall 格 $ Lambda_{16}$，证明 $[0]^{-}$ 的轨道大小为 527，从而得出 $\mathrm{Im}(\zeta_{V_{\nLambda_{16}}^+}) \cong \Omega_{10}^+(2)$。

实验结果

研究问题

• RQ1 在什么情况下 $V_L^+$ 具备不属于稳定化子 $H_L$ 的自同构（即额外自同构）？
• RQ2 对于无根偶自对偶格 $L$（如 $ Lambda_{16}$），$ mathrm{Aut}(V_L^+)$ 的精确结构是什么？
• RQ3 当 $L$ 通过二元码的 Construction B 构造时，$V_L^+$ 的自同构群与格 $L$ 的关系如何？
• RQ4 融合规则与模轨道在确定 $V_L^+$ 自同构群中的作用是什么？
• RQ5 对于 $L = \nLambda_{16}$，精确序列 $1 \to F \to \mathrm{Aut}(V_L^+) \to \mathrm{Im}(\zeta) \to 1$ 是否可裂？

主要发现

• 当且仅当 $L$ 不是由二元码通过 Construction B 构造时，自同构群 $\mathrm{Aut}(V_L^+)$ 同构于 $H_L$；否则将存在额外自同构。
• 对于 Barnes-Wall 格 $ Lambda_{16}$，$ mathrm{Aut}(V_{\nLambda_{16}}^+)$ 的结构为 $2^{16} \cdot \Omega_{10}^+(2)$，其中 $2^{16}$-正规子群 $F$ 是同态 $\zeta_{V_{\nLambda_{16}}^+}$ 的核。
• $[0]^{-}$ 的轨道 $Q_{\nLambda_{16}}$ 恰好包含 527 个元素，对应于 10 维 $\mathbb{F}_2$-向量空间 $S_{\nLambda_{16}}$ 中的所有非零迷向向量。
• $\zeta_{V_{\nLambda_{16}}^+}$ 的像是 $\Omega_{10}^+(2)$，且精确序列 $1 \to F \to \mathrm{Aut}(V_{\nLambda_{16}}^+) \to \Omega_{10}^+(2) \to 1$ 不可裂。
• $H_{\nLambda_{16}}$ 的结构为 $2^{16} \cdot 2^8 \cdot \Omega_8^+(2)$，且 $\zeta_{V_{\nLambda_{16}}^+}$ 的核 $F$ 同构于 $2^{16}$，由阶为 2 的元素生成。
• $\mathrm{Aut}(V_{\nLambda_{16}}^+)$ 由 $O(\hat{\nLambda}_{16})/\langle \theta_{V_{\nLambda_{16}}} \rangle$ 和第 2.3 节中的额外自同构 $\sigma$ 生成，从而确认了完整的群结构。