[논문 리뷰] Okounkov Bodies of Complexity-One T-Varieties

Lars Petersen|arXiv (Cornell University)|2011. 08. 02.

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

한 줄 요약

이 논문은 두 가지 유형의 T-불변 플래그—일반적이고 토릭인—을 사용하여 유리적 프로젝티브 복잡도-1 T-다양체의 옥운코프 본체를 계산하며, 이러한 본체가 유리 다면체임을 보여준다. 또한 이러한 다양체의 전반적 옥운코프 본체가 유리 다면체 콘임을 증명하여, 이전의 토릭 다양체 및 토릭 벡터 다발에 대한 결과를 다항식 분할과 조각별 애파인 함수를 통한 다항식 분할을 통해 확장한다.

ABSTRACT

We compute Okounkov bodies of projective complexity-one T-varieties with respect to two types of invariant flags. In particular, we show that the latter are rational polytopes. Moreover, using results of Dave Anderson and Nathan Ilten, we briefly exhibit explicit links to degenerations and T-deformations. Finally, we prove that the global Okounkov body of a rational projective complexity-one T-variety is rational polyhedral.

연구 동기 및 목표

• 토닉 다양체와 토닉 벡터 다발의 옥운코프 본체 이론을 더 넓은 범주인 유리적 프로젝티브 복잡도-1 T-다양체로 확장하기 위해.
• T-불변 플래그에 대한 옥운코프 본체가 유리 다면체임을 입증하여 기존 토닉 설정에서 알려진 결과를 일반화하기 위해.
• 복잡도-1 T-다양체의 전반적 옥운코프 본체의 구조를 조사하고 그 유리 다면체 성격을 증명하기 위해.
• 다항식 분할에서 유도된 조합적 자료를 통해 옥운코프 본체와 기하적 분해 및 T-변형 사이의 관계를 연결하기 위해.
• 다항식 지지 함수와 쌍대 다각형 구조를 사용하여 옥운코프 본체의 명시적 조합적 기술을 제공하기 위해.

제안 방법

• 복잡도-1 T-다양체의 다항식 분할과 다각형 분할을 통한 조합적 기술을 활용한다.
• T-고정점 주변의 국소 몫 구조에 기반한 두 가지 유형의 T-불변 타당 플래그—일반적이고 토닉인—을 구성한다.
• 옥운코프 본체를 다항식 지지 함수 $ h $ 에서 유도된 다각형 $ \Box_h $ 위에서의 조각별 애파인 선형 함수 $ h^* $ 를 통해 기술한다.
• 클랴치코 필터링과 토닉 분해의 결과를 적용하여 옥운코프 본체와 기하적 변형을 연결한다.
• 효율적 다각형 콘 위에서의 볼록이고 조각별 애파인 선형 함수의 그래프의 폐포로 전반적 옥운코프 본체를 구성한다.
• 전반적 옥운코프 본체가 유리 다면체 단면 위의 콘으로서 유도되며, 이는 유리 다면체 성격을 암시한다.

실험 결과

연구 질문

• RQ1 유리적 프로젝티브 복잡도-1 T-다양체에서 T-불변 플래그에 대한 옥운코프 본체는 유리 다면체인가?
• RQ2 복잡도-1 T-다양체의 전반적 옥운코프 본체는 다항식 분할을 통해 어떻게 조합적으로 기술될 수 있는가?
• RQ3 이 유형의 다양체에서 옥운코프 본체와 T-변형 또는 토닉 분해 사이의 관계는 무엇인가?
• RQ4 효율적 다각형의 콘과 그 쌍대 함수의 구조를 사용하여 전반적 옥운코프 본체가 유리 다면체임을 보일 수 있는가?
• RQ5 기존의 토닉 벡터 다발과 매끄러운 프로젝티브 토닉 다양체에 대한 작업을 어떻게 일반화할 수 있는가?

주요 결과

• 유리적 프로젝티브 복잡도-1 T-다양체에서 T-불변 큰 다각형 $ D_h $ 의 옥운코프 본체 $ \Delta_{Y_\bullet}(D_h) $ 는 일반적 또는 토닉 플래그를 사용할 경우 유리 다면체이다.
• 옥운코프 본체의 구조는 다항식 지지 함수 $ h $ 에서 유도된 다각형 $ \Box_h $ 위에서의 조각별 애파인 선형 함수 $ h^* $ 를 통해 명시적으로 기술된다.
• 전반적 옥운코프 본체 $ \Delta_{Y_\bullet}(\operatorname{TV}(\mathcal{S})) $ 는 유리 다면체 콘이며, 유리 다면체 기반 위에서 볼록이고 조각별 애파인 선형 함수의 그래프의 폐포로 구성된다.
• 전반적 옥운코프 본체는 일반 섹션 $ \operatorname{TV}(\operatorname{tail}\mathcal{S}) $ 의 전반적 옥운코프 본체와 쌍대 사상 $ \xi \mapsto \xi^* $ 에 의해 결정되며, 이 사상은 조각별 애파인 선형이다.
• 전반적 옥운코프 본체의 유리 다면체 성격은 쌍대 함수 $ \cdot^* $ 가 애파인 선형이 되는 선분의 유한한 분할에 기반한다.
• 곤잘레스의 이전 작업을 일반화하여, 비토닉 설정에서도 전반적 옥운코프 본체가 여전히 유리 다면체임을 보여준다.