[論文レビュー] Lefschetz Properties and Basic Constructions on Simplicial Spheres

Eric Babson, Eran Nevo|ArXiv.org|Feb 7, 2008

Advanced Combinatorial Mathematics参考文献 12被引用数 4

ひとこと要約

本稿では、単体的ホモロジー球面における3つの基本的構成—結合、連結和、スターバイセクション—の下で強いLefschetz性質（SL）が保存されることを確立する。主な貢献は、ホモロジー球面が特徴値0の体（あるいは連結和に関しては任意の体）上でSLであれば、その結合、連結和、スターバイセクションに対してもSLが成り立つことを証明したことである。これは、部分線形球面におけるg予想を証明するための重要な代数的道具を提供する。

ABSTRACT

The well known $g$-conjecture for homology spheres follows from the stronger conjecture that the face ring over the reals of a homology sphere, modulo a linear system of parameters, admits the strong-Lefschetz property. We prove that the strong-Lefschetz property is preserved under the following constructions on homology spheres: join, connected sum, and stellar subdivisions. The last construction is a step towards proving the $g$-conjecture for piecewise-linear spheres.

研究の動機と目的

• 単体的ホモロジー球面における基本的位相的構成の下で強いLefschetz性質が保存されることを証明すること。
• すべてのPL球面を生成する構成の下でSLが保存されることを示すことにより、PL球面におけるg予想を支援すること。
• Stanley-Reisner環を線形パラメータ系で割ったものにおける強いLefschetz性質を通じて、g予想に対する代数的証拠を提供すること。
• スターバイセクションにおけるSL性質の振る舞いを調査し、部分線形球面におけるg予想を証明するための重要なステップを提供すること。
• 結合と連結和において、入力複体がSLであれば、任意の体上でもSL性質が保存されることを確立すること。

提案手法

• 単体的球面の代数的構造を分析するために、Stanley-Reisner環の構成と線形パラメータ系（l.s.o.p.）による剰余を用いる。
• ホモロジー球面の連結和が再びホモロジー球面であり、対称的hベクトルを持つことを示すために、Mayer-VietorisおよびEuler特性の議論を適用する。
• A加群の完全系列を用いて、元の複体、その連結和、および面のリンクのホモロジーとコホモロジーの関係を関連付ける。
• 特に、一般な元ωによる乗法写像の振る舞いに注目し、次数成分における同型を用いて強いLefschetz性質を検証する、可換代数の技法を用いる。
• Lefschetz元の集合がZariski開かつ空でないという事実を活用し、その共通部分が空でないことを示して、連結和における共通のLefschetz元を構成する。
• 代数的シフト枠組みと外積的・対称的シフトの性質を用いて、結果を組合せ的シフトの観点から解釈する。

実験結果

リサーチクエスチョン

• RQ1 特徴値0の体上において、2つの単体的ホモロジー球面の結合において強いLefschetz性質は保存されるか？
• RQ2 任意の体上で、2つのホモロジー球面の連結和において強いLefschetz性質は保存されるか？
• RQ3 ホモロジー球面のスターバイセクションは、特にその被覆面のリンクがSLであれば、強いLefschetz性質を保存するか？
• RQ4 強いLefschetz性質を用いて、代数的構成の系列を通じて、部分線形球面におけるg予想を証明できるか？
• RQ5 複体のSL性質とその重心的分割のSL性質との間に何らかの関係があるか？

主な発見

• 特徴値0の体上において、2つのホモロジー球面の結合において強いLefschetz性質は保存される。ただし、両方の複体がSLでなければならない。
• 同じ次元の2つのSLホモロジー球面の連結和は、特徴値0に限らず任意の体上でSLである。
• 実数体上では、元の複体と被覆面のリンクが両方SLであれば、スターバイセクションは強いLefschetz性質を保存する。
• SLホモロジー球面の重心的分割は、スターバイセクションの特別な場合であるため、自身もSLである。
• 結合、連結和、スターバイセクションの下で閉じた複体のクラスにおいて、リンクをとる操作についても閉じている限り、SL性質は保存される。
• これらの結果は、単体から出発し、スターバイセクションの系列によって得られる任意のPL球面が、各段階でリンク条件が維持される限り、SL性質を引き継ぐことを示唆する。