[论文解读] Singular Hodge theory for combinatorial geometries

Tom Braden, June Huh+3 more|arXiv (Cornell University)|Oct 13, 2020

Advanced Combinatorial Mathematics参考文献 34被引用 30

一句话总结

该论文定义了 matroid 的交叉同调模并证明了 Poincaré 对偶性、硬 Lefschetz、以及 Hodge–Riemann 条件，从而在 matroids 的 Kazhdan–Lusztig 多项式及其等变版本中得到非负性与单峰性。

ABSTRACT

We introduce the intersection cohomology module of a matroid and prove that it satisfies Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. As applications, we obtain proofs of Dowling and Wilson's Top-Heavy conjecture and the nonnegativity of the coefficients of Kazhdan-Lusztig polynomials for all matroids.

研究动机与目标

• 通过交叉同调方法为 matroid 动机并形式化一个 Hodge 理论框架。
• 证明 matroid 的交叉同调模的 Poincaré 对偶性、硬 Lefschetz 和 Hodge–Riemann 条件。
• 推导 Kazhdan–Lusztig 多项式的非负性以及 Z 多项式在普通与等变情形下的单峰性。
• 将组合性 matroid 理论与几何和表示理论结构联系起来，以解决关于 Top-Heavy 分布的猜想。

提出的方法

• 定义 matroid 的分级 Möbius 代数 H(M) 与扩张的 Chow 环 CH(M)。
• 将 IH(M) 构造为 CH(M) 的一个规范的不可分同类项（indecomposable summand）。
• 证明 IH(M) 满足 Kähler 装配（Kähler package）：Poincaré 对偶性、硬 Lefschetz，以及 Hodge–Riemann 条件（相对于一个合适的 ample 类）。
• 利用基于分层的谱序列和退化论将 IH(M) 与从收缩/局部化 M_F 得到的局部数据联系起来。
• 推出 Kazhdan–Lusztig 多项式 P_M(t) 的非负性以及 Z_M(t) 的单峰性；扩展到等变版本 P_M^Γ(t)、Z_M^Γ(t)。
• 提供一个将 Kazhdan–Lusztig–Stanley 理论与 matroid 理论统一起来的组合与几何框架。

实验结果

研究问题

• RQ1 Can the intersection cohomology of a matroid be realized as a canonical, representation-theoretically meaningful module?
• RQ2 Do Poincaré duality, hard Lefschetz, and Hodge–Riemann relations hold for IH(M) in full generality for all matroids?
• RQ3 Do Kazhdan–Lusztig polynomials of matroids have nonnegative coefficients, and are Z-polynomials unimodal, including in equivariant settings?
• RQ4 How does equivariance under a group action Γ influence the structure and positivity of P_M^Γ(t) and Z_M^Γ(t)?
• RQ5 Can the topology of realizable cases illuminate non-realizable matroids via a purely combinatorial/representation-theoretic approach?

主要发现

• IH(M) satisfies the Poincaré duality pairing and the hard Lefschetz isomorphism for degrees up to d/2.
• IH(M) fulfills the Hodge–Riemann relations, yielding positive-definite forms on primitive components.
• P_M(t) has nonnegative coefficients (equivariant version P_M^Γ(t) has honest representations as coefficients).
• Z_M(t) is unimodal with coefficients corresponding to subrepresentations, and Z_M^Γ(t) is unimodal in the equivariant setting.
• Equivariant statements extend the nonnegativity/unimodality to Γ-actions, with coefficients interpreted as honest representations of Γ.
• Foundations imply nonnegativity of inverse Kazhdan–Lusztig polynomial Q_M(t) as well, with coefficients as honest representations.
• Monotonicity: P_M^Γ(t) − P_{M_F}^{Γ}(t) has coefficients that are honest representations of the stabilizer Γ_F when F is a nonempty flat fixed by Γ.