[论文解读] On the cohomology of real Grassmann manifolds

Luis Casian, Yuji Kodama|arXiv (Cornell University)|Sep 21, 2013

Geometric Analysis and Curvature Flows参考文献 4被引用 14

一句话总结

本文提出了一种利用棋盘式填充 q 的杨图来构造实格拉斯曼流形 Gr(k,n) 的整上同调的新方法，得到的庞加莱多项式编码了贝蒂数。该研究建立了平凡与扭曲系数上同调之间的对偶性，将上同调与 Gr(k,n) 上 𝔽_q 点的数量联系起来，并猜想涉及庞特里亚金类的环结构。

ABSTRACT

We give an explicit and simple construction of the incidence graph for the integral cohomology of real Grassmann manifold Gr(k,n) in terms of the Young diagrams filled with the letter q in checkered pattern. It turns out that there are two types of graphs, one for the trivial coefficients and other for the twisted coefficients, and they compute the homology groups of the orientable and non-orientable cases of Gr(k,n) via the Poincaré-Verdier duality. We also give an explicit formula of the Poincaré polynomial for Gr(k,n) and show that the Poincaré polynomial is also related to the number of points on Gr(k,n) over a finite field {F}_q with q being a power of prime which is also used in the Young diagrams.

研究动机与目标

• 提供实格拉斯曼流形 Gr(k,n) 的整上同调的显式组合描述。
• 通过多项式构造，将上同调与 Gr(k,n) 上 𝔽_q 点的数量联系起来。
• 建立平凡系数与扭曲系数上同调之间的对偶性，对应于可定向与不可定向的情形。
• 猜想以庞特里亚金类与施鲁夫特类表示的上同调环结构。

提出的方法

• 使用与 Gr(k,n) 中施鲁夫特胞腔相关的杨图构造余链复形，其中条目以棋盘式填充 q。
• 通过这些 q 加权杨图上的交错和定义一个多项式，该多项式计算 Gr(k,n) 的庞加莱多项式。
• 利用庞加莱-维尔德对偶性，将平凡系数上同调（可定向情形）与扭曲系数上同调（不可定向情形）联系起来。
• 建立庞加莱多项式与 Gr(k,n) 上 𝔽_q 点数之间的对应关系，证明两种构造的一致性。
• 利用施鲁夫特胞腔的关联图，通过对其偶性计算贝蒂数与同调群。
• 猜想通过庞特里亚金类与特定情形下的附加生成元表示上同调环的表达式。

实验结果

研究问题

• RQ1 如何利用组合数据显式构造实格拉斯曼流形 Gr(k,n) 的整上同调？
• RQ2 由 q 加权杨图导出的庞加莱多项式与 Gr(k,n) 上 𝔽_q 点数之间有何关系？
• RQ3 上同调中平凡系数与扭曲系数如何与 Gr(k,n) 的可定向性相关？
• RQ4 H*(Gr(k,n), ℝ) 的环结构是什么？它与庞特里亚金类有何关联？
• RQ5 在哪些情形下，上同调环需要额外的生成元，而不仅仅是庞特里亚金类？

主要发现

• Gr(k,n) 的庞加莱多项式被显式计算为 q 加权杨图上的交错和，与 𝔽_q 点数的生成函数完全一致。
• 构造了两个不同的关联图：一个用于平凡系数（可定向情形），一个用于扭曲系数（不可定向情形），二者通过交换 q ↔ 1 相关联。
• 通过庞加莱-维尔德对偶性计算了 Gr(k,n) 的同调群：H_j(Gr(k,n), ℤ) ≅ H^{6−j}(Gr(k,n), ℒ)，其中 Gr(2,5) 的扭挠出现在度数 1、3、4、5。
• 对于 Gr(2,5)，扭曲系数上同调给出：H^0 = 0，H^1 = ℤ₂，H^2 = ℤ，H^3 = ℤ₂，H^4 = ℤ₂，H^5 = ℤ₂，H^6 = ℤ。
• 猜想上同调环为庞特里亚金类的多项式环的商环，当 (k,n) = (2j+1, 2m+2) 时，增加一个额外生成元 r，对应于钩形杨图。
• 该构造统一了拓扑不变量（贝蒂数、扭挠）与算术几何（𝔽_q 点），揭示了拓扑与数论之间深刻的联系。