파생 ∞ 카테고리와 카르티에 모듈의 새로운 통합

초록

저자들은 임의의 ∞-카테고리 C와 그 위의 엔드펑터 F에 대해 라그 평등자(lax equalizer)로서 카르티에 모듈 ∞-카테고리 Cart(C,F)를 정의한다. Grothendieck 아벨리안 카테고리 A와 정확·콜리밋 보존 엔드펑터 F에 대해 파생 ∞-카테고리 D(Cart(A,F))와 Cart(D(A),D(F))가 동등함을 보이며, 이를 이용해 Noetherian Fp‑스키마 X의 카르티에 모듈에 대한 퍼버스 t-구조를 구축한다. 유한 Frobenius 경우 기존의 Baudin 결과와 일치한다.

상세 분석

이 논문은 “카르티에 모듈”이라는 고전적 개념을 ∞‑카테고리 이론 안으로 자연스럽게 끌어들인다. 핵심은 임의의 ∞‑카테고리 C와 엔드펑터 F에 대해 라그 평등자 LEq(F, id_C) 를 정의하고, 이를 Cart(C,F) 로 명명함으로써 전통적인 O_X‑모듈 위의 오른쪽 Frobenius 작용을 일반화한다. 정의 2.4 에서 보인 바와 같이 객체는 (M, κ_M) 형태이며, κ_M: F(M)→M 로서 “카르티에 구조”를 부여한다. 이 접근법은 기존의 Cartier 모듈(Anderson, Blickle‑Böckle)뿐 아니라 Frobenius 모듈(왼쪽 작용)도 동일한 프레임워크 안에서 다룰 수 있게 만든다.

다음 단계에서는 Cart(C,F)의 구조적 성질을 조사한다. Proposition 2.6 은 C와 D가 안정(stable)하거나 프레젠터블(presentable)일 때, 그리고 F,G 가 적절히 보존할 때, LEq(F,G) 역시 같은 성질을 물려받는다는 일련의 결과를 제공한다. 특히 (h)와 (i) 항목을 통해 Grothendieck 아벨리안 카테고리 A와 정확·콜리밋 보존 엔드펑터 F에 대해 Cart(A,F) 가 다시 Grothendieck 아벨리안 카테고리가 됨을 확인한다. 이는 이후 모노이딕(monadic) 구조를 구축하는 기반이 된다.

Theorem G (Theorem 4.6) 은 C가 가산 코프로덕트를 갖고 F가 이를 보존하면, 망각함수 U: Cart(C,F)→C 가 모노이딕임을 증명한다. 즉, Cart(C,F) 가 C 위의 모듈 카테고리로서 완전하게 기술될 수 있음을 의미한다. 이때 사용된 Barr‑Beck 정리는 ∞‑카테고리 버전으로, 보존되는 sifted colimit 조건을 만족하면 모노이딕성을 얻는다.

주요 결과인 Theorem C (Theorem 5.1) 은 Grothendieck 아벨리안 카테고리 A와 정확·콜리밋 보존 엔드펑터 F에 대해 파생 ∞‑카테고리 사이의 교환 법칙을 보여준다. 구체적으로, \