[논문 리뷰] On mixed multiplicities of ideals

Kiumars Kaveh, Askold Khovanskiĭ|arXiv (Cornell University)|2013. 10. 29.

Rings, Modules, and Algebras참고 문헌 10인용 수 7

한 줄 요약

이 논문은 국소환에서 $\mathfrak{m}$-primary 이상수의 혼합 다중성과 다양체 위의 유리 함수 부분공간의 교차 이론 사이의 기하적 연결을 수립한다. 이 연결을 활용하여 저자들은 혼합 다중성에 대한 역 아르고노프-펜헬 부등식을 도출하고, 이를 다각형의 볼록체의 혼합 체적에까지 확장하며, 근사화와 다중선형성에 의해 부등식을 증명한다.

ABSTRACT

Let R be the local ring of a point on a variety X over an algebraically closed field k. We make a connection between the notion of mixed (Samuel) multiplicity of m-primary ideals in R and intersection theory of subspaces of rational functions on X which deals with the number of solutions of systems of equations. From this we readily deduce several properties of mixed multiplicities. In particular, we prove a (reverse) Alexandrov-Fenchel inequality for mixed multiplicities due to Teissier and Rees-Sharp. As an application in convex geometry we obtain a proof of a (reverse) Alexandrov-Fenchel inequality for covolumes of convex bodies inscribed in a convex cone.

연구 동기 및 목표

• 국소환 $R = \mathcal{O}_{X,a}$ 내의 $\mathfrak{m}$-primary 이상수의 혼합 다중성에 대한 기하적 해석을 다양체 위의 유리 함수 부분공간의 교차 이론을 통해 수립한다.
• 교차이론적 방법을 사용하여 국소환 내 혼합 다중성에 대한 역 아르고노프-펜헬 부등식을 증명한다.
• 근사화와 다중선형성에 의해 볼록뿔 내에 내접한 볼록체의 혼합 체적에 이 부등식을 확장한다.
• 혼합 다중성에 대한 대수적 부등식을 통해 혼합 체적에 대한 아르고노프-펜헬 부등식을 기하학적으로 증명한다.
• 교차이론의 프레임워크를 통해 교환대수학, 대수기하학, 볼록기하학의 개념을 통합한다.

제안 방법

• Zariski 열린 부분집합 내 일반적인 절단의 공통 영점의 수로 $n$개의 유한차원 유리 함수 부분공간의 교차지수 $[L_1, \ldots, L_n]$를 정의한다.
• 교차지수의 다중加성(다중선형성)을 활용하여, 부분공간의 모노이드의 코hen-고렌스타인 군으로의 확장하고, 이를 쇼쿠로프의 카이어르 b-분할과 연결한다.
• 국소환 $R = \mathcal{O}_{X,a}$ 내의 각 $\mathfrak{m}$-primary 이상수를 유리 함수의 부분공간과 연관지어, 혼합 다중성의 기하적 해석을 가능하게 한다.
• 부분공간의 교차이론에서 허드 기하학적 부등식으로 귀결시켜, 혼합 다중성에 대한 역 아르고노프-펜헬 부등식을 증명한다.
• 일반적인 $C$-볼록 영역을 유리 다각형 영역으로 근사하고, 국소 베른스타인-쿠슈니레코 정리를 사용하여 단항 이상수의 혼합 다중성과 혼합 체적을 연결한다.
• 혼합 체적의 연속성과 다중선형성을 활용하여, 다각형 영역에서 일반 볼록 영역으로 부등식을 확장한다.

실험 결과

연구 질문

• RQ1 국소환 내 $\mathfrak{m}$-primary 이상수의 혼합 다중성은 어떻게 유리 함수 부분공간의 교차이론을 통해 기하학적으로 해석할 수 있는가?
• RQ2 유리 함수 부분공간의 교차지수와 이상수의 혼합 다중성 간의 관계는 무엇인가?
• RQ3 혼합 다중성에 대한 역 아르고노프-펜헬 부등식은 교차이론적 원리로부터 유도될 수 있는가?
• RQ4 이상수의 혼합 다중성은 볼록뿔 내 볼록체의 혼합 체적과 어떻게 관련이 있는가?
• RQ5 근사화를 통해 혼합 다중성에 대한 대수적 부등식을 활용하여 혼합 체적에 대한 아르고노프-펜헬 부등식을 증명할 수 있는가?

주요 결과

• 혼합 다중성에 대한 역 아르고노프-펜헬 부등식이 성립한다: $e(I_1,I_1,I_3,\ldots,I_n)e(I_2,I_2,I_3,\ldots,I_n) \geq e(I_1,I_2,\ldots,I_n)^2$.
• 토릭 다양체의 국소환 내 단항 $\mathfrak{m}$-primary 이상수의 혼합 다중성은 해당 볼록 영역의 혼합 체적의 $n!$ 배와 같다.
• $C$-볼록 영역의 혼합 체적은 혼합 다중성과 동일한 역 아르고노프-펜헬 부등식을 만족한다: $V(\Gamma_1,\Gamma_1,\Gamma_3,\ldots,\Gamma_n)V(\Gamma_2,\Gamma_2,\Gamma_3,\ldots,\Gamma_n) \geq V(\Gamma_1,\Gamma_2,\ldots,\Gamma_n)^2$.
• 혼합 체적의 부등식은 일반 볼록 영역을 유리 다각형 영역으로 근사하고 연속성 및 다중선형성을 사용하여 증명된다.
• 혼합 다중성의 부등식 증명은 부분공간의 교차이론에서 허드 기하학적 부등식에 기반하며, 이는 전역 아르고노프-펜헬 부등식과 동치이다.
• 국소 베른스타인-쿠슈니레코 정리의 국소판이 확립된다: 다각형 $C$-볼록 영역이 정수 꼭짓점을 가질 경우 $e(I(\Gamma_1),\ldots,I(\Gamma_n)) = n! \cdot V(\Gamma_1,\ldots,\Gamma_n)$이다.