High Frobenius pushforwards generate the bounded derived category

기술 요약: 높은 프로베니우스 푸시포워드는 유계 유도 범주를 생성한다

문제 정의
본 연구는 소수 표수 $p$를 갖는 노테리안 스킴(noetherian scheme) $X$에 대하여, 코히어런트 층의 유계 유도 범주(bounded derived category of coherent sheaves), $D^b(\text{coh } X)$의 존재성과 (강한) 생성자(generator)의 명시적 식별 문제를 다룬다. 이러한 범주의 생성자가 존재한다는 사실은 이미 널리 확립되어 있으나(예: Bondal 및 Van den Bergh, Rouquier, Aoki), 특히 특이점(singularity)이 존재하는 경우에 이를 명시적으로 식별하는 일반적인 결과는 부족한 실정이다. 저자들은 특정 대상의 높은 차수의 프로베니우스 푸시포워드(Frobenius pushforward)가 그러한 생성자 역할을 할 수 있는지 여부를 조사하고, 이것이 발생하는 조건을 정량화하고자 한다.

방법론
본 논문은 국소-전역 원리(local-to-global principle), 국소 환(local ring) 상의 호몰로지 대수, 그리고 심플리셜 대수(simplicial algebra) 이론의 조합을 활용한다. 방법론은 세 가지 주요 단계로 진행된다:

1. 국소-전역 원리: 저자들은 텐서-트리앙글레이티드 범주(tensor-triangulated category)인 퍼펙트 복합체($\text{Perf } X$) 상의 모듈로서의 복합체 $G$가 $D^b(\text{coh } X)$를 생성하기 위한 필요충분조건이 모든 $x \in X$에 대해 $G$의 스톡(stalk) $G_x$가 국소 환의 유도 범주 $D(\text{mod } \mathcal{O}_{X,x})$를 생성하는 것임을 이용하여, 스티븐슨(Stevenson)의 연구를 바탕으로 한 국소-전역 원리를 활용한다. 이 환원은 전역적인 문제를 국소 환 수준에서 분석할 수 있게 한다.
2. 심플리셜 대수와 닐포텐스(Nilpotence): 국소적인 경우를 다루기 위해, 저자들은 노테리안 국소 환 $R$ 상의 프로베니우스 엔도모피즘(Frobenius endomorphism)을 조사한다. 저자들은 돌-칸 대응(Dold-Kan correspondence)을 사용하여 문제를 심플리셜 모듈의 범주로 변환한다. 최소 코헨 프레젠테이션(minimal Cohen presentation)을 포함하는 심플리셜 대수의 특정 가환 도표를 구성함으로써, 저자들은 닐포텐스 유형의 결과를 증명한다: 즉, 충분히 큰 $e$에 대하여, 전체 지지집합(full support)을 갖는 복합체 $M$의 프로베니우스 푸시포워드 $F^e_* M$은 고차 호몰로지 장애물들을 본질적으로 "제거"하여, 잔여체(residue field) $k$를 $F^e_* M$으로부터 구축할 수 있게 한다.
3. 지지집합과 두꺼운 부분 범주(Thick Subcategories): 저자들은 복합체의 지지집합(support) 이론(Foxby, Neeman 등에 의해 발전된)을 활용하여, 생성과 복합체의 지지집합 사이의 관계를 규명한다. 저자들은 적절한 조건 하에서 복합체 $E$의 지지집합이 $G$의 지지집합에 포함되어 있다면, $E$가 $G$에 의해 생성되는 두꺼운 부분 범주에 속함을 보인다.

주요 기여 및 결과

• 정리 A (주요 결과): $X$를 $F$-유한(F-finite) 노테리안 스킴이라 하자. $\text{Perf } X$의 생성자 $E$와 전체 지지집합을 갖는 $G \in D^b(\text{coh } X)$에 대하여, $p^e > \text{codepth}(X)$일 때 $F^e_*(E \otimes^L_X G)$는 $D^b(\text{coh } X)$를 생성한다. 여기서 $\text{codepth}(X)$는 $X$의 특이성을 측정하는 수치적 불변량이다(정의: $\sup \{ \text{edim}(\mathcal{O}_{X,x}) - \text{depth}(\mathcal{O}_{X,x}) \}$). $X$가 분리(separated)된 경우, 이 생성자는 강한(strong) 생성자이다.
• 특정 스킴에 대한 따름정리:
  • 아핀(Affine)의 경우: $R$이 $F$-유한 가환 노테리안 환이면, $F^e_* R$은 $e > \log_p(\text{codepth } R)$일 때 $D^b(\text{mod } R)$의 강한 생성자이다.
  • 준-사영(Quasi-projective)의 경우: 매우 풍부한 선다발(very ample line bundle) $L$을 갖는 준-사영 스킴 $X$에 대하여, 직합 $\bigoplus_{i=0}^{\dim X} F^e_*(L^{\otimes i})$는 동일한 $e$의 경계 조건 하에서 $D^b(\text{coh } X)$를 강하게 생성한다.
• 국소 완전 교차(Locally Complete Intersection, LCI)의 경우 (정리 D): $X$가 $F$-유한이고 국소적으로 완전 교차라면, 첫 번째 프로베니우스 푸시포워드 $F_* G$ ($G$가 $\text{Perf } X$를 생성할 때)는 이미 $D^b(\text{coh } X)$의 강한 생성자이다. 이는 $F_* \mathcal{O}_X$가 아핀 LCI 스킴에 대해 범주를 강하게 생성함을 의미한다.
• F-두꺼움(F-thickness): 저자들은 어떤 $e \ge 1$에 대하여 $F^e_* \mathcal{O}_X$가 $D^b(\text{coh } X)$를 생성하면 스킴 $X$를 *$F$-두껍다(F-thick)*고 정의한다. 저자들은 다음을 증명한다:
  • 모든 아핀 스킴은 $F$-두껍다.
  • 매끄러운 사영 곡선(smooth projective curve)은 종수(genus)가 0인 경우에만 $F$-두껍다.
  • 매끄러운 사영 완전 교차(complete intersection)의 경우, $F$-두꺼움은 $F^e_* \mathcal{O}_X$에 의한 쿠즈네초프 성분(Kuznetsov component)의 생성과 동치이다.
  • $F$-두꺼운 다양체의 예로는 사영 공간, 특정 그라스만 다양체, 세베리-브라우어(Severi-Brauer) 다양체 등이 있다.
• 수치적 불변량 (F-level): 저자들은 어떤 $e$에 대하여 $R$이 $F^e_* R$에 의해 생성되는 $n$번째 두꺼운 부분 범주에 속하는 최소의 $n$으로 정의되는 링의 *프로베니우스 레벨(F-level)*을 도입한다. 그들은 이 불변량이 모든 $F$-유한 링에 대해 유한하며, $R$이 $F$-분할(F-split)될 필요충분조건은 이 값이 1인 것임을 보인다. LCI 링의 경우, F-level은 $p \cdot \text{codepth}(R)$에 의해 상한이 정해진다.

의의 및 주장
본 논문은 소수 표수에서의 코히어런트 층의 유계 유도 범주를 위한 생성자를 식별하는 정형적이고 명시적인 방법을 제공하며, 쿤츠(Kunz) 정리의 구조적 이해를 정교화한다고 주장한다. 구체적으로:

• 높은 차수의 프로베니우스 푸시포워드가 $F$-유한 스킴에 대해 보편적으로 유도 범주를 생성하며, 필요한 프로베니우스의 차수는 특이성 척도인 $\text{codepth}(X)$에 의해 제어됨을 확립한다.
• 쿤츠 정리의 구조적 정교화: 만약 어떤 전폭 지지집합(full support)을 갖는 $G$에 대하여 $F^n_* G$가 퍼펙트(perfect)하다면, $X$는 정규(regular)이다.
• 유도 범주의 생성과 완전 교차의 맥락에서 쿠즈네초프 성분의 생성을 연결한다.
• $F$-두꺼움이라는 개념을 도입하여, 구조 층에 의한 유도 범주의 생성을 스킴의 기하학적 성질(예: 종수 0과 고차수 곡선의 구분)과 연결한다.

저자들은 생성자의 존재는 이미 알려져 있지만, 본 연구는 이를 자연스러운 양의 표수 기하학의 대상인 프로베니우스 푸시포워드를 통해 명시적으로 식별한다는 점을 강조한다. 결과는 $F$-유한 스킴에 대해 확정적이며, 요구되는 프로베니우스의 차수에 대한 구체적인 경계값도 함께 제시된다.