[논문 리뷰] Algebraic Surfaces of General Type with Small c_1^2 in Positive Characteristic

Christian Liedtke|ArXiv.org|2007. 02. 19.

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

한 줄 요약

이 논문은 임의의 양의 특성에서 일반형 최소 표면에 대한 Noether 부등식을 확립하고, $K^2 = 2p_g - 4$를 만족하는 Noether 선상에 있는 Horikawa 표면을 분류한다. 복소기하학의 고전적 결과를 확장하며, 분할선과 변형 이론을 사용하여 모든 특성, 특히 특성 2에서 이러한 표면을 구축하고, 그들의 캐논ical 모델과 특이점을 유지한 채 특성 0으로의 올림을 위트 환을 통해 증명한다.

ABSTRACT

We establish Noether's inequality for surfaces of general type in positive characteristic.Then we extend Enriques' and Horikawa's classification of surfaces on the Noether line, the so-called Horikawa surfaces. We construct examples for all possible numerical invariants and in arbitrary characteristic, where we need foliations and deformation techniques to handle characteristic 2. Finally, we show that Horikawa surfaces lift to characteristic zero.

연구 동기 및 목표

• 임의의 양의 특성에서 Noether의 부등식과 Noether 선상에 있는 표면(즉, Horikawa 표면)의 분류를 확장한다.
• 특성 2에서 캐논ical 사상이 분리 가능하지 않을 수 있는 기술적 과제를 해결하기 위해 $p$-폐쇄 분할선과 몫 구조를 사용한다.
• 모든 가능한 수치적 불변량이 특성 2를 포함한 모든 특성에서 실현됨을 보여준다.
• Horikawa 표면이 캐논ical 모델과 분해상태 모두에서 위트 환 $W(k)$를 통해 특성 0으로 올라감을 증명한다. 변형 이론과 동시 분해 기법을 사용한다.
• $p_g = 3$인 Horikawa 표면의 $3$-캐논ical 사상이 비이분형이 되며, 이는 초타원곡선의 성질을 일반화한 것이다.

제안 방법

• Bertini의 정리에 의존하지 않도록, 특이 곡선에 대한 Clifford의 정리를 사용하여 복소기하학의 고전적 증거를 양의 특성으로 확장한다.
• 특성 2에서 분리 가능하지 않은 캐논ical 사상을 가진 표면을 구축하기 위해 $p$-폐쇄 분할선을 사용하고, 몫 특이점을 정밀하게 분석한다.
• 변형 이론을 적용하여 특성 2에서 분리 가능하지 않은 캐논ical 사상을 가진 표면가 분리 가능한 사상을 가진 표면으로 변형될 수 있음을 보이며, $p_g$와 캐논ical 이미지를 유지한다.
• Grothendieck의 존재 정리와 변형 이론을 사용하여 특성 0에서의 위트 환 $W(k)$ 위에서 매끄러운 유리 표면과 선다발을 올린다.
• Artin의 Du Val 특이점의 동시 분해 기법을 적용하여, $W(k)$의 가능성이 있는 분기 확장 위에서 Horikawa 표면의 분해상태를 올린다.
• 선다발의 절단선을 통한 이중 쌍대 덮개로서 Horikawa 표면을 구성함으로써, Horikawa의 원래 방법을 양의 특성으로 일반화한다.

실험 결과

연구 질문

• RQ1 임의의 양의 특성에서 일반형 최소 표면에 대해 Noether 부등식 $K^2 /geq 2p_g - 4$가 성립하는가?
• RQ2 Horikawa 표면의 모든 가능한 수치적 불변량이 특성 2를 포함한 양의 특성에서 실현되는가?
• RQ3 특성 2에서 분리 가능하지 않은 캐논ical 사상을 가진 Horikawa 표면은 분리 가능한 사상을 가진 표면으로 변형 가능한가?
• RQ4 양의 특성에서 Horikawa 표면의 캐논ical 모델은 위트 환 $W(k)$를 통해 올라갈 수 있는가?
• RQ5 $p_g = 3$인 Horikawa 표면의 $3$-캐논ical 사상은 비이분형인가? (복소기하학의 경우와 동일한가?)

주요 결과

• 모든 특성에서 일반형 최소 표면에 대해 Noether 부등식 $K^2 /geq 2p_g - 4$가 성립하며, 캐논ical 체계가 붕대와 함께 구성되고 $p_g /geq 3$일 경우 더 강화된 부등식 $K^2 /geq 2p_g - 2$가 성립한다.
• 임의의 특성에서 Horikawa 표면는 캐논ical 사상에 의해 유리 표면 위의 이중 덮개이며, 캐논ical 이미지는 매끄럽거나 ( $ vert \mathbb{P}^2$ 또는 $\mathbb{F}_d$ 와 동형) 또는 유리 정규 곡선 위의 원뿔일 수 있다.
• 특성 2에서는 분리 가능하고 분리 가능하지 않은 캐논ical 사상을 모두 가진 Horikawa 표면이 존재하며, 이는 $p$-폐쇄 분할선과 변형 기법을 통해 구성된다.
• 특성 2에서 분리 가능하지 않은 캐논ical 사상을 가진 모든 Horikawa 표면은 $p_g$와 캐논ical 이미지를 유지하면서 분리 가능한 사상을 가진 표면으로 변형 가능하다.
• 모든 Horikawa 표면의 캐논ical 모델은 위트 환 $W(k)$를 통해 올라가며, 전체 표면는 가능성이 있는 분기 확장 위에서 대수적 공간으로서 올라간다.
• $p_g = 3$인 Horikawa 표면의 $3$-캐논ical 사상은 비이분형이며, 이는 초타원곡선 성질의 두 차원 일반화를 확인한다.