[论文解读] Combinatorial Lefschetz theorems beyond positivity

Karim Adiprasito|arXiv (Cornell University)|Dec 26, 2018

Advanced Combinatorial Mathematics参考文献 63被引用 32

一句话总结

本文通过用环面不变子空间上的通用非退化性条件替代正性与霍奇-莱夫谢茨关系，为组合拓扑中的硬莱夫谢茨定理建立了新框架。该研究证明了有理同调球面与流形上的硬莱夫谢茨同构及霍尔-拉曼关系，解决了g-猜想并验证了库恩尔猜想，同时推广了经典结果如笛卡尔-欧拉公式与交叉数不等式。

ABSTRACT

Consider a simplicial complex that allows for an embedding into $\mathbb{R}^d$. How many faces of dimension $\frac{d}{2}$ or higher can it have? How dense can they be? This basic question goes back to Descartes' "Lost Theorem" and Euler's work on polyhedra. Using it and other fundamental combinatorial problems, we introduce a version of the Kähler package beyond positivity, allowing us to prove the hard Lefschetz theorem for toric varieties (and beyond) even when the ample cone is empty. A particular focus lies on replacing the Hodge-Riemann relations by a non-degeneracy relation at torus-invariant subspaces, allowing us to state and prove a generalization of theorems of Hall and Laman in the setting of toric varieties and, more generally, the face rings of Hochster, Reisner and Stanley. This has several applications: - We fully characterize the possible face numbers of simplicial rational homology spheres, resolving the $g$-conjecture of McMullen in full generality and generalizing Stanley's earlier proof for simplicial polytopes. The same methods also verify a conjecture of Kühnel: if $M$ is a triangulated closed $(d-1)$-manifold on $n$ vertices, then \[\binom{d+1}{j}\mathrm{b}_{j-1}(M)\ \le \ \binom{n-d+j-2}{j}\ \quad ext{for}\ 1\le j\le \frac{d}{2}.\] - We prove that for a simplicial complex that embeds into $\mathbb{R}^{2d}$, the number of $d$-dimensional simplices exceeds the number of $(d-1)$-dimensional simplices by a factor of at most $d+2$. This generalizes a result going back to Descartes and Euler, and resolves the Grünbaum-Kalai-Sarkaria conjecture. We obtain from this a generalization of the celebrated crossing lemma: For a map of a simplicial complex $Δ$ into $\mathbb{R}^{2d}$, the number of pairwise intersections of $d$-simplices is at least \[\frac{f_d^{d+2}(Δ)}{(d+3)^{d+2}f_{d-1}^{d+1}(Δ)}\] provided $f_d(Δ)> (d+3)f_{d-1}(Δ)$.

研究动机与目标

• 将硬莱夫谢茨定理从代数几何与霍奇理论中的经典正性假设中推广出来。
• 在不依赖充分线丛或霍奇-莱夫谢茨关系的前提下，证明单纯有理同调球面上的硬莱夫谢茨同构与霍尔-拉曼关系。
• 在单纯有理同调球面的全一般情形下解决g-猜想，并验证库恩尔关于三角剖分流形面数的猜想。
• 将笛卡尔-欧拉与交叉数不等式等经典组合结果推广至高维单纯复形。
• 通过面环的阿廷环约化中的通用性，发展一种非正性框架下的莱夫谢茨定理。

提出的方法

• 通过面环的阿廷环约化中的开稠密子集，引入对庞加莱配对的通用性准则。
• 用上同调环中平方自由单项式理想的双线性型非退化性，替代霍奇-莱夫谢茨关系。
• 利用应力空间与魏尔对偶（通过正特征下的哈塞导数）定义莱夫谢茨作用，无需依赖逼近引理。
• 通过铁路与地铁构造对帕奇纳定理进行修改，将问题约化至中间上同调层。
• 运用悬垂与投影技术，通过径向投影与同调单射性条件，归纳地在维度间传递霍尔-拉曼关系。
• 在流形中通过在环境与补集流形中同调单射性至维度 $k-2$，定义八进制铁路与地铁。

实验结果

研究问题

• RQ1 是否可以在无正性假设或霍奇-莱夫谢茨关系的前提下建立硬莱夫谢茨定理？
• RQ2 在有理同调球面的环面不变子空间上，什么条件能保证莱夫谢茨双线性型的非退化性？
• RQ3 g-猜想是否对所有单纯有理同调球面成立，且能否在无多面体正性的情况下证明？
• RQ4 能否通过非正性框架验证库恩尔关于三角剖分流形面数的猜想？
• RQ5 在 $\mathbb{R}^{2d}$ 中嵌入的单纯复形，其高维交叉数不等式的一般形式为何？

主要发现

• g-猜想在单纯有理同调球面中得到完全解决，确认g-向量为M-向量。
• 库恩尔猜想得到验证：对于具有 $n$ 个顶点的 $(d-1)$-维三角剖分流形，有 $\binom{d+1}{j}b_{j-1}(M) \leq \binom{n-d+j-2}{j}$，其中 $1 \leq j \leq d/2$。
• 若一个单纯复形可嵌入 $\mathbb{R}^{2d}$，则其 $d$-单形数量至多比 $(d-1)$-单形数量多出 $d+2$ 倍。
• 证明了高维交叉数不等式：若 $f_d(\Delta) > (d+3)f_{d-1}(\Delta)$，则两两 $d$-单形交点数至少为 $\frac{f_d^{d+2}(\Delta)}{(d+3)^{d+2}f_{d-1}^{d+1}(\Delta)}$。
• 霍尔-拉曼关系与硬莱夫谢茨同构在环道概型中通用成立，即使充分锥为空。
• 通过哈塞导数与魏尔对偶，结果可推广至正特征情形，仅对逼近论证作轻微修改。