탤‑라이트 모노이드의 구조와 자유 대수적 생성

초록

이 논문은 탤‑라이트 모노이드를 일반 대수와 범주론적 관점에서 체계화한다. 자유 V‑대수 함자를 이용해 집합의 모노이드를 탤‑라이트 V‑모노이드로 전환하는 방법을 제시하고, 그에 대한 정리(A, B, C)를 증명한다. 또한 유한환의 자기함수 집합을 예로 들어 ‘장난감(co)동류 이론’과의 연결을 탐구한다.

상세 분석

논문은 먼저 탤‑라이트 모노이드의 정의를 “V‑대수의 공‑V‑대수 객체들의 모노이드”로 정립한다. 이를 위해 저자는 V‑대수 객체들의 공‑V‑대수(코대수) 범주 (V!V^{c})에 강모노이달 구조를 부여한다. 핵심은 자유 V‑대수 함자 (F_{V}:\mathbf{Set}\to V)가 이 구조를 보존하면서 강단사적(monidal)하게 상승(lift)될 수 있다는 정리 A이다. 결과적으로 임의의 집합 모노이드 (M)에 대해 (\widehat{F}_{V}(M))는 탤‑라이트 V‑모노이드가 된다(정리 B).

그 다음 저자는 다중정렬(graded) 대수에 대한 확장을 제시한다. 정리 C는 등급 집합 (Z)에 대해 (V^{})라 명명된 다중정렬 대수의 경우에도 동일한 모노이달 상승이 가능함을 보인다. 여기서 대각함수 (\mathrm{diag}:\mathbf{Set}\to(\mathbf{Set}^{Z})^{Z})와 자유 대수 함자 (F^{Z}_{V^{}})를 조합해 강단사적 함자 (\widehat{F}_{V^{*}})를 구성한다.

또한 저자는 두 개의 대수 변종 (V)와 (U) 사이에 “모든 (U)-대수는 (V)-대수이다”는 포기함수(Forgetful functor)와 그 좌측 사상인 자유 함자 (F_{U}^{V})가 존재할 때, (U)가 교환 가능한 대수 변종이면 (F_{U}^{V}) 역시 강단사적으로 상승해 새로운 탤‑라이트 모노이드를 만든다는 사실을 논한다. 이는 특히 모듈, 알제브라 등 교환 가능한 구조에서 유용하다.

마지막으로 ‘장난감(co)동류 이론(toy cohomology theory)’을 도입한다. 여기서는 전통적인 코호몰로지 이론의 등급·필터링을 제거하고, 단순히 집합에서 유한환 (R)으로 가는 함수 집합 (\mathrm{Set}(|R|,|R|))을 고려한다. 저자는 이 함수를 커뮤테이티브 (R)-대수인 자유 다항식 환 (R