[논문 리뷰] Strongly $n$-Gorenstein projective, injective and flat modules

Najib Mahdou, Mohammed Tamekkante|ArXiv.org|2009. 04. 26.

Algebraic structures and combinatorial models참고 문헌 4인용 수 3

한 줄 요약

이 논문은 강한 $n$-고렌스타인 프로젝티브, 인젝티브, 플랫 모듈을 도입하고 연구한다—이들은 유한한 고렌스타인 차원을 가진 고렌스타인 프로젝티브, 인젝티브, 플랫 모듈을 더 단순한 특성으로 제공하는 강한 고렌스타인 모듈의 일반화이다. 주요 기여는 짧은 정확한 수열과 토르 급수의 소멸 조건을 통한 $n$-고렌스타인 플랫 모듈의 새로운 특성화이며, 이는 이전의 강한 고렌스타인 모듈에 대한 결과를 확장한다.

ABSTRACT

This paper generalize the idea of the authors in \cite{Bennis and Mahdou1}. Namely, we define and study a particular case of modules with Gorenstein projective, injective, and flat dimension less or equal than $n\geq 0$, which we call, respectively, strongly n-Gorenstein projective, injective and flat modules. These three classes of modules give us a new characterization of the first modules, and they are a generalization of the notions of strongly Gorenstein projective, injective, and flat modules respectively.

연구 동기 및 목표

• 강한 고렌스타인 모듈의 개념을 유한한 고렌스타인 차원으로 높이기.
• 고렌스타인 프로젝티브, 인젝티브, 플랫 차원이 최대 $n$인 모듈에 대한 더 단순하고 효과적인 특성화를 제공하기.
• 코herent 링에서 강한 $n$-고렌스타인 플랫 모듈과 유한한 $n$-프레젠테이션을 가진 모듈 간의 동치 관계를 수립하기.
• 강한 $n$-고렌스타인 모듈의 맥락에서 고렌스타인 플랫 차원과 플랫 차원 간의 관계를 명확히 하기.

제안 방법

• 유한한 플랫 또는 프로젝티브 차원을 가진 모듈의 정확한 수열을 통해 강한 $n$-고렌스타인 프로젝티브, 인젝티브, 플랫 모듈을 정의하기.
• 모든 $i > n$ 및 모든 인젝티브 모듈 $I$에 대해 $Tor^i(M, I) = 0$ 조건을 만족하는 형태의 짧은 정확한 수열 $0 \to M \to X \to M \to 0$를 사용하며, $X$는 유한한 플랫 또는 프로젝티브 차원을 가짐.
• 토르 및 익스텐션 함자에 대한 장정확한 수열을 포함한 호모로지 대수 기법을 사용하여 차원의 상한을 유도하기.
• 이전의 강한 고렌스타인 모듈에 대한 결과를 활용하고 이를 $n$-고렌스타인 설정으로 확장하기.
• 모듈의 $n$-프레젠테이션과 $n$-단계 해상표를 사용하여 프로젝티브 및 플랫 차원 조건을 연결하기.
• 유한 프레젠테이션 조건 하에서 강한 $n$-고렌스타인 플랫 및 프로젝티브 모듈 간의 동치를 증명하기.

실험 결과

연구 질문

• RQ1 어떤 조건이 모듈이 강한 $n$-고렌스타인 플랫임을 특성화하는가?
• RQ2 강한 $n$-고렌스타인 모듈은 유한한 고렌스타인 플랫 차원을 가진 고렌스타인 플랫 모듈과 어떻게 관련되어 있는가?
• RQ3 유한하게 프레젠테이션된 모듈이 강한 $n$-고렌스타인 플랫임과 강한 $n$-고렌스타인 프로젝티브임이 동치가 되는 조건은 무엇인가?
• RQ4 해상표의 성질과 토르 소멸 조건을 사용하여 모듈의 고렌스타인 플랫 차원을 유계로 둘 수 있는가?
• RQ5 $n$-프레젠테이션은 강한 $n$-고렌스타인 모듈을 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 모듈 $M$이 강한 $n$-고렌스타인 플랫임과 동치인 조건은, $fd(F) \leq n$ 이고 모든 $i > n$ 및 모든 인젝티브 모듈 $I$에 대해 $Tor^i(M, I) = 0$인 짧은 정확한 수열 $0 \to M \to F \to M \to 0$가 존재하는 것이다.
• 만약 $M$이 강한 $n$-고렌스타인 플랫이고 $R$가 코herent이면, $M$은 유한한 $(n+1)$-프레젠테이션을 가진다.
• 코herent 링 $R$ 위의 유한하게 프레젠테이션된 모듈 $M$에 대해, $M$이 강한 $n$-고렌스타인 프로젝티브임과 강한 $n$-고렌스타인 플랫임은 동치이다.
• 모듈 $M$이 강한 $n$-고렌스타인 플랫이면 $Gfd(M) \leq n$ 이지만, 그 역은 일반적으로 성립하지 않는다.
• 모듈 $M$이 강한 $n$-고렌스타인 플랫이면, $fd(F) \leq n$ 인 짧은 정확한 수열 $0 \to M \to F \to M \to 0$가 존재하며, 이 수열은 고차 토르 군의 소멸을 유도한다.
• 논문에서 제시된 반례를 통해 강한 $n$-고렌스타인 플랫 모듈의 집합은 $n$-고렌스타인 플랫 모듈의 집합보다 엄밀히 더 크다는 것이 입증되었다.