대수군 상대 코호몰로지의 기초와 스펙트럴 시퀀스

초록

이 논문은 김우라가 제시한 대수군의 상대 코호몰로지 개념을 현대적으로 재정립하고, 귀환함수와 귀환유도함수를 이용해 상대 주입 모듈을 특성화한다. 상대 정확한 서열에 대한 기본 성질을 증명하고, 충분한 조건 하에 상대 그로텐디크 스펙트럴 시퀀스를 구축한다. 마지막으로 파라볼릭·레비 서브그룹에 대한 예시와 차원 제한 결과 등을 제시한다.

상세 분석

본 논문은 먼저 (G, H)-정확한 서열이라는 개념을 정의하고, 이는 각 차수 i에서 커널이 H-모듈 직접합으로 분해될 수 있음을 의미한다. 이 정의는 기존의 절대적 정확성(즉 H={1})을 일반화한 것으로, H가 더 큰 폐쇄 부분군일 때도 동일한 구조를 유지한다는 Lemma 2.1.1을 통해 확인한다. 이어서 (G, H)-주입 모듈을 정의하고, 이러한 모듈이 일반적인 주입 모듈을 포함함을 Lemma 2.3.1으로 보인다. 중요한 점은 (G, H)-주입 모듈이 직접합과 직접부분합에 대해 닫혀 있다는 Lemma 2.6.1·2.6.2이다. 이는 상대 코호몰로지를 정의하기 위한 충분한 주입 해석을 제공한다.

핵심 기술은 유도함수 ind_G^H와 제한함수 res_G^H 사이의 어드쥬인트 관계를 이용해 (G, H)-주입 모듈을 완전히 특성화한다. Theorem 3.2.1은 H∩K-주입 H-모듈 M에 대해 ind_G^H(M)이 (G, K)-주입이 됨을 증명한다. 증명은 (G, K)-정확한 서열을 H‑모듈 수준으로 내려보고, M의 (H, H∩K)-주입성을 활용한 후 다시 유도함수를 적용해 G‑모듈 수준으로 끌어올리는 두 단계 어드쥬인트 논법을 사용한다. Corollary 3.2.2·3.2.3은 이 결과를 특수화해 ind_G^H(M)이 (G, H)-주입이며, 모든 G‑모듈이 (G, H)-주입 모듈에 직접합으로 포함될 수 있음을 보여준다. Lemma 3.3.1은 (G, H)-주입 모듈이 정확히 ind_G^H(N)의 직접합 부분이라는 완전한 특성화를 제공한다.

상대 오른쪽 유도함수 R^i F_{G/H}를 정의하고, 충분한 조건(예: ind_G^H가 (G, H)-정확한 서열을 보존) 하에 Grothendieck 스펙트럴 시퀀스
E_2^{p,q}=R^p G(R^q F) ⇒ R^{p+q}(GF)
가 존재함을 제시한다. 여기서 F와 G은 각각 제한·유도 혹은 텐서·호몰로지와 같은 표준 함수를 의미한다. 이 스펙트럴 시퀀스를 이용해 상대 버전의 프로드니우스 상호성, Shapiro 보조정리, 텐서 항등식 등을 도출한다.

마지막 섹션에서는 (i) 특성 0에서 유한 차원 모듈에 대한 상대 코호몰로지는 자명함, (ii) 파라볼릭 서브그룹에 대한 상대 코호몰로지는 Levi 서브그룹을 기준으로 비트리비얼한 정보를 제공, (iii) Ext‑전이 정리와 CPS(카프리-파라볼릭-시프레) 시스템과의 상호작용을 설명한다. 특히 Levi 서브그룹에 대한 상대 코호몰로지가 가장 풍부한 구조를 갖는다는 결론을 내린다. 전체적으로 논문은 김우라의 초기 결과를 특성에 구애받지 않고 일반화하며, 유도함수를 핵심 도구로 삼아 상대 코호몰로지 이론을 체계화한다.