[논문 리뷰] Generalization of theorems of Griffiths and Steenbrink to hypersurfaces with ordinary double points

Alexandru Dimca, Morihiko Saito|arXiv (Cornell University)|2014. 03. 18.

Algebraic Geometry and Number Theory참고 문헌 26인용 수 25

한 줄 요약

이 논문은 일반적인 이중점(ODP)을 가진 초곡면으로 Griffiths 및 Steenbrink의 호지 필터링과 스펙트럼에 관한 정리를 일반화하며, 보완의 코homology와 밀너 다양체 위의 계량 호지 필터링에 대한 대수적 기술을 수립한다. $E_2$에서의 필터링 순서 스펙트럼 시퀀스의 분해를 증명하여, 밀너 수치와 특성 수치의 명시적 공식을 유도한다.

ABSTRACT

Let Y be a hypersurface in projective space having only ordinary double points as singularities. We prove a variant of a conjecture of L. Wotzlaw on an algebraic description of the graded quotients of the Hodge filtration on the top cohomology of the complement of Y except for certain degrees of the graded quotients, as well as its extension to the Milnor cohomology of a defining polynomial of Y for degrees a little bit lower than the middle. These partially generalize theorems of Griffiths and Steenbrink in the Y smooth case, and enable us to determine the structure of the pole order spectral sequence. We then get quite simple formulas for the Steenbrink and pole order spectra in this case, which cannot be extended even to the simple singularity case easily.

연구 동기 및 목표

• 부드러운 초곡면에서 일반적인 이중점(ODP)을 가진 초곡면으로 Griffiths 및 Steenbrink 정리를 확장하여, 보완의 코homology 위의 호지 필터링에 대한 대수적 기술을 제공한다.
• 중간 근처의 차수에서 정의 다항식의 밀너 코homology로 호지 필터링 기술을 일반화하며, Thom–Sebastiani 유형 정리를 통해 비격리 특이점으로의 확장을 위한 기술적 장애를 극복한다.
• 필터링 순서 스펙트럼 시퀀스의 구조를 규명하고, ODP 경우의 Steenbrink 및 필터링 순서 스펙트럼에 대한 명시적 공식을 유도한다.
• ODP 조건 하에서 저차수 범위에서 필터링 순서 필터링이 호지 필터링과 일치함을 보여주며, 스펙트럼 시퀀스의 분해를 가능하게 한다.

제안 방법

• 정의 다항식 $f$의 미분과 관련된 코스졸 복합체 $K_f^{ullet} = (\bigwedge^\bullet \text{d}f)$의 사용으로, 순차 $R$-모듈 $ {}^s\text{N} $, $M$, $M''$의 구성이 이뤄진다.
• 비격리 특이점으로의 Steenbrink 정리의 확장을 위한 기술적 과제를 극복하기 위해 Thom–Sebastiani 정리를 적용하여, 밀너 코homology로의 확장을 가능하게 한다.
• 필터링 순서 스펙트럼 시퀀스의 $E_2$-분해를 증명하기 위해, $k/d \leq n/2$일 때 $\text{Gr}_F^p H^n(f^{-1}(1), \mathbb{C}) \cong (R/J)_{k-n-1}$ 인 등식을 사용한다. 여기서 $J$는 야코비안 아이디얼이다.
• 등식 $\dim M_k - \dim {}^s\text{N}_{k-d} = \gamma_k$ 를 통해 스펙트럼 공식을 도출한다. 여기서 $\gamma_k$ 는 $(t + \cdots + t^{d-1})^{n+1}$ 의 계수이다.
• 특성 수치 $\{\dim M_k'\}$ 과 $\{n_f^{0,\alpha}\}$ 가 $k = d(n+1)/2$ 근처에서 대칭성을 가지며, 이를 바탕으로 증명을 두 가지 경우로 축소한다: $k/d \leq n/2 + 1/2$ 와 $k/d = n/2 + 1$.
• 명시적인 계산을 통해 $\text{Sp}^1(f)$ 와 $\text{Sp}_P^1(f)$ 를 $\dim {}^s\text{N}_{nd/2}$ 를 사용하여 도출하며, $nd$ 가 홀수일 경우 0이 된다.

실험 결과

연구 질문

• RQ1 일반적인 이중점(ODP)만을 가진 초곡면 $Y \subset \mathbb{P}^n$ 에 대해, $H^n(U, \mathbb{C})$ 위의 호지 필터링이 대수적으로 기술될 수 있는가? 이는 Griffiths 정리의 일반화이다.
• RQ2 이러한 초곡면에 대해 필터링 순서 스펙트럼 시퀀스가 $E_2$에서 분해되는가? 그리고 저차수 범위에서 호지 필터링과 필터링 순서 필터링이 일치함을 보일 수 있는가?
• RQ3 ODP 경우의 Steenbrink 및 필터링 순서 스펙트럼에 대한 명시적 공식은 무엇이며, 이는 특이점의 수와 $f$ 의 차수에 어떻게 의존하는가?
• RQ4 일반적인 이중점 조건 하에서, 밀너 코homology $H^n(f^{-1}(1), \mathbb{C})$ 의 구조는 호지 필터링의 순차 조각과 어떻게 관련되어 있는가?
• RQ5 결과는 ODP 특이점 외로 확장될 수 있는가? 그리고 단순 특이점(예: $A_k$)의 경우 장애 요소는 무엇인가?

주요 결과

• 일반적인 이중점(ODP)을 가진 초곡면에 대해 필터링 순서 스펙트럼 시퀀스는 $E_2$에서 분해되며, 이는 Thom–Sebastiani 정리와 $k/d \leq n/2$ 일 때 $\text{Gr}_F^p H^n(f^{-1}(1), \mathbb{C}) \cong (R/J)_{k-n-1}$ 인 등식을 통해 입증된다.
• Steenbrink 스펙트럼은 $\text{Sp}_P(f) = (t^{1/d} + \cdots + t^{(d-1)/d})^{n+1} - \sum_{nd/2 < k \leq nd/2 + d} {}^s\nu_k t^{k/d} - \sum_{k > nd/2 + d} ({}^s\nu_k - {}^s\nu_{k-d}) t^{k/d}$ 로 주어지며, 여기서 ${}^s\nu_k = \dim {}^s\text{N}_k$ 이다.
• 특히 $k = nd/2$ 일 때, ${}^s\nu_k - {}^s\nu_{k-d}$ 는 $[0, \tau_Y]$ 에 속하며, $nd$ 가 홀수일 경우 0이 된다.
• $\lambda$-고유공간 $H^n(f^{-1}(1), \mathbb{C})_{\mathbf{e}(-k/d)}$ 는 $k/d \leq n/2$ 일 때 $M_k = (R/J)_{k-n-1}$ 와 동형이며, 이 범위에서 $F$ 와 $P$ 필터링이 일치한다.
• 스펙트럼 $\text{Sp}^1(f)$ 는 $nd$ 가 짝수일 경우 $\dim {}^s\text{N}_{nd/2} \cdot t^{n/2+1}$ 이고, 그렇지 않으면 0이다. 여기서 $\text{Sp}^0(f) = \text{Sp}(f) + \text{Sp}^1(f)$ 이다.
• 스펙트럼 공식은 단순 특이점(예: $A_k$)의 경우 쉽게 확장될 수 없으며, $k > 1$ 일 때 구간 $[\widetilde{\alpha}_Y, n - \widetilde{\alpha}_Y]$ 의 스펙트럼 자료가 상당히 복잡해지기 때문이다.