[논문 리뷰] On images of Mori dream spaces

Shinnosuke Okawa|arXiv (Cornell University)|2011. 04. 07.

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

한 줄 요약

이 논문은 정규 Q-계수 단일 프로젝티브 다양체 사이의 전사 사상에 의한 모리 드림 공간의 상이 다시 모리 드림 공간임을 증명하며, 소스의 구조를 이용해 타겟의 코엑스 링의 유한 생성성을 증명한다. 효과적 콧뿔에 대한 팬 구조를 도입하여 자르키 분해와 GIT 동치를 코딩하며, 타겟의 팬이 소스의 팬을 타겟의 효과적 콧뿔으로 제한한 것과 일치함을 보인다.

ABSTRACT

The purpose of this paper is to study the geometry of images of morphisms from Mori dream spaces. First we prove that a variety which admits a surjective morphism from a Mori dream space is again a Mori dream space. Secondly we introduce a natural fan structure on the effective cone of Mori dream spaces. We show that it encodes the information of Zariski decompositions, which in turn is equivalent to the information of the variation of GIT quotients of their Cox rings. Finally we show that under a surjective morphism between Mori dream spaces, the fan of the target space coincides with the restriction of the fan of the source.

연구 동기 및 목표

• 전사 사상에 의한 모리 드림 공간의 상이 다시 모리 드림 공간임을 증명하는 것.
• 모리 드림 공간의 효과적 콧뿔에 대한 표준 팬 구조를 정의하고 연구하는 것.
• 이 팬 구조를 자르키 분해와 코엑스 링의 GIT 족의 변화와 연결하는 것.
• 전사 사상 f: X → Y 에서 타겟 공간의 팬이 소스의 팬을 타겟의 효과적 콧뿔으로 제한한 것과 일치함을 보이는 것.
• 이 이론을 모리 드림 영역으로 확장하고, 이러한 경우에 팬 호환성의 한계를 조사하는 것.

제안 방법

• 소스의 코엑스 링의 유한 생성성과 사상의 스텐인 분해를 이용하여 타겟 다양체의 코엑스 링의 유한 생성성을 증명하는 것.
• 유한 사상들을 분리 가능 및 순수하게 비가역적인 부분으로 분해하고, 각 경우를 다중단면 링의 성질을 이용해 별도로 다루는 것.
• 두 선다발이 서로 강한 모리 동치일 조건을 통해 모리 드림 공간의 효과적 콧뿔에 팬을 정의하는 것: 두 선다발이 자르키 분해에서 음의 부분의 지지부가 같고, 양의 부분이 같은 이타카 분해를 정의할 때 동치로 간주함.
• 코엑스 링 위에서 쌍대 토르의 작용을 통해 모리 드림 공간의 선다발들 사이의 강한 모리 동치와 GIT 동치가 동치임을 증명하는 것.
• 유리 피카르 군 위의 당김 사상으로 소스의 팬을 타겟의 효과적 콧뿔으로 제한하고, 이 제한이 타겟의 팬과 일치함을 보이는 것.
• 소수 수정을 통해 Q-계수 단일 사례로 환원하여 모리 드림 영역에 결과를 적용하고, 팬 구조와 유한 생성성 성질이 내림내림됨을 검증하는 것.

실험 결과

연구 질문

• RQ1 정규 Q-계수 단일 프로젝티브 다양체 사이의 전사 사상에 의한 모리 드림 공간의 상은 반드시 모리 드림 공간인가?
• RQ2 모리 드림 공간의 효과적 콧뿔에 대해 자르키 분해 데이터를 코딩할 수 있는 표준 팬 구조를 정의할 수 있는가?
• RQ3 모리 드림 공간의 효과적 콧뿔에 대한 팬 구조는 그 코엑스 링의 GIT 족의 변화와 동치인가?
• RQ4 모리 드림 공간 사이의 전사 사상 f: X → Y 에서 타겟 공간의 팬은 소스의 팬을 타겟의 효과적 콧뿔으로 제한한 것과 일치하는가?
• RQ5 이러한 팬 이론적 및 GIT 이론적 구조는 어느 정도까지 모리 드림 영역으로 확장될 수 있으며, 그 한계는 무엇인가?

주요 결과

• 정규 Q-계수 단일 프로젝티브 다양체 사이의 전사 사상에 의한 모리 드림 공간의 상은 다시 모리 드림 공간이다.
• 모리 드림 공간의 효과적 콧뿔에 대해 강한 모리 동치인 선다발의 동치류에 대응하는 각 콧뿔이 있는 표준 팬 구조가 존재한다.
• 자르키 분해에서 음의 부분의 지지부가 일치하고, 양의 부분이 같은 이타카 분해를 정의하는 조건으로 정의된 강한 모리 동치는, 코엑스 링의 해당 문자에 대한 GIT 동치와 동치이다.
• 모리 드림 공간 사이의 전사 사상 f: X → Y 에서 Y의 팬은 X의 팬을 Y의 효과적 콧뿔으로 제한한 것과 같다.
• 결과는 모리 드림 영역으로 확장되며, 소스의 모리 드림 영역을 타겟의 효과적 콧뿔으로 제한하면 타겟에서 모리 드림 영역이 얻어진다.
• 안정 집합의 문제와 약한 다항식이 존재하지 않을 경우 GIT 동치가 강한 모리 동치와 일치하지 않기 때문에, 팬 구조는 일반적으로 임의의 모리 드림 영역으로 확장되지 않는다.