[论文解读] The cohomology groups of real toric varieties associated to Weyl chambers of type $C$ and $D$

Suyoung Choi, Shizuo Kaji+1 more|arXiv (Cornell University)|Apr 30, 2017

Advanced Combinatorial Mathematics参考文献 10被引用 3

一句话总结

本文计算了与类型 $C_n$ 和 $D_n$ 的 Weyl 房间相关的实环化簇的有理贝蒂数，并证明其整上同调群仅含 2-挠率，从而完成了对所有经典根系的分类。通过在由 Weyl 房间导出的单纯复形上应用偏序集拓扑和 Mayer-Vietoris 证明，作者推导出涉及欧拉交错数和广义欧拉数的显式公式，完全确定了上同调结构。

ABSTRACT

Given a root system, the Weyl chambers in the co-weight lattice give rise to a real toric variety, called the real toric variety associated to the Weyl chambers. We compute the integral cohomology groups of real toric varieties associated to the Weyl chambers of type $C_n$ and $D_n$, completing the computation for all classical types.

研究动机与目标

• 计算与类型 $C_n$ 和 $D_n$ 的 Weyl 房间相关的实环化簇的有理贝蒂数。
• 通过证明其仅含 2-挠率，确定这些实环化簇的整上同调群。
• 完成对所有经典根系（类型 $A$、$B$、$C$、$D$）的 Weyl 房间相关实环化簇的整上同调分类。
• 通过通用系数定理，将先前关于模 2 上同调和有理贝蒂数的结果推广至整上同调。

提出的方法

• 从类型 $C_n$ 和 $D_n$ 的根系的共权格中构造实环化簇。
• 应用偏序集拓扑分析由 Weyl 房间导出的单纯复形的同伦型。
• 使用按标签子集索引的子复形上的 Mayer-Vietoris 序列计算约化上同调群。
• 利用奇符号子集和包含偏序集的结构分解复形并计算贝蒂数。
• 在最终公式中利用已知的欧拉交错数 $a_n$ 和广义欧拉数 $b_n$ 的生成函数。
• 应用通用系数定理，从有理贝蒂数和 2-挠率的有限性推导整上同调。

实验结果

研究问题

• RQ1 与类型 $C_n$ 的 Weyl 房间相关的实环化簇的有理贝蒂数是什么？
• RQ2 与类型 $D_n$ 的 Weyl 房间相关的实环化簇的有理贝蒂数是什么？
• RQ3 这些实环化簇的整上同调群是否含有除 2-挠率外的挠率？
• RQ4 $X^{bR}_{C_n}$ 和 $X^{bR}_{D_n}$ 的贝蒂数如何与欧拉交错数和广义欧拉数等已知组合序列相关联？
• RQ5 能否通过偏序集拓扑和谱序列技术完全确定这些实环化簇的上同调？

主要发现

• 实环化簇 $X^{bR}_{C_n}$ 的第 $r$ 个有理贝蒂数为 $\binom{n}{2r-2}2^{2r-2}s_{n-2r+2}a_{2r-2} + \binom{n}{2r}(2b_{2r} - 2^{2r}a_{2r})$，其中 $s_m = 2^m - 1$，$a_k$ 为第 $k$ 个欧拉交错数，$b_k$ 为第 $k$ 个广义欧拉数。
• 实环化簇 $X^{bR}_{D_n}$ 的第 $r$ 个有理贝蒂数为 $\binom{n}{2r-4}2^{2r-4}t_{n-2r+4}a_{2r-4} + \binom{n}{2r}(2b_{2r} - 2^{2r}a_{2r})$，其中 $t_m = (m-2)2^{m-1} + 1$，且 $a_k, b_k$ 如上所述。
• 实环化簇 $X^{bR}_{C_n}$ 和 $X^{bR}_{D_n}$ 的整上同调群仅含 2-挠率。
• 当 $n=3$ 时，$\beta^1(X^{bR}_{C_3};\bbQ) = 13$，$\beta^2(X^{bR}_{C_3};\bbQ) = 12$，且 $\chi(X^{bR}_{C_3}) = 0$。
• 当 $n=4$ 时，$\beta^1(X^{bR}_{C_4};\bbQ) = 27$，$\beta^2(X^{bR}_{C_4};\bbQ) = 106$，且 $\chi(X^{bR}_{C_4}) = 80$，验证了公式的正确性。
• 上同调计算完成了对所有经典根系的 Weyl 房间相关实环化簇的整上同调分类。