[논문 리뷰] On the structure of Brieskorn lattices, II

Morihiko Saito|arXiv (Cornell University)|2013. 12. 23.

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 격자의 구조를 분석한다.
• 유한 에탈 갈루아 코팅을 통한 형식 가우스-마닝 시스템의 정규 분해를 도입하여 각 고유공간에서의 자기형사의 분석을 가능하게 한다.
• 형식 Brieskorn 격자에 국소화와 당김 기법을 적용하여 문제를 완비된 멱급수환 위의 랭크-일치 모듈로 환원한다.
• 갈루아 군 작용 하에서 가우스-마닝 시스템의 정규 분해를 사용하여 각 성분에서의 자기형사가 자명하다는 것을 보인다.
• 각 불가약 성분의 자기형사환은 ℂ와 동형임을 증명함으로써, 스칼라배를 제외한 유일성을 입증한다.

실험 결과

연구 질문

• RQ1 다형성장이나 미분형식을 사용하지 않고, 형식 Brieskorn 격자에서 잘 정의된 부분의 확장의 유일성을 증명할 수 있는가?
• RQ2 특히 비준칙적 경우에서, 잘 정의된 부분과 관련된 원시형의 존재성과 유일성을 보장하는 조건은 무엇인가?
• RQ3 Brieskorn-Pham의 경우에서 원시형의 계수를 인도크티브 알고리즘을 통해 효율적으로 계산할 수 있는가?
• RQ4 Shklyarov가 제기한 바와 같이, 형식적 설정에서 고차 잔여쌍대가 상수배를 제외하고 유일하게 결정되는가?

주요 결과

• 다양한 기하학적 도구를 사용하지 않고 지수 연산자 방법을 통해 형식 Brieskorn 격자에서 잘 정의된 부분의 확장의 유일성이 입증된다.
• 원시형의 존재성과 유일성이 정확히 잘 정의된 부분이 매우 양호할 때, 즉 V-필터링과 엄격히 호환될 때 보장된다.
• Brieskorn-Pham의 경우에서 원시형의 계수를 계산하는 효율적인 인도크티브 알고리즘이 유도되었으며, 이는 이전의 구성보다 단순화된다.
• 형식적 설정에서 고차 잔여쌍대는 영이 아닌 상수배를 제외하고는 유일하게 결정되며, Shklyarov가 제기한 추측을 확인한다.
• 갈루아 분해에서 형식 가우스-마닝 시스템의 각 불가약 성분의 자기형사환은 ℂ와 동형이며, 이는 분해의 유일성을 의미한다.
• 갈루아 작용 하에서 형식 가우스-마닝 시스템의 정규 분해는 시스템이 완비된 멱급수환 위의 랭크-일치 모듈로 분해됨을 확인한다.