[논문 리뷰] Families of divisors

János Kollár|arXiv (Cornell University)|2019. 10. 02.

Algebraic Geometry and Number Theory인용 수 3

한 줄 요약

이 논문은 안정 쌍 (X, ∆)의 가속화 이론을 완성하기 위해, Hilbert 스킴과 Cayley-Chow 다양체를 연결하는 새로운 모듈리 이론적 조건인 K-평탄성(K-flatness)을 도입한다. K-평탄성은 고정된 차수를 가진 상대 Mumford 분할의 함수는 기저 위에서 분리되고 유한 유형인 스킴으로 표현 가능하다는 것을 보여주며, 안정 쌍의 모듈리 이론을 완성한다.

ABSTRACT

We establish a new moduli theory for divisors, that interpolates between the Hilbert scheme and the Cayley-Chow variety. This completes the last step in the construction of a good moduli theory for stable pairs $(X,\Delta)$.

연구 동기 및 목표

• 기존의 Hilbert 스킴과 Cayley-Chow 다양체가 실패하는 안정 쌍의 가속화 가족에서 분할 부분의 양호한 모듈리 이론 부재 문제를 해결한다.
• 입체점의 추적을 다루는 Hilbert 스킴과 준정규성 조건이 필요한 Cayley-Chow 다양체 사이를 조율하는 새로운 프레임워크를 개발한다.
• 기저 스킴이 임의일지라도, 심지어 비환원적일지라도 작동하는 상대 Mumford 분할에 대한 새로운 평탄성 조건인 K-평탄성을 정의하고 연구한다.
• K-평탄성 분할의 모듈리 함수를 표현 가능하게 하여 안정 쌍의 완전한 모듈리 이론을 확립한다.
• K-평탄성은 기저의 다양체 X가 아니라 분할 D에만 의존한다는 점을 보이며, 이는 직관에 반하지만 모듈리 응용에 있어 핵심적이다.

제안 방법

• 코 dimension ≥2 보충이 카르티에 국소에서 만족되고, 매끄럽고 닫힘 조건을 만족하는 부분스킴으로서 Mumford 분할을 정의한다.
• 세 개의 점점 더 일반적인 조건을 통해 K-평탄성을 정의한다: (1) 프로젝티브 공간으로의 유한 사상이 상대 카르티에 구조를 유지한다; (2) 평탄한 국소 기저 변화를 통한 내림내림; (3) 임의의 기저에서의 국소화.
• 모노미얼 곡선, 특히 Cn ⊂ An의 변형을 분석하기 위해 샤우 방정식 이론과 그 이상수를 사용한다.
• Cn의 샤우 방정식 이상수는 모든 차수 n의 단항식을 제외한 것들로 생성되며, n 이 짝수일 경우 xn_i를 제외하고, 홀수일 경우 x1⋯xn까지도 제외한다.
• Bertini 유형 정리를 적용하여 K-평탄성 문제를 표면과 곡선으로 축소하고, 이미 알려진 로그 캐논리컬 표면 특이점의 분류를 활용한다.
• 변형 이론과 선형 사영 사상에 의한 당김의 명시적 계산을 통해 중심 섬유에서 샤우 방정식 이상수의 소멸 조건을 특성화한다.

실험 결과

연구 질문

• RQ1 기저 스킴이 임의일지라도 작동하는 안정 쌍의 분할 부분에 대한 모듈리 이론을 구축할 수 있는가? Hilbert 및 Cayley-Chow 접근법의 한계를 피할 수 있는가?
• RQ2 상대 Mumford 분할에 대한 평탄성의 올바른 일반화는 무엇이며, 양호한 모듈리 이론적 행동을 보장하는가?
• RQ3 K-평탄성은 기저 다양체 X에 의존하는가, 아니면 분할 D에만 의존하는가? 이는 모듈리 구성에 어떤 영향을 미치는가?
• RQ4 모노미얼 곡선 Cn과 같은 경우 샤우 방정식 이상수의 구조는 무엇이며, 변형 이론과 어떻게 관련되는가?
• RQ5 K-평탄성은 어떻게 테스트하거나 낮은 차원의 경우로 축소할 수 있으며, Bertini 유형 정리는 어떤 역할을 하는가?

주요 결과

• K-평탄성, 상대 Mumford 분할의 차수 d에 대한 함수 KDivd(X/S)는 분리되고 유한 유형인 S-스킴으로 표현 가능하며, 주요 모듈리 문제를 해결한다.
• K-평탄성은 임의의 기저 변화에서 보존되며, 충실하게 평탄한 기저 변화에서 내림내림되며, 함수적 성질을 보장한다.
• 기저가 환원적일 경우, 모든 상대 Mumford 분할은 K-평탄성이다. 이는 이전의 모듈리 구성에서 이 개념이 필요로 하지 않았던 이유를 설명한다.
• 사상 f가 매끄럽다면 K-평탄성은 평탄성과 동치이지만, 비매끄러운 점에서만 새로운 행동을 보인다.
• An에 포함된 곡선 Cn의 샤우 방정식 이상수는 모든 차수 n의 단항식을 제외한 것들로 생성되며, n 이 짝수일 경우 xn_i를 제외하고, 홀수일 경우 x1⋯xn까지도 제외한다.
• 이산 평가환론 위에서 Cn의 변형에 대해, 중심 섬유에서 이상수 Ich(Cn)가 소멸하는 것은 모든 i≠j에 대해 ord φij ≤ n−2 이다.