[논문 리뷰] Homological algebra for commutative monoids

Jaret Flores|arXiv (Cornell University)|2015. 01. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 6

한 줄 요약

이 논문은 체인 조건, 정규화, 약수 이론과 같은 기초 개념을 도입함으로써 가환 모노이드에 대한 호모로지 대수를 개발하고, K-이론과 확장 이론 분야의 핵심 결과를 확립한다. G₀에 대한 디비산스 정리, 랭크에 의한 프로젝티브 A-셋의 분류, 그리고 이중화살 복합체와 단순형 A-셋 사이의 가환관계를 구성함으로써 정규화가 모노이드가 아니라 모노이드 스킴이 될 수 있음을 보여준다.

ABSTRACT

We first study commutative, pointed monoids providing basic definitions and results in a manner similar commutative ring theory. Included are results on chain conditions, primary decomposition as well as normalization for a special class of monoids which lead to a study monoid schemes, divisors, Picard groups and class groups. It is shown that the normalization of a monoid need not be a monoid, but possibly a monoid scheme. After giving the definition of, and basic results for, A-sets, we classify projective A-sets and show they are completely determine by their rank. Subsequently, for a monoid A, we compute K_0 and K_1 and prove the Devissage Theorem for G_0 . With the definition of short exact sequence for A-sets in hand, we describe the set Ext(X,Y ) of extensions for A-sets X,Y and classify the set of square-zero extensions of a monoid A by an A-set X using the Hochschild cosimplicial set. We also examine the projective model structure on simplicial A-sets showcasing the difficulties involved in computing homotopy groups as well as determining the derived category for a monoid. The author defines the category Da(C) of double-arrow complexes for a class of non-abelian categories C and, in the case of A-sets, shows an adjunction with the category of simplicial A-sets.

연구 동기 및 목표

• 가환 포인트가 있는 모노이드에 대해 가환환 이론과 유사한 호모로지 프레임워크를 개발하기 위해.
• 모노이드의 정규화를 조사하고, 그것이 모노이드가 아니라 모노이드 스킴이 될 수 있음을 보여주기 위해.
• 프로젝티브 A-셋을 랭크에 따라 분류하고, 모노이드의 K₀ 및 K₁를 계산하기 위해.
• 호흐실트 코호몰로지와 코단순형 집합을 사용하여 A-셋의 확장을 정의하고 연구하기 위해.
• 유도 범주 맥락에서 이중화살 복합체와 단순형 A-셋 사이의 가환관계를 확립하기 위해.

제안 방법

• 체인 조건과 주기적 분해와 같은 가환환 이론의 개념을 가환 모노이드에 적응시킴.
• A-셋을 도입하고, 그것의 랭크에 따라 프로젝티브 A-셋을 분류함으로써 그것이 이 불변량에 의해 완전히 결정됨을 보임.
• G₀에 대한 디비산스 정리를 적용하여 A-셋의 그로텐디크 군과 필터링 구조를 연결함.
• 호흐실트 코단순형 집합을 사용하여 모노이드 A에 대한 A-셋 X에 의한 제곱영 확장을 분류함.
• A-셋에 대한 짧은 정확한 수열을 정의하고, 확장의 집합 Ext(X,Y)를 구성함.
• 비아벨 범주 C에 대해 이중화살 복합체의 범주 Da(C)를 정의하고, 단순형 A-셋과의 가환관계를 확립함.

실험 결과

연구 질문

• RQ1 모노이드가 비아벨적임을 감안할 때, 호모로지 대수를 체계적으로 어떻게 개발할 수 있는가?
• RQ2 프로젝티브 A-셋의 구조는 무엇이며, 랭크와 같은 불변량으로 완전히 분류될 수 있는가?
• RQ3 클래식한 K-이론 결과, 예를 들어 디비산스 정리가 모노이드와 그 A-셋으로 어떻게 확장될 수 있는가?
• RQ4 A-셋에 의한 모노이드의 확장을 어떻게 분류할 수 있으며, 호흐실트 코호몰로지는 이 분류에서 어떤 역할을 하는가?
• RQ5 유도 범주의 맥락에서 이중화살 복합체와 단순형 A-셋 사이의 관계는 무엇인가?

주요 결과

• 모노이드의 정규화가 항상 모노이드가 되는 것은 아니며, 오히려 모노이드 스킴일 수 있음을 보여주며, 이는 환 이론의 경우와 근본적으로 다름.
• 프로젝티브 A-셋은 랭크에 의해 완전히 결정되며, 이 클래스에 대한 완전한 분류를 제공함.
• 모노이드의 G₀에 대해 디비산스 정리가 성립하여 그로텐디크 군이 필터링 구조와 연결됨.
• A-셋의 확장 집합 Ext(X,Y)는 호흐실트 코단순형 집합을 통해 기술되며, 제곱영 확장을 분류하는 데 기여함.
• 이중화살 복합체의 범주와 단순형 A-셋의 범주 사이에 가환관계가 확립되어, 모노이드의 유도 범주 프레임워크가 풍부해짐.
• 모노이드의 유도 범주는 호모토피 군을 계산하는 데 어려움이 있음에도 불구하고, 이중화살 복합체를 통해 접근 가능함.