[논문 리뷰] On Semirational Singularities

Jeremy Berquist|arXiv (Cornell University)|2014. 08. 25.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 $G_1$, $S_2$, 및 준정규성 조건을 만족하는 비정규 대상에 대해 반해결(resolution)을 도입하여, 반부드러운 Grauert-Riemenschneider 쇄거 정리( vanishing theorem)를 확립하고, 반유리 특이점이 반해결의 선택에 관계없이 불변임을 증명한다. 정규 대상에 대한 해법을 비정규 설정으로 확장하기 위해 해법 대신 반해결을 사용함으로써 비정규 대상에 대한 비동형 분류 도구를 확장하며, 반유리 특이점이 코hen-Macaulay이자 Du Bois임을 보여준다.

ABSTRACT

We study semiresolutions of quasi-projective varieties with properties $G_1$, $S_2$, and seminormality. Equivalently, these are varieties $X$ with Serre's $S_2$ property, such that there exists an open subvariety $U$, with complement of codimension at least two, such that the only singularities of $U$ are (analytically) double normal crossings. Such varieties have been called "demi-normal" by Kollár \cite{Kol13}. First, we discuss why these properties are ideal for the study of nonnormal varieties that appear in the birational classification of varieties. We define semiresolutions and provide examples to illustrate the procedure of gluing along the conductor as the fundamental tool in obtaining a semiresolution of $X$ from a resolution of its normalization. As an application of these methods, we discuss semirational singularities. Our main results are a semismooth Grauert-Riemenschneider vanishing theorem (Theorem 4.2) and a proof that the definition of semirational singularities does not depend on the semiresolution chosen (Theorem 4.3) . The smooth version of (4.2) first appeared in \cite{GR70}. We also explain why semirational singularities are, in particular, Cohen-Macaulay and DuBois. Finally, we discuss the role semiresolutions play in forming a nonnormal interpretation of the results of de Fernex and Hacon in \cite{dFH09}, where the $\mathbb{Q}$-Cartier hypothesis was found to be extraneous in the birational classification of normal varieties.

연구 동기 및 목표

• 정규 대상에 대한 해법의 유사물인 반해결을 도입함으로써 비정규 대상에 대한 비동형 분류 프레임워크를 개발하는 것.
• G_1, S_2, 및 준정규성 조건을 만족하는 대상의 맥락에서 반유리 특이점을 정의하고 연구함으로써, 유리 특이점의 개념을 확장하는 것.
• 반유리 특이점의 정의가 반해결의 선택에 관계없이 불변임을 증명하여 분류의 일관성을 확보하는 것.
• 반해결에 대해 반부드러운 형태의 Grauert-Riemenschneider 쇄거 정리를 확립하는 것.
• 반유리 특이점이 코hen-Macaulay이자 Du Bois임을 보여주어, 깊이 있는 코homological 및 특이점 이론적 성질과 연결하는 것.

제안 방법

• 반해결을 정의한다: $f: Y \to X$는 $Y$가 반부드럽고, $U \to X$가 열린 부분대상에서의 동형이며, $\text{codim}(X \backslash U) \to \text{codim} \to 2$인 전사적이고 비동형적인 사상이다.
• 도우미 이상(ideal)과 도우미를 따라 접는 방법을 핵심 도구로 사용하여, 정규화의 해법으로부터 반해결을 구성한다.
• 반부드러운 Grauert-Riemenschneider 쇄거 정리 적용: $R^i f_* \tilde{\theta}_Y = 0$ for $i > 0$, 여기서 $\tilde{\theta}_Y$는 $Y$ 위의 쌍대화층이다.
• 반해결 $g: Y \to X$에 대해 $R^i g_* \mathcal{O}_Y = 0$ for $i > 0$의 쇄거 성질을 통해 반유리 특이점을 특성화한다.
• 반부드러운 대상이 Du Bois 특이점을 가지며, $\mathcal{O}_X \cong_{qis} Rf_* \mathcal{O}_Y$의 준동형이 성립함을 통해 $X$가 Du Bois 특이점을 가짐을 보여, 반유리 특이점이 코hen-Macaulay이자 Du Bois임을 증명한다.
• de Fernex와 Hacon의 비-$\mathbb{Q}$-Gorenstein 정규 대상에 대한 결과를 반해결을 사용하여 비정규 대상으로 확장한다.

실험 결과

연구 질문

• RQ1 반해결을 해법의 대체로 사용함으로써 비정규 대상에 대한 비동형 분류 이론을 개발할 수 있는가?
• RQ2 반유리 특이점의 정의는 반해결의 선택에 관계없이 불변인가?
• RQ3 G_1, S_2, 및 준정규성 조건을 만족하는 대상에 대해 반부드러운 형태의 Grauert-Riemenschneider 쇄거 정리가 성립하는가?
• RQ4 반유리 특이점은 반드시 코hen-Macaulay이자 Du Bois인가?
• RQ5 반해결을 사용한 비정규 대상의 비동형 분류에서 $\mathbb{Q}$-Gorenstein 가정을 제거할 수 있는가?

주요 결과

• 반부드러운 Grauert-Riemenschneider 쇄거 정리(정리 4.2)가 성립한다: $G_1$, $S_2$, 준정규성 조건을 만족하는 대상의 반해결 $f: Y \to X$에 대해 $R^i f_* \tilde{\theta}_Y = 0$ for $i > 0$이다.
• 반유리 특이점의 정의는 반해결의 선택에 관계없이 불변이다(정리 4.3), 이는 분류의 일관성을 보장한다.
• 반유리 특이점은 코hen-Macaulay이다: $R^i g_* \mathcal{O}_Y = 0$ for $i > 0$를 만족하고 반해결을 통해 정의되기 때문이다.
• 반유리 특이점은 Du Bois이다: 반부드러운 대상은 Du Bois 특이점을 가지며, $\mathcal{O}_X \cong_{qis} Rf_* \mathcal{O}_Y$의 준동형이 성립함을 통해 $X$가 Du Bois 특이점을 가짐을 알 수 있다.
• de Fernex와 Hacon의 비-$\mathbb{Q}$-Gorenstein 정규 대상에 대한 결과는 반해결을 통해 비정규 대상으로 확장되며, $\mathbb{Q}$-Gorenstein 가정이 필요 없어진다.
• 반유리 특이점이 없는 $G_1$, $S_2$, 준정규 비정규 대상이 존재한다. 예를 들어, 정상적으로 통합된 아벨 곡면 위의 원뿔은 꼭짓점에서 코hen-Macaulay가 아니다.