[논문 리뷰] On the numerical dimension of pseudo-effective divisors in positive characteristic

Paolo Cascini, Christopher D. Hacon외 2명|arXiv (Cornell University)|2012. 06. 27.

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

한 줄 요약

이 논문은 양의 특성에서, 유희적 R-재분해가 아닐 경우, 매끄럽고 사영한 다양체 위의 허위 효과적 R-재분해 D는 양의 수치적 차원을 가진다. 증명은 프로베누스 사상과 새로운 캐릭터리스틱 정리에 기반하며, 이전에 카와마타-비에흐베그 정리에 의존했던 특성 0에서의 핵심 결과를 복원한다.

ABSTRACT

Let X be a smooth projective variety over an algebraically closed field of positive characteristic. We prove that if D is a pseudo-effective R-divisor on X which is not numerically equivalent to the negative part in its divisorial Zariski decomposition, then the numerical dimension of D is positive. In characteristic zero, this was proved by Nakayama using vanishing theorems.

연구 동기 및 목표

• 표준 캐릭터리스틱 정리가 실패하는 양의 특성에서, 나카야마의 특성 0 결과를 수치적 차원으로 확장한다.
• 허위 효과적 R-재분해의 수치적 차원이 그 재분해의 음의 부분과 수치적으로 동치가 아닐 경우 양의 수치적 차원을 가짐을 보인다.
• 프로베누스 사상에 기반한 새로운 캐릭터리스틱 정리를 수립하여, 양의 특성에서 곡선으로부터의 절단을 올릴 수 있도록 한다.
• 비음성 재분해의 수치적 차원이 절단적 성장의 점근적 성질과 일치함을 증명한다.
• 비음성 재분해의 수치적 차원이 교차 이론적 차원과 동일함을 보이며, 양의 특성에서 빌라션 기하학의 핵심 결과를 체계적인 프로베누스 기법을 통해 복원함을 보인다.

제안 방법

• 절단적 세르 캐릭터리스틱 정리에 기반하여, 임의의 특성에서 유효한 일반적인 캐릭터리스틱 정리를 도출하기 위해 프로베누스 사상을 사용한다.
• 허위 효과적 R-재분해에 대해 재분해를 구성하고, 수치적 불변량 $\sigma_{\Gamma}(D)$를 통해 음의 부분 $N_{\sigma}(D)$를 정의한다.
• 정리 1.2를 적용하여, $W = H_1 \cap \cdots \cap H_r$ 가 비음성 지역 $\mathbf{B}_-(D)$ 를 피할 경우, $W$ 위에서 $\mathcal{O}_X(\lfloor mD\rfloor + A)$의 절단이 $X$ 전체에서 올라갈 수 있음을 보인다.
• $(D^j \cdot H^{n-j})$의 비영성으로 인해 $W$ 위로의 제약이 양의 성질을 가지며, 이는 $h^0$의 하한을 확보하는 데 기여한다.
• 차원에 대한 귀납법과 일반적인 초평면 절단으로 비음성 재분해에 대해 $\kappa_\sigma(D)$와 $\nu(D)$를 비교한다.
• 변형을 이용하여 매끄럽지 않은 정규 사영 다양체로 결과를 확장하고, 당김에 의한 불변성을 유지한다.

실험 결과

연구 질문

• RQ1 나카야마의 허위 효과적 재분해의 수치적 차원의 양성 결과는 양의 특성으로 확장될 수 있는가?
• RQ2 카와마타-비에흐베그 정리가 양의 특성에서 실패하는 것을 프로베누스 사상으로 보완하여 빌라션 기하학의 핵심 결과를 복원할 수 있는가?
• RQ3 비음성 재분해의 수치적 차원 $\kappa_\sigma(D)$는 교차 이론적 차원 $\nu(D)$와 일치하는가? 특성에서의 양의 특성에서의 관계는 어떻게 되는가?
• RQ4 양의 특성에서 $\mathcal{O}_X(\lfloor mD\rfloor + A)$의 절단이 부분다양체에서 전체 다양체로 올라갈 수 있는 조건은 무엇인가?
• RQ5 비음성 지역 $\mathbf{B}_-(D)$는 양의 특성에서 재분해의 재분해와 어떻게 관련이 있는가?

주요 결과

• 만약 $D$가 대수적으로 닫힌 체 위의 매끄럽고 사영한 다양체 위의 허위 효과적 $\mathbf{R}$-재분해이고, $D$가 $N_\sigma(D)$와 수치적으로 동치가 아니면, $\kappa_\sigma(D) \geq 1$이다.
• 약간의 앰플리티브 재분해 $A$와 $C > 0$인 상수 $C$가 존재하여, 모든 $m \gg 0$에 대해 $h^0(X, \mathcal{O}_X(\lfloor mD\rfloor + A)) \geq Cm$이다.
• 정리 1.2는 $W = H_1 \cap \cdots \cap H_r$ 가 $\mathbf{B}_-(D)$ 를 피할 경우 $r < \dim X$ 이면, 모든 $m \geq 1$에 대해 제약 사상 $H^0(X, \mathcal{O}_X(\lfloor mD\rfloor + A)) \to H^0(W, \mathcal{O}_X(\lfloor mD\rfloor + A)|_W)$ 가 전사임을 보여준다.
• 비음성 $\mathbf{R}$-재분해 $D$에 대해, 수치적 차원 $\kappa_\sigma(D)$는 교차 이론적 차원 $\nu(D)$와 일치한다. 여기서 $\nu(D)$는 $(D^j \cdot H^{n-j}) \neq 0$가 되는 가장 큰 $j$로 정의된다.
• $\kappa_\sigma(D) = \nu(D)$의 등식은 매끄럽지 않은 다양체에서도 변형과 당김 불변성을 통해 성립한다.
• 프로베누스 사상은 카와마타-비에흐베그 정리의 역할을 대체하는 새로운 캐릭터리스틱 정리를 가능하게 하며, 이는 양의 특성에서 핵심적인 양성 결과를 복원할 수 있도록 한다.