[논문 리뷰] Monomorphism categories, cotilting theory, and Gorenstein-projective modules

Pu Zhang|arXiv (Cornell University)|2011. 01. 20.

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

한 줄 요약

이 논문은 아르틴 대수에서 단사 사상 범주와 코틸팅 이론 사이의 상호성 관계를 수립하며, 코틸팅 A-모듈 T에 대해 단사 사상 연산자 𝒮ₙ과 왼쪽 수직 연산자 ⊥이 𝒮ₙ(⁁T) = ⁁m(T)를 만족함을 보여준다. 주요 기여는 Tₙ(A)-모듈 m(T)의 표준적 구성으로, 이는 Tₙ(A) 위에서 코hen-프로젝티브 모듈을 𝒮ₙ(⁁A)로 특성화하고, 자기 사상환의 전역 차수를 통한 단사 사상 범주의 유한 유형 기준을 제공한다.

ABSTRACT

The monomorphism category $\mathcal S_n(\mathcal X)$ is introduced, where $\mathcal X$ is a full subcategory of the module category $A$-mod of Artin algebra $A$. The key result is a reciprocity of the monomorphism operator $\mathcal S_n$ and the left perpendicular operator $^\perp$: for a cotilting $A$-module $T$, there is a canonical construction of a cotilting $T_n(A)$-module ${ m \bf m}(T)$, such that $\mathcal S_n(^\perp T) = \ ^\perp { m \bf m}(T)$. As applications, $\mathcal S_n(\mathcal X)$ is a resolving contravariantly finite subcategory in $T_n(A)$-mod with $\hat{\mathcal S_n(\mathcal X)} = T_n(A)$-mod if and only if $\mathcal X$ is a resolving contravariantly finite subcategory in $A$-mod with $\hat{\mathcal X} = A$-mod. For a Gorenstein algebra $A$, the category $T_n(A)\mbox{-}\mathcal Gproj$ of Gorenstein-projective $T_n(A)$-modules can be explicitly determined as $\mathcal S_n(^\perp A)$. Also, self-injective algebras $A$ can be characterized by the property $T_n(A)\mbox{-}\mathcal Gproj = \mathcal S_n(A)$. Using $\mathcal S_n(A)= \ ^\perp { m \bf m}(D(A_A))$, a characterization of $\mathcal S_n(A)$ of finite type is obtained.

연구 동기 및 목표

• Tₙ(A) 위에서 코틸팅 모듈 m(T)의 표준적 구성에 의해 단사 사상 범주와 코틸팅 모듈 사이의 대칭성을 수립하기 위해.
• Tₙ(A)-mod 내에서 단사 사상 범주 𝒮ₙ(𝒳)가 해소 가능하고 반대변환 유한인지 여부를 특성화하기 위해.
• Tₙ(A) 위에서 코헨-프로젝티브 모듈을 단사 사상 범주를 통해 기술하기 위해.
• 이중 생성자들의 자기 사상환의 전역 차수를 이용하여 𝒮ₙ(A)의 유한 표현 유형 기준을 제공하기 위해.

제안 방법

• 모든 성분이 단사 사상이며 코어널이 𝒳에 속하는 사상 범주의 전체 부분범주로 단사 사상 범주 𝒮ₙ(𝒳)를 정의한다.
• 상삼각행렬 형태로 분해된 T의 직접합을 통해 A-모듈 T로부터 Tₙ(A)-모듈 m(T)를 구성한다.
• A-mod와 Tₙ(A)-mod 사이의 여섯 쌍의 수반 쌍대함수를 사용하여 𝒮ₙ(⁁T) = ⁁m(T)의 상호성 관계를 증명한다.
• 반대변환 유한 부분범주 이론과 왼쪽 수직 범주 이론을 활용하여 유한성과 해소 가능성 성질을 연결한다.
• 이중 생성자들의 자기 사상환의 전역 차수를 활용하여 𝒮ₙ(A)의 유한 표현 유형을 특성화한다.
• アウ스랜더-레텐-이론과 하팔의 삼각 동치를 활용하여 유도 범주와 코헨-프로젝티브 모듈 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 Tₙ(A)-mod 내에서 단사 사상 범주 𝒮ₙ(𝒳)가 언제 해소 가능하고 반대변환 유한한가?
• RQ2 Tₙ(A) 위에서 코헨-프로젝티브 모듈은 단사 사상 범주를 통해 어떻게 명시적으로 기술될 수 있는가?
• RQ3 𝒮ₙ(A)의 표현 유형은 A와 Tₙ(A)의 표현 유형과 어떤 관계가 있는가?
• RQ4 언제 𝒮ₙ(A)가 유한 표현 유형을 가진다?
• RQ5 이중 생성자들의 자기 사상환의 전역 차수를 통해 𝒮ₙ(A)의 유한 유형을 특성화할 수 있는가?

주요 결과

• 단사 사상 범주 𝒮ₙ(𝒳)가 Tₙ(A)-mod 내에서 해소 가능하고 반대변환 유한할 조건은 𝒳가 A-mod 내에서 해소 가능하고 반대변환 유한하며 𝔻(𝒳) = A-mod일 때이다.
• 코헨-프로젝티브 대수 A에 대해, Tₙ(A)-모듈의 코헨-프로젝티브 모듈은 정확히 𝒮ₙ(⁁A)로 주어지며, 이를 명시적으로 기술할 수 있다.
• 자기 사상 대수 A에 대해 𝒮ₙ(A) = Tₙ(A)-Gproj를 만족하며, 이는 단사 사상 범주를 통한 자기 사상 대수의 특성화를 제공한다.
• 범주 𝒮ₙ(A)가 유한 유형일 조건은 𝒮ₙ(A)의 이중 생성자 M가 존재하여 gl.dim(End_{Tₙ(A)}(M)) ≤ 2를 만족할 때이다.
• k가 대수적으로 닫혀 있고 A = k[x]/⟨x^t⟩일 때, 𝒮₂(A)는 t ≤ 5이면 유한 유형, t = 6이면 희생 유형, t > 6이면 야수 유형을 가진다.
• 전역 차수 기준에 따르면, Tₙ(A)가 CM-유한일 조건은 코헨-프로젝티브 Tₙ(A)-생성자 M가 존재하여 gl.dim(End_{Tₙ(A)}(M)) ≤ 2를 만족할 때이다.