[논문 리뷰] Crossed modules of monoids II. Relative crossed modules

Gabriella Böhm|arXiv (Cornell University)|2018. 03. 12.

Algebraic structures and combinatorial models인용 수 1

한 줄 요약

이 논문은 모나드 구조를 갖춘 카테고리에서 특정 호환 조건을 만족하는 스팬의 집합을 갖춘 모나드 카테고리에서 단위를 갖는 모노이드의 상대적 카테고리와 상대적 크로스드 모듈의 카테고리 간의 동치성을 확립한다. Janelidze의 반아벨 카테고리에 대한 일반화된 접근을 통해, 상대적 피보트를 통해 정의된 상대적 카테고리가 분배 법칙과 작용을 통해 정의된 상대적 크로스드 모듈과 카테고리적으로 동치임을 증명하며, 기존의 군과 호프 대수에 대한 동치관계를 스팬과 코모노이드를 포함하는 더 넓은 범주적 환경으로 일반화한다.

ABSTRACT

This is the second part of a series of three strongly related papers in which three equivalent structures are studied: - internal categories in categories of monoids; defined in terms of pullbacks relative to a chosen class of spans - crossed modules of monoids relative to this class of spans - simplicial monoids of so-called Moore length 1 relative to this class of spans. The most important examples of monoids that are covered are small categories (treated as monoids in categories of spans) and bimonoids in symmetric monoidal categories (regarded as monoids in categories of comonoids). In this second part we define relative crossed modules of monoids and prove their equivalence with the relative categories of Part I.

연구 동기 및 목표

• 완전한 피보트가 없는 임의의 모나드 카테고리에서 군으로부터의 크로스드 모듈과 스트릭트 2군 간의 동치관계를 모노이드로 일반화한다.
• 모나드 구조와 호환되는 특정 스팬의 집합에 대해 상대적 크로스드 모듈을 정의하고 연구한다.
• 상대적 피보트를 갖는 스팬의 카테고리에서의 모노이드로서 정의된 상대적 카테고리와 모노이드의 상대적 크로스드 모듈 간의 카테고리적 동치를 확립한다.
• 스패너 카테고리와 코모노이드에 일반적 프레임워크를 적용함으로써 기존의 구조, 예를 들어 군의 그룹로이드 크로스드 모듈과 호프 모노이드를 특수한 경우로 복원한다.
• 상대적 피보트를 갖는 모나드 카테고리에서 내부 카테고리, 크로스드 모듈, 무어 길이 1의 심플리셜 모노이드를 통합하는 프레임워크를 제공한다.

제안 방법

• 모나드 카테고리의 구조와 호환되는 스팬의 집합 S를 사용하며, 이는 적합성과 모나드 성질을 모두 만족시킨다.
• S에 대한 상대적 피보트를 정의하며, 이는 새로운 스팬 카테고리에서의 모나드 곱으로 기능한다.
• 상대적 피보트를 갖는 스팬 카테고리에서의 모노이드로서 상대적 카테고리를 정의하며, 내부 카테고리의 일반화로 간주한다.
• 모노이드의 분할 전성사와 분배 법칙 이론을 적용하여 상대적 카테고리의 사상 구조를 특성화한다.
• 분배 법칙을 통해 상대적 전-크로스드 모듈과 모노이드의 반사 그래프 사이의 대응을 설정한다.
• 호프 모노이드의 경우 역원이 존재할 때 관련 다이어그램이 교환됨을 보여 상대적 카테고리와 상대적 크로스드 모듈 간의 완전한 카테고리적 동치를 증명한다.

실험 결과

연구 질문

• RQ1 완전한 피보트가 없는 모나드 카테고리에서 군으로부터의 크로스드 모듈과 내부 카테고리 간의 동치관계를 어떻게 모노이드로 일반화할 수 있는가?
• RQ2 스패너의 집합에 어떤 조건이 성립해야 상대적 피보트가 존재하고, 내부 카테고리를 정의하는 데 적합한 모나드 구조를 형성하는가?
• RQ3 모노이드와 그 작용 사이의 분배 법칙은 상대적 크로스드 모듈의 구조를 어떻게 표현하는가?
• RQ4 스패너 카테고리나 코모노이드에 특화했을 때 상대적 카테고리와 상대적 크로스드 모듈의 구성은 어떻게 관련되는가?
• RQ5 무어 길이 1의 심플리셜 군 간의 동치관계를 대칭 모나드 카테고리에서 모노이드로 확장할 수 있는가?

주요 결과

• 모노이드의 상대적 카테고리의 카테고리는 모노이드의 상대적 크로스드 모듈의 카테고리와 카테고리적으로 동치이다.
• 분배 법칙과 모노이드의 분할 전성사의 구조를 통해 Janelidze의 반아벨 카테고리 접근법을 일반화하여 동치관계를 확립한다.
• 모노이드 B가 역원 z를 갖는 호프 모노이드일 경우, 다이어그램 (3.17)의 교환성은 다이어그램 (3.15)의 교환성과 동치이며, 이는 동치관계를 위한 핵심 기술적 조건을 제공한다.
• 이 프레임워크는 기존 결과를 복원한다: 호프 대수 위에서의 Cat1-호프 대수와 크로스드 모듈 간의 동치, 그리고 군 위에서의 Cat1-군과 크로스드 모듈 간의 동치.
• 증명은 사상 →s의 등幂성과 브레이딩 c의 자연성에 의존하며, 이는 다이어그램의 단순화와 동치관계를 가능하게 한다.
• 결과는 두 모노이드가 모두 호프 또는 코암이지 않은 호프 모노이드인 부분 카테고리로까지 확장되며, 이는 [16, Proposition 11]과 [16, Theorem 14]를 특수한 경우로 복원한다.