반무한 동형대수학 반대수와 반대조모듈의 호몰로지 이론

레오니드 포지텔스키의 “반무한 동형대수학: 반대수와 반대조모듈의 호몰로지 이론”은 코링 C 위에 정의된 반대수 S 와 그에 대한 반대조모듈·반대모듈 이론을 체계화한다. 논문은 크게 네 부분으로 구성된다. 첫 번째 부분에서는 기본적인 정의와 전제 조건을 제시한다. 코링 C 는 비가환 환 A 위의 코링이며, C‑코모듈과 C‑양쪽코모듈은 각각 텐서 범주와 그 양쪽 모듈 범주를 형성한다. 반대수 S 는 C‑양쪽코모듈 범주 안의 링 객체이며, 이를 위해 C 와 S 에 (공)평탄·(공)투사 조건을 부과한다. 이러한 조건은 cotensor product가 연관성을 유지하고, 반대수‑반대조모듈 범주가 아벨 범주가 되도록 보장한다. 두 번째 부분에서는 반텐서곱 ⊠_S 과 반동형사상 SemiHom_S 을 정의한다. 반텐서곱은 오른쪽 반대모듈과 왼쪽 반대모듈 사이의 복합 연산으로, C‑코모듈 방향에서는 cotensor product, S‑모듈 방향에서는 텐서곱을 동시에 수행한다. 이 연산은 좌·우 정확하지 않으므로, 전통적인 단측 유도함수 대신 두 인자를 동시에 다루는 이중 유도함수 체계를 도입한다. 저자는 일반적인 로컬라이징 클래스 S₁, S₂ 와 플랫·코플랫 객체를 이용해, 이중 유도함수 DΘ (여기서 Θ 는 반텐서곱 혹은 반동형사상) 를 정의하는 방법을 제시한다. 세 번째 부분에서는 이중 유도함수 SemiTor_S 와 SemiExt_S 을 구축한다. SemiTor_S 는 반텐서곱에 대한 좌·우 이중 유도함수로, 한쪽 변수에 대해 호몰로지(좌 유도), 다른 쪽에 대해 코호몰로지(우 유도)를 동시에 제공한다. 반대로 SemiExt_S 는 반동형사상에 대한 이중 유도함수이며, 전통적인 Ext와 동형대수적 의미에서 완전한 이중 대칭성을 확보한다. 핵심 결과는 반대수‑반대조모듈 범주의 “이국적 유도 범주”(semiderived category)를 정의하고, 이 범주들 사이에 상호역함수 쌍 RΨ_S 와 LΦ_S 을 구축한 것이다. RΨ_S 는 반대조모듈에서 반대모듈로, LΦ_S 는 그 역으로 작용한다. 이 쌍은 SemiExt_S 를 전통적인 Ext와, SemiTor_S 를 콘트라 텐서곱 CtrTor_S 와 연결한다. 따라서 반대수‑반대조모듈 이론은 코모듈‑반대조모듈 대응(comodule‑contramodule correspondence)의 일반화이며, 두 범주의 삼각 등가를 제공한다. 네 번째 부분에서는 모델 범주 구조와 비동질 코시울(Koszul) 이중성 이론을 전개한다. 복합체 범주에 대한 코페어(Quillen) 모델 구조를 정의하여, 약한 등가 사상, 코파일, 파이브레션을 각각 반유도 동형사상, 반플랫 복합체, 반코플랫 복합체로 지정한다. 이를 통해 반대수‑반대조모듈 사이의 호몰로지 이론을 체계적으로 다룰 수 있다. 마지막으로, 저자는 여러 구체적인 예시를 제시한다. (1) Tate Lie algebra와 그 반무한 코호몰로지, (2) Harish‑Chandra 쌍에 대한 반대수와 반대조모듈, (3) 위상군과 열린 프로피니트 부분군 사이의 반무한 호몰로지, (4) 비동질 코시울 이중성에 의한 필터링된 반대수와 쿼시‑미분 코링 사이의 대응을 통해, 미분 연산자 알제브라와 CDG‑코링 사이의 동형성을 증명한다. 특히, 무한 차원 Virasoro 대수의 보완된 중심 전하 수준 c 와 26‑c 사이의 복소수 표현 복합체 대응을 구체적으로 계산한다. 전체적으로 이 논문은 반무한 호몰로지 이론을 연관대수와 코링 이론의 일반적인 틀 안으로 끌어들여, 반대수·반대조모듈·반대모듈 사이의 이중 유도함수와 삼각 등가, 모델 범주 구조, 그리고 비동질 코시울 이중성을 포괄적으로 제시한다. 이는 기존의 Lie 대수 반무한 코호몰지와는 달리, 완전한 대수적 프레임워크를 제공함으로써 무한 차원 대수, 위상군, 그리고 기하학적 양자장 이론 등에 광범위하게 적용될 수 있는 강력한 도구를 제공한다.