[論文レビュー] On the structure of Brieskorn lattices, II

Morihiko Saito|arXiv (Cornell University)|Dec 23, 2013

Algebraic Geometry and Number Theory参考文献 15被引用数 7

ひとこと要約

この論文は、多様体や微分形式を用いずに、指数型作用素の議論を用いて、形式的Brieskorn格子における良い切断の拡張の一意性を簡略化された証明で示している。また、非常に良い切断に関連する原始形式の存在および一意性を確立し、Brieskorn-Phamの場合における係数を計算する簡潔なアルゴリズムを提示している。これにより、先行研究における曖昧さが解消され、形式的設定において高次の残留ペアリングが定数倍を除いて一意であることが証明された。

ABSTRACT

We give a simple proof of the uniqueness of extensions of good sections for formal Brieskorn lattices, which can be used in a paper of C. Li, S. Li, and K. Saito for the proof of convergence in the non-quasihomogeneous polynomial case. Our proof uses an exponential operator argument as in their paper, although we do not use polyvector fields nor smooth differential forms. We also present an apparently simpler algorithm for an inductive calculation of the coefficients of primitive forms in the Brieskorn-Pham polynomial case. In a previous paper on the structure of Brieskorn lattices, there were some points which were not yet very clear, and we give some explanations about these, e.g. on the existence and the uniqueness of primitive forms associated with good sections, where we present some rather interesting examples. In Appendix we prove the uniqueness up to a nonzero constant multiple of the higher residue pairings in some formal setting which is different from the one in the main theorem. This is questioned by D. Shklyarov.

研究の動機と目的

• 形式的Brieskorn格子における良い切断の拡張の一意性を、より簡単で直接的な証明で示すこと。
• 先行研究における、良い切断に関連する原始形式の存在および一意性に関する未解決問題を明確にすること。
• Brieskorn-Pham多項式の場合における原始形式の係数を効率的に計算する帰納的アルゴリズムを提示すること。
• Shklyarovが提起した疑問に応じ、形式的設定において高次の残留ペアリングが定数倍を除いて一意に定まることを証明すること。

提案手法

• 多様体や微分形式を避けるために、指数型作用素の議論を用いて、切断の拡張の一意性を証明する。
• フィルター付き正則特異D加群の理論およびKashiwara-MalgrangeのV層の理論を用いて、Brieskorn格子の構造を分析する。
• 有限エタールなGalois被覆を介した形式的Gauss-Manin系の標準的分解を導入し、各固有空間上での自己準同型の解析を可能にする。
• 形式的Brieskorn格子における局所化および引き戻しの技法を用いて、問題を完備形式的べき級数環上のランク1加群に還元する。
• Galois群作用下でのGauss-Manin系の標準的分解を用いて、各成分上での自己準同型が自明であることを示す。
• 各既約成分の自己準同型環がℂに同型であることを確立し、定数倍を除いて一意であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 多様体や微分形式に依存せずに、形式的Brieskorn格子における良い切断の拡張の一意性を証明できるか？
• RQ2 特に非準同次的状況において、良い切断に関連する原始形式の存在および一意性を保証する条件は何か？
• RQ3 Brieskorn-Phamの場合における原始形式の係数を、帰納的アルゴリズムにより効率的に計算する方法は何か？
• RQ4 Shklyarovが提起した疑問に応じ、形式的設定において高次の残留ペアリングが定数倍を除いて一意に定まるか？

主な発見

• 微分幾何的道具に依存せずに、指数型作用素の議論を用いて、形式的Brieskorn格子における良い切断の拡張の一意性が確立された。
• 原始形式の存在および一意性は、良い切断がV層の意味で厳密に適合している、すなわち「非常に良い」切断である場合に限り保証される。
• Brieskorn-Phamの場合における原始形式の係数を計算する効率的な帰納的アルゴリズムが導出され、従来の構成が簡略化された。
• 形式的設定において高次の残留ペアリングは、非ゼロの定数倍を除いて一意に定まることが証明され、Shklyarovの予想が裏付けられた。
• Galois分解における形式的Gauss-Manin系の各既約成分の自己準同型環はℂに同型であり、分解の一意性が示された。
• Galois作用下での形式的Gauss-Manin系の標準的分解により、系が完備形式的べき級数環上のランク1加群に分解されることを確認した。