[논문 리뷰] Universal localisations of hereditary rings

Aidan Schofield|ArXiv.org|2007. 08. 02.

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

한 줄 요약

이 논문은 유한 생성 프로젝티브 모듈의 잘 배치된 부분분류를 통해 약한 환의 모든 일반화된 국소화를 특성화하며, 국소화된 환 위의 유한 생성 유한 표현 바운드 모듈의 범주가 원래 환의 바운드 모듈의 전형적 부분범주와 동치임을 보여준다. 또한, 원래 환의 유한 표현 모듈의 부분분류를 통해 국소화된 환 위의 유한 생성 프로젝티브 모듈의 아벨 모노이드를 기술함으로써, 기존의 행렬 기반 접근법을 일반화하고 명확화하는 모듈 이론적 프레임워크를 제공한다.

ABSTRACT

We describe all possible universal localisations of a hereditary ring in terms of suitable full subcategories of the category of finitely presented modules. For these universal localisations we then identify the category of finitely presented bound modules over the universal localisation as being equivalent to a certain full subcategory of the category of finitely presented bound modules over the original ring. We also describe the abelian monoid of finitely generated projective modules over the universal localisation.

연구 동기 및 목표

• 결함이 없는 환의 모든 일반화된 국소화를 유한 표현 모듈의 잘 배치된 부분분류를 사용하여 특성화하는 것.
• 일반화된 국소화된 환 위의 유한 표현 바운드 모듈의 범주가 원래 환의 바운드 모듈의 전형적 부분범주와 동치임을 설명하는 것.
• 일반화된 국소화된 환 위의 유한 생성 프로젝티브 모듈의 이소클래스 아벨 모노이드를 원래 환의 유한 표현 모듈의 부분분류를 통해 기술하는 것.
• 코른(Cohn)과 다른 이들의 firs(free ideal ring)에 대한 일반화된 국소화 작업을 행렬이 아닌 모듈 범주에 초점을 맞춰 일반화하고 명확화하는 것.
• 특히 수직 범주로부터 유도되는 비가환 결함이 없는 환에서의 일반화된 국소화 위의 프로젝티브 모듈을 이해하기 위한 프레임워크를 제공하는 것.

제안 방법

• 논문은 결함이 없는 환 위의 유한 표현 모듈의 범주, 즉 fpmod(R)를 분석의 기초 구조로 사용한다.
• ‘잘 배치된 부분분류’—fpmod(R)의 정확한 아벨 부분범주로, 근사, 이미지, 코어널, 확장에 대해 닫혀 있는 것—를 도입하여 일반화된 국소화를 매개변수화하는 데 사용한다.
• 유한 생성 프로젝티브 모듈 간의 사상 집합 Σ를 통해 일반화된 국소화 RΣ를 구성하며, 핵심 통찰은 임의의 이러한 국소화가 오직 단사 사상만을 사용해 정의된 것과 동형임을 보여준다.
• RΣ 위의 유한 표현 바운드 모듈의 범주는 RΣ-자명한 모듈의 수직 범주로 정의되는 fpmod(R)의 전형적 부분범주와 동치임을 보여준다.
• RΣ 위의 유한 생성 프로젝티브 모듈의 아벨 모노이드는 fpmod(R)의 부분범주를 통해 기술되며, 이는 프로젝티브 모듈의 분류를 모듈 이론적 자료를 통해 가능하게 한다.
• 유한 길이 범주 E의 모듈 길이에 대해 귀납법을 적용하여, RΣ 위의 동형 프로젝티브 모듈은 반드시 S-관련되어야 한다는 것을 증명한다. 여기서 S는 E의 단순 객체들의 집합이다.

실험 결과

연구 질문

• RQ1 결함이 없는 환의 모든 일반화된 국소화는 어떻게 그 유한 표현 모듈의 부분분류를 통해 매개변수화될 수 있는가?
• RQ2 결함이 없는 환의 일반화된 국소화 위의 유한 표현 바운드 모듈의 범주는 어떤 구조를 갖는가?
• RQ3 일반화된 국소화된 환 위의 유한 생성 프로젝티브 모듈의 아벨 모노이드는 원래 환의 모듈 범주와 어떻게 관련되어 있는가?
• RQ4 상대적 프로젝티브 범주 relproj(E⊥)의 두 늦은 객체가 R_E와 텐서곱을 취한 후 동형이 되는 조건은 무엇인가?
• RQ5 S-관련성은 R_E 위의 프로젝티브 모듈의 이소클래스를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 모든 일반화된 국소화된 환은 fpmod(R)의 잘 배치된 부분분류—즉, 확장에 대해 닫혀 있는 전형적 정확한 아벨 부분범주—에 의해 매개변수화된다.
• 일반화된 국소화 RΣ 위의 유한 표현 바운드 모듈의 범주는 RΣ-자명한 모듈과 수직인 모듈의 범주로 정의되는 fpmod(R)의 전형적 부분범주와 동치이다.
• RΣ 위의 유한 생성 프로젝티브 모듈의 이소클래스 아벨 모노이드는 fpmod(R)의 특정 부분범주의 코히어런트 군(Grothendieck group)과 동형이며, 이는 국소화된 환 위의 프로젝티브 모듈에 대한 모듈 이론적 기술을 제공한다.
• 모듈의 길이가 유한인 부분범주 E에 대해 정의된 일반화된 국소화 R_E에 대해, relproj(E⊥)의 두 늦은 객체 A와 B는 A⊗R_E ≅ B⊗R_E이 성립함과 동시에 S-관련되어야 하며, 여기서 S는 E의 단순 객체들의 집합이다. 이는 프로젝티브 모듈이 불가약한 경우에 한하여 성립한다.
• 만약 A⊗R_E가 R_E 위의 불가약한 유한 생성 프로젝티브 모듈이라면, A⊗R_E ≅ B⊗R_E일 때 항상 A와 B는 S-관련되어야 하며, 이는 부분모듈 및 몫의 구조에 기반한 동형의 결정적 기준을 제공한다.
• 논문은 어떤 결함이 없는 환의 일반화된 국소화도, 유한 생성 프로젝티브 모듈 간의 단사 사상 집합을 통해 실현될 수 있음을 보여주며, 이는 이상을 인위적으로 나누는 것을 피할 수 있음을 의미하여 구성 과정을 단순화한다.