[论文解读] Full heaps and representations of affine Weyl groups

R. M. Green|ArXiv.org|Aug 4, 2006

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

一句话总结

本论文利用全堆（full heaps）——一种与 Kac–Moody 代数和分配格相关的组合结构——通过根系统 categorification，构造了仿射 Weyl 群的忠实置换表示。关键贡献是通过全堆的正规理想格，以统一且初等的方式构造这些表示，显式实现包括 A、B、C、D 型在 ℤ 上的标准作用，以及 E₆ 型的 27 条直线作用，其中堆的偏斜性与几何偏斜性一致。

ABSTRACT

We use the author's combinatorial theory of full heaps (defined in math.QA/0605768) to categorify the action of a large class of Weyl groups on their root systems, and thus to give an elementary and uniform construction of a family of faithful permutation representations of Weyl groups. Examples include the standard representations of affine Weyl groups as permutations of ${\Bbb Z}$ and geometrical examples such as the realization of the Weyl group of type $E_6$ as permutations of 27 lines on a cubic surface; in the latter case, we also show how to recover the incidence relations between the lines from the structure of the heap. Another class of examples involves the action of certain Weyl groups on sets of pairs $(t, f)$, where $t \in {\Bbb Z}$ and $f$ is a function from a suitably chosen set to the two-element set $\{+, -\}$. Each of the permutation representations corresponds to a module for a Kac--Moody algebra, and gives an explicit basis for it.

研究动机与目标

• 通过全堆提供仿射 Weyl 群忠实置换表示的统一、初等构造。
• 通过全堆的正规理想格，对 Weyl 群在根系统上的作用进行 categorification。
• 表明理想格中理想的组合偏斜性在关键例子（如三次曲面上的 27 条直线）中与几何偏斜性相对应。
• 将此框架扩展至堆结构非全序的情形，包括通过 (t, f) 对参数化的新型表示，其中 f: S → {+, −}。

提出的方法

• 定义从正规理想对 (F, F′) 在格 B 上到 Weyl 群根格的去 categorification 映射 χ。
• 当 χ(F, F′) 为实根时，引入理想 F 与 F′ 之间的偏斜性概念。
• 利用 B × B 上的对角 Weyl 群作用，通过 χ 诱导根系统上的标准作用。
• 在三种情形下显式构造理想格 B 的参数化：(1) 短反链（例如 ℤ 作用），(2) 长反链（例如 (t, f) 参数化），(3) 中间反链（例如 E₆ 情形）。
• 在 E₆ 型中，将 27 个理想与三次曲面上的 27 条直线一一对应，并证明堆的偏斜性与直线间的几何偏斜性一致。
• 将框架适配至非全堆情形（如 G₂⁽¹⁾ 和 H₃），通过重新定义 χ 映射以保持忠实性，例如设 χ({E(2,2k+1)}) = 2α₂。

实验结果

研究问题

• RQ1 如何通过全堆的理想格，对仿射 Weyl 群在根系统上的作用进行 categorification？
• RQ2 理想格中理想之间的组合偏斜性在已知例子中如何与几何或代数偏斜性相对应？
• RQ3 是否能通过全堆在所有仿射类型中统一构造 Weyl 群的忠实置换表示，包括非同构于 ℤ 作用的情形？
• RQ4 如何通过全堆及其理想格等组合结构，显式表达 Kac–Moody 代数的表示理论？
• RQ5 该框架能否扩展至非仿射或非全堆情形（如 G₂⁽¹⁾ 和 H₃），同时保持忠实性？

主要发现

• B × B 上的对角 Weyl 群作用通过去 categorification 映射 χ 诱导出根系统上的标准作用，证明了 B 上作用的忠实性。
• 对于 A、B、C、D 型，理想格 B 同构于 ℤ，Weyl 群作用为 ℤ 上的置换，恢复了标准实现。
• 在 E₆ 情形中，27 个理想与三次曲面上的 27 条直线之间存在双射，且堆的偏斜性与直线间的几何偏斜性一致。
• 对于长反链堆，理想由 (t, f) 对参数化，其中 t ∈ ℤ 且 f: S → {+, −}，从而得到与 ℤ 作用不同构的新忠实表示。
• 通过将 χ 映射修改为对双顶点赋予 2α₂，该框架可扩展至 G₂⁽¹⁾ 和 H₃，尽管堆结构非全序，仍保持忠实性。
• 该构造是初等的，不依赖高级李理论，仅基于 Coxeter 群与根系理论。