교차 모듈 대수의 순환 동질성 연구

초록

본 논문은 비단위 연관 대수의 교차 모듈에 대한 Hochschild 및 (코트리플) 순환 동질성을 체계적으로 전개한다. Wodzicki의 배제 정리를 교차 모듈 범주로 일반화하고, 포함 교차 모듈에 대한 장Exact 시퀀스를 구축한다. 또한 순환 동질성과 코트리플 순환 동질성 사이의 관계를 긴 정확한 호몰로지 시퀀스로 기술하여 기존 상대 순환 동질성 이론을 확장한다.

상세 분석

논문은 먼저 교차 모듈(crossed module)이라는 구조를 연관 대수의 범주에서 정의한다. 여기서 교차 모듈은 두 대수 (R)와 (S)와 대수 사상 (\partial : R \to S) 및 (S)의 (R)에 대한 작용이 만족하는 Peiffer 항등식으로 특징지어진다. 비단위 대수에 대해서도 동일한 정의가 가능하도록, 단위 원소가 없을 경우를 위한 적절한 조정을 도입한다.

다음으로 Hochschild 동질성 (HH_\ast)와 순환 동질성 (HC_\ast)을 교차 모듈에 적용하기 위해, 교차 모듈을 두 개의 복합 복합체(complex)로 전환한다. 구체적으로는 (\partial)의 커널과 코이미지에 대한 표준 Hochschild 복합체를 각각 구성하고, 이를 연결 사슬 복합체(chain complex) 형태로 결합한다. 이 과정에서 코트리플(cotriple) 구조를 이용한 ‘코트리플 순환 동질성’ (HC^{\operatorname{cot}}_\ast)을 정의한다. 코트리플은 대수 범주에서 자유 대수 함자를 이용한 코모노이드 구조를 제공하며, 이를 통해 교차 모듈에 대한 ‘대수적’ 순환 동질성을 얻는다.

핵심 정리 중 하나는 Wodzicki의 배제 정리(excision theorem)를 교차 모듈 범주로 확장한 것이다. 기존 정리는 이데알 (I)가 H-unital인 경우에만 적용되었으나, 논문은 ‘포함 교차 모듈’ ((I \hookrightarrow A))에 대해 (I)가 H-unital이면 전체 교차 모듈 ((I \to A))에서도 동일한 배제가 성립함을 증명한다. 이때 사용된 기술은 바코프-라스코프(Barr–Lascoux) 필터와 고전적인 장-에너지 장정리(Jacobson–Morita) 등을 교차 모듈 수준으로 끌어올린 것이다.

또한 순환 동질성 (HC_\ast)와 코트리플 순환 동질성 (HC^{\operatorname{cot}}_\ast) 사이의 비교를 수행한다. 두 동질성은 일반적으로 다르지만, 논문은 교차 모듈의 ‘정규 포함’ 상황에서 장Exact 시퀀스

\