[논문 리뷰] Rings whose ideals are isomorphic to trace ideals

Toshinori Kobayashi, Ryo Takahashi|arXiv (Cornell University)|2018. 07. 01.

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

한 줄 요약

이 논문은 모든 이상이 추적 이상과 동형인 가환 Noether 국소환의 완전한 분류를 제공한다. 이러한 링은 정확히 아르틴 Gorenstein 링, 다중수 2 이하인 1차원 초평면 또는 유일분해환임을 규명하며, Lindo와 Pande가 제기한 질문을 해결한다. 결과는 국소 링의 다양한 차원에서 쌍대성 이론, 추적 이상 성질 및 깊이 추론을 통해 도출된다.

ABSTRACT

Let R be a commutative noetherian ring. Lindo and Pande have recently posed the question asking when every ideal of R is isomorphic to some trace ideal of R. This paper studies this question and gives several answers. In particular, a complete answer is given in the case where R is local: it is proved in this paper that every ideal of R is isomorphic to a trace ideal if and only if R is an artinian Gorenstein ring, or a 1-dimensional hypersurface with multiplicity at most 2, or a unique factorization domain.

연구 동기 및 목표

• 가환 Noether 국소 링에서 모든 이상이 추적 이상과 동형이 되는 조건에 관해 Lindo와 Pande가 제기한 질문을 해결하기 위해.
• 특히 낮은 깊이 및 고차원 설정에서 Lindo–Pande 조건을 만족하는 국소 링을 특성화하기 위해.
• 국소 링에서 추적 이상, 계승성, Gorenstein/초평면 특이점 간의 관계를 명확히 하기 위해.
• Lindo–Pande 조건이 완비화에 따라 항상 상승하지는 않음을 입증하기 위해, 특히 깊이 ≥2 링에서의 경우를 중심으로.
• 모든 이상이 추적 이상과 동형이 되는 국소 링의 완전한 특성화를 제공하여 차원과 특이성 유형에 관계없이 모든 케이스를 통합하기 위해.

제안 방법

• 쌍대성 이론과 $R$-쌍대 함자 $(-)^*$를 사용하여, $\lambda_M^R: M^* \otimes_R M \to R$의 사상으로서 $\operatorname{tr}_R M$을 분석함으로써 추적 이상을 분석한다.
• 이상과 모듈러에 대해 추적 이상 구성법을 적용하여, 전체 몰수환 $Q$에서의 몰수와 소거자들을 이용해 이상이 추적 이상과 동형이 되는 조건을 조사한다.
• 깊이 추론과 $\mathrm{(S_2)}$ 조건을 활용하여, 특히 높이 1 및 높이 0 소수 이상에 초점을 맞춰 깊이 ≥2 링에서 이상의 구조를 분석한다.
• 크룰의 교차 정리와 몰수 모듈러를 포함하는 정확한 수열을 사용하여, 이상의 구조에 대한 가정이 실패할 경우 모순을 도출하며, 특히 깊이 ≥2 설정에서의 경우를 다룬다.
• 추적 이상이 모듈러 동형에 대해 보존된다는 사실을 활용하여 문제를 주 이상과 그 추적 성질을 연구하는 것으로 단순화한다.
• 완비화와 Lindo–Pande 조건 하에서의 행동을 분석하여, 특히 깊이 ≥2 링에서 조건이 항상 완비화에 따라 상승하지 않는다는 것을 보여주는 반례를 구성한다.

실험 결과

연구 질문

• RQ1 가환 Noether 국소 링에서 모든 이상이 추적 이상과 동형이 되는 경우는 언제인가?
• RQ2 특히 깊이 0, 1 및 고차원에서 모든 이상이 추적 이상과 동형이 되는 국소 링은 어떻게 특성화되는가?
• RQ3 깊이 ≥2 링에서 Lindo–Pande 조건은 완비화에 대해 어떻게 행동하는가?
• RQ4 계승성과 모든 이상이 추적 이상과 동형이 되는 성질 간의 관계는 무엇인가?
• RQ5 어떤 특이성(예: 초평면, $A_n$ 특이성)이 Lindo–Pande 조건을 만족하는가?

주요 결과

• 가환 Noether 국소 링이 Lindo–Pande 조건(모든 이상이 추적 이상과 동형)을 만족하는 것은 정확히 아르틴 Gorenstein 링, 다중수 2 이하인 1차원 초평면 또는 유일분해환일 때이다.
• 깊이 0 링에서는 Lindo–Pande 조건이 아르틴 Gorenstein 링임과 동치이며, 모든 다섯 가지 조건(추적 이상, 동형인 추적 이상 등)이 서로 동치이다.
• 깊이 1 링에서는 Lindo–Pande 조건이 성립하는 것은 정확히 다중수 ≤2인 1차원 초평면이거나, 그 완비화가 $0 \leq n \leq \infty$에 대해 $(A_n)$-특이성을 가지며, 대수적으로 닫힌 잔여체를 가진 특수한 경우에 대해 완전한 동치가 성립한다.
• 모든 최대 이상의 높이 ≥2인 링에서는 모든 이상이 추적 이상과 동형이 되는 것이 유일분해환의 곱인 것과 동치이다.
• Lindo–Pande 조건은 완비화에 따라 항상 상승하지는 않는다: 깊이 2인 계승성 국소 링 중에는 완비화가 계승적이지 않아 조건을 만족하지 못하는 예가 존재한다.
• 논문은 2차원 계승성 국소 링이 캐논리컬 모듈러를 갖지 않는 Ogoma의 예를 사용하여 반례를 구성하였으며, 이에 따라 $R$은 Lindo–Pande 조건을 만족하지만 $\widehat{R}$은 그렇지 않음을 보였다.