[논문 리뷰] Complete intersections of dimension zero: variations on a theme of Wiebe

Anne-Marie Simon, Jan R. Strooker|ArXiv.org|2007. 03. 29.

Rings, Modules, and Algebras참고 문헌 8인용 수 3

한 줄 요약

이 논문은 Noetherian 국소환에서 차원이 0인 완전교차의 Wiebe 기준을 재검토하며, C.I.0-이데알(차원이 0인 완전교차의 몫)과 x-좋은 행렬 사이의 대응관계를 수립한다. 이는 C.I.0-이데알의 사슬이 x-좋은 행렬의 행렬 분해와 대응됨을 보이며, 최대이데알의 최소 생성자들에 의해 생성된 원소의 영역이나 주이데알이 C.I.0인지 여부를 판단할 수 있는 기준을 제공한다. 주요 결과로는 이러한 이데알들이 환의 socle의 구조와 정칙 국소환의 몫으로서의 실현 가능성과 관련이 있음을 밝힌다.

ABSTRACT

Wiebe's criterion, which recognizes complete intersections of dimension zero among the class of noetherian local rings, is revisited and exploited in order to provide information on what we call C.I.0-ideals (those such that the corresponding quotient is a complete intersection of dimension zero) and also on chains of C.I.0-ideals. A correspondence is established between C.I.0-ideals and a certain kind of matrices which we call $x$-nice, and a chain of C.I.0-ideals corresponds to a factorization of some $x$-nice matrix. When the local ring $A$ itself is a complete intersection of dimension zero, a C.I.0-ideal is necessarily of the form $(0:bA)$ for some $b\in A$. Some criteria are provided to recognize whether an ideal $(0:bA)$ is C.I.0 or not. When $y$ is a minimal generator of the maximal ideal of $A$, it is also proved that the ideals $yA$ and $(0:yA)$ are C.I.0 simultaneously and that this is the case exactly when the ideal $(0:yA)$ is principal. These C.I.0-ideals of the form $(0:yA)$, $y$ being a minimal generator of the maximal ideal, are investigated. They are of interest because the smallest nonnull C.I.0-ideal in a strict chain of C.I.0-ideals of the maximal length is necessarily of that form, and their existence has some implications for a realization of the ring, i.e. for the way the ring can can be viewed as a quotient of a regular local ring.

연구 동기 및 목표

• Noetherian 국소환에서 차원이 0인 완전교차를 식별하는 데에 Wiebe 기준을 확장하고 재해석하는 것.
• C.I.0-이데알—즉, 몫이 차원이 0인 완전교차인 이데알—을 행렬 이론적 조건을 통해 특성화하는 것.
• C.I.0-이데알의 사슬과 x-좋은 행렬의 분해 사이의 대응관계를 수립하는 것.
• 원소의 영역이나 최대이데알의 최소 생성자들에 의해 생성된 주이데알이 스스로 C.I.0-이데알인지 여부를 판단하는 것.
• 정칙 국소환의 몫으로서 차원이 0인 완전교차 환을 실현하는 데 있어 구조적 의미를 탐색하는 것.

제안 방법

• 지정된 국소환 A 위에서 n×n 행렬 φ가 x·φ의 원소에 속하지 않는 조건을 만족하는 x-좋은 행렬의 개념을 도입한다. 여기서 x는 최대이데알을 생성한다.
• C.I.0-이데알과 x-좋은 행렬 사이에 전단사 대응관계를 설정하며, 행렬의 행렬식이 이데알에 모odulo된 socle를 생성함을 보인다.
• C.I.0-이데알의 포함관계 I₀ ⊂ I₁이 I₀에 속하는 x-좋은 행렬의 분해와 대응됨을 수립한다.
• x-Wiebe 행렬(여기서 x·ψ = 0 이고 det(ψ)가 socle를 생성함)의 구조를 이용하여 A가 C.I.0 환이라면 모든 C.I.0-이데알을 생성함을 보인다.
• 이론을 주이데알 (yA)과 그 영역 (0:yA)에 적용하여, yA가 C.I.0일 필요충분조건이 (0:yA)가 주이데알임을 증명한다.
• 최대이데알의 최소 생성자들을 이용해 C.I.0-이데알의 사슬을 구성하고, 이러한 사슬이 최대 길이에 도달하는 조건을 유도한다.

실험 결과

연구 질문

• RQ1 최대이데알의 최소 생성자인 y에 대해 주이데알 (yA)의 영역 (0:yA)가 C.I.0-이데알이 되는 조건은 무엇인가?
• RQ2 최대이데알의 최소 생성자 y에 의해 생성된 주이데알 (yA)가 C.I.0-이데알이 되는 조건은 무엇인가?
• RQ3 차원이 0인 완전교차 환에서 C.I.0-이데알의 사슬은 x-좋은 행렬의 분해와 어떻게 관련이 있는가?
• RQ4 최소 생성자 y에 대해 (0:yA) 형태의 C.I.0-이데알이 존재할 경우, 환이 정칙 국소환의 몫으로서 실현될 때 어떤 구조적 제약을 가질 수 있는가?
• RQ5 차원이 0인 완전교차 환이 최대 길이를 갖는 엄밀한 포화된 C.I.0-이데알 사슬을 갖는 조건은 무엇인가?

주요 결과

• 최대이데알의 최소 생성자인 y에 대해 주이데알 yA가 C.I.0-이데알이 되는 것은 (0:yA)가 주이데알이 되는 것과 동치이다.
• (0:yA)가 C.I.0-이데알이 되는 것은 (0:yA)가 주이데알이 되는 것과 동치이며, 이는 정확히 yA의 영역이 하나의 원소로 생성될 때 성립한다.
• A가 차원이 0인 완전교차이면, 모든 C.I.0-이데알은 행렬 분해를 통해 x-Wiebe 행렬의 인수로 나타난다.
• A에 대해 x-Wiebe 행렬이 존재하는 것은 A가 차원이 0인 완전교차이면서, 그 행렬식이 socle M^n = (0:M)를 생성하는 것과 동치이다.
• 최대이데알의 최소 생성자 x₁에 대해, x₁A가 C.I.0-이데알이 되는 것은 어떤 최소 생성열 x = (x₁, ..., xₙ)에 대해 (0:x₁A)가 (x₂A + ⋯ + xₙA)에 포함되지 않는 것과 동치이다.
• (0:yA) 형태의 C.I.0-이데알이 최소 생성자 y에 대해 존재할 경우, 환이 정칙 국소환의 몫으로서 실현될 때 특정한 구조적 제약이 발생한다.