Ann‑범주의 매클레인 코호몰로지 분류와 환 확장 응용

초록

본 논문은 일반 Ann‑범주의 구조를 매클레인 코호몰로지(Mac Lane cohomology)와 연결시켜 완전한 분류 정리를 제시한다. 기존에 정규 Ann‑범주를 Shukla 코호몰로지로 분류한 결과를 확장하여, 비정규 경우에도 3‑차 매클레인 코호몰로지 클래스가 동형류를 결정함을 증명한다. 또한 이 분류 이론을 이용해 환 확장의 동형류 문제를 코호몰로지적으로 기술한다.

상세 분석

Ann‑범주는 객체와 사상 사이에 두 개의 이항 연산(덧셈, 곱셈)과 그에 대응하는 자연 변환(연결자, 단위자, 분배자 등)을 갖는 2‑범주 구조로, 고전적인 환의 공리들을 고차원적으로 끌어올린 개념이다. 기존 연구에서는 ‘정규’ Ann‑범주, 즉 모든 연결자와 단위자가 엄격하게 항등인 경우에 한해 Shukla 대수 코호몰로지 H³ₛ(R,M) 가 동형류를 완전히 기술한다는 결과가 알려져 있었다. 그러나 실제 수학·물리 응용에서는 비정규적인 경우가 빈번히 나타나며, 이때는 Shukla 코호몰로지가 충분히 일반성을 제공하지 못한다.

논문은 이러한 한계를 극복하기 위해 매클레인 코호몰로지 H³ₘₐₙ(R,M) 를 도입한다. 매클레인 코호몰로지는 원래 환의 이중 복합 구조(덧셈·곱셈 사이의 분배 법칙)를 반영하도록 설계된 복합이며, 3‑차 클래스는 ‘연관성 변환’과 ‘분배 변환’ 사이의 고차원적인 일관성을 측정한다. 저자는 먼저 Ann‑범주의 데이터(객체 집합, 두 연산, 그리고 모든 제약 변환)를 ‘기본 삼중체’ (R, M, α) 로 추출한다. 여기서 R은 기본 환, M은 R‑모듈(연산에 대한 비가역적 변형을 담당), α는 3‑코사인으로서 연산들의 결합·분배 구조를 코호몰로지적으로 기록한다.

핵심 정리는 “두 Ann‑범주가 동형이면 그들의 기본 삼중체가 동일한 매클레인 3‑코사인 클래스에 속한다”이며, 반대로 “동일한 3‑코사인 클래스를 갖는 두 삼중체는 동형인 Ann‑범주를 만든다”는 것을 보인다. 이를 위해 저자는 ‘표준 모델’ 구축, ‘교체 사상’ 정의, 그리고 ‘동형 사상’ 사이의 2‑셀(자연 변환) 구조를 정밀히 분석한다. 특히, 비정규 경우에 나타나는 ‘비대칭 연결자’와 ‘비정규 단위자’가 매클레인 코호몰로지의 2‑계와 3‑계 사이에서 어떻게 상쇄되는지를 상세히 증명한다.

또한 논문은 이 분류 체계를 환 확장 문제에 적용한다. 전통적인 중앙 확장(central extension) 이론에서는 2‑계 코호몰로지 H²(R,M) 가 확장의 동형류를 담당한다. 여기서는 Ann‑범주의 추가 구조(곱셈과 분배) 때문에 3‑계 매클레인 코호몰로지가 필요하게 되며, 확장의 ‘곱셈 연산’이 기본 환에 비선형적으로 끼어드는 경우에도 완전한 분류가 가능함을 보인다. 결과적으로, 주어진 환 R과 R‑모듈 M에 대해 가능한 모든 Ann‑범주형 확장은 H³ₘₐₙ(R,M) 의 원소와 일대일 대응한다는 강력한 결론을 얻는다.

이러한 성과는 고차원 대수 구조, 특히 2‑범주·3‑범주 이론, 그리고 양자 대수·고차원 물리학에서 나타나는 복합 대수적 대칭을 이해하는 데 중요한 도구가 될 것으로 기대된다.