[논문 리뷰] A generalization of Griffiths' theorem on rational integrals

Alexandru Dimca, Morihiko Saito|ArXiv.org|2005. 01. 17.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 9

한 줄 요약

이 논문은 $V$-필터링, 버니슈타인-사토 다항식, 가우스-민 연결을 사용하여 초곡면의 여명의 코homology에서의 극점 차수 필터링과 브리스코른 모듈의 자유 부분 간의 이somorphism을 수립함으로써 그리피스의 유리적 적분에 대한 정리의 일반화를 수행한다. 주요 결과는 $P^{n-q}H^n(U,\mathbb{C})$ 를 $\overline{\cal H}_{f,(q+1)d}$ 와 동일시함으로써, 고전적 호지 이론을 특이 초곡면으로 확장하고 가족에서의 코다이라-스펜서 사상의 정밀화를 이룬다.

ABSTRACT

We generalize Griffiths' theorem on the Hodge filtration of the primitive cohomology of a smooth projective hypersurface, using the local Bernstein-Sato polynomials, the V-filtration of Kashiwara and Malgrange along the hypersurface and the Brieskorn module of the global defining equation of the hypersurface.

연구 동기 및 목표

• 부드러운 초곡면을 넘어서 특이 초곡면으로 그리피스의 고전적 정리인 원시 코hom로지와 유리적 적분을 일반화하기 위해.
• 초곡면의 여명의 de Rham 코hom로지에서의 극점 차수 필터링과 브리스코른 모듈의 순서 조각 간의 정확한 대응을 수립하기 위해.
• 가우스-민 연결과 $V$-필터링을 사용하여 초곡면 가족에서의 코다이라-스펜서 사상의 일반화를 위해.
• 브리스코른 모듈과 버니슈타인-사토 다항식과 같은 대수적 구조를 통해 특이성이 존재하는 상황에서 호지 필터링을 계산할 수 있는 프레임워크를 제공하기 위해.

제안 방법

• 초곡면을 따라 카시와라와 말그랑주의 $V$-필터링을 사용하여 $\mathcal{O}_X(*Y)$ 와 그 코homology의 구조를 분석한다.
• 버니슈타인-사토 다항식을 적용하여 Hodge 필터링과 극점 차수 필터링 간의 비교를 제어하는 불변량 $\alpha_Y$ 를 정의한다.
• 브리스코른 모듈 $\overline{\cal H}_f = \Omega^{n+1}/df \wedge d\Omega^{n-1}$ 을 구성하고, 이것이 유한 차수의 자유 순서 $\mathbb{C}[t]$-모듈임을 증명한다.
• 필터링된 $\omega_X(*Y)$ 의 전역 단위에서 $\overline{\cal H}_{f,(q+1)d}$ 로의 자연스러운 사상들을 수립하고, 이들이 필터링 간의 이somorphism을 유도함을 보인다.
• 가우스-민 연결과 브리스코른 모듈의 순서 조각 위에서의 작용을 사용하여 가족 내에서 호지 구조의 변화를 묘사한다.
• 승수 이상 이론과 동치성의 이론을 적용하여 필터링 차원의 일관성을 보장하고, 이는 브리스코른 모듈의 순서 조각 위에서 가우스-민 연결의 연구를 가능하게 한다.

실험 결과

연구 질문

• RQ1 대수적 D-모듈 이론을 사용하여, 부드러운 초곡면을 넘어서 특이 초곡면으로 그리피스의 정리에 대한 유리적 적분을 일반화할 수 있는가?
• RQ2 초곡면의 여명의 코homology에서 Hodge 필터링 $F$ 와 극점 차수 필터링 $P$ 간의 정확한 관계는 무엇인가?
• RQ3 가족 내 초곡면에서 가우스-민 연결은 브리스코른 모듈의 순서 조각 위에서 어떻게 작용하는가?
• RQ4 어떤 조건에서 초곡면 가족 전반에 걸쳐 극점 차수 필터링 $P^j H^n(U_s,\mathbb{C})$ 의 차원이 일정한가?
• RQ5 기저 위의 벡터장의 작용과 브리스코른 모듈을 통해 코다이라-스펜서 사상은 대수적으로 묘사될 수 있는가?

주요 결과

• 극점 차수 필터링 $P^{n-q}H^n(U,\mathbb{C})$ 는 브리스코른 모듈의 순서 조각 $\overline{\cal H}_{f,(q+1)d}$ 와 자연스럽게 이somorphic하다.
• 포함관계 $P^{n-q+1}H^n(U,\mathbb{C}) \hookrightarrow P^{n-q}H^n(U,\mathbb{C})$ 는 $\overline{\cal H}_{f,qd} \to \overline{\cal H}_{f,(q+1)d}$ 에서의 $t$ 곱셈에 대응한다.
• Hodge 필터링 $F^{n-q}H^n(U,\mathbb{C})$ 는 $\Gamma(X, F_q(\omega_X(*Y)))$ 에서 $\overline{\cal H}_{f,(q+1)d}$ 로의 사상에 의한 이미지로 식별된다.
• $q \leq \alpha_Y - 1$ 인 경우, Hodge 필터링과 극점 차수 필터링은 일치한다: $F^{n-q}H^n(U,\mathbb{C}) = \overline{\cal H}_{f,(q+1)d}$.
• $\mathbb{Q}$-호모로지 다양체인 경우, $F^{n-q}H^n(U,\mathbb{C})$ 는 $Y$ 의 원시 코homology 와 대응되며, $H^j(Y,\mathbb{C}) \cong \mathrm{IH}^j(Y,\mathbb{C})$ 이다.
• 가우스-민 연결은 극점 차수 필터링의 순서 조각 위에 잘 정의된 사상으로 유도되며, 이는 브리스코른 모듈과의 이somorphism 하에 $-q(\xi f)_s$ 의 곱셈에 대응한다.