[논문 리뷰] Semi-positivity in positive characteristics

Zsolt Patakfalvi|arXiv (Cornell University)|2012. 08. 27.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 7

한 줄 요약

이 논문은 정수 $p > 0$ 에서, 예측 가능한 $F$-정순성과 $K_{X/Y} + \Delta$의 지수에 $p$ 가 나누지 않는 조건 하에, 로그상대 캐논리컬 번들의 반긍성 결과를 확립한다. $K_{X/Y} + \Delta$ 가 네프임을 증명하고, $m \gg 0$ 인 충분히 큰 $m$ 에 대해 $f_*\mathcal{O}_X(m(K_{X/Y} + \Delta))$ 가 네프 벡터 번들임을 보이며, 코다이라 정류나 해석적 방법을 피한다. 이는 모듈리 공간의 프로젝티브성과 캐논리컬 분할의 크기의 가역성에 응용된다.

ABSTRACT

Let $f : (X, Δ) o Y$ be a flat, projective family of sharply $F$-pure, log-canonically polarized pairs over an algebraically closed field of characteristic $p >0$ such that $p mid \ind(K_{X/Y} + Δ)$. We show that $K_{X/Y} + Δ$ is nef and that $f_* (\sO_X(m (K_{X/Y} + Δ)))$ is a nef vector bundle for $m \gg 0$ and divisible enough. Some of the results also extend to non log-canonically polarized pairs. The main motivation of the above results is projectivity of proper subspaces of the moduli space of stable pairs in positive characteristics. Other applications are Kodaira vanishing free, algebraic proofs of corresponding positivity results in characteristic zero, and special cases of subadditivity of Kodaira-dimension in positive characteristics.

연구 동기 및 목표

• 해석적 또는 코다이라 정류 기법을 피하고, 양의 특성에서 로그상대 캐논리컬 번들의 긍정성 결과를 확립하기 위해.
• 만일 $f: (X,\Delta) \to Y$ 가 정수 $p \nmid \operatorname{ind}(K_{X/Y} + \Delta)$ 인, 날카로운 $F$-정순성과 로그캐논리컬로 극화된 쌍의 평탄하고 프로젝티브한 가속기일 때, $K_{X/Y} + \Delta$ 가 네프이고, $f_*\mathcal{O}_X(m(K_{X/Y} + \Delta))$ 가 $m \gg 0$ 에 대해 네프 벡터 번들임을 증명하기 위해.
• 로그캐논리컬로 극화되지 않은 쌍으로 이러한 결과를 네이처로 확장하기 위해, 이 때 $K_{X/Y} + \Delta$ 가 $f$-편재적이며, 섹션들이 네프 로그캐논리컬 번들임을 가정한다.
• 특성 0의 반긍성 결과를 양의 특성에서의 올림을 통해, 분석적 또는 정류 이론에 의존하지 않는 대체 증명을 제공하기 위해.
• 양의 특성에서 안정 쌍의 모듈리 공간의 프로젝티브성을 뒷받침하고, 캐논리컬 분할의 크기의 가역성 규칙을 확립하기 위해.

제안 방법

• 특성 0의 로그캐논리컬 특이성에 대응하는, 특히 날카로운 $F$-정순성을 포함한 $F$-특이성 이론을 사용한다.
• 기저 변경과 코homological 기법을 적용하여, 대수적으로 닫힌 체로의 축소와 닫힌 점으로의 전문화를 통해 $f_*\mathcal{O}_X(m(K_{X/Y} + \Delta))$ 의 푸시포워드를 분석한다.
• $p$ 에 의해 나누어지지 않는 지수를 가진 $\mathbb{Q}$-카르티에 분할의 개념을 사용하여, 프로베니우스와 $F$-정규성과의 호환성을 확보한다.
• 대수적 폐쇄와 기저 변경에 대해 $F$-정순성의 안정성을 활용하여, 닫힌 섹션에서 전체 공간으로 성질를 올림한다.
• [Laz04, Proposition 1.4.13] 에서 제시된 네프성 기준을 사용하여, 닫힌 점에서의 네프성이 전체 공간에서의 네프성을 이끌어내는 것을 보인다.
• 올림 추론과 전문화를 결합하여, 양의 특성의 결과로부터 특성 0의 결과를 유도한다.

실험 결과

연구 질문

• RQ1 코다이라 정류나 해석적 방법에 의존하지 않고, 양의 특성에서 $f_*\mathcal{O}_X(m(K_{X/Y} + \Delta))$ 의 반긍성은 확립될 수 있는가?
• RQ2 $K_{X/Y} + \Delta$ 의 지수에 $p$ 가 나누지 않는 조건은 필수적인가, 아니면 제거할 수 있는가?
• RQ3 로그캐논리컬로 극화된 섹션보다 더 약한 조건 하에서, 양의 특성에서 캐논리컬 분할의 크기의 가역성은 증명될 수 있는가?
• RQ4 특성 0에서의 캐논리컬 차원으로 특성화되는 양의 특성에서의 비틀림 불변량이 존재하는가?
• RQ5 $f_*\mathcal{O}_X(m(K_{X/Y} + \Delta))$ 가 네프가 되는 데 필요한 $m$ 에 대해 효과적인 상한을 제시할 수 있는가?

주요 결과

• 대수적으로 닫힌 체에서 특성 $p > 0$ 인, 평탄하고 프로젝티브한 가속기 $f: (X,\Delta) \to Y$ 가 날카로운 $F$-정순성과 로그캐논리컬로 극화된 쌍을 가지며, $p \nmid \operatorname{ind}(K_{X/Y} + \Delta)$ 라면, 로그상대 캐논리컬 번들 $K_{X/Y} + \Delta$ 는 네프이다.
• 모든 $m \gg 0$ 에 대해 충분히 큰 $m$ 에 대해, 푸시포워드 $f_*\mathcal{O}_X(m(K_{X/Y} + \Delta))$ 는 네프 벡터 번들이다.
• 만일 $K_{X/Y} + \Delta$ 가 $f$-편재적이며, 섹션들이 네프 로그캐논리컬 번들이라면, 이 결과는 로그캐논리컬로 극화되지 않은 쌍으로도 확장된다.
• 캐논리컬 분할의 크기의 가역성 규칙이 성립한다: $K_Y$ 가 $\mathbb{Q}$-카르티에이자 크고, $K_{X/Y} + \Delta$ 가 $f$-반완전적이며, 일반 섹션 $F$ 에 대해 $K_F + \Delta|_F$ 가 크다면, $K_X + \Delta$ 는 크다.
• 논문은 특성 0의 반긍성 결과에 대해, 분석적 또는 정류 이론에 의존하지 않는 새로운 대수적 증명을 제공한다. 이는 양의 특성에서의 올림을 통해 유도된다.
• 증명은 닫힌 섹션에서의 네프성이 기저 변경 후 전체 공간에서의 네프성을 이끌어내며, 네프성 영역의 열린 성질을 활용한다.