[논문 리뷰] How many zeroes? Counting the number of solutions of systems of polynomials via geometry at infinity (Draft II)

Pinaki Mondal|arXiv (Cornell University)|2018. 06. 14.

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

한 줄 요약

이 논문은 대수적으로 닫힌 체 위에서 n개의 다항방정식을 n개의 변수에 대해 만족하는 고립해의 수를 세는 데 토릭 기하학 기반 방법을 제시한다. 이는 토르ัส (k×)ⁿ에서 전체 아핀 공간 kⁿ으로 베른슈타인 정리의 확장을 다루며, 주요 기여는 뉴턴 다면체를 통한 일반계의 특성화와 혼합체적을 이용한 해의 수 계산 공식 제시로, 임의의 대수적으로 닫힌 체 위에서 완전한 증명을 포함하는 오랜 동안 미해결이었던 문제를 해결한다.

ABSTRACT

In this book we describe an approach through toric geometry to the following problem: estimate the number (counted with appropriate multiplicity) of isolated solutions of n polynomial equations in n variables over an algebraically closed field k. The outcome of this approach is the number of solutions for systems in terms of their polytopes, and an explicit characterization of what makes a system generic. The pioneering work in this field was done in the 1970s by Kushnirenko, Bernstein and Khovanskii, who completely solved the problem of counting solutions of generic systems on the torus (k\0)^n. In the context of our problem, however, the natural domain of solutions is not the torus, but the affine space k^n. There were a number of works on extension of Bernstein's theorem to the case of affine space, and recently it has been completely resolved, the final steps having been carried out by the author. The aim of this book is to present these results in a coherent way. We start from the beginning, namely Bernstein's beautiful theorem which expresses the number of solutions of generic systems in terms of the mixed volume of their Newton polytopes. We give complete proofs, over arbitrary algebraically closed fields, of Bernstein's theorem and its recent extension to the affine space, and describe some open problems. We also apply the developed techniques to derive and generalize Kushnirenko's results on Milnor numbers of hypersurface singularities which in 1970s served as a precursor to the development of toric geometry. Care was taken to make this book as elementary as possible. In particular, we develop all the necessary algebraic geometry (modulo some explicitly stated basic results).

연구 동기 및 목표

• 토르ัส에서 아핀 공간 kⁿ으로의 베른슈타인 정리의 확장을 완전하고 통합적인 방식으로 다루는 것.
• 뉴턴 다면체와 혼합체적을 통한 다항방정식계의 일반계의 특성화.
• 임의의 대수적으로 닫힌 체 위에서 베른슈타인 정리와 그 최근 확장을 이해할 수 있도록 기초적인, 자가 포함된 증명을 제공하는 것.
• 개발된 프레임워크를 사용해 허브니르렌코의 초곡면 특이점의 밀놀 수에 대한 결과를 일반화하는 것.
• 기하적 방법을 통한 다항방정식계의 해의 수를 세는 데 있어 남아 있는 문제들을 규명하고 논의하는 것.

제안 방법

• 뉴턴 다면체의 기하학적 성질에 중점을 두어, 다항방정식계의 무한원에서의 행동을 토릭 기하학을 통해 분석한다.
• 혼합체적 이론을 적용하여 아핀 공간 내 일반계의 고립해의 수를 계산한다.
• 토르ัส의 콪팩티피케이션과 그 경계 디바이저의 체계적 연구를 통해 토르ัส 외부의 해 수를 이해한다.
• 수학적 엄밀함을 유지하면서도 접근성을 확보하기 위해 기본적인 대수기하학 개념을 처음부터 개발한다.
• 뉴턴 다면체의 구조를 활용해 다항방정식계의 일반성 조건을 정의하고 특성화한다.
• 뉴턴 다면체의 혼합체적과 해의 수(중복도 포함) 사이에 정확한 대응 관계를 수립한다.

실험 결과

연구 질문

• RQ1 뉴턴 다면체를 통한 혼합체적을 이용한 해 수 계산에 기반한 베른슈타인 정리를 토르ัส에서 전체 아핀 공간 kⁿ으로 어떻게 확장할 수 있는가?
• RQ2 뉴턴 다면체에 어떤 기하적 조건이 성립하면 다항방정식계가 kⁿ에서 유한 개의 고립해만 가지는가?
• RQ3 해가 무한원에서의 행동은 아핀 공간 내 전체 해의 수에 어떤 영향을 미치는가?
• RQ4 뉴턴 다면체와 혼합체적은 대수적으로 닫힌 체 위에서 다항방정식계의 일반성 조건을 어떻게 특성화하는가?
• RQ5 토릭 기하학과 해 수 계산의 프레임워크를 사용해 허브니르렌코의 밀놀 수 결과를 어떻게 일반화할 수 있는가?

주요 결과

• 대수적으로 닫힌 체 위에서 n개의 다항식을 n개의 변수에 대해 만족하는 일반계의 고립해의 수는 그 뉴턴 다면체들의 혼합체적과 일치한다.
• 베른슈타인 정리의 아핀 공간으로의 확장은 완전히 해결되었으며, kⁿ 내 해 수 계산을 위한 완전한 공식이 제시된다.
• 일반성은 뉴턴 다면체의 상대적 위치와 구조에 의해 기하학적으로 특성화되며, 이는 무한원에서의 교차성(transversality)을 보장한다.
• 이 방법은 토르스 해와 아핀 해를 동시에 포함하는 통일된 해 수 계산 체계를 제공하여 이전 결과들을 통합한다.
• 프레임워크를 통해 허브니르렌코의 밀놀 수 연구 결과가 혼합체적 계산과 해 수 계산과 연결되어 일반화된다.
• 모든 결과는 임의의 대수적으로 닫힌 체 위에서 증명되었으며, 책의 기술적 발전 과정이 완전히 수록되어 있다.