[논문 리뷰] On a notion of anticanonical class for families of convex polytopes

Kiumars Kaveh, Elise Villella|arXiv (Cornell University)|2018. 02. 19.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 7

한 줄 요약

이 논문은 대수적 군 작용과 관련된 볼록 다면체의 가 Families 에 대해 Ehrhart-Macdonald 역법칙과 다면체 대수를 사용하여 반정규화 클래스의 조합론적 일반화를 제안한다. 반정규화 가상 다면체가 존재할 경우 유일하게 정의되며, 군 컴팩티피케이션에서 선다발의 체른 클래스에 대응됨을 증명한다. 이는 고전적 토릭 결과를 Gelfand-Zetlin 및 Newton-Okounkov 다면체를 통해 플래그 다양체와 구면 다양체로 확장한다.

ABSTRACT

The purpose of this note is to give a generalization of the statement that the anticanonical class of a (smooth) projective toric variety is the sum of invariant prime divisors, corresponding to the rays in its fan (or facets in its polytope), to some other classes of varieties with algebraic group actions. To this end, we suggest an analogue of the notion of anticanonical class (of a compact complex manifold) for linear families of convex polytopes. This is inspired by the Serre duality for smooth projective varieties as well as the Ehrhart-Macdonald reciprocity for rational polytopes. The main examples we have in mind are: (1) The family of polytopes normal to a given fan (which corresponds to the case of toric varieties). (2) The family of Gelfand-Zetlin polytopes (which corresponds to the case of the flag variety). (3) The family of Newton-Okounkov polytopes for a (smooth) group compactification.

연구 동기 및 목표

• 부드럽고 사영적인 토릭 다양체에서의 반정규화 클래스 개념을 군 작용을 갖는 더 넓은 범주의 대수적 다양체로 일반화하는 것.
• Ehrhart-Macdonald 역법칙을 통해 볼록 다면체의 가 Families 에서 반정규화 클래스에 대응하는 가상 다면체를 정의하는 것.
• 고전적 토릭 결과(반정규화 클래스가 불변 초면수의 합으로 주어짐)를 플래그 다양체, 구면 다양체 및 군 컴팩티피케이션으로 확장하는 것.
• 다면체 대수와 가상 다면체를 사용하여 캐논리컬 클래스의 볼록 기하학적 및 조합론적 해석을 제공하는 것.

제안 방법

• G-선형화된 피카르 군의 전위치 유리 코ーン 위에 유리 볼록 다면체의 선형 가를 정의한다.
• 다면체의 Ehrhart 함수를 선다발의 전역 절단의 힐버트 함수와 매칭한다.
• 코hom올로지 및 교차 이론적 구조를 모델링하기 위해 선형 가의 다면체 대수를 도입한다.
• 다면체 Δ(γ)의 상대 내부에 있는 격자 점의 수가 γ가 코너의 내부에 있을 때 Δ(γ−κ)의 격자 점 수와 같아지는 조건을 통해 반정규화 가상 다면체를 정의한다.
• Gelfand-Zetlin 및 Newton-Okounkov 다면체의 가산성을 활용하여 표현에서 다면체로의 사상이 선형적으로 확장됨을 이용한다.
• 반정규화 가상 다면체의 유일성을 증명하고, 군 컴팩티피케이션의 경우 Δ(1,…,1)로 식별한다.

실험 결과

연구 질문

• RQ1 군 작용을 갖는 부드럽고 사영적인 다양체의 반정규화 클래스는 다면체를 통해 조합론적으로 특징지을 수 있는가?
• RQ2 Ehrhart-Macdonald 역법칙은 반정규화 클래스를 나타내는 가상 다면체를 정의하는 데 어떻게 활용될 수 있는가?
• RQ3 주어진 볼록 다면체의 가 Families 에서 반정규화 가상 다면체는 유일한가?
• RQ4 고전적 토릭 결과는 Gelfand-Zetlin 및 Newton-Okounkov 다면체를 통해 플래그 다양체와 군 컴팩티피케이션으로 확장되는가?

주요 결과

• 선형 가의 볼록 다면체에 대해 반정규화 가상 다면체는 존재할 경우 유일하게 정의된다.
• 부드러운 Weyl-불변 피라미드를 갖는 군 컴팩티피케이션의 경우, 반정규화 클래스는 선다발 L(1,…,1)의 체른 클래스에 대응한다.
• 적절한 표현을 갖는 모든 (a₁,…,aₛ) ∈ ℤˢ 에 대해 N(Δ(a₁−1,…,aₛ−1)) = N(Δ°(a₁,…,aₛ)) 를 만족하는 가상 다면체 Δ(1,…,1)가 조건을 충족한다.
• 사상 π ↦ Δ(π)는 가산적이므로 Δ(π₁⊗π₂) = Δ(π₁) + Δ(π₂) 를 만족하며, 이는 가상 다면체로 선형적으로 확장된다.
• 전역 절단 H⁰(XΣ, ℒπ) 의 차원은 Δ(π) 내부의 격자 점 수와 일치함을 확인하여 Ehrhart 대응을 증명한다.