[논문 리뷰] Toric manifolds with degenerate dual variety and defect polytopes

Sandra Di Rocco|ArXiv.org|2003. 05. 09.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 3

한 줄 요약

이 논문은 이중 다양체의 차원이 기대보다 낮은 '열화된 이중 다양체'를 갖는 토릭 다양체를 분류한다. 이는 조합적 불변량 $ c(P) $ 가 0이 되는 델자노 다면체와 정확히 대응됨을 보여준다. 주요 결과는 이러한 다양체가 프로젝티브 공간이거나 낮은 차원의 델자노 다면체들의 프로젝티브 합으로서 구성됨을 보여주며, 토릭 기하학과 조합론을 통해 '결함 다면체'의 완전한 특성화를 수립한다.

ABSTRACT

We classify projective toric manifolds whose dual variety is not a hypersurface in the dual projective space. Under the standard dictionary between toric geometry and convex geometry, they correspond to certain convex Delzant integer polytopes, P, which we call defect polytopes. Using the geometrical classification we give a detailed description of defect polytopes and prove that they are characterized by the vanishing of a combinatorial invariant, denoted by c(P). We further prove that a related invariant, c*(P), is nonnegative, for any simple convex integral polytope.

연구 동기 및 목표

• 기대보다 낮은 차원을 갖는 이중 다양체를 갖는 프로젝티브 토릭 다양체를 분류하는 것, 즉 이중 결함이 양수인 토릭 다양체를 분류하는 것.
• 조합적 불변량 $ c(P) $ 가 0이 되는 정수 볼록 다면체—'결함 다면체'로 불리는 다면체—를 특성화하는 것.
• 토릭 다양체에서의 이중 결함 기하 조건과 $ c(P) $ 의 조합적 0화 조건 사이의 동치성을 확립하는 것.
• 간단한 다면체에 대해 $ c(P) $ 가 항상 음이 아닌데, 정확히 프로젝티브 합으로서 구성된 델자노 다면체일 때 0이 됨을 증명하는 것.

제안 방법

• 토릭 다양체와 볼록 다면체 사이의 표준 사전을 사용하여 기하 문제를 조합 문제로 변환하는 것.
• 면 $ F $ 에 대해 $ c(P) = \sum_{F \in F(P)} (-1)^{\mathrm{codim}(F)} (\dim(F)+1)! \mathrm{Vol}(F) $ 로 정의된 불변량 $ c(P) $ 의 정의, 여기서 $ \mathrm{Vol}(F) $ 는 면 $ F $ 의 정수 부피이다.
• BeFaSo의 결과와 토릭 작용의 성질을 응용하여 토릭 다양체의 이중 다양체를 분석하는 것.
• $ c(P) = 0 $ 이 되는 것과 $ P $ 가 표준 단체이거나 낮은 차원의 델자노 다면체들의 프로젝티브 합임과 정확히 동치임을 증명하는 것.
• $ P \times [0,m] $ 의 곱에 대해 귀납법과 극한 근사 방법을 사용하여 $ t \geq 1 $ 에 대해 관련 불변량 $ c_t(P) $ 의 음이 아닌 성질을 보이는 것.
• 다항식 $ f(P,n) = \sum_{k=0}^r (-n)^{r-k} (k+1)! \sum_{F \in P(k)} |\mathbb{Z}^F \cap nF| $ 이 음이 아닌 정수 계수를 갖는 다항식임을 추측하는 것.

실험 결과

연구 질문

• RQ1 기대보다 낮은 차원의 이중 다양체를 갖는 프로젝티브 토릭 다양체는 무엇인가?
• RQ2 정수 볼록 다면체 중에서 불변량 $ c(P) $ 가 0이 되는 것은 무엇인가?
• RQ3 불변량 $ c(P) = 0 $ 을 갖는 다면체의 조합적 구조는 무엇이며, 토릭 기하학과 어떻게 관련되어 있는가?
• RQ4 $ c(P) $ 가 정수 다면체에 대해 항상 음이 아닌가? 기하학적 의미는 무엇인가?
• RQ5 면 부피와 오일러 지표를 포함하는 다항식 $ f(P,n) $ 이 음이 아닌 계수를 갖는다는 것을 증명할 수 있는가?

주요 결과

• 이중 결함이 양수인 토릭 다양체는 $ \mathbb{P}^r $ 이거나, 낮은 차원의 토릭 다양체 $ Y(\Delta') $ 에 대한 프로젝티브 번들의 형태인 $ \mathbb{P}(\mathcal{L}_0 \oplus \cdots \oplus \mathcal{L}_{(r+d)/2}) $ 이다.
• 이중 결함 $ d(X(\Delta)) > 0 $ 이 되는 것은 관련 다면체 $ P $ 가 $ c(P) = 0 $ 을 만족할 때 정확히 동치이다.
• 델자노 다면체에 대해선 $ c(P) = 0 $ 이 되는 것과 $ P $ 가 표준 단체이거나, 차원 $ \frac{r-d}{2} $ 의 낮은 차원 델자노 다면체들의 프로젝티브 합임이 정확히 동치이다.
• 불변량 $ c_1(P) = c(P) $ 는 모든 단순 다면체에 대해 음이 아니며, 정확히 결함 다면체일 때 0이 된다.
• 면 부피와 교대 합으로 정의된 다항식 $ f(P,n) $ 는 음이 아닌 정수 계수를 갖는다며 추측되며, $ c(P) = d_r(P) $ 는 그 주계수이다.
• Euler 수와 면 부피를 사용하여 계산한 $ c(\Delta(3,6)) = 352 $ 는 일반적인 다면체에 대해 $ c(P) $ 가 음이 아님을 지지한다.