[논문 리뷰] Generic ordinarity for semi-stable fibration

Junmyeong Jang|ArXiv.org|2008. 05. 26.

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

한 줄 요약

이 논문은 일반 순서성 조건 하에 양의 특성에서 반안정 피브레이션에 대한 반긍성 정리의 수립을 다루며, $ R^1\tilde{\tau}_*\tilde{\tau}^* $의 하르러-나라시마 기울기가 비음이 아니고, 프로베누스 기저 변경에 따라 베티 수가 안정됨을 증명한다. 주요 결과는 비일반 케이스(모레트-베일리의 반례와 같은)에서 실패하는 것을 피하기 위해 일반 순서성 조건을 통해 고전적 반긍성 정리를 양의 특성으로 확장한다.

ABSTRACT

In this paper, we proved that, for a semi-stable fibration of a proper smooth surface to a proper smooth curve over a field of positive characteristic, if the generic fiber is ordinary, then the semi-positivity theorem holds. As an application, we constrcuted a counterexample to Parshin's conjecture on the Miyaoka-Yau inequality.

연구 동기 및 목표

• 반안정 피브레이션에 대한 색크의 반긍성 정리의 양의 특성에 대응하는 버전을 수립하기 위해.
• 일반 순서성 조건을 도입하여 양의 특성에서 반긍성의 실패를 해결하기 위해.
• 일반 순서성 피브레이션에 대해 반복된 프로베누스 기저 변경 하에서 베티 수와 하르러-나라시마 기울기의 불변성을 증명하기 위해.
• Picard 스킴이 매끄럽더라도 파르시의 미야오카-야우 부등식에 대한 기대를 위반하는 반례를 구성하기 위해.

제안 방법

• 프로베누스 사상 $ F_{X/C} $를 사용하여, 프로베누스가 동형사상이 아님을 측정하는 코어널 $ B^1\omega $를 분석한다.
• 일반 순서성 피브레이션의 경우 $ \pi^p_*B^1\omega = 0 $ 이고 $ R^1\pi^p_*B^1\omega $ 가 토르션임을 보여, 코homological 분해가 일어남을 시사한다.
• $ R^1\pi_*\mathcal{O}_X $, $ F_C^*R^1\pi_*\mathcal{O}_X $, 및 $ \pi^p_*B^1\omega $ 사이의 정확한 수열을 적용하여, 프로베누스 당김 하에서 차원 안정성을 유도한다.
• Leray 스펙트럴 시퀀스를 사용하여 $ H^1(\mathcal{O}_X) $ 와 $ H^1(\mathcal{O}_{X^{p^n}}) $ 를 연결함으로써, 프로베누스 기저 변경 전후의 베티 수 불변성을 증명한다.
• Riemann-Roch 정리와 기울기 안정성을 활용하여, $ R^1\pi_*\mathcal{O}_X $ 의 모든 하르러-나라시마 기울기가 비음임을 유도한다.
• 매끄러운 Picard 스킴을 가진 유한체 위의 일반 표면을 구성하지만, 모든 $ M > 0 $ 에 대해 $ c_1^2 > M c_2 $ 를 만족하여 파르시의 기대를 위반한다.

실험 결과

연구 질문

• RQ1 일반 섬유가 순서일 경우, 양의 특성에서 반안정 피브레이션에 대해 반긍성 정리가 성립하는가?
• RQ2 일반 순서성 조건 하에서, $ R^1\pi_*\mathcal{O}_X $ 의 하르러-나라시마 기울기가 양의 특성에서 제어 가능한가?
• RQ3 일반 순서성 피브레이션에 대해 반복된 프로베누스 기저 변경 하에서 $ H^1(\mathcal{O}_X) $ 는 어떻게 행동하는가?
• RQ4 매끄러운 Picard 스킴을 가진 상태에서 파르시의 미야오카-야우 부등식 기대에 대한 반례를 구성할 수 있는가?
• RQ5 $ \pi^p_*B^1\omega $ 의 영함과 순서성 및 코homological 분해 간의 관계는 무엇인가?

주요 결과

• 일반 순서성 반안정 피브레이션 $ \pi: X \to C $ 에 대해, $ H^0(R^1\pi_*\mathcal{O}_X) $ 의 차원은 반복된 프로베누스 기저 변경 하에서도 유지된다: 모든 $ n $ 에 대해 $ \dim H^0(R^1\pi_*\mathcal{O}_X) = \dim H^0(R^1\pi^{p^n}_*\mathcal{O}_{X^{p^n}}) $.
• 첫 번째 베티 수 $ \dim H^1(\mathcal{O}_X) $ 는 프로베누스 기저 변경 하에서도 불변이다: 모든 $ n $ 에 대해 $ \dim H^1(\mathcal{O}_X) = \dim H^1(\mathcal{O}_{X^{p^n}}) $.
• $ R^1\pi_*\mathcal{O}_X $ 의 모든 하르러-나라시마 기울기는 비음이며, 이는 양의 특성에서의 반긍성 결과를 확립한다.
• 일반 순서성 조건은 $ \pi^p_*B^1\omega = 0 $ 과 $ R^1\pi^p_*B^1\omega $ 가 토르션임을 보장하며, 이는 코homological 안정성의 핵심이다.
• 매끄러운 Picard 스킴을 가진 일반 표면을 유한체 위에 구성하였지만, 모든 $ M > 0 $ 에 대해 $ c_1^2 > M c_2 $ 를 만족하여 파르시의 추측을 위반한다.
• 증명 과정은 프로베누스와 코homological 내림을 통해 갈루아 이론적 순서성과 벡터 번들의 수치적 불변량 사이의 깊은 연결을 드러낸다.