[논문 리뷰] Categories of imaginaries for definable additive categories

Mike Prest|arXiv (Cornell University)|2012. 02. 02.

Rings, Modules, and Algebras참고 문헌 11인용 수 7

한 줄 요약

이 논문은 체계적 소형 전가군 범주 위에서 pp-상상적 대상의 모형 이론적 프레임워크를 일반화하며, 평탄한 왼쪽 ℛ-모듈의 이론에 대해 𝒜(ℛ)의 pp-상상적 대상 범주가 프로젝티브 ℛ-모듈로 생성된 정의 가능 부분범주에 대한 함자 범주와 동치임을 확립한다. 주요 기여는 𝒜(ℛ)이 평탄한 모듈에 대한 pp-공식을 분류하고, 반대 범주를 통해 절대 순수한 모듈과의 쌍대성을 실현하며, 고전적인 결과를 링에서 링로이드로 확장한다는 점이다.

ABSTRACT

We develop some aspects of the model theory of additive structures, with particular emphasis on the abelian category of pp-imaginaries.

연구 동기 및 목표

• 스켈레탈리 소인 전가군 범주(링로이드)로 모듈 이론의 고전적 결과를 확장하기 위해, 링에서 pp-상상적 대상의 모형 이론적 프레임워크를 일반화한다.
• 프로젝티브 ℛ-모듈로 생성된 정의 가능 부분범주의 함자 범주로 표현된 평탄한 왼쪽 ℛ-모듈 이론에 대한 pp-상상적 대상의 범주 𝒜(ℛ)를 함자 범주와 세르 부분범주를 통해 기술한다.
• 반대 범주 𝒜(ℛ)ᵒᵖ 를 통해 평탄한 모듈에 대한 pp-상상적 대상의 범주와 절대 순수한 모듈에 대한 pp-상상적 대상의 범주 사이의 쌍대성을 확립한다.
• ℛ 가 오른쪽 협응하지 않을 경우에도 𝒜(ℛ) 가 프로젝티브 ℛ-모듈로 생성된 정의 가능 부분범주의 함자 범주와 동치임을 보인다.
• 비협응한 경우에 pp-상상적 대상, 유한 생성 모듈, 지그러르 스펙트럼 간의 관계를 명확히 한다.

제안 방법

• 모르의 일반화로서, 사상이 아벨 군 준동형이며 합성 연산이 이중선형인 전가군 범주를 사용한다.
• 왼쪽 및 오른쪽 ℛ-모듈을 ℛ 또는 ℛᵒᵖ 에서 아벨 군의 범주로의 가군 함자로 정의한다.
• 표현 가능 함자에 대해 0이 되는 함자들의 세르 부분범주를 통해 ℛ 위의 아벨 함자 범주를 몫으로 취해 범주 𝒜(ℛ) 를 구성한다.
• 세르 부분범주와 pp-상상적 대상의 세르 부분범주 간 자연적인 전단사 대응을 적용한다.
• pp-공식과 pp-쌍을 사용하여 정의 가능 부분범주를 정의하고, 모듈 내의 해집합을 특성화한다.
• 함자 Ex(−, Ab) 를 통해 쌍대성을 확립하여 Ex(𝒜(ℛ)ᵒᵖ, Ab) ≅ ⟨Abs-ℛ⟩, 즉 절대 순수한 오른쪽 ℛ-모듈의 정의 가능 범주임을 보인다.

실험 결과

연구 질문

• RQ1 스켈레탈리 소인 전가군 범주(링로이드) 위에서 모듈에 대한 고전적 모형 이론적 프레임워크인 pp-상상적 대상을 링에서 어떻게 일반화할 수 있는가?
• RQ2 ℛ 이 반드시 오른쪽 협응하지 않을 경우, 평탄한 왼쪽 ℛ-모듈 이론에 대한 pp-상상적 대상의 범주 구조는 어떻게 되는가?
• RQ3 전가군 범주에서 평탄한 모듈과 절대 순수한 모듈 간의 쌍대성은 pp-상상적 대상의 범주에서 어떻게 나타나는가?
• RQ4 범주 𝒜(ℛ) 과 프로젝티브 ℛ-모듈로 생성된 정의 가능 부분범주 간의 관계는 무엇인가?
• RQ5 𝒜(ℛ) 가 mod-ℛ 와 일치하는 조건은 무엇이며, 𝒜(ℛ) 와 𝒜(ℛᵒᵖ) 사이의 쌍대성은 언제 실패하는가?

주요 결과

• 평탄한 왼쪽 ℛ-모듈에 대한 pp-상상적 대상의 범주 𝒜(ℛ) 는 프로젝티브 ℛ-모듈로 생성된 정의 가능 부분범주의 함자 범주와 동치이며, 즉 𝒜(ℛ) ≅ ⟨ℛ-Flat⟩ 이다.
• ℛ 이 오른쪽 협응할 경우, 𝒜(ℛ) ≅ mod-ℛ 이며, 평탄한 왼쪽 ℛ-모듈에 대한 pp-상상적 대상의 범주는 유한 생성 오른쪽 ℛ-모듈의 범주와 동치이다.
• 반대 범주 𝒜(ℛ)ᵒᵖ 는 절대 순수한 오른쪽 ℛ-모듈 이론에 대한 pp-상상적 대상의 범주와 동치이며, 즉 Ex(𝒜(ℛ)ᵒᵖ, Ab) ≅ ⟨Abs-ℛ⟩ 이다.
• 범주 𝒜(ℛ) 는 왼쪽 ℛ-모듈에 대한 pp-쌍 ϕ/ψ 에 대해 ϕ(ℛ)/ψ(ℛ) 형태의 오른쪽 ℛ-모듈을 모두 분류한다.
• Ab(ℛ) 에서 Mod-ℛ 로의 평가 함자의 핵은 세르 부분범주 𝒻𝒻ℛ = {F ∈ Ab(ℛ) : F(ℛ) = 0} 이며, 따라서 𝒜(ℛ) ≅ Ab(ℛ)/𝒻𝒻ℛ 이다.
• 예를 들어 ℤ 와 같은 링 R 에 대해 𝒜(Rᵒᵖ) 가 일반적으로 𝒜(R)ᵒᵖ 와 동치가 되지 않는 경우가 존재하므로, 이 구성이 일반적으로 스스로 쌍대적이지 않음을 보여준다.