기술 요약: 프로베니우스스 모듈의 유도 $\infty$-범주 (The Derived $\infty$-Category of Frobenius Modules)

문제 정의

표수 $p > 0$인 체 위에서의 대수 기하학에서, 절대 프로베니우스 엔도모피즘 $F: X \to X$의 작용을 갖는 모듈에 대한 연구는 핵심적이다. 프로베니우스스 모듈은 준결정적 $\mathcal{O}_X$-모듈 $M$과 $\mathcal{O}_X$-선형 사상 $\kappa_M: M \to F_*M$의 쌍 $(M, \kappa_M)$으로 정의된다.

저자들의 이전 연구 [MW24]는 프로베니우스스 모듈의 유도 $\infty$-범주와 유도 $\infty$-범주 내의 프로베니우스스 모듈 범주 사이의 정준적인 $t$-정확 동형(canonical $t$-exact equivalence)을 확립하였다:
$$D(\text{Frob}(\text{QCoh}(X), F_*)) \xrightarrow{\sim} \text{Frob}(D(\text{QCoh}(X)), D(F_*))$$
그러나 이 결과는 정규 노테르(regular Noetherian) $F_p$-스키마로 제한되었다. 이러한 제한은 쿤즈(Kunz)의 정리에 의해 프로베니우스스 사상 $F$가 평탄(flat)함이 보장되어 푸시포워드 함자 $F_*$가 정확(exact)하기 때문이었다. 임의의 스키마에 대해서는 $F_*$가 정확하지 않으며, [MW24]에서 사용된 증명 전략은 실패한다.

본 논문에서 다루는 핵심 문제는 상기 언급된 동형 관계를 더 넓은 범위의 스키마, 즉 정규성(regularity)과 노테르(Noetherian) 가정을 제거한 범위로 확장하는 것이다. 이때 안정 $\infty$-범주(stable $\infty$-categories)의 틀 안에서 작업한다.

방법론

저자들은 $\infty$-범주적 데센트($\infty$-categorical descent), 링 스펙트라 상의 모듈 이론, 그리고 유도 범주의 구조적 성질들을 결합하여 사용한다. 증명 전략은 세 가지 주요 단계로 진행된다.

1. 자리스키 데센트를 통한 아핀 스키마로의 축소

저자들은 먼저 관련 유도 $\infty$-범주들이 자리스키 데센트를 만족함을 확립한다. 그들은 "기하적(geometric)" 스키마를 아핀 대각선(affine diagonal)을 갖는 퀴컴팩트(quasi-compact) 스키마로 정의한다.

• 그들은 $D^+(\text{Frob}(\text{QCoh}(-), F_*))$의 프리셰프(presheaf)가 기하적 스키마의 작은 자리스키 사이트(small Zariski site) 위에서 자리스키 층(Zariski sheaf)을 정의함을 증명한다.
• 이는 프로베니우스스 모듈의 구성이 함자적(functorial)이고 리미트 보존적(limit-preserving)이며, 유도 함자 $D^+$가 특정 기저 변환 조건(평탄 기저 변환) 하에서 리미트를 보존함을 보여줌에 의존한다.
• 결과적으로, 전역적 동형 문제는 $X = \text{Spec}(R)$이 아핀 스키마인 경우로 축소된다.

2. 모듈 스펙트라와의 동일화 (Schwede–Shipley 정리)

아핀 케이스 $X = \text{Spec}(R)$에 대해, 저자들은 제안된 동형의 양측이 특정 $E_1$-링 스펙트라 상의 모듈 스펙트라 범주와 동일함을 식별한다.

• 소스 측(Source Side): 그들은 $R$-모듈의 아벨리안 범주 상의 프로베니우스스 모듈의 유도 $\infty$-범주 $D(\text{Frob}(\text{Mod}^\heartsuit_R, F_*))$를 분석한다. 이 범주를 위한 컴팩트 투영 생성자(compact projective generator) $A$를 구성한다.
• 타겟 측(Target Side): 그들은 $D(\text{Mod}^\heartsuit_R, D(F_*))$의 프로베니우스스 모듈 범주 $\text{Frob}(D(\text{Mod}^\heartsuit_R), D(F_*))$를 분석한다. 이에 대응하는 컴팩트 투영 생성자 $B$를 구성한다.
• Schwede–Shipley 정리: $\infty$-범주 버전의 가브리엘 정리(Schwede–Shipley)를 사용하여, 컴팩트 투영 생성자를 갖는 프레젠터블한 안정 $\infty$-범주는 해당 생성자의 엔도모피즘 링 스펙트라 상의 모듈 스펙트라 범주와 동형임을 보인다.
• 그들은 엔도모피즘 링 스펙트라 $\text{End}(A)$와 $\text{End}(B)$가 동등함을 증명한다. 구체적으로, 이들은 $E_1$-링으로서 간주되는 이산적(discrete) 비가환 링 $R[F]^{\text{op}}$ (또는 $\tau$-층의 언어로 $R[\tau]^{\text{op}}$)와 동등함을 보인다.

3. 좌완전성(Left-Completeness)으로의 확장

유계 상부(bounded-above) 대상들에 대한 동형을 확립한 후, 저자들은 이를 전체 유도 $\infty$-범주($D$)로 확장한다.

• 저자들은 기하적 스키마에 대해 프로베니우스스 모듈과 준결정적 층의 유도 $\infty$-범주가 **좌완전(left-complete)**함을 증명한다. 이는 프로베니우스스 모듈 범주의 그로텐디크 공리 $\text{AB4}^*_n(\omega)$의 약화된 버전을 검증하는 데 기초한다.
• 좌완전한 안정 $\infty$-범주 사이의 $t$-정확 함자가 유계 상부 대상들로의 제한이 동형이면 전체가 동형이라는 렘마를 사용하여, 아핀 결과를 전체 유도 범주로 들어 올린다.

주요 기여 및 결과

주요 정리 (Theorem A / Theorem 5.7)

임의의 기하적 $F_p$-스키마 $X$ (아핀 대각선을 갖는 퀴컴팩트 스키마)에 대하여, 프레젠터블한 안정 $\infty$-범주 사이의 정준적인 $t$-정확 동형이 존재한다:
$$D(\text{Frob}(\text{QCoh}(X), F_*)) \xrightarrow{\sim} \text{Frob}(D(\text{QCoh}(X)), D(F_*))$$
이 결과는 $X$가 정규(regular)이거나 노테르(Noetherian)여야 한다는 가정을 제거함으로써 이전 연구 [MW24]를 일반화한다.

데센트 결과

• Theorem C (Proposition 4.13): 프리셰프 $D^+(\text{Frob}(\text{QCoh}(-), F_*))$는 기하적 스키마의 작은 자리스키 사이트 위에서 자리스키 층을 정의한다.
• Theorem D: 전체 유도 $\infty$-범주 $D(\text{Frob}(\text{QCoh}(-), F_*))$ 또한 프레젠터블한 안정 $\infty$-범주 값을 갖는 자리스키 층을 정의한다.
• Corollary E: 카르티에(Cartier) 모듈의 유도 $\infty$-범주에 대해서도 유사한 데센트 결과가 성립한다.

구조적 성질

• 좌완전성(Left-Completeness): 본 논문은 기하적 스키마에 대해 프로베니우스스 모듈의 유도 $\infty$-범주가 좌완전함을 증명한다 (Proposition 5.2). 이는 기저가 되는 아벨리안 범주의 성질로부터 도출되는 비자명한 구조적 결과이다.
• 함자성(Functoriality): 프로베니우스스 모듈의 구성은 기저가 되는 $\infty$-범주와 그 엔도모피즘(endofunctor)에 대해 함자적이며, 리미트를 보존함이 보여진다 (Proposition 2.5).

의의 및 주장

저자들은 이러한 결과들을 위해 유도 $\infty$-범주 프레임워크가 필수적이라고 주장한다. 저자들은 만약 유도 $\infty$-범주를 일반적인 유도 범주(호모토피 범주)로 대체한다면, 타겟 범주들이 삼각 구조(triangulated structure)를 갖지 못하게 되어 동형 관계가 불가능해질 것이라고 언급한다.

본 연구의 의의는 다음과 같다:

1. 일반화: 프로베니우스스 모듈에 대한 구조적 이해를 정규성을 요구하지 않고 훨씬 넓은 범위의 스키마(기하적 스키마)로 확장한다. 이는 모든 퀴컴팩트 분리된(separated) 스키마를 포함한다.
2. 방법론적 견고함: 비정확한 함자(예: 비정규 스키마 상의 $F_*$)를 다룰 때 고전적인 유도 범주 방법론이 실패하는 지점에서, Schwede–Shipley 인식 정리와 데센트 이론을 활용한 $\infty$-범주적 접근법이 얼마나 강력한 틀을 제공하는지 입증한다.
3. 데센트: 프로베니우스스 및 카르티에 모듈의 유도 이론이 자리스키 데센트를 만족함을 확립하여, 양의 표수 기하학에서의 국소-전역(local-to-global) 논증을 가능하게 한다.

저자들은 프로베니우스스 모듈의 구체적인 코호몰로지 계산에 관한 열린 문제를 해결하려는 것이 아니라, 일반적인 기하적 스키마에 대해 그러한 계산이 수행될 수 있는 올바른 범주론적 틀을 제공하고자 한다. 본 연구는 [MW24], [BB11, BB13, BP09]의 결과를 비노테르(non-Noetherian), 비정규(non-regular) 설정으로 일반화하는 기초적인 단계로 제시된다.