형식 플레소리와 불안정 코호몰로지 연산의 선형 근사

초록

이 논문은 프루퍼(Prüfer) 환을 계수로 하는 일반화된 코호몰로지 이론 E의 불안정 연산을 ‘형식 플레소리(formal plethory)’라는 새로운 대수적 구조로 포장한다. 형식 플레소리는 대표가능함수들의 필터드(colimit)로 이루어진 엔도펑터이며, 합성에 대해 코모노이드 구조를 가진다. 저자는 원시원소(primitives)와 비분해원소(indecomposables) 함자를 이용해 이러한 플레소리를 2‑모노이달 범주에서의 바이모노이드(bimonoid)로 선형화하고, 이를 통해 불안정 Adams‑Novikov 스펙트럴 시퀀스의 E₂‑항을 계산하기 위한 대수적 도구를 제공한다.

상세 분석

논문은 먼저 ‘형식 스킴(formal scheme)’을 “대수 k‑알제브라들의 범주 Algₖ → Setℤ”에 대한 필터드(colimit)인 가환 대수함자로 정의한다. 여기서 k가 프루퍼 환이면, 평탄(pro‑flat) k‑모듈들의 인덱스 시스템이 다시 평탄함을 보장하므로, 형식 스킴의 범주 k  Alg_f k는 완전·공완전하며, 함수 합성 ○ₖ에 대한 모노이드 구조를 갖는다. 이 구조가 바로 형식 플레소리의 기본이 된다.

형식 플레소리 ˆP는 k  Alg_f k 안에서 ○ₖ에 대한 코모노이드이며, 그 위의 코액션 ˆX → ˆP ○ₖ ˆX 로 정의된 형식 스킴 ˆX는 ‘코모듈(comodule)’이라 부른다. 주요 예로, 코호몰로지 스펙트럼 E가 프루퍼 도메인 E_를 가지고, 각 스펙트럼 레벨 Eₙ에 대해 ˆE_(Eₙ) 가 pro‑flat이면, ˆE_*(Eₙ) 은 형식 플레소리를 형성한다(정리 1.5). 이는 기존의 ‘플레소리(plethory)’가 갖는 합성 구조를 pro‑대상으로 확장한 것으로, 불안정 연산의 복합성을 정확히 포착한다.

다음으로 저자는 2‑모노이달 범주(두 개의 모노이드 구조 (⊗, I)와 (○, J)와 상호작용 변환 ζ)를 도입한다. k  Mod_f k (평탄 형식 바이모듈) 은 (⊗, I)와 (○, J) 두 구조를 동시에 갖는 2‑모노이달 범주이며, 여기서 바이모노이드(곱셈과 코곱셈이 호환되는 객체)를 정의한다. 원시원소 함자 P와 비분해원소 함자 Q는 각각 코코알지브라와 알제브라의 ‘프리미티브’와 ‘인디컴포저블’ 부분을 추출한다. 핵심 정리 1.12는 P와 Q가 k  Alg_f k → k  Mod_f k 사이의 bilax‑모노이달 함자임을 보이며, 따라서 임의의 형식 플레소리 ˆP에 대해 P(ˆP)와 Q(ˆP) 가 k  Mod_f k 안의 바이모노이드가 된다. 이는 형식 플레소리를 ‘선형화’하여, 복잡한 코모듈 범주를 보다 다루기 쉬운 아벨 범주(바이모노이드 모듈)로 근사한다는 의미이다.

또한, 프루퍼 도메인 k에 대해 평탄 자유 모듈과 오른쪽 평탄 모듈 사이의 2‑모노이달 동형을 구축(정리 1.13)함으로써, pro‑구조를 포기하고도 동일한 바이모노이드 구조를 얻을 수 있다. 결과적으로, 코호몰로지 이론 E가 프루퍼 도메인이고 각 레벨 Eₙ이 평탄이면, P(E_* E_)와 Q(E_ E_) 가 k Mod k 안의 바이모노이드가 되고, 모든 공간 X에 대해 P(E_ X)·와 Q(E_* X)· 가 해당 바이모노이드 위의 코모듈이 된다(정리 1.14).

마지막으로, 이러한 선형화는 불안정 Adams‑Novikov 스펙트럴 시퀀스
\