[논문 리뷰] Newton polyhedra of discriminants of projections

Alexander Esterov|arXiv (Cornell University)|2008. 10. 28.

Polynomial and algebraic computation참고 문헌 18인용 수 7

한 줄 요약

이 논문은 계수들이 매개변수에 의존하는 라우렌트 다항식계의 판별식의 뉴턴 다면체에 대한 공식을 제공한다. 이 공식은 혼합 섬유 다면체와 토릭 다양체의 오일러 장애물을 사용한다. 주요 결과는 특수한 경우에서 알려진 공식을 일반화하며, 균일한 경우에 대해 명시적이고 계산 가능한 표현을 제공한다. 응용 분야는 특이점 이론과代수기하학이다.

ABSTRACT

For a system of polynomial equations, whose coefficients depend on parameters, the Newton polyhedron of its discriminant is computed in terms of the Newton polyhedra of the coefficients. This leads to an explicit formula (involving mixed fiber polyhedra and Euler obstructions of toric varieties) in the unmixed case, suggests certain open questions in general, and generalizes a number of similar known results. The argument is based on a formula for the support function of a mixed fiber body, which also suggests a new proof for existence of mixed fiber bodies.

연구 동기 및 목표

• 계수들이 매개변수에 의존하는 라우렌트 다항식계의 판별식 뉴턴 다면체를 계산하는 것.
• 특수한 경우(예: 보편적 시스템, 초곡면 등)에서 알려진 결과를 임의의 매개변수화된 시스템의 일반적인 경우로 일반화하는 것.
• 판별식의 뉴턴 다면체를 계수 다면체의 용어로 기술하는 오일러 장애물과 혼합 섬유 다면체를 포함한 공식 수립.
• 복소수 토리 위의 라우렌트 다항식의 고전적 설정을 일반화하여 애널리틱 함수의 아핀 토릭 다양체 위로 프레임워크를 확장하는 것.
• 일부 볼록 hull 조건 하에서 판별식 뉴턴 다면체에 대한 고차 가법성 관계 유도.

제안 방법

• 계수 의존성을 표현하기 위해 $\mathbb{R}^n \oplus \mathbb{R}^k$ 내의 뉴턴 다면체의 민코프스키 합과 혼합 섬유 다면체를 사용한다.
• 다항식 집합 $A$의 볼록 hull의 면 $A'$에 관련된 오일러 장애물 $e^{A',A}$를 도입하며, 이는 조합론적이고 기하학적인 해석을 가진다.
• 각 차원 $\geq l$인 면 $A'$에 대해 $a_i > 0$ 이고 $\sum a_i = \dim A' + 1$ 인 경우, 섬유 다면체 $\Delta_i(A')^{a_i}$를 적용한다.
• 다음과 같이 기호가 있는 합으로 판별식 뉴턴 다면체를 구성한다: $\mathcal{N} = \sum_{A'} e^{A',A} \cdot \sum_{\mathbf{a}} \Delta_0(A')^{a_0} \cdots \Delta_l(A')^{a_l}$, 이는 다면체의 뺄셈을 허용한다.
• 혼합 섬유 몸체와 혼합 그림자 부피 이론에 기반하며, 비일러-슈트름펠스 적분과 민코프스키 이론과의 연결을 갖는다.
• 감소 정리들을 통해 일반적인 경우를 $l=0$ 경우로 환원하여, 라우렌트 다항식의 전반적 설정으로 결과를 이전할 수 있게 한다.

실험 결과

연구 질문

• RQ1 매개변수에 의존하는 다항식계의 판별식 뉴턴 다면체는 계수의 뉴턴 다면체로 어떻게 표현할 수 있는가?
• RQ2 오일러 장애물은 판별식 뉴턴 다면체 계산에서 어떤 역할을 하는가? 그리고 매개변수 공간의 특이점은 어떻게 반영되는가?
• RQ3 특수한 경우(예: $l=0$, $l=k$, $l=k-1$)에서의 고전적 판별식 공식은 임의의 시스템으로 어떻게 통합 및 일반화할 수 있는가?
• RQ4 계수 다면체가 반드시 동일하지 않을 경우 판별식 뉴턴 다면체의 구조는 어떠한가?
• RQ5 일부 볼록 hull 조건 하에서 판별식 뉴턴 다면체에 대한 고차 가법성 법칙이 성립하는가? 만약 성립한다면 어떻게 표현되는가?

주요 결과

• 판별식의 뉴턴 다면체는 $\mathcal{N} = \sum_{A' \subset A, \dim A' \geq l} e^{A',A} \cdot \sum_{a_0 + \cdots + a_l = \dim A' + 1,\, a_i > 0} \Delta_0(A')^{a_0} \cdots \Delta_l(A')^{a_l}$ 로 주어지며, 여기서 $e^{A',A}$ 는 오일러 장애물이다.
• 이 공식은 음수 계수를 允허하여 다면체가 뺄셈을 통해 빼어낼 수 있도록 하며, $Q + X = P$ 의 해를 통해 잘 정의됨을 보장한다.
• 결과로 얻어진 다면체 $\mathcal{N}$ 이 한 점이라면 판별식 집합 $\Sigma$ 는 코디멘션-1 성분을 가지지 않으며, 그렇지 않다면 $\mathcal{N}$ 은 판별식 초곡면의 뉴턴 다면체이다.
• 판별식의 주계수들은 $F_i$ 의 주계수의 용어로 기술되며, 다면체를 초월하여 전체 방정식으로의 결과 확장된다.
• 고차 가법성 관계가 성립한다: $\mathcal{N}(\Delta_0 + \Delta_1, \Delta_2, \ldots, \Delta_l) = \sum_{\mu=1}^\infty \left[ \mathcal{N}(\underbrace{\Delta_0,\ldots,\Delta_0}_{\mu}, \underbrace{\Delta_1,\ldots,\Delta_1}_{\mu-1}, \Delta_2, \ldots, \Delta_l) + \mathcal{N}(\underbrace{\Delta_0,\ldots,\Delta_0}_{\mu-1}, \underbrace{\Delta_1,\ldots,\Delta_1}_{\mu}, \Delta_2, \ldots, \Delta_l) + 2\mathcal{N}(\underbrace{\Delta_0,\ldots,\Delta_0}_{\mu}, \underbrace{\Delta_1,\ldots,\Delta_1}_{\mu}, \Delta_2, \ldots, \Delta_l) \right]$, 여기서 유한한 수 이외의 모든 항은 $\{0\}$ 이다.
• 혼합 그림자 부피 $\mathop{\rm MS}\nolimits_\mu$ 는 쌍의 혼합 부피 $\mathop{\rm MV}\nolimits(\widetilde{\Delta}_0, \ldots, \widetilde{\Delta}_k)$ 와 일치하며, $\widetilde{\Delta}_j = (\Delta_j + l_-) \times p(\Delta_j) + l_-$ 를 통해 비일러-슈트름펠스 섬유 적분과 연결된다.