[논문 리뷰] Sally modules of canonical ideals in dimension one and 2-AGL rings

Tran Do Minh Chau, Shirô Gotô외 2명|arXiv (Cornell University)|2017. 04. 04.

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

한 줄 요약

이 논문은 1차원에서 거의 고렌스타인 국소환의 자연스러운 일반화로 2-AGL 링을 도입하고 연구한다. 이는 캐논칼 아이디얼의 살리 모듈의 질량을 통해 정의되며, 수치적 반군 링에서 자연스럽게 나타나며 살리 모듈의 구조와 도우미 아이디얼을 통해 특성화된다. 특히 몫 $ K_n/R_n $ 는 $ (R_n / \frak{c}_n)^{\oplus(e-2)} $ 와 동형임을 보이며, 여기서 $ e $ 는 다중도이고 $ \frak{c}_n $ 는 $ n $-번째 베론제 부분환의 도우미 아이디얼이다.

ABSTRACT

The notion of 2-AGL ring in dimension one which is a natural generalization of almost Gorenstein local ring is posed in terms of the rank of Sally modules of canonical ideals. The basic theory is developed, investigating also the case where the rings considered are numerical semigroup rings over fields. Examples are explored.

연구 동기 및 목표

• 1차원에서 분석적으로 분리되지 않은 경우를 초월하는 거의 고렌스타인 국소환의 자연스러운 일반화를 개발하는 것.
• 캐논칼 아이디얼의 살리 모듈의 질량을 사용하여 2-AGL 링을 정의하고 연구하는 것.
• 체를 포함한 수치적 반군 링에서 2-AGL 링의 구조를 조사하는 것.
• 도우미 아이디얼과 리스 대수의 모듈 이론적 성질을 통해 2-AGL 링을 특성화하는 것.
• 제어된 살리 모듈 질량을 가진 1차원 코hen-맥컬레이 국소환의 범주로 거의 고렌스타인 링 이론을 확장하는 것.

제안 방법

• 파라미터 아이디얼 $ Q $ 에 대해 캐논칼 아이디얼 $ I $ 의 살리 모듈 $ \mathcal{S}_Q(I) $ 의 질량을 통해 2-AGL 링을 정의하고, 거의 고렌스타인 조건을 일반화한다.
• 리스 대수 $ \mathcal{R}(I) = R[It] $ 와 그 관련 순서환을 사용하여 살리 모듈과 도우미 아이디얼 $ \frak{c} = R:S $ 의 구조를 분석한다.
• 수치적 반군 링 $ R = k[H] $ 의 리스 대수의 $ n $-번째 베론제 부분환 $ R_n $ 을 연구하며, $ n > 0 $ 인 경우에 초점을 맞춘다.
• 분수 아이디얼 $ K_n = R_n[K] $ 를 분석하고, 여기서 $ K = I/a $ 이며, $ a $ 는 파라미터이다. 이에 따라 $ \ell_{R_n}(K_n/R_n) $ 의 길이를 계산하여 모듈 구조를 규명한다.
• 필터링 $ K_n = L_0 \supseteq L_1 \supseteq \cdots \supseteq L_n = R_n $ 을 사용하여 $ K_n/R_n $ 의 길이를 계산하고, 이가 $ n(e-2) $ 와 같음을 보인다.
• 등급 성분과 최대 아이디얼 $ \mathfrak{m}_n $ 의 작용을 분석하여 $ R_n $-모듈로서 $ K_n/R_n \cong (R_n / \frak{c}_n)^{\oplus(e-2)} $ 를 증명한다.

실험 결과

연구 질문

• RQ1 분석적으로 분리된 링에도 적용 가능한 1차원에서 거의 고렌스타인 링의 자연스러운 일반화는 무엇인가?
• RQ2 캐논칼 아이디얼의 살리 모듈의 질량이 1차원 코hen-맥컬레이 국소환의 구조를 어떻게 특성화하는가?
• RQ3 캐논칼 아이디얼의 살리 모듈이 질량 1 또는 2를 가질 조건은 무엇이며, 이는 링의 구조에 어떤 의미를 갖는가?
• RQ4 도우미 아이디얼과 수치적 반군 링의 리스 대수는 2-AGL 성질을 어떻게 반영하는가?
• RQ5 수치적 반군 링의 베론제 부분환 $ R_n $ 에서 $ K_n/R_n $ 의 모듈 이론적 구조는 무엇인가?

주요 결과

• 모든 $ 0 < e \in H $ 에 대해 $ R_n $ 은 2-AGL 링이며, 여기서 $ e $ 는 수치적 반군 $ H $ 의 다중도이고 $ R_n $ 은 $ R = k[H] $ 의 $ n $-번째 베론제 부분환이다.
• 길이 $ \ell_{R_n}(K_n/R_n) = n(e-2) $ 이며, 여기서 $ K_n = R_n[K] $ 이고 $ K = I/a $ 이며, $ I $ 는 캐논칼 아이디얼이고 $ a $ 는 파라미터이다.
• 몫 $ K_n/R_n $ 은 $ R_n $-모듈로서 $ (R_n / \frak{c}_n)^{\oplus(e-2)} $ 와 동형이며, 여기서 $ \frak{c}_n $ 은 $ R_n $ 의 도우미이다.
• 아이디얼 $ I $ 에 대해 파라미터 아이디얼 $ Q $ 에 대한 살리 모듈의 질량이 1인 것은 $ R $ 이 거의 고렌스타인일 때이고, 질량이 2인 것은 $ R $ 이 2-AGL 이지만 거의 고렌스타인이 아닐 때이다.
• $ R_n $ 이 2-AGL 링으로서의 구조는 필터링 $ L_q = \mathfrak{m}_n^q K_n + R_n $ 으로 특성화되며, 모든 $ 0 \leq q < n $ 에 대해 $ \ell_k(L_q / L_{q+1}) = e-2 $ 이다.
• 도우미 $ \frak{c}_n = (t^{h_i + ne} \mid 0 \leq i \leq e-1)R_n $ 이며, $ \ell_{R_n}(R_n / \frak{c}_n) = n $ 이며, 이는 $ K_n/R_n \cong (R_n / \frak{c}_n)^{\oplus(e-2)} $ 의 동형을 뒷받침한다.