[論文レビュー] The characteristic 2 anisotropicity of simplicial spheres

Stavros Argyrios Papadakis, Vasiliki Petrotou|arXiv (Cornell University)|Dec 17, 2020

Advanced Combinatorial Mathematics参考文献 19被引用数 7

ひとこと要約

本稿では、微分作用素を用いて、任意の特徴値 2 の体上、すべての単体的球面が一般に非等方的であることを確立する。これは、Stanley-Reisner 環の一般化された Artinian 減少において、すべてのゼロでない同次元の次数 ≤ (dim D + 1)/2 の元の平方が消えないことを示す。この結果により、弱および強 Lefschetz性質を介して、単体的球面における McMullen の g-予想の第二の証明が得られる。

ABSTRACT

Assume D is a simplicial sphere, and k_1 is a field. We say that D is generically anisotropic over k_1 if, for a certain purely transcendental field extension k of k_1, a certain Artinian reduction A of the Stanley-Reisner ring k[D] has the following property: All nonzero homogeneous elements u of A of degree less or equal to (dim D +1)/2 have nonzero square. We prove, using suitable differential operators, that, if the field k_1 has characteristic 2, then every simplicial sphere D is generically anisotropic over k_1. As an application, we give a second proof of a recent result of Adiprasito, known as McMullen's g-conjecture for simplicial spheres. We also prove that the simplicial spheres of dimension 1 are generically anisotropic over any field k_1.

研究の動機と目的

• 特徴値 2 の体上、単体的球面の一般的非等方的性を確立すること。
• 弱および強 Lefschetz性質を用いて、単体的球面における McMullen の g-予想の代替的証明を提供すること。
• 特徴値 2 が Stanley-Reisner 環およびその Artinian 減少の構造に果たす役割を調査すること。
• 特徴値 2 における微分作用素の振る舞いと、Gorenstein 代数における非退化性との関連を調査すること。
• 単体的球面の文脈における高次微分の一般化に関する予想を提示・検討すること。

提案手法

• 基礎体 $k_1$ 上での単体的球面の一般的非等方的性の概念を、純代数的拡張 $k$ と Stanley-Reisner 環 $k[D]$ の Artinian 減少 $A$ を用いて定義する。
• 単体的球面 $D$ の各面に付随する $(n+1)$-次微分作用素 $\partial_{\sigma}^{\text{mod}}$ を用いて、$A$ の乗法的構造を分析する。
• 特に $k_1^2$ 上での偏微分の線形性に着目した特徴値 2 の恒等式を用い、最大小行列式の積を含む重要な代数的恒等式を導出する。
• Gorenstein Artinian graded 代数における非退化ペアリングを適用し、同次元の元の平方が消えないことを確立する。
• Proposition 13.7 および 13.8 を活用し、乗法マップの単射性と強 Lefschetz性質との関係を確立する。
• 有理関数の超越基底への還元を用いて、特徴値 2 における次元 1 およびそれ以上の次元における $A$ の構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 任意の特徴値 2 の体上、すべての単体的球面は、次元 ≤ (dim D + 1)/2 のゼロでない同次元のすべての元の平方が消えないような一般の Artinian 減少をもつだろうか？
• RQ2 単体的球面のサスペンションの一般的非等方的性から、Stanley-Reisner 環の弱 Lefschetz性質を導くことができるだろうか？
• RQ3 特徴値 2 が Artinian 減少における平方の消えない性質を可能にする役割は何か？
• RQ4 特徴値 2 において、$n+1$ 次の微分作用素は、Stanley-Reisner 環の単項式構造とどのように作用するか？
• RQ5 定理 8.6 における主要な微分恒等式は、任意の特徴値に一般化可能だろうか、それとも特徴値 2 が本質的か？

主な発見

• 次元 1 のすべての単体的球面は、特徴値にかかわらず、任意の体 $k_1$ 上で一般に非等方的である。これは、Proposition 10.1 を用いた初期項の議論により示される。
• 任意の特徴値 2 の体上、すべての単体的球面は、微分作用素および特徴値 2 の恒等式を用いた定理 3.3 により、一般に非等方的であることが証明される。
• 微分作用素 $\partial_{\sigma}^{\text{mod}}$ は、最大小行列式の積を含む重要な恒等式を満たすことが、定理 8.6 で確立されている。
• 特徴値 2 において、すべてのゼロでない $u \in A_i$（$i \leq (\dim D + 1)/2$）に対して $u^2$ が消えないことは、Proposition 13.8 を通じて強 Lefschetz性質を示唆する。
• 本構成により、一般的非等方的性と弱および強 Lefschetz性質との関連を結ぶことで、単体的球面における McMullen の g-予想の第二の証明が得られる。
• Artinian 減少におけるより深い構造を示唆する、単項式への微分恒等式の一般化を予想する（Conjecture 14.1）。