[논문 리뷰] Normal Sally modules of rank one

Phuong Tran Thi|arXiv (Cornell University)|2015. 06. 17.

Commutative Algebra and Its Applications참고 문헌 12인용 수 3

한 줄 요약

이 논문은 해석적으로 분리되지 않은 나가타 감소 국소환에서 계수 1 정규 살리 모듈러스를 조사하며, 첫 번째 정규 힐베르트 계수 $\overline{e}_1(I)$에 대한 극한 경계가 $\mathrm{depth}(\overline{\mathcal{G}}) \geq \dim R - 1$임을 증명한다. 이 때 $\overline{\mathcal{G}}$는 세 번째 정규 힐베르트 계수가 0이면 코hen-맥컬레이가 된다. 주요 기여는 관련 준서 링에 대한 모듈러 이론적 및 코homological 조건을 통해 계수 1 정규 살리 모듈러스를 특성화하는 데 있다.

ABSTRACT

In this paper, we explore the structure of the normal Sally modules of rank one with respect to an $m$-primary ideal in a Nagata reduced local ring which is not necessary Cohen-Macaulay. As an application of this result, when the base ring is Cohen-Macaulay analytically unramified, the extremal bound on the first normal Hilbert coefficient leads to the Cohen-Macaulayness of the associated graded rings with respect to a normal filtration.

연구 동기 및 목표

• 비-코헨-맥컬레이 국소환으로 정규 살리 모듈러스 이론을 확장하기 위해.
• 첫 번째 정규 힐베르트 계수 $\overline{e}_1(I)$와 관련 준서 링 $\overline{\mathcal{G}}$의 깊이 사이의 정확한 관계를 설정하기 위해.
• 특히 $\overline{e}_3(I) = 0$일 때 $\overline{\mathcal{G}}$가 코헨-맥컬레이가 되는 조건을 규명하기 위해.
• 조건 $(C_1)$, $(C_2)$, $(C_3)$를 만족하는 감소 나가타 국소환으로 코헨-맥컬레이 링에서의 결과를 일반화하기 위해.

제안 방법

• 확장된 리즈 대수 $\overline{\mathcal{R}}$의 등급 구조와 관련 준서 링 $\overline{\mathcal{G}}$를 분석하기 위해, $T = R[Qt]$이면 포함사상 $\overline{I}T \hookrightarrow \overline{\mathcal{R}}_+(1)$의 코어널러스로 정규 살리 모듈러스 $\overline{S}_{Q}(I)$를 정의한다.
• 모듈러 이론적 성질을 분석하기 위해 확장된 리즈 대수 $\overline{\mathcal{R}}$와 관련 준서 링 $\overline{\mathcal{G}}$의 등급 구조를 사용한다.
• 필터링 $\{\overline{I^n}\}$의 행동을 제어하고 깊이 경계의 타당성을 보장하기 위해 조건 $(C_1)$, $(C_2)$, $(C_3)$를 적용한다.
• 등식 $\overline{\mathcal{R}} = \oplus_{n \geq 0} \overline{I^n}t^n$과 $T$ 위에서의 $\overline{\mathcal{R}}$의 유한 생성성을 활용하여 코homological 제약 조건을 유도한다.
• $\overline{\mathcal{R}}_+(1) \cong \oplus_{n \geq 0} \overline{I^{n+1}}t^n$의 동형을 사용하여 $\overline{S}$를 $\oplus_{n \geq 1} \overline{I^{n+1}} / Q^n \overline{I}$로 표현한다.
• a-항등수와 모듈러 이론적 기준을 통해 리즈 대수와 관련 준서 링의 코헨-맥컬레이 성질에 관한 기존 결과를 활용한다.

실험 결과

연구 질문

• RQ1 $\overline{e}_1(I) = e_0(I) + e_1(Q) - \ell_R(R/\overline{I}) + 1$이 성립할 때, $\overline{S}_{Q}(I)$가 $B = T/\mathfrak{m}T$ 위에서 계수 1 모듈러스가 되는가?
• RQ2 비-코헨-맥컬레이 링에서 $\overline{e}_1(I)$의 극한 값이 $\overline{\mathcal{G}}$의 깊이에 어떤 경계를 유도하는가?
• RQ3 $\overline{e}_3(I) = 0$일 때 $\overline{\mathcal{G}}$가 코헨-맥컬레이가 되는 조건은 무엇인가?
• RQ4 $d \leq 2$인 경우, $\overline{S}_{Q}(I)$의 구조는 $\overline{\mathcal{R}}$과 $\overline{\mathcal{G}}$의 코헨-맥컬레이 성질과 어떻게 관련이 있는가?

주요 결과

• 조건 $(C_1)$, $(C_2)$, $(C_3)$ 하에서, 정규 살리 모듈러스 $\overline{S}_{Q}(I)$는 $B(-q)$와 동형이 되며, 이는 어떤 $q \geq 1$에 대해 성립한다. 이는 $\overline{e}_1(I) = e_0(I) + e_1(Q) - \ell_R(R/\overline{I}) + 1$일 때이다.
• 조건 $(C_1)$, $(C_2)$, $(C_3)$ 하에서 $\overline{e}_1(I) = e_0(I) + e_1(Q) - \ell_R(R/\overline{I}) + 1$이면, 모듈러스 $\overline{S}_{Q}(I)$는 $T$-모듈러스로서 코헨-맥컬레이이다.
• 동일한 계수 조건 하에서 $\mathrm{depth}\,\overline{\mathcal{G}} \geq \max\{d-1, t\}$이 성립하며, 여기서 $t = \mathrm{depth}\,R$이다.
• 만약 $\overline{e}_3(I) = 0$이면서 $\overline{e}_1(I) = e_0(I) - \ell_R(R/\overline{I}) + 1$이면, $\overline{\mathcal{G}}$는 코헨-맥컬레이이다.
• $d=2$인 경우, $\overline{\mathcal{R}}$이 코헨-맥컬레이가 아니어도 $\overline{\mathcal{G}}$가 코헨-맥컬레이가 될 수 있다. 이는 $\dim R=2$, $\mathrm{e}_0(\mathfrak{m})=3$, $\ell_R(\mathfrak{m}^2/Q\mathfrak{m})=1$인 반례를 통해 보여진다.
• 차원 1인 경우, $\overline{\mathcal{G}}$가 코헨-맥컬레이이면 $\overline{\mathcal{R}}$가 코헨-맥컬레이일 필요가 있으며, 이는 $R$가 이산 평가환환이어야 한다.