[논문 리뷰] P-Divisors of Cox Rings

Klaus Altmann, Jarek Wisniewski|ArXiv.org|2009. 11. 26.

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

한 줄 요약

이 논문은 모리 드림 스페이스(Mori Dream Space, MDS)의 코흐 링(cox ring)에 대한 다면체 계수(p-divisor) 기술을 수립하며, 그 토루스 작용이 안정 기저 위치와 점근적 다중도의 기하학과 연결됨을 보여준다. 코흐 링을 초록의 차우 곱(Chow quotient) 위에서 p-결합으로 표현함으로써, 다면체 계수가 다중도의 안정화를 코딩함을 보이며, 기저 위치의 볼록기하학적 실현과 이동 가능한 다중도 및 GIT 몫을 통한 유효 콘에서 네프 콘으로의 재취소(retraction)를 가능하게 한다.

ABSTRACT

The Cox ring of a so-called Mori Dream Space (MDS) is finitely generated and it is graded over the divisor class group. Hence the spectrum of the Cox ring comes with an action of an algebraic torus whose GIT quotient is the variety in question. We present the associated description of this Cox ring as a polyhedral divisor. Via the shape of its polyhedral coefficients, it connects the equivariant structure of the Cox ring with the world of stable loci and stable multiplicities of linear systems.

연구 동기 및 목표

• 모리 드림 스페이스(MDS)의 코흐 링에 대한 기하학적 기술을 p-결합의 형식론을 사용하여 제공하는 것.
• 코흐 링 스펙트럼의 등변 구조가 MDS 위의 선형계의 안정 기저 위치와 안정 다중도와 어떻게 연결되는지 밝혀내는 것.
• 코흐 링의 p-결합이 표면에서 자리지 분해를 코딩하며, 이는 이동 가능한 다중도와 GIT 몫을 통한 고차원 MDS로 일반화됨을 보여주는 것.
• 클래스 군에서 차우 곱의 다중도 군으로의 분할선형 사상에 의한 유효 콘과 네프 콘의 볼록기하학적 프레임워크를 수립하는 것.

제안 방법

• Q-팩터리얼 프로젝티브 MDS의 코흐 링을 그 차우 곱 Y 위에서 p-결합으로 표현하며, Spec(Cox(Z))의 토루스 작용을 사용한다.
• p-결합을 ∑∆i ⊗ Di의 합으로 정의하며, 여기서 ∆i 는 특성 격자에서 尾 콘(tail cone)에 속하는 다면체 계수이고, Di 는 예외적 다중도이다.
• 다면체 계수 ∆i 를 {C ∈ Cl∗(Z)Q | C ≥ −multst_Di} + shift 로 특성화함으로써, 이들이 다중도의 안정 다중도와 연결됨을 보여준다.
• p-결합 사상과 다중도 군 사상의 합성으로 유효 콘 Eff(Z) 와 차우 곱의 네프 콘 Nef(Y) 를 연결한다.
• 토릭 및 표면 사례에 이 형식론을 적용하여, 델 페초 표면에서 p-결합이 수직 자리지 분해를 실현함을 보여준다.
• 쌍대 다면체와 분할선형 함수를 사용하여 결과를 재기재하며, 특히 토릭 사례에서 이를 일반화하고 이동 가능한 콘으로의 재취소를 통한 고차원 MDS로 확장한다.

실험 결과

연구 질문

• RQ1 모리 드림 스페이스의 코흐 링은 p-결합의 언어와 토루스 작용을 통해 어떻게 기술될 수 있는가?
• RQ2 코흐 링의 p-결합에서 다면체 계수의 기하학적 의미는 안정 기저 위치와 점근적 다중도 측면에서 무엇인가?
• RQ3 p-결합의 구조는 표면, 특히 델 페초 표면에서 자리지 분해를 어떻게 반영하는가?
• RQ4 p-결합 사상에 의해 모리 드림 스페이스의 유효 콘과 그 차우 곱의 네프 콘 사이의 관계는 무엇인가?
• RQ5 두 점을 P² 에 블로우업한 예시를 통해 다양체의 변형에 따라 p-결합 계수가 어떻게 변화하는가?

주요 결과

• 모리 드림 스페이스의 코흐 링에 대한 p-결합은 유한한 예외적 다중도 위에 지지되며, 다면체 계수 ∆i = {C ∈ Cl∗(Z)Q | C ≥ −multst_Di} + shift 로 주어지며, 이는 안정 다중도를 코딩한다.
• 델 페초 표면 S 에서 Cox(S) 의 p-결합은 D = id_Cl(S) + ∑(0·Ei + Nef(S)) ⊗ Ei 로 주어지며, 이는 수직 자리지 분해를 반영한다.
• 델 페초 표면에서 p-결합은 유효 콘에서 네프 콘으로의 재취소를 실현하며, 자리지 침대(Zariski chambers)에서 선형적이다.
• 표면의 경우, 차우 곱 Y 는 표면 S 와 일치하므로, p-결합은 유효 다중도 위에서 선형 재취소를 통한 자리지 분해를 직접 기술한다.
• 토릭이 아닌 표면, 예를 들어 P² 에서 두 개의 무한히 가까운 점을 블로우업한 경우, p-결합 계수는 비자명한 다면체(예: ∆_E1 = conv{0, ½[E1], [E1]+[E2]}) 가 되며, 이는 비수직적 행동을 보여준다.
• 변형에 있어서 유효 콘은 상부 연속적이다 (Eff(S2) ⊃ Eff(S1)), 반면 이동 가능한 콘과 네프 콘은 하부 연속적이다 (Mov(S2) ⊂ Mov(S1)), 두 블로우업된 점의 예시에서 관찰된다.