[论文解读] Anisotropy, biased pairings, and the Lefschetz property for pseudomanifolds and cycles

Karim Adiprasito, Stavros Argyrios Papadakis+1 more|arXiv (Cornell University)|Jan 18, 2021

Advanced Combinatorial Mathematics参考文献 7被引用 6

一句话总结

该论文通过结合 Adiprasito 的偏配对理论与 Papadakis-Petrotou 的广义公式，首次在任意无限域上建立了伪流形和单纯循环的硬 Lefschetz性质。论文证明了 Artinian 约化与 Lefschetz 元素的存在性，这些元素在上同调中诱导同构，并将 Lefschetz 定理推广至双重 Cohen-Macaulay 复形，同时在特征 2 情况下给出了简化处理并实现了完全非退化性。

ABSTRACT

We prove the hard Lefschetz property for pseudomanifolds and cycles in any characteristic with respect to an appropriate Artinian reduction. The proof is a combination of Adiprasito's biased pairing theory and a generalization of a formula of Papadakis-Petrotou to arbitrary characteristic. In particular, we prove the Lefschetz theorem for doubly Cohen Macaulay complexes, solving a generalization of the g-conjecture due to Stanley. We also provide a simplified presentation of the characteristic 2 case, and generalize it to pseudomanifolds and cycles.

研究动机与目标

• 在任意无限域上建立伪流形与单纯循环的硬 Lefschetz 性质，推广此前在特征 0 与特征 2 下的结果。
• 统一并扩展 Adiprasito 的偏配对理论与 Papadakis-Petrotou 的非退化性框架，使其适用于任意特征。
• 通过 Lefschetz 性质解决双重 Cohen-Macaulay 复形的 Stanley g-猜想的广义版本。
• 为特征 2 情况提供简化且广义的处理方式，包括 Artinian 约化的完全非退化性。
• 将 Lefschetz 性质推广至超越同调流形的奇异对象，包括具有受控奇点的循环与伪流形。

提出的方法

• 使用域 $\mathbbm{k}$ 上单纯复形的面环构造，变量由顶点索引。
• 对面环实施 Artinian 约化，得到一个分次代数 $\mathcal{A}(\mu)$，其 Gorenstein 化 $\mathcal{B}(\mu)$ 捕获了上同调结构。
• 应用 Papadakis-Petrotou 公式在任意特征下的广义版本，以分析配对关系。
• 应用偏配对理论，通过验证单项式理想上配对的非退化性，证明 Lefschetz 映射 $\cdot \ell^{d-2k}$ 是同构。
• 使用线性系统的小幅形变与专门化技术，将问题约化为可管理的代数条件。
• 在特征 2 情况下，通过线性代数与超越扩张证明了完全非退化性（$u^2 \neq 0$），并利用特征 2 设置下更强的结构。

实验结果

研究问题

• RQ1 能否在统一的代数框架下，于任意特征中建立伪流形与循环的硬 Lefschetz 性质？
• RQ2 偏配对性质是否足以在一般情况下证明 Lefschetz 同构，即使在非一般选择的 Lefschetz 元素下也成立？
• RQ3 在特征 2 下，是否可对所有循环实现非退化性条件（$u^2 \neq 0$），且该条件是否蕴含完整的 Lefschetz 定理？
• RQ4 非退化性是否可推广至更高特征，例如在特征 $p$ 下实现 $u^p \neq 0$？
• RQ5 能否证明特定线性系统（如来自矩形曲线的系统）对 PL-球面与伪流形满足 Lefschetz 性质？

主要发现

• 对任意无限域上的任意维度为 $d-1$ 的单纯循环 $\mu$，硬 Lefschetz同构 $\mathcal{B}^k(\mu) \xrightarrow{\cdot \ell^{d-2k}} \mathcal{B}^{d-k}(\mu)$ 成立。
• 对定向且连通的伪流形 $\Sigma$，在适当的 Artinian 约化及选择 $\ell \in \mathcal{A}^1(\Sigma)$ 后，Lefschetz 性质成立。
• 在特征 2 下，Artinian 约化 $\mathcal{A}(\mu)$ 可被选为非退化：对所有非零 $u \in \mathcal{B}^k(\mu)$，$k \leq d/2$，有 $u^2 \neq 0$。
• 该证明将 Papadakis-Petrotou 在特征 2 下的结果推广至所有循环与伪流形，而不仅限于球面。
• 该结果蕴含了对双重 Cohen-Macaulay 复形的 Lefschetz 定理的新证明，证实了 Stanley g-猜想的广义版本。
• 作者猜想，完全非退化性（$u^2 \neq 0$）与 $p$-非退化性（$u^p \neq 0$）可分别推广至任意域与特征 $p$，尽管未提供证明。