[논문 리뷰] On the projectivity of the moduli space of stable surfaces in characteristic p>5

Zsolt Patakfalvi|arXiv (Cornell University)|2017. 10. 10.

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

한 줄 요약

이 논문은 특성 p > 5에서 안정 표면의 계량 모듈리 공간의 사영성을 입증함으로써, 충분히 나누어지는 지수에서 다중칸노니컬 층의 푸시포워드의 행렬식이 앰플임을 보여, 반순수성 정리와 프로베누스 안정성의 기법을 활용한다. 핵심 결과는 특성 p > 5인 대수적으로 닫힌 체 위에서 모듈리 공간의 모든 고립된 닫힌 대수적 부분공간이 사영적이라는 것이며, 두 개의 추측적 국소 성질이 성립할 경우, 전체 모듈리 공간은 Z[1/30] 위에서 사영적이다.

ABSTRACT

We prove that every proper subspace of the moduli space of stable surfaces with fixed volume over an algebraically closed field of characteristic p>5 is projective. As a consequence we also deduce that the same moduli space is projective over Z[1/30] modulo two conjectural local properties of the moduli functor.

연구 동기 및 목표

• 특성 p > 5에서 안정 표면의 계량 모듈리 공간의 사영성을 확립하기 위해.
• 이 결과를 Z[1/30] 위의 혼합 특성 사례로 확장하기 위해, 모듈리 함수에 대한 두 개의 추측적 성질을 조건으로 삼는다.
• 다중칸노니컬 층의 푸시포워드의 행렬식이 크다(최대 변화에서 앰플임)임을 증명함으로써, 사영성에 필요한 앰플성 보장하기 위해.
• 양의 특성에서 고차원 안정 다양체 모듈리 공간의 사영 계량 모듈리 공간 존재성에 기초를 마련하기 위해.
• 기하학적 불변량 이론이 실패하는 특성 양의 특성에서 모듈리 공간의 구축 격차를 메우기 위해, 반순수성과 프로베누스 기법에 기반한 대안적 방법을 사용하기 위해.

제안 방법

• 최대 변화 조건 하에서, 가 familiy f: X → T에 대해 det f∗OX(rKX/T)가 크다는 것을 보이기 위해 앰플성 보조정리 방법을 사용한다. 이때 r는 충분히 나누어지는 지수이다.
• 정리 1.4 증명: 계수가 5/6를 초과하는 안정 로그 표면의 가속도 (X, D) → T에 대해, f∗OX(r(KX/T + D))는 네프 벡터 번들임을 증명한다.
• 특히 slc 표면 특이점에서의 비-F-순수 이상의 단순화를 이용하여, F-특이점 이론을 통해 절단의 안정성을 확립한다.
• 유한 기저 변경 이후 정규화와 해소를 적용하여, 반순수성 정리가 적용 가능한 상황으로 축소한다.
• 안정 표면의 모듈리 스택의 아르틴 스택 구조를 이용하여, 계량 모듈리 공간으로의 행렬식 선다발의 앰플성 내림을 수행한다.
• 기존의 Q 위에서의 CM 선다발과 그 앰플성 결과를 활용하고, 앰플성의 열린성과 기저 변경을 결합하여, 기저 스킴의 열린 부분집합으로까지 앰플성을 확장한다.

실험 결과

연구 질문

• RQ1 특성 p > 5에서 안정 표면의 계량 모듈리 공간이 사영적일 조건은 무엇인가?
• RQ2 반순수성과 프로베누스 기법을 사용하여, 양의 특성에서 다중칸노니컬 층의 푸시포워드의 행렬식의 앰플성을 확립할 수 있는가?
• RQ3 혼합 특성에서 Z[1/30] 위에서 모듈리 공간이 사영적일 수 있는 모듈리 함수에 대한 필수 및 충분 조건은 무엇인가?
• RQ4 F-특이점과 비-F-순수 이상의 성질이 양의 특성에서 직접 이미지의 반순수성에 어떤 영향을 미치는가?
• RQ5 칸드센–콜라의 모듈리 공간 접근법(앰플성과 유한 대각선에 기반)을 양의 특성에서 안정 표면으로 얼마나 넓히는가?

주요 결과

• 특성 p > 5인 대수적으로 닫힌 체 위에서 고정된 부피 v를 가진 안정 표면의 모듈리 공간 M2,v의 모든 고립된 닫힌 대수적 부분공간은 사영적이다.
• 가 familiy f: X → T가 최대 변화를 보일 경우, 모든 충분히 나누어지는 r > 0에 대해 det f∗OX(rKX/T)는 크다.
• 가 familiy f: X → T의 모든 꼬임이 상호적으로 비동형일 경우, 모든 충분히 나누어지는 r에 대해 det f∗OX(rKX/T)는 앰플이다.
• 기저 T가 고립적이고 정규일 경우, 경계 분할 D의 계수가 5/6를 초과하면, 모든 충분히 나누어지는 r에 대해 벡터 번들 f∗OX(r(KX/T + D))는 네프이다.
• 기저 스킴 S의 일반점에서 CM 선다발 λ3는 앰플이며, 이 앰플성은 S의 열린 밀집 부분집합으로까지 연장된다.
• 일반 섹션과 닫힌 섹션에서의 앰플성과 열린 앰플성의 성질을 결합함으로써, 행렬식 선다발이 전체 기저 스킴 S 위에서 앰플임을 보였으며, 이는 추측적 가정 (I)과 (L) 하에서 Z[1/30] 위에서의 계량 모듈리 공간의 사영성을 보장한다.