[논문 리뷰] (FC)-Sequences, Mixed Multiplicities and Reductions of Modules

R. Callejas-Bedregal, V. H. Jorge Pérez|arXiv (Cornell University)|2011. 09. 23.

Commutative Algebra and Its Applications참고 문헌 13인용 수 4

한 줄 요약

이 논문은 Noether 국소환 위의 자유 가군의 임의의 부분가군을 연구하기 위해 표준적으로 등급이 매겨진 대수의 맥락에서 (FC)-열과 약한-(FC)-열을 도입한다. 혼합 다중성과 줄임을 다루며, (FC)-열에 의해 생성된 모듈의 Buchsbaum-Rim 다중성과 관련지어 혼합 다중성을 특성화한다. 또한, 혼합 다중성이 0이 아닐 조건이 해당 이상의 높이에서의 지수의 총 차수에 의해 제한됨을 증명한다.

ABSTRACT

Let $(R, \mathfrak m)$ be a Noetherian local ring. In this work we use the notion of (FC)-sequences, as defined in \cite{perez-bedregal1}, to present some results concerning reductions and the positivity of mixed multiplicities of a finite collection of arbitrary submodules of $R^p.$ We also investigate the length of maximal (FC)-sequences. We actually work in the more general context of standard graded $R$-algebras.

연구 동기 및 목표

• Noether 국소환 위의 자유 가군의 임의의 부분가군에 대해 혼합 다중성과 줄임의 이론을 일반화한다.
• 기존에 이상에 대해 개발된 (FC)-열을 모듈로 확장하여 혼합 다중성을 특성화할 수 있도록 한다.
• 등급 대수 구조에서 부분가군의 줄임과 관련된 최대 (FC)-열의 길이를 조사한다.
• 혼합 다중성이 0이 되거나 0이 아닌 조건을 특정하며, 특히 이상의 높이와 모듈의 지지부와의 관계를 규명한다.

제안 방법

• 관심 있는 부분가군이 포함된 표준 등급 $R$-대수 $G = \bigoplus G_n$의 프레임워크를 사용한다.
• 등급 $G$-모듈 $M$에 대해 $G_1$의 $R$-부분가군의 가족에 대해 (FC)-열과 약한-(FC)-열을 정의한다.
• Buchsbaum-Rim 다중성 이론을 적용하여 혼합 다중성을 (FC)-열에 의해 생성된 모듈의 다중성과 연결한다.
• 부분가군 $E \subset R^p$의 Rees 대수 ${\rm \bf R}(E)$를 사용하여 모듈 이론 문제를 등급 대수 문제로 변환한다.
• 이상 $\mathcal{I} = \text{ideal generated by } I_1 \cdots I_q$와 그의 소거자(annihilator)를 사용하여 관련된 지지부와 차원 조건을 정의한다.
• 등급 대수의 결과를 $M = G \otimes_R N$의 동형과 $h \in E_i$와 $w(h) \in G_1$ 사이의 대응을 통해 모듈 구조로 다시 번역한다.

실험 결과

연구 질문

• RQ1 어떻게 (FC)-열을 이상에서 자유 가군의 임의의 부분가군으로 일반화하여 혼합 다중성을 연구할 수 있는가?
• RQ2 등급 대수 구조에서 부분가군의 줄임과 관련된 최대 (FC)-열의 길이와의 관계는 무엇인가?
• RQ3 어떤 조건에서 부분가군의 가족에 대한 혼합 다중성이 0이 되거나 0이 아닌가?
• RQ4 부분가군의 곱으로 생성된 이상 $\mathcal{I}$의 높이와 혼합 다중성의 0이 아닌 성질 사이의 관계는 무엇인가?
• RQ5 Buchsbaum-Rim 다중성은 (FC)-열을 통해 모듈의 혼합 다중성을 계산하거나 특성화하는 데 사용될 수 있는가?

주요 결과

• 혼합 다중성 $e^j(F^{[k_0]}, E_1^{[k_1]}, \dots, E_q^{[k_q]}; N)$은 Buchsbaum-Rim 다중성 $e^j_{BR}(J, \overline{G})$와 같으며, 여기서 $\overline{G} = G/(x_1, \dots, x_t)G$이고 $x_1, \dots, x_t$는 길이 $t = |\mathbf{k}|$의 약한-(FC)-열이다.
• 혼합 다중성 $e^j(F^{[k_0]}, E_1^{[k_1]}, \dots, E_q^{[k_q]}; N)$은 $|\mathbf{k}| \leq \text{ht}(\mathcal{I}) - 1$일 때에만 0이 아님을 보여준다. 여기서 $\mathcal{I}$는 $I_1 \cdots I_q$로 생성된 이상이다.
• $(J, I; M)$에 대해 $I_1 \cup \cdots \cup I_q$ 내의 최대 약한-(FC)-열의 길이는 $s(I)$와 같으며, 이는 $I_1, \dots, I_q$의 공동 줄임의 최소 생성수이다.
• 만약 $\text{ht}(\mathcal{I}) = s(I)$이면, $e^j(F^{[k_0]}, E_1^{[k_1]}, \dots, E_q^{[k_q]}; N) \neq 0$이 되는 것은 $|\mathbf{k}| \leq \text{ht}(\mathcal{I}) - 1$일 때에만 성립한다.
• 혼합 다중성이 0이 아니라는 것은 $I_1 \cup \cdots \cup I_q$ 내에 길이 $|\mathbf{k}|$의 약한-(FC)-열이 존재하는 것과 동치이다.
• 모듈 $M/(0_M:\mathcal{I}^\infty)$의 지지부 차원은 $\dim(M/(0_M:\mathcal{I}^\infty)) = \dim(\text{Proj}(G)) - s(I)$를 만족하며, 이는 지지부 차원이 최대 약한-(FC)-열의 길이와 연결됨을 보여준다.