[논문 리뷰] Newton polytopes for horospherical spaces

Kiumars Kaveh, Askold Khovanskiĭ|arXiv (Cornell University)|2010. 07. 24.

Advanced Combinatorial Mathematics참고 문헌 13인용 수 7

한 줄 요약

이 논문은 $G/H$에서의 호로스피어리컬 동차 공간으로 베른슈타인-쿠슈니레노부 정리의 일반화를 시도하며, $G$-불변 정칙 함수 부분공간과 볼록 다면체 사이의 대응을 수립한다. 일반적인 방정식계의 해의 개수는 관련 뉴턴 다면체들의 혼합 체적과 일치하며, 그로텐디크 준군과 모멘트 다면체를 통해 재수체 군 작용으로의 토릭 기하학 결과의 확장이 이루어진다.

ABSTRACT

A subgroup H of a reductive group G is horospherical if it contains a maximal unipotent subgroup. We describe the Grothendieck semigroup of invariant subspaces of regular functions on G/H as a semigroup of convex polytopes. From this we obtain a formula for the number of solutions of a generic system of equations on G/H in terms of mixed volume of polytopes. This generalizes Bernstein-Kushnirenko theorem from toric geometry.

연구 동기 및 목표

• 최대 불가약 부분군을 포함하는 $H$에 대해, 토릭 다양체에서의 베른슈타인-쿠슈니레노부 정리를 호로스피어리컬 동차 공간 $G/H$로 확장하기.
• 정칙 함수의 $G$-불변 부분공간의 그로텐디크 준군을 볼록 다면체의 준군으로 기술하기.
• 뉴턴 다면체의 혼합 체적을 이용해 $G/H$에서의 일반적인 방정식계의 해의 개수를 일반화하기.
• 해의 개수에 대한 두 가지 동치 표현을 수립하기: 하나는 모멘트 다면체 위에서의 적분을 통한 방식이고, 다른 하나는 확장된 뉴턴 다면체들의 혼합 체적을 통한 방식이다.

제안 방법

• 정칙 함수의 $G$-불변 부분공간의 그로텐디크 준군을 구성하고, 그가 민코프스키 합에 대한 정수 볼록 다면체 준군과 동형임을 보이기.
• 유한 차원 $G$-불변 부분공간의 완비화를 원래 무게 집합의 볼록 콘벡스 헐 안에 있는 모든 정칙 함수의 스트링으로 정의하기.
• 유한 부분집합 $A \subset \mathbb{Z}_{\geq 0}$에 대해 $\mathbb{R}^n$ 내의 뉴턴 다면체 $\tilde{\Delta}(A)$를 정의하고, 모멘트 다면체를 고차원 공간으로 올리기.
• 주어진 주어진 무게 $\lambda$에 대응하는 모멘트 다면체 $\Delta_{GC}(\lambda)$를 사용해 선형 계의 뉴턴 다면체를 정의하기.
• 일반적인 방정식계의 해의 개수를 $n! \cdot V(\tilde{\Delta}_1, \ldots, \tilde{\Delta}_n)$로 유도하기. 여기서 $V$는 혼합 체적이다.
• 해의 개수와 모멘트 다면체 위에서의 혼합 적분 간의 동치성과, 올린 뉴턴 다면체들의 혼합 체적 간의 동치성을 증명하기.

실험 결과

연구 질문

• RQ1 베른슈타인-쿠슈니레노부 정리는 어떻게 호로스피어리컬 동차 공간 $G/H$로 일반화될 수 있는가?
• RQ2 정칙 함수의 $G$-불변 부분공간의 그로텐디크 준군은 $G/H$에서 어떤 구조를 가지는가?
• RQ3 뉴턴 다면체는 $G/H$에서의 일반적인 방정식계의 해의 개수를 어떻게 표현하는가?
• RQ4 해의 개수는 모멘트 다면체 위에서의 혼합 적분과, 올린 다면체들의 혼합 체적으로 모두 표현될 수 있는가?

주요 결과

• 호로스피어리컬 공간 $G/H$에서 정칙 함수의 $G$-불변 부분공간의 그로텐디크 준군은 민코프스키 합에 대한 정수 볼록 다면체 준군과 동형이다.
• 유한 차원 $G$-불변 부분공간의 완비화는 그 무게 집합의 볼록 콘벡스 헐과 대응되며, 이는 토릭 경우의 일반화이다.
• 정칙 함수 $f_i$가 $G$-불변 부분공간에 속하는 일반적인 방정식계 $f_1 = \cdots = f_n = 0$의 $G/H$에서의 해의 개수는 $n! \cdot V(\tilde{\Delta}_1, \ldots, \tilde{\Delta}_n)$로 주어지며, 여기서 $\tilde{\Delta}_i$는 뉴턴 다면체이다.
• 이 해의 개수는 모멘트 다면체 위에서 동차 다항식의 혼합 적분과도 동치이며, 이는 이중 표현을 제공한다.
• $\mathbb{C}^n \setminus \{0\} \cong G/H$ 공간의 경우, 해의 개수는 $n! \cdot I\phi(I_1, \ldots, I_n)$으로 주어지며, 여기서 $I_i = \Delta(A_i)$는 구간이고 $\phi(k) = \frac{1}{(n-1)!}k^{n-1}$이다.
• 부분 플라그 다양체 $G/P_I$의 경우, $m$개의 선형 계의 교차 수는 $m! \cdot V(\Delta_{GC}(\lambda_1), \ldots, \Delta_{GC}(\lambda_m))$로 주어지며, 여기서 $\Delta_{GC}(\lambda)$는 겔판트-체틀린 다면체이다.