[論文レビュー] 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還元と、コhomologyにおける同型を誘導するLefschetz要素の存在を証明し、二重Cohen-Macaulay複体へのLefschetz定理の拡張を提供するとともに、完全な非等方性を備えた特徴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の非等方性フレームワークを、任意の特徴にまで統合・拡張すること。
• 二重Cohen-Macaulay複体に関して、Stanleyのg-予想の一般化をLefschetz性質を用いて解決すること。
• 特徴2の場合の完全な非等方性を含む、簡略化され一般化された取り扱いを提供すること。
• ホモロジー多様体を越えて、特徴が制御された特異性を持つサイクルや特異的でない多様体に対してもLefschetz性質を拡張すること。

提案手法

• 単体的複体の面環を体 $\mathbbm{k}$ 上で構成し、頂点によって添え字づけられた変数を用いる。
• 面環にArtinian還元を適用して、グレーディングされた代数 $\mathcal{A}(\mu)$ を得る。そのGorenstein化 $\mathcal{B}(\mu)$ はコhomology構造を捉える。
• 任意の特徴でPoincaré双対性を分析するために、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 非等方性は、$u^p \neq 0$ のような高次特徴（$p$）に一般化できるか？
• 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$ が成り立つ。
• Papadakis-Petrotouの特徴2の結果を、球面に限らないすべてのサイクルおよび特異的でない多様体に一般化した。
• この結果により、二重Cohen-Macaulay複体のLefschetz定理の新しい証明が得られ、Stanleyのg-予想の一般化が確認される。
• 著者らは、完全な非等方性（$u^2 \neq 0$）と $p$-非等方性（$u^p \neq 0$）がそれぞれ任意の体および特徴 $p$ に拡張可能であると予想しているが、証明は与えられていない。