[논문 리뷰] Formes d'inertie et complexe de Koszul associés à des polynômes plurihomogènes

Azzouz Awane, Abdelouahab Chkiriba외 1명|arXiv (Cornell University)|2002. 11. 26.

Advanced Differential Equations and Dynamical Systems참고 문헌 5인용 수 3

한 줄 요약

이 논문은 다중동차 다항식과 관련된 관성 형식과 코시울 복합체를 연구하며, 결과론과 코homology에 관한 고전적 결과를 일반화한다. 다중동차 다항식에 대한 투르비츠 정리의 유사체를 수립하고, 국소 코hom로와 스펙트럴 시퀀스를 통해 코시울–체흐 이중복합체로부터 N.H. Mcoy의 정리의 특수한 경우를 복원한다.

ABSTRACT

The eThe existence of common zero of a family of polynomials has led to study of inertial forms whose homogeneous part of degree 0 constitutes the ideal resultant. The Koszul anc Cech cohomology groups play a fundamental role in this study. An analogueous of Hurwitz theorem is given and also we finds a MCoy theorem in a particular case of this study.

연구 동기 및 목표

• 다중동차 다항식의 설정으로 결과론과 관성 형식에 관한 고전적 결과를 일반화하기 위해.
• 다중등급 설정에서 코시울 복합체의 구조와 그 체흐 코homology와의 상호작용을 조사하기 위해.
• 영제로 국소 코호모로지 모듈 $ H_{\frak{M}}^0(B) $ 를 특성화하고, 다항식의 재귀적 분해를 통해 그 생성자를 규명하기 위해.
• 관성 형식에 대한 투르비츠 정리의 다중동차 유사체를 수립하기 위해.
• 다중 변수 집합에서 동차인 다항식의 결과론에 관한 N.H. Mcoy의 정리의 특수한 경우를 복원하기 위해.

제안 방법

• 계수 다항식의 일반 계수를 갖는 다항식 환 $ A $ 에 대해 다중동차 다항식 환 $ C = A[Δ_1, \dots, \u0394_s] $ 를 정의한다.
• 다중동차 다항식 $ f_1, \dots, f_r $ 에서 코시울 복합체 $ K^\bullet $ 와 단항식 $ \sigma_{i_1 \dots i_s} = X_{1,i_1} \cdots X_{s,i_s} $ 에서 체흐 복합체 $ \mathcal{C}^\bullet $ 를 구성한다.
• 이중복합체 $ K^\bullet \otimes_A \mathcal{C}^\bullet $ 를 형성하고, 그 스펙트럴 시퀀스 $ {}'E $ 와 $ {}''E $ 를 분석하여 코시울 코호모로지와 국소 코호모로지를 연결한다.
• 각 변수 집합에 대해 다항식 $ f_i $ 의 재귀적 분해를 통해 $ f_{i,l}^{(j)} $ 를 정의하고, 이에 따라 순서 $ N = \sum_{j=1}^s n_j + s $ 의 행렬식 $ \mathcal{D} $ 를 유도한다.
• 행렬식 $ \mathcal{D} $ 가 제1변수 집합에 대해 차수 $ \delta_j - N_j $ 의 다중동차 관성 형식임을 증명하고, $ X_{1,n_1+1}^{N_1} \cdots X_{s,n_s+1}^{N_s} \mathcal{D} $ 가 $ (H_{\frak{M}}^0(B))_\delta $ 를 생성함을 보인다.
• 스펙트럴 시퀀스 기법을 적용하여 $ r = N $ 일 때 $ H_{\frak{M}}^0(B)_\delta $ 가 순수 $ A $-모듈로서 랭크 1임을 보인다.

실험 결과

연구 질문

• RQ1 고전적 관성 형식 이론과 결과론은 어떻게 다중동차 다항식으로 일반화될 수 있는가?
• RQ2 코시울 복합체와 체흐 복합체는 몫환 $ B = C / (f_1, \dots, f_r) $ 의 코호모로지를 묘사하는 데 어떤 역할을 하는가?
• RQ3 관성 형식에 대한 투르비츠 정리의 다중동차 유사체는 어떻게 수립할 수 있는가?
• RQ4 국소 코호모로지 모듈 $ H_{\frak{M}}^0(B)_\delta $ 가 랭크 1의 자유 $ A $-모듈로 변하는 조건은 무엇인가?
• RQ5 다중동차 다항식의 재귀적 분해는 최상위 국소 코호모로지 모듈의 생성자를 어떻게 이끌어내는가?

주요 결과

• 재귀적 분해의 행렬식 $ \mathcal{D} $ 는 제1변수 집합에 대해 차수 $ \delta_j - N_j $ 의 다중동차 관성 형식이다.
• 모듈로 $ (f_1, \dots, f_r) $ 에 대한 클래스 $ \Delta = X_{1,n_1+1}^{N_1} \cdots X_{s,n_s+1}^{N_s} \mathcal{D} $ 는 $ H_{\frak{M}}^0(B) $ 의 $ \delta $-중급 성분을 생성하며, $ r = N $ 일 때 이는 랭크 1의 자유 $ A $-모듈로 된다.
• 이중복합체 $ K^\bullet \otimes_A \mathcal{C}^\bullet $ 와 관련된 스펙트럴 시퀀스는 코시울 코호모로지와 국소 코호모로지 사이의 동형을 유도한다.
• 관성 형식의 다중동차 투르비츠 정리가 수립되었으며, 이는 다항식 환의 다중등급 구조와의 연결을 보여준다.
• 특수한 경우 $ r = N $ 에서는 다중 변수 집합에서 동차인 다항식의 결과론에 관한 N.H. Mcoy의 정리의 특수한 경우가 복원된다.
• 조건 $ r = N $ 하에서 영제로 국소 코호모로지 모듈 $ H_{\frak{M}}^0(B)_\delta $ 는 $ A $ 와 동형이며, 생성자는 $ \Delta $ 로서 나타난다.