[論文レビュー] 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-予想を完全に解決し、三角形分割された多様体の面数に関するクーネルの予想を検証すること。
• デカルト＝オイラーの公式やクロッシング数不等式といった古典的組合せ論的結果を高次元単体複体へ一般化すること。
• フェイス環のアーティン環的還元における一般性を用いた、正則性のないレフシェッツ定理の枠組みを構築すること。

提案手法

• フェイス環のアーティン環的還元における開稠密部分集合を用いて、ポアンカレ双線形形式の一般性基準を導入する。
• ホッジ＝ルイアン関係を、コhomology環内の正方形自由単項式イデアル上の双線形形式の非退化性に置き換える。
• 近似補題に依存せずに、ストレス空間およびハッセ微分を用いたワイエル双対（正標数におけるハッセ微分を介して）を用いて、レフシェッツ作用を定義する。
• 鉄道およびメトロ構成を用いたパッチャー定理の修正版を適用し、中間コhomologyレベルに還元する。
• ラジアル射影およびホモロジー的単射性条件を用いたサスペンションおよび射影技術を用いて、次元を跨ぐホール＝ラーマン関係を帰納的に転送する。
• アーメンおよび補完多様体における次元 $k-2$ までのホモロジー的単射性を用いて、多様体におけるオクタヴィアン鉄道およびメトロを定義する。

実験結果

リサーチクエスチョン

• RQ1 正則性仮定やホッジ＝ルイアン関係に依存せずに、ハード・レフシェッツ定理を確立できるか？
• RQ2 有理ホモロジー球面におけるトーラス不変部分空間上のレフシェッツ双線形形式の非退化性を保証する条件は何か？
• RQ3 g-予想はすべての単体的有理ホモロジー球面に対して成り立つのか？また、多面体的正則性に依存せずに証明可能か？
• RQ4 非正則性枠組みを用いて、三角形分割された多様体の面数に関するクーネルの予想を検証できるか？
• RQ5 $\mathbb{R}^{2d}$ に埋め込める単体複体に対して、クロッシング数不等式の高次元一般化は何か？

主な発見

• g-予想は単体的有理ホモロジー球面に対して完全に解決され、g-ベクトルがM-ベクトルであることが確認された。
• クーネルの予想は検証された：$n$ 個の頂点を持つ$(d-1)$-次元の三角形分割多様体 $M$ に対して、$1 \leq j \leq d/2$ に対して $\binom{d+1}{j}b_{j-1}(M) \leq \binom{n-d+j-2}{j}$ が成り立つ。
• $\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)}$ 以上である。
• アーリュール・コーンが空であっても、トーリック多様体においても、ホール＝ラーマン関係およびハード・レフシェッツ同型は一般に成り立つ。
• ハッセ微分およびワイエル双対を用いることで、正標数へも結果を拡張でき、近似議論の修正はわずかにしか必要としない。