[논문 리뷰] Singularities of Cox Rings of Fano Varieties

Morgan V. Brown|arXiv (Cornell University)|2011. 09. 28.

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

한 줄 요약

이 논문은 복소수체 위의 매끄럽고 완비된 팔로 위상공간의 코흐 링이 코hen-Macaulay이며 극한 특이점을 가지며, 더 일반적으로 ℚ-팩터링 가능한 로그 팔로 쌍의 코흐 링이 로그 단순 특이점을 가진다는 것을 증명한다. 증명은 피카르 랭크에 대한 귀납법을 사용하며, 중간의 모리 드림 공간을 선형 번들의 프로젝티브화를 통해 구성하고, ℤ/mℤ-_bundle를 캄파クト화하기 위해 최소 모델 프로그램을 적용한다. 특이점은 에탈 코호몰로지와 코디멘션 2에서의 순환 코호몰로지에 의해 유지된다.

ABSTRACT

Let $X$ be a smooth complete Fano variety over $\mathbb{C}$. We show that the Cox ring $\bigoplus_{L\in ext{Pic}(X)}H^0(X,\mathcal{O}_X(L))$ is Gorenstein with canonical singularities.

연구 동기 및 목표

• 매끄럽고 완비된 팔로 다양체 및 더 일반적인 로그 팔로 쌍에 대한 코흐 링의 특이점을 규명하는 것.
• 유한 생성된 코흐 링이 일반적으로 코헨-맥컬레이임을 증명하는 데 실패한다는 것을 반례를 통해 보여주는 추측을 해결하는 것.
• 코흐 링의 특이점 이론을 로그 팔로 및 로그 칼라비-야우 설정으로 확장하는 것.
• GIT 쿼터ients와 비유역 기하학을 사용하여 코흐 링 특이점 분석을 체계적으로 유도하는 방법을 제공하는 것.
• 델 페초 표면, 프로젝티브 공간의 블로우업, 고차원 팔로 다양체의 코흐 링 결과를 통합하는 것.

제안 방법

• 다양체 X의 피카르 랭크 ρ에 대한 귀납법을 사용하며, ρ = 1인 경우 토마리와 와타나베의 다항식 링에 대한 이론에서 결과가 도출됨.
• 적절한 선다발 L에 대해 ℙ(𝒪_X ⊕ 𝒪_X(L))의 프로젝티브화를 통해 X 위의 ℤ/mℤ-_bundle의 소형 캄파クト화 X′을 구성.
• 최소 모델 프로그램(MMP)을 적용하여 X′을 ℚ-팩터링 가능한 로그 팔로 쌍으로 수정하며, klt 특이점을 가짐.
• 모리 드림 공간의 코흐 링이 더 단순한 코흐 링의 유한 아벨 코호몰로지임을 이용하며, 코디멘션 2에서의 에탈 행동을 기반으로 함.
• 레인의 순환 코호몰로지 기법을 사용하여 X의 코흐 링과 X′의 코흐 링을 그룹 작용과 불변량을 통해 연결.
• 후와 키텔의 GIT 쿼터런트와 코흐 링 이론을 응용하여, Spec(Cox(X))를 (Gm)^ρ로의 몫으로 회복함.

실험 결과

연구 질문

• RQ1 매끄럽고 완비된 팔로 다양체의 코흐 링은 어떤 특이점을 가지는가?
• RQ2 ℚ-팩터링 가능한 로그 팔로 쌍의 코흐 링은 로그 단순 특이점을 가지는가?
• RQ3 코흐 링의 특이점은 순환 코호몰로지와 GIT 쿼터런트에서 유지되는가?
• RQ4 피카르 랭크는 코흐 링의 특이점에 어떤 영향을 미치는가?
• RQ5 로그 칼라비-야우 쌍을 가진 모리 드림 공간의 코흐 링은 여전히 로그 캄파크트한가?

주요 결과

• ℂ 위의 매끄럽고 완비된 팔로 다양체의 코흐 링은 코hen-Macaulay이며 극한 특이점을 가진다.
• 모든 ℚ-팩터링 가능한 로그 팔로 쌍의 코흐 링은 로그 단순 특이점을 가지며, 정규이고 코헨-맥컬레이이다.
• ρ = 1인 다양체의 경우 코흐 링은 정규이며, 기존의 다항식 링 이론에서 유래한 로그 단순 특이점을 그대로 이어받는다.
• X′을 ℤ/mℤ-_bundle의 소형 캄파クト화로 구성함으로써 X′이 ℚ-팩터링 가능하고 로그 팔로이며 klt 특이점을 가짐을 보장한다.
• X의 코흐 링은 X′의 코흐 링의 유한한, 코디멘션 2에서 에탈인 확장이며, 로그 단순 특이점이 유지된다.
• 로그 칼라비-야우 케이스는 유사하게 다루어지며, 동일한 조건 하에서 코흐 링이 로그 캄파크트한 특이점을 가짐을 보여준다.