[논문 리뷰] Correspondence between trace ideals and birational extensions with application to the analysis of the Gorenstein property of rings

Shirô Gotô, Ryotaro Isobe외 1명|arXiv (Cornell University)|2018. 02. 23.

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

한 줄 요약

이 논문은 가환환에서 추적 이상, 안정 이상, 그리고 유리형 확장 사이의 대응을 설정하며, 특히 일차원 고페르스타인 링에 중점을 둔다. 이는, 한 개의 극단적 경우를 제외하고, 추적 이상에서 유리형 확장으로의 대응 ρ의 전사성은 일차원 코hen-맥컬레이 국소환에서 고페르스타인 성질을 특징짓는다는 것을 증명한다.

ABSTRACT

Over an arbitrary commutative ring, correspondences among three sets, the set of trace ideals, the set of stable ideals, and the set of birational extensions of the base ring, are studied. The correspondences are well-behaved, if the base ring is a Gorenstein ring of dimension one. It is shown that with one extremal exception, the surjectivity of one of the correspondences characterizes the Gorenstein property of the base ring, provided it is a Cohen-Macaulay local ring of dimension one. Over a commutative Noetherian ring, a characterization of modules in which every submodule is a trace module is given. The notion of anti-stable rings is introduced, exploring their basic properties.

연구 동기 및 목표

• 가환환에서 추적 이상, 안정 이상, 그리고 유리형 확장 간의 구조적 관계를 조사한다.
• 추적 이상과 유리형 확장 사이의 자연스러운 대응 ρ의 전사성에 의해 링의 고페르스타인 성질을 특징짓는다.
• 모든 이상이 그 추적과 동형인 링인 반-안정 링의 개념을 도입하고 연구한다.
• 특히 노에테르 링에서 모듈의 모든 부분모듈이 추적 모듈이 되는 조건을 분석한다.
• 일차원 코hen-맥컬레이 링에서 추적 이상 대응을 통해 고페르스타인 성질을 특징짓는 기준을 설정한다.

제안 방법

• R-모듈 M과 X에 대해 평가 사상 τ_X(M) = Im(τ_{M,X})를 통해 추적 이상을 정의한다.
• 세 집합을 도입한다: 𝒳_R (정규 추적 이상), 𝒴_R (유한 R-모듈의 구조를 가진 유리형 확장), 그리고 𝒁_R (I² = aI 를 만족하는 이상 I, a ∈ I).
• 자연스러운 대응을 설정한다: ξ: 𝒁_R → 𝒴_R (I ↦ I:I), η: 𝒴_R → 𝒳_R (A ↦ R:A), 그리고 ρ: 𝒳_R → 𝒴_R (I ↦ I:I).
• R가 일차원 고페르스타인 링일 경우, ρ ∘ η = id_{𝒴_R} 및 η ∘ ρ = id_{𝒳_R} 를 증명하여 대응이 전단사임을 보인다.
• 대응 ρ를 사용하여 고페르스타인 성질을 특징짓는다: ρ의 전사성은 R이 고페르스타인임을 뜻하며, 한 개의 극단적 경우를 제외한다.
• 모든 이상이 그 추적과 동형인 링을 반-안정 링이라 정의하고, 이러한 링이 고페르스타인이며, 모든 높이-일차 소수 이상 p에 대해 e(R_p) ≤ 2임을 보인다.

실험 결과

연구 질문

• RQ1 대응 ρ: 추적 이상 → 유리형 확장이 언제 전사이며, 이는 링의 구조에 어떤 의미를 갖는가?
• RQ2 일차원 고페르스타인 링에서 추적 이상, 안정 이상, 유리형 확장 간의 대응은 어떻게 행동하는가?
• RQ3 모듈의 모든 부분모듈이 추적 모듈이 되는 링은 무엇으로 특징지어지는가?
• RQ4 반-안정 링과 고페르스타인 성질 사이의 관계는 무엇인가?
• RQ5 지배적 소수 이상에서 국소 링의 다중도 e(R_p) ≤ 2가 되는 조건은 무엇이며, 이는 반-안정성과 어떻게 관련되는가?

주요 결과

• 대응 ρ: 𝒳_R → 𝒴_R 가 전단사임은 R이 일차원 고페르스타인 링일 때이고, 한 개의 극단적 경우를 제외하고는 유일하다.
• ρ의 전사성은 코hen-맥컬레이 국소환에서 일차원 링에서 고페르스타인 성질을 특징짓는다. 유일한 반례를 제외하고는 성립한다.
• 노에테르 링 R이 반-안정 링이 되는 것은 모든 이상 I ∈ 𝒻_R 가 τ_R(I)와 동형일 때이며, 이러한 링은 모든 p ∈ Ht₁(R)에 대해 e(R_p) ≤ 2를 만족하는 고페르스타인 링이다.
• R가 반-안정 링이면서 국소적일 경우, R는 강력 반-안정 링이 되며, 이는 모든 이상이 모듈의 동형을 통해 그 추적과 동형이 된다는 뜻이다.
• 모든 최대 이상 M에 대해 dim R_M = 1인 코hen-맥컬레이 링 R이 반-안정 링일 경우, R는 안정 링이 된다.
• 반-안정 링이면서 (S₁) 조건을 만족할 경우, 모든 높이-일차 소수 이상 p에 대해 e(R_p) ≤ 2이며, 이 조건은 반-안정성에 필수적이다.