[논문 리뷰] THE CONCEPTS OF DEPTH OF A PAIR OF IDEALS (I,J) ON MODULES AND (I,J)-COHEN-MACAULAY MODULES

Moharram Aghapournahr, M. Y. Sadeghi|arXiv (Cornell University)|2013. 01. 06.

Commutative Algebra and Its Applications참고 문헌 14인용 수 1

한 줄 요약

이 논문은 국소코homology 모듈을 사용하여 모듈 위에서 두 이상수 (I,J)에 대한 깊이의 개념을 도입함으로써, 고전적 깊이와 Cohen-Macaulay 조건을 일반화한다. (I,J)-국소코homology에 대한 소멸 정리들을 확립하고, (I,J)-Cohen-Macaulay 모듈을 정의하며, 이들이 표준적인 Cohen-Macaulay 모듈과 다름을 보이고, 이러한 모듈에 대해 아르틴성 결과를 증명한다.

ABSTRACT

We introduce a generalization of the notion of depth of an ideal on a module by applying the concept of local cohomology modules with respect to a pair of ideals. Some vanishing theorems are given for this invariant. Vanishing of these kind of local cohomology modules are related to the vanishing of local cohomology modules with respect to an ideal. We show that local cohomology with respect to an arbitrary pair of ideals (I,J) are concerned with the local cohomology with respect to a pair of ideals whose the first ideal is generated by any k-regular sequence in I. We also introduce the concept of (I,J)-Cohen-Macaulay modules as a generalization of the concept of Cohen-Macaulay modules. These kind of modules are different from Cohen-Macaulay modules, as an example shows. Also an artinian result for such modules is given.

연구 동기 및 목표

• 이중 이상수 (I,J)에 대한 깊이의 개념을 도입하여 이상수의 고전적 깊이의 개념을 일반화하기 위해.
• 이중 이상수 (I,J)에 대한 국소코homology 모듈의 소멸 행동을 조사하기 위해.
• Cohen-Macaulay 모듈의 일반화로서 (I,J)-Cohen-Macaulay 모듈을 정의하고 연구하기 위해.
• 이상수 쌍 (I,J)에 대한 국소코homology를 I가 k-정규열로 생성되는 쌍의 경우로 연결하기 위해.
• (I,J)-Cohen-Macaulay 모듈에 대해 아르틴성 성질을 확립하기 위해.

제안 방법

• 깊이의 정의와 그 성질을 연구하기 위해 이중 이상수 (I,J)에 대한 국소코homology 모듈을 중심 도구로 사용한다.
• k-정규열 이론을 적용하여 임의의 이중 이상수 (I,J)의 연구를 I가 이러한 열로 생성되는 경우로 환원한다.
• (I,J)-깊이를 사용하여 고전적 Cohen-Macaulay 조건을 일반화함으로써 (I,J)-Cohen-Macaulay 모듈의 개념을 도입한다.
• 국소코homology 모듈의 소멸 정리를 활용하여 특정 코homological 불변량이 소멸하는 조건을 특성화한다.
• 이상수 쌍 연산에 대한 국소코homology의 행동을 분석하여 구조적 결과를 확립한다.
• (I,J)-Cohen-Macaulay 모듈을 특성화하는 데 핵심적인 구조 불변량으로서 아르틴성 성질을 사용한다.

실험 결과

연구 질문

• RQ1 이중 이상수 (I,J)에 대해 이상수의 고전적 깊이 개념을 어떻게 일반화할 수 있는가?
• RQ2 이중 이상수 (I,J)에 대한 국소코homology 모듈이 언제 소멸하는가?
• RQ3 임의의 이중 이상수 (I,J)에 대한 국소코homology는 I가 k-정규열로 생성되는 경우의 것과 어떻게 관련되는가?
• RQ4 (I,J)-Cohen-Macaulay 모듈은 표준적인 Cohen-Macaulay 모듈과 어떤 방식으로 다를 수 있는가?
• RQ5 (I,J)-Cohen-Macaulay 모듈은 어떤 아르틴성 성질을 만족하는가?

주요 결과

• 모듈의 (I,J)에 대한 깊이는 국소코homology 모듈을 통해 정의되며, 고전적 깊이 개념을 일반화한다.
• (I,J)-국소코homology 모듈에 대한 소멸 정리들이 확립되었으며, 이들의 소멸은 이상수 쌍의 성질과 연결된다.
• 임의의 이중 이상수 (I,J)에 대한 국소코homology는 I가 I 내부의 k-정규열로 생성되는 경우로 환원될 수 있다.
• (I,J)-Cohen-Macaulay 모듈의 개념이 도입되었으며, 이는 Cohen-Macaulay 모듈의 적절한 일반화이며, 예시를 통해 이들이 동치가 아니라는 것을 보여준다.
• (I,J)-Cohen-Macaulay 모듈에 대해 아르틴성 결과가 증명되었으며, 이는 관련 소수들의 유한성 또는 내림 사슬 조건을 시사한다.
• 연구 결과에 따르면, (I,J)-국소코homology 모듈은 단일 이상수에 대한 고전적 국소코homology와 깊이 있게 연결되어 있음을 밝혀냈다.