[논문 리뷰] Newton polyhedra, tropical geometry and the ring of condition for $(C^*)^n$

Boris Kazarnovskii, Askold Khovanskiĭ|arXiv (Cornell University)|2017. 05. 11.

Polynomial and algebraic computation참고 문헌 6인용 수 3

한 줄 요약

이 논문은 볼록 정수 다면체를 이용하여 $(\mathbb{C}^*)^n$의 조건의 링에 대한 새로운 묘사를 수립하며, 이 링이 다면체의 부피로부터 구성된 Khovanskii–Pukhlikov 링과 동형임을 보여준다. 이는 뉴턴 다면체를 통해 토폴로지 기하학, 토릭 다양체의 코homology, 그리고 교차 이론을 통합하며, 조건의 링과 정수 계수 미분 연산자의 계수를 갖는 등급 링 사이의 자연스러운 동형을 통해 BKK 정리를 일반화한다.

ABSTRACT

The ring of conditions defined by C. De Concini and C. Procesi is an intersection theory for algebraic cycles in a spherical homogeneous space. In the paper we consider the ring of conditions for the group $(C^*)^n$. Up to a big extend this ring can be reduced to the cohomology rings of smooth projective toric varieties. This ring also can be described using tropical geometry. We recall these known results and provide a new description of this ring in terms of convex integral polyhedra.

연구 동기 및 목표

• 이 논문은 $(\mathbb{C}^*)^n$의 조건의 링 $\mathcal{R}_n(\Lambda)$을 볼록 정수 다면체의 관점에서 기술하는 데 목적이 있다.
• 조건의 링을 토폴로지 기하학과 스무드 프로젝티브 토릭 다양체의 코homology 링과 통합하는 데 목적이 있다.
• 조건의 링 $\mathcal{R}_n(\Lambda)$과 정수 계수 미분 연산자의 등급 링을 갖는 이상 이데알에 대한 몫을 통한 자연스러운 동형관계를 통해 Bernstein–Koushnirenko–Khovanskii (BKK) 정리를 일반화하는 데 목적이 있다.
• 조건의 링이 볼록 다면체의 부피로부터 구성된 Khovanskii–Pukhlikov 링과 동형임을 증명하는 데 목적이 있다.

제안 방법

• 논문은 부분다양체 $X \subset (\mathbb{C}^*)^n$와 관련된 Bergman 콘 $B(X)$를 사용한다. 이는 $\dim X$ 차원의 유리 볼록 콘들의 유한한 합집합이다.
• Bergman 콘 $B(X)$를 포함하는 스무드 프로젝티브 토릭 다양체 $M_\Delta$의 좋은 콪팅 이론을 적용하여 적절한 교차 행동을 보장한다.
• 조건의 링 $\mathcal{R}_n(\Lambda)$이 균형 잡힌 $\Lambda$-강화된 포화의 토폴로지 링 $T\mathcal{R}_n(\Lambda)$과 동형이며, 이는 스무드 토릭 다양체 $M_\Delta$의 코homology 링 $H^*(M_\Delta, \Lambda)$와도 동형임을 보여준다.
• 핵심 구성은 분수 계수를 갖는 다면체의 형식적 차분의 공간 $\mathcal{L}_n$과 차수 $n$의 동차 다항식 $n!V$로, 이는 다면체의 부피에 $n!$을 곱한 것이다.
• 다음으로, $\mathcal{L}_n$ 위에서의 상수 계수 미분 연산자의 링을 $n!V$를 제거하는 이상 이데알 $I_P$로 나누어 정의된 링 $A(\mathcal{L}_n, n!V)$를 정의한다. 이는 대칭성과 이중성을 갖는 등급 링을 이룬다.
• 최종적으로, $\mathcal{R}_n(\mathbb{R}) \cong A(\mathcal{L}_n, n!V)$의 동형관계를 확립하며, 이는 이론적 기하학적 프레임워크를 통해 BKK 정리를 일반화한다.

실험 결과

연구 질문

• RQ1 조건의 링 $\mathcal{R}_n(\Lambda)$을 대수적 사이클이 아닌 볼록 정수 다면체의 관점에서 어떻게 묘사할 수 있는가?
• RQ2 조건의 링과 스무드 프로젝티브 토릭 다양체의 코homology 링 사이의 정확한 관계는 무엇인가?
• RQ3 BKK 정리는 초면체를 넘어서 전체 조건의 링으로 일반화될 수 있는가? 만약 가능하다면, 자연스러운 대수적 기하학적 구조는 무엇인가?
• RQ4 특히 균형 잡힌 $\Lambda$-강화된 포화를 통해 토폴로지 기하학은 $(\mathbb{C}^*)^n$ 내의 사이클의 교차 이론을 어떻게 캡슐화하는가?
• RQ5 조건의 링 $\mathcal{R}_n(\Lambda)$과 다면체의 부피로부터 미분 연산자를 통해 구성된 링 사이에 자연스러운 동형관계가 존재하는가?

주요 결과

• 조건의 링 $\mathcal{R}_n(\Lambda)$은 볼록 다면체의 형식적 차분의 공간 $\mathcal{L}_n$과 부피 다항식 $n!V$로부터 구성된 Khovanskii–Pukhlikov 링 $A(\mathcal{L}_n, n!V)$와 동형이다.
• 조건의 링 $\mathcal{R}_n(\Lambda)$은 균형 잡힌 $\Lambda$-강화된 포화의 토폴로지 링 $T\mathcal{R}_n(\Lambda)$과 동형이며, 이는 스무드 프로젝티브 토릭 다양체 $M_\Delta$의 코homology 링 $H^*(M_\Delta, \Lambda)$와도 동형이다.
• 라운드 다항식의 뉴턴 다면체 $\Delta_1, \dots, \Delta_n$를 갖는 $n$개의 초면체가 $(\mathbb{C}^*)^n$ 내에서 정의하는 교차 수는 $\Delta_i$들의 혼합 부피에 $n!$을 곱한 값과 같다. 이는 BKK 정리를 일반화한다.
• 스무드 토릭 다양체 $M_\Delta$의 코homology 링 $H^*(M_\Delta, \mathbb{R})$은 (등급 이동을 제외하고) Khovanskii–Pukhlikov 링 $A(L_\Delta, n!V)$와 동형이다. 여기서 $L_\Delta$는 $M_\Delta$의 팬에서 선형인 지지 함수를 갖는 다면체의 형식적 차분의 공간이다.
• 등급 링 $A(\mathcal{L}_n, n!V)$는 $A_k$와 $A_{n-k}$ 사이에 비퇴화된 쌍대성 쌍을 가지며, $A_0 \cong \mathbb{R}$, $A_n \cong \mathbb{R}$를 만족한다. 이는 이중성과 Poincaré 이중성 유사한 기하학적 성질을 반영한다.
• 조건의 링에 대한 자연스러운 대수적 모델로, $A(\mathcal{L}_n, n!V)$를 $D(\mathcal{L}_n)/I_P$로 구성하며, 여기서 $I_P$는 $n!V$를 제거하는 미분 연산자의 이상 이데알이다.