[논문 리뷰] Algebraically coherent categories

Alan S. Cigoli, James Richard Andrew Gray외 1명|arXiv (Cornell University)|2014. 09. 15.

Homotopy and Cohomology in Algebraic TopologyMathematics인용 수 19

한 줄 요약

이 논문은 유한한 완비성을 갖는 범주에서 점의 분할에 沿한 변화-기저 함자들이 유한한 극한과 함께 강한 쌍중단형 쌍을 보존하는, 대수적으로 일관된 범주라는 개념을 도입한다. 주요 기여는 이러한 범주가 반아벨적 맥락에서 강력한 구조적 성질을 만족함을 증명한 것으로, 이는 스미스-휴크 조건, 히긴스 교환자에 대한 정규성, 그리고 섬세한 대수적 카르테시안 닫힘을 포함한다. 넓은 예시로는 관심 범주와 컴팩트 하우스도르프 대수들이 포함되어 있다.

ABSTRACT

We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give examples of categories satisfying this condition; for instance, coherent categories, categories of interest in the sense of Orzech, and (compact) Hausdorff algebras over a semi-abelian algebraically coherent theory. We study equivalent conditions in the context of semi-abelian categories, as well as some of its consequences: including amongst others, strong protomodularity, and normality of Higgins commutators for normal subobjects, and in the varietal case, fibre-wise algebraic cartesian closedness.

연구 동기 및 목표

• 점의 분할에 대한 일관성 개념을 확장하여, 새로운 범주론적 성질인 대수적 일관성의 정의와 조사를 시도한다.
• 대수적 일관성이 반아벨 범주에서 핵심적인 구조적 성질—예를 들어 스미스-휴크 조건과 히긴스 교환자의 정규성—을 유도함을 증명한다.
• 관심 범주와 컴팩트 하우스도르프 대수를 포함한 넓은 범주의 예시를 제공하여, 대수적 일관성이 자연스럽고 광범위하게 적용 가능한 조건임을 보여준다.
• 다양체 맥락에서 대수적 일관성과 섬세한 대수적 카르테시안 닫힘 간의 관계를 명확히 한다.
• 대수적 일관성이 반아벨 범주에서 강력한 원형모듈라리티와 두 번째 노일로턴트 대상의 두 정의가 일치함을 보여준다.

제안 방법

• 점의 분할에 沿한 변화-기저 함자가 유한한 극한과 함께 강한 쌍중단형 쌍을 보존하는 성질로 대수적 일관성을 정의한다.
• 핵심 함자에 의한 특성화를 통해, 특정 히트백과 함께 강한 쌍중단형 쌍을 보존하는 것과의 동치성을 보여준다.
• 폐쇄 성질을 증명한다: 대수적 일관성은 절단, 점의 취득, 정규 전성 반영에 대해 보존된다.
• 오르체프의 의미에서의 모든 관심 범주—예를 들어 군, 리 대수, 환, 결합 대수, 파울슨 대수 등—가 대수적으로 일관됨을 보여준다.
• 반아벨적 대수적으로 일관된 이론에 대해 (컴팩트) 하우스도르프 대수가 대수적으로 일관됨을 보여준다.
• 대수적으로 일관된 반아벨 범주에서 두 자연스러운 두 번째 노일로턴트 대상 정의가 일치함을 증명한다: $[X,X,X] = [[X,X],X]$.

실험 결과

연구 질문

• RQ1 유한한 완비성을 갖는 범주에서 점의 분할에 沿한 변화-기저 함자가 유한한 극한과 함께 강한 쌍중단형 쌍을 보존하도록 보장하는 조건은 무엇인가?
• RQ2 대수적 일관성은 스미스-휴크 조건, 히긴스 교환자의 정규성, 강력한 원형모듈라리티와 같은 알려진 범주론적 성질과 어떻게 관련되어 있는가?
• RQ3 전통적인 대수적 범주—예를 들어 군, 환, 리 대수, 파울슨 대수—중에서 어떤 것이 대수적 일관성을 만족하는가?
• RQ4 어떤 맥락에서 대수적 일관성이 섬세한 대수적 카르테시안 닫힘을 유도하는가?
• RQ5 반아벨 범주에서 대수적 일관성이 성립할 경우, 두 번째 노일로턴트 대상의 두 자연스러운 정의가 일치하는가?

주요 결과

• 대수적 일관성은 반아벨 범주에서 스미스-휴크 조건(SH), 강력한 형태(SSH), 히긴스 교환자의 정규성(NH)을 유도한다.
• 모든 대수적으로 일관된 반아벨 범주에서 두 번째 노일로턴트 대상 조건 $[X,X,X] = [[X,X],X]$ 가 성립하여, 두 자연스러운 정의가 일치함을 보여준다.
• 오르체프의 의미에서의 모든 관심 범주—군, 리 대수, 환, 결합 대수, 파울슨 대수 등—는 대수적으로 일관된다.
• 반아벨적 대수적으로 일관된 이론에 대해 (컴팩트) 하우스도르프 대수의 범주는 대수적으로 일관되며, 이는 예시의 범위를 확장한다.
• 대수적 일관성은 지점이 있는 말체프 범주에서 강력한 원형모듈라리티를 유도하고, 다양체 맥락에서 섬세한 대수적 카르테시안 닫힘을 보장한다.
• 대수적으로 일관된 반아벨 범주에서 점의 분할에 沿한 변화-기저 함자는 히긴스 교환자, 후크 교환자, 정규 폐쇄, 코어널을 보존한다.