[논문 리뷰] On Two Results of Mixed Multiplicities

Dinh Van Le, Duong Quôc Việt|ArXiv.org|2009. 01. 08.

Polynomial and algebraic computation참고 문헌 4인용 수 14

한 줄 요약

이 논문은 Trung와 Verma(2007)의 혼합 다중성에 관한 주요 결과가 Viet(2000)의 이전 정리, 특히 [Vi1]의 정리 3.4의 직접적인 결과임을 보여준다. 저자들은 $(\varepsilon_1,\ldots,\varepsilon_m)$-초과성 수열이 약한-(FC)-수열임을 보임으로써, 혼합 다중성을 몫환에서의 하이르슈부르그-사무엘 다중성으로 해석할 수 있음을 입증하여, (FC)-수열과 초과성 수열을 통한 혼합 다중성의 두 접근 방식을 통합한다.

ABSTRACT

This paper shows that the main result of Trung-Verma in 2007 [TV] only is an immediate consequence of an improvement version of [Theorem 3.4, Vi1] in 2000.

연구 동기 및 목표

• 수열 구성을 통해 혼합 다중성과 하이르슈부르그-사무엘 다중성 간의 관계를 명확히 하기.
• Trung-Verma의 $(\varepsilon_1,\ldots,\varepsilon_m)$-초과성 수열에 관한 결과가 Viet의 이전 (FC)-수열 작업에서 유도됨을 보여주기.
• $(\varepsilon_1,\ldots,\varepsilon_m)$-초과성 수열이 약한-(FC)-수열임을 입증함으로써, 혼합 다중성의 두 개별 구성 간의 연결 고리를 확립하기.
• 혼합 다중성 $e(J^{[k_0+1]}, I_1^{[k_1]}, \ldots, I_s^{[k_s]})$가 특정 이상 $Q$에 의해 생성된 수열을 갖는 몫환 $A/Q:I^\infty$에서 하이르슈부르그-사무엘 다중성 $e(J, A/Q:I^\infty)$와 같음을 보여주기.

제안 방법

• 저자들은 이상 포함, 필터-정규성, 차원 감소를 바탕으로 (FC)-수열과 약한-(FC)-수열을 정의한다.
• 아르틴-레스 보조정리를 사용하여 (FC)-원소의 곱이 관련된 구조 모듈의 동형사상을 유도함을 보인다.
• 이deals의 거듭제곱에 대한 귀납법을 통해 $\varepsilon$-초과성 원소가 약한-(FC)-원소 조건을 만족함을 증명한다.
• 충분히 큰 $n$에 대해 $I^n$에서 $x$의 소멸자 $0:x$가 $0:I^\infty$에 포함됨을 보여, 조건 (FC2)를 만족함을 입증한다.
• Bhattacharya 함수와 하이르슈부르그-사무엘 다항식을 연결하기 위해 $I_1^{n_1}\cdots I_s^{n_s} \cong xI_1^{n_1}\cdots I_s^{n_s}$의 동형을 사용한다.
• 논문은 [Vi1]의 정리 3.4를 적용하여, 혼합 다중성을 몰입환 $A/Q:I^\infty$에서의 하이르슈부르그-사무엘 다중성과 동일시한다.

실험 결과

연구 질문

• RQ1 Trung-Verma의 $(\varepsilon_1,\ldots,\varepsilon_m)$-초과성 수열을 통한 혼합 다중성 결과는 Viet의 이전 (FC)-수열 프레임워크에서 도출 가능한가?
• RQ2 $(\varepsilon_1,\ldots,\varepsilon_m)$-초과성 수열은 약한-(FC)-수열 조건을 만족하는가?
• RQ3 혼합 다중성 $e(J^{[k_0+1]}, I_1^{[k_1]}, \ldots, I_s^{[k_s]})$는 몰입환 $A/Q:I^\infty$에서 하이르슈부르그-사무엘 다중성으로 해석될 수 있는가?
• RQ4 $\dim A/Q:I^\infty = k_0 + 1$일 때 혼합 다중성이 비영이 되기 위한 조건은 무엇인가?

주요 결과

• Trung와 Verma(2007)의 주요 결과는 Viet(2000)의 정리 3.4의 직접적인 결과로 밝혀져 기초적인 통합을 확립한다.
• 모든 $J, I_1, \ldots, I_s$에 대한 $(\varepsilon_1,\ldots,\varepsilon_m)$-초과성 수열은 $J, I_1, \ldots, I_s$에 대해 약한-(FC)-수열이며, 이는 두 프레임워크 간의 핵심 연결 고리를 입증한다.
• 만약 $x$가 $I_1, \ldots, I_s$에 대해 $\varepsilon$-초과성 원소이면, $x$는 (FC1)과 (FC2)를 모두 만족하므로 약한-(FC)-원소가 된다.
• 모든 $(\varepsilon_1,\ldots,\varepsilon_m)$-초과성 수열로 생성된 이상 $Q$에 대해, $e(J^{[k_0+1]}, I_1^{[k_1]}, \ldots, I_s^{[k_s]}) \neq 0$이 되는 것은 $\dim A/Q:I^\infty = k_0 + 1$과 동치이며, 이 경우 혼합 다중성은 $e(J, A/Q:I^\infty)$와 같다.
• 차원 조건 $\dim A/Q:I^\infty = k_0 + 1$은 수열이 (FC)-수열임과 동치이며, 이는 혼합 다중성이 비영이 되도록 보장한다.
• 논문은 $Q$가 $(\varepsilon_1,\ldots,\varepsilon_m)$-초과성 수열로 생성되고 $\dim A/Q:I^\infty = k_0 + 1$일 때 혼합 다중성 $e(J^{[k_0+1]}, I_1^{[k_1]}, \ldots, I_s^{[k_s]})$가 하이르슈부르그-사무엘 다중성 $e(J, A/Q:I^\infty)$와 같다는 것을 확인한다.