[논문 리뷰] Higher Du Bois and higher rational singularities

Robert Friedman, Radu Laza|arXiv (Cornell University)|2022. 05. 10.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 $k$-rationals 및 $k$-Du Bois 특이점을 합리적이고 Du Bois 특이점의 고차원 일반화로 도입하며, $k$-Du Bois이고 국소 완전교차인 특이점을 가진 평탄하고 전순인 가닥에서, $p \leq k$ 인 경우에 대해 고차원 직접영상 $R^q f_* Ω^p_{\mathcal{Y}/S}$ 가 국소적으로 자유롭고 기저변환과 호환됨을 증명한다. 이는 Du Bois의 기초적인 결과를 확장하며, $k$-Du Bois 특이점이 초면에서 $(k-1)$-합리성으로 이어짐을 보이며, 호지 수의 일관성과 칼라비-양 다양체의 무저항 변형에의 응용을 제공한다.

ABSTRACT

We prove that the higher direct images $R^qf_*Ω^p_{\mathcal Y/S}$ of the sheaves of relative Kähler differentials are locally free and compatible with arbitrary base change for flat proper families whose fibers have $k$-Du Bois local complete intersection singularities, for $p\leq k$ and all $q\geq 0$, generalizing a result of Du Bois (the case $k=0$). We then propose a definition of $k$-rational singularities extending the definition of rational singularities, and show that, if $X$ is a $k$-rational variety with either isolated or local complete intersection singularities, then $X$ is $k$-Du Bois. As applications, we discuss the behavior of Hodge numbers in families and the unobstructedness of deformations of singular Calabi-Yau varieties. In an appendix, Morihiko Saito proves that, in the case of hypersurface singularities, the $k$-rationality definition proposed here is equivalent to a previously given numerical definition for $k$-rational singularities. As an immediate consequence, it follows that for hypersurface singularities, $k$-Du Bois singularities are $(k-1)$-rational. This statement has recently been proved for all local complete intersection singularities by Chen-Dirks-Mustaţă.

연구 동기 및 목표

• Du Bois의 $R^q f_* \mathcal{O}_\mathcal{Y}$ 의 국소 자유성에 관한 정리의 일반화를 $p \leq k$ 인 고차형식 $\Omega^p$ 에 대해, $k$-Du Bois 특이점을 가진 가닥에서 수행한다.
• 합리적 특이점의 고차원 일반화로 $k$-합리적 특이점을 정의함으로써, 제어된 호지이론적 행동을 갖는 특이 다양체로 고전적 개념을 확장한다.
• $k$-Du Bois 특이점이 초면에서 $(k-1)$-합리성으로 이어짐을 입증하기 위해 쌍대성과 호지 모듈러 이론을 사용한다.
• 결과를 호지 수의 일관성과 특이한 칼라비-양 다양체의 무저항 변형에 응용한다.

제안 방법

• $0 \leq p \leq k$ 인 경우에 대해 칼라비-드 보아 맵 $\phi^p: \Omega^p_Y \to \underline{\Omega}^p_Y$ 의 준동치 성질을 통해 $k$-Du Bois 특이점을 정의한다.
• 국소 완전교차(lci) 가정을 사용하여 특이점의 여부차를 제어하고, $p \leq k$ 인 경우에 대해 $S$ 위에서 $\Omega^p_{\mathcal{Y}/S}$ 의 평탄성을 증명한다.
• 쌍대성 이론과 혼합 호지 모듈러를 적용하여 $\mathbb{D}(\underline{\Omega}_X^k)[-d_X]$ 와 $\mathbb{Q}_h[X][d_X]$ 의 호지 필터링을 연결하고, 호지 이상 이론을 사용한다.
• 표준형 사상 $\mathbb{Q}_h[X][d_X] \to \mathbb{D}(\mathbb{Q}_h[X](d_X)[d_X])$ 와 그의 순서 부분에 대한 유도된 사상 분석을 통해 $\widetilde{\alpha}_X = k+1$ 일 때 동형이 성립하지 않음을 감지하고, 모순을 이끌어낸다.
• Saito의 쌍대성과 Mustaţă–Olano–Popa–Witaszek의 쌍대성 정리들을 활용하여, 초면에서 $k$-Du Bois 특이점이 $(k-1)$-합리성으로 이어짐을 보인다.

실험 결과

연구 질문

• RQ1 특이점이 있는 가닥에서 $R^q f_* \Omega^p_{\mathcal{Y}/S}$ 가 $p \leq k$ 인 경우에 대해 국소적으로 자유롭고 기저변환과 호환되는 조건은 무엇인가?
• RQ2 고차형식에 대한 고전적 개념을 확장하는 합리적 특이점의 자연스러운 고차원 일반화는 무엇인가?
• RQ3 초면의 경우 $k$-Du Bois 및 $k$-합리적 특이점은 어떻게 관련되어 있으며, $k$-Du Bois 특이점이 $(k-1)$-합리성으로 이어지는가?
• RQ4 특이점이 $k$-Du Bois인 가닥에서, $p \leq k$ 인 경우에 대해 호지 수 $\underline{h}^{p,q}$ 의 일관성이 확장될 수 있는가?
• RQ5 $k$-차수에서 칼라비-드 보아 맵이 동형이 되지 않는 것을 감지하는 데에 호지 이상 $I_k(X)$ 의 역할은 무엇인가?

주요 결과

• 평탄하고 전순인 가닥 $f: \mathcal{Y} \to S$ 에서, 각각의 근처가 $k$-Du Bois 국소 완전교차 특이점을 갖는다 하더라도, 모든 $q \geq 0$ 과 $0 \leq p \leq k$ 에 대해 $R^q f_* \Omega^p_{\mathcal{Y}/S}$ 는 국소적으로 자유롭고 기저변환과 호환된다.
• 제안된 $k$-합리적 특이점의 정의는 $k$-Du Bois 특이점이 초면에서 $(k-1)$-합리성으로 이어짐을 보이며, 쌍대성과 호지 모듈러 분석을 통해 입증된다.
• 국소 완전교차 특이점을 가진 초면 $X \subset Y$ 에서, $\widetilde{\alpha}_X > k+1$ 이 성립하며, 이는 $\widetilde{\alpha}_X = k+1$ 일 때 표준형 사상 $\Omega^k_X \to \underline{\Omega}^k_X$ 가 동형이 아니라는 것을 의미하며, 이는 모순을 이끌어낸다.
• 어느 일부 근처 $Y_s$ 가 $k$-Du Bois lci 특이점을 갖는 가닥에서, $p \leq k$ 인 경우에 대해 호지 수 $\underline{h}^{p,q}(Y_s)$ 는 일정하며, 매끄러운 근처의 호지 수와 일치한다.
• 이 논문에서 제안된 $k$-합리성 조건은 Saito의 부록에서 증명된 바에 따르면 초면에 대해 수치적 $k$-합리성 조건과 동치이며, 이는 이전의 정의와의 일致성을 확인한다.