[论文解读] 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提出之問題。

提出的方法

• 使用指數算子論證證明截面延拓的唯一性，避開多向量場或光滑微分形式的需要。
• 應用過濾正則Holonomic D-模理論與Kashiwara-Malgrange V-濾過結構，分析Brieskorn格點的結構。
• 透過有限 étale Galois覆蓋引入形式Gauss-Manin系統的規範分解，使各特徵空間上的自同態分析成為可能。
• 在形式Brieskorn格點上使用局部化與拉回技術，將問題簡化為冪級數環上的階一模。
• 利用Galois群作用下Gauss-Manin系統的規範分解，證明各組分上的自同態皆為平凡。
• 確立分解系統中各不可約組分的自同態環同構於ℂ，從而證明唯一性（至多常數倍）。

实验结果

研究问题

• RQ1 能否在不依賴多向量場或微分形式的情況下，證明形式Brieskorn格點中良好截面延拓的唯一性？
• RQ2 在非齊次情形下，何種條件可確保與良好截面相關的原形式的存在性與唯一性？
• RQ3 如何透過遞迴演算法高效計算Brieskorn-Pham情形下原形式的係數？
• RQ4 如Shklyarov所問，形式設定下高階殘留配對是否唯一確定了（至多常數倍）？

主要发现

• 形式Brieskorn格點中良好截面延拓的唯一性，透過指數算子論證確立，且不依賴微分幾何工具。
• 原形式的存在與唯一性，僅在良好截面為極好時成立，即嚴格相容於V-濾過結構。
• 推導出一高效遞迴演算法，用於計算Brieskorn-Pham情形下原形式係數，簡化先前構造。
• 在形式設定下，高階殘留配對唯一確定了（至多非零常數倍），確認了Shklyarov提出的猜想。
• Galois分解下形式Gauss-Manin系統各不可約組分的自同態環同構於ℂ，暗示分解的唯一性。
• Galois作用下形式Gauss-Manin系統的規範分解，確認系統可分解為完備冪級數環上的階一模。