[论文解读] The rational homology of real toric manifolds

Alexander I. Suciu|arXiv (Cornell University)|Feb 10, 2013

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

一句话总结

本论文通过特征矩阵行的子集参数化的对偶单纯复形的诱导子复形的同调，建立了一个关于实环化流形的有理贝蒂数的公式。关键贡献在于，给出了一个精确的组合表达式来描述依赖于多面体和特征矩阵的有理上同调，该结果推广了模 2 贝蒂数的结果，并恢复了 Hessenberg 流形和图关联单纯形的已知计算结果。

ABSTRACT

This is an extended abstract for a talk given at the mini-workshop "Cohomology rings and fundamental groups of hyperplane arrangements, wonderful compactifications, and real toric varieties", held in Oberwolfach, September 30-October 6, 2012. We describe a formula (obtained in joint work with Alvise Trevisan) for computing the Betti numbers of real toric manifolds, based on a study of cohomology with coefficients in rank one local systems for various polyhedral products. Applying this formula, we recover Henderson's computation of the Betti numbers of real Hessenberg varieties. We conclude with a discussion of the formality question in this context.

研究动机与目标

• 确定实环化流形的有理上同调结构，这些流形无法被模 2 贝蒂数完全刻画。
• 将环化流形的拓扑理解从复类比扩展到实情形。
• 解决有理贝蒂数对特征矩阵的依赖性，而不仅依赖于多面体的组合结构。
• 研究实环化流形的形式性，与已知复环化流形的形式性形成对比。

提出的方法

• 通过对偶对 $(D^1, S^0)$ 构造实环化流形的时刻角复形，并商去一个自由的 $\bZ_2^{m-n}$-作用。
• 对每个子集 $S \subseteq [n]$，在对偶单纯复形 $K$ 上定义子复形 $K_{\chi,S}$，其顶点为 $\chi_S = \sum_{i \in S} \chi_i$ 的第 $j$ 个分量非零的顶点 $j$。
• 对涉及 $\mathcal{Z}_K(D^1, S^0)$、$N_P(\chi)$ 和 $\mathcal{Z}_K(\mathbb{RP}^\infty, *)$ 的纤维丛应用谱序列论证，以计算有理同调。
• 利用 Bahri、Bendersky、Cohen 和 Gitler 关于时刻角复形的稳定分裂结果，分析 $\mathcal{Z}_K(\mathbb{RP}^\infty, *)$ 上的局部系统。
• 使用公式 $\dim H_q(N_P(\chi), \mathbb{Q}) = \sum_{S \subseteq [n]} \dim \widetilde{H}_{q-1}(K_{\chi,S}, \mathbb{Q})$ 作为核心计算工具。
• 应用 Björner 和 Wachs 关于 Cohen–Macaulay 复形的结果，计算 Hessenberg 流形的 $K_{n,r}$ 的同调，表明其为球面的楔和。

实验结果

研究问题

• RQ1 实环化流形的有理贝蒂数如何依赖于特征矩阵 $\chi$，而不仅依赖于多面体的组合结构？
• RQ2 能否通过双对单纯复形的子复形，组合地计算实环化流形的有理上同调环？
• RQ3 实环化流形的有理上同调是否表现出形式性，与复环化流形的形式性相比如何？
• RQ4 能否通过统一的公式恢复已知的 Hessenberg 流形和图关联单纯形的上同调计算？

主要发现

• 实环化流形 $N_P(\chi)$ 的有理贝蒂数由公式 $\dim H_q(N_P(\chi), \mathbb{Q}) = \sum_{S \subseteq [n]} \dim \widetilde{H}_{q-1}(K_{\chi,S}, \mathbb{Q})$ 给出，其中 $K_{\chi,S}$ 是在 $\chi_S$ 的非零分量对应的顶点上诱导的子复形。
• 实环化流形的可定向性等价于存在子集 $S \subseteq [n]$ 使得 $K_{\chi,S} = K$，该结果恢复了 Nakayama 和 Nishimura 的结论。
• 对于 Hessenberg 流形 $\mathcal{T}_n(\mathbb{R})$，有理贝蒂数为 $\dim H_i(\mathcal{T}_n(\mathbb{R}), \mathbb{Q}) = \binom{n}{2i} A_{2i}$，其中 $A_{2i}$ 为欧拉正割数，该结果通过主公式得以恢复。
• 该公式恢复了与图关联单纯形 $P_{\mathcal{B}(\Gamma)}$ 相关的实环化流形的贝蒂数，扩展了 Choi 和 Park 的结果。
• 实时刻角流形 $\mathcal{Z}_L(D^1, S^0)$ 可能是非形式的，表明形式性并非实环化流形的必然性质，与复类比情形不同。
• 通过该公式进行的有理上同调计算具有鲁棒性，适用于一大类实环化流形，包括来自对称群单纯形和图关联单纯形的流形。