Relative Gieseker's problem on $F$-divided bundles

기술 요약: F-분할 번들에 관한 상대적 기제커(Gieseker) 문제

문제 정의
본 논문은 양의 표수(positive characteristic)에서 다양체의 모피즘 하에서의 기본군(fundamental group)의 거동을 다루며, 특히 에탈 기본군($\pi_1^{\text{ét}}$)과 $F$-분할 기본군($\pi_1^{\text{F-div}}$) 사이의 관계에 초점을 맞춘다. 표수 0에서는, 프로프레히 연결 스킴(proper connected schemes)의 모피즘 $f: X \to Y$에 대하여, 에탈 기본군 상의 전사성(surjectivity) 또는 동형성(isomorphism)이 층화된 기본군(stratified fundamental group) 상의 충실한 평탄성(faithful flatness) 또는 동형성을 함의한다는 것을 그로텐디크(Grothendieck)가 확립하였다.

양의 표수에서 층화된 층(stratified sheaves)은 $F$-분할 번들(프로베니우스 풀백(Frobenius pullbacks)에 의해 연관된 벡터 번들의 수열)과 동치이다. 기제커의 문제(Gieseker's problem)로 알려진 핵심 문제는, 이와 유사한 명제가 $\pi_1^{\text{F-div}}$에 대해서도 성립하는지 묻는 것이다. 구체적으로, 만약 $f: X \to Y$가 양의 표수를 갖는 대수적으로 닫힌 체 위의 노멀 사영 다양체(normal projective varieties) 사이의 전사적 모피즘이라면, $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$의 전사성이 $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$가 충실하게 평탄함을 함의하는가? 나아가, 에탈 기본군의 동형성이 $F$-분할 기본군의 동형성을 함의하는가?

Esnault와 Mehta [EM10], 그리고 Biswas, Kumar, Parameswaran [BKP25]의 이전 연구들은 절대적 사례(absolute cases) 또는 특정 유한 모피즘을 다루었으며, 종종 매끄러움(smoothness) 가정을 요구하였다. Sun과 Zhang [SZ25]은 최근 이를 노멀 다양체로 일반화하였으나, 타겟 $Y$의 매끄러움에 의존하는 복잡한 증명을 사용하였다. 본 논문은 이러한 결과들을 일반화하고 강화하여, 가능한 경우 불필요한 매끄러움 가정을 제거하고 통일된 프레임워크를 제공하는 것을 목표로 한다.

방법론
증명 전략은 타나카-테나카 듀얼리티(Tannakian duality)에 의존한다. $F$-분할 번들의 범주 $\text{Vect}^{\text{perf}}(X)$는 타나카 범주(Tannakian category)이므로, 유도된 준동형 사상의 성질은 풀백 펑터(pullback functor) $f^*: \text{Vect}^{\text{perf}}(Y) \to \text{Vect}^{\text{perf}}(X)$의 성질과 동치이다. 구체적으로:

1. 충실한 평탄성(Faithful Flatness): $f^*$가 완전 충실(fully faithful)하고 그 본질적 상(essential image)이 부분 대상(subobjects)에 대해 닫혀 있을 것을 요구한다.
2. 동형성(Isomorphism): $f^*$가 완전 충실하고 본질적으로 전사(essentially surjective)될 것을 요구한다.

본 논문은 다음과 같은 주요 기술적 도구들을 사용한다:

• $F$-분할 번들에 대한 내림 정리(Descent Theorem): 저자들은 Bhatt와 Scholze [BS17]의 내림 정리에 대한 아날로그를 $F$-분할 번들에 대해 특별히 증명한다. 이것이 핵심적인 기술적 혁신이다. 이는 $X$ 상의 $F$-분할 번들이 $Y$로 내림(descend)될 필요충분조건이 $f$의 모든 기하학적 파이버(geometric fibers) 위에서 자명하다는 것을 확립한다. 전체 번들 수열에 대해 단일한 내림 맵을 제공한다는 점에서 Bhatt-Scholze의 결과와 차별화된다.
• 스타인 분해(Stein Factorization): 모피즘 $f$는 기하학적으로 연결된 파이버를 갖는 부분과 유한 보편 호메오모피즘(finite universal homeomorphism)으로 분해된다. 후자는 범주의 동치를 유도하며(Lemma 1.3), 문제를 $f$가 기하학적으로 연결된 파이버를 갖는 경우로 축소시킨다.
• 진정으로 램피파이드된 모피즘(Genuinely Ramified Morphisms): 동형성 사례를 위해, 저자들은 "진정으로 램피파이드된" 모피즘 이론([PS10] 및 [BKP25]에서 도입됨)을 활용한다. 이들은 슬로프 안정성(slope stability)과 리플렉시브 층(reflexive sheaves)의 풀백 하에서의 거동에 관한 논의를 노멀 다양성의 설정으로 적응시킨다.
• 표현 스킴(Representation Schemes) 및 모듈라이(Moduli): 본질적 전사성(동형성 사례)을 다루기 위해, 저자들은 양의 표수에서 Simpson의 표현 스킴을 일반화한 X. Sun의 연구 [Sun19]를 활용한다. 여기에는 수치적으로 소멸하는 Chern class를 가진 프레임된 Gieseker 준안정 벡터 번들들의 모듈라이 공간을 구성하는 과정이 포함된다.
• Hrushovski의 정리: 본질적 전사성 증명은 유리 사상(rational maps)의 주기적 점(periodic points)에 관한 Hrushovski의 정리 [Hru04]에 의존한다. 유한 생성 기저 위에서의 패밀리로 상황을 확장(spreading out)하고, 표현 스킴 상에서 프로베니우스 모피즘의 작용을 분석함으로써, 저자들은 특정 프로베니우스 성질을 가진 안정된 번들들이 조밀함을 보인다. 이를 통해 필요한 내림 데이터(descent data)를 구성할 수 있다.

주요 기여 및 결과

1. 내림 정리 (Theorem 0.4 / Theorem 2.2):
   본 논문은 기하학적으로 연결된 파이버를 갖는 연결된 Noetherian $F$-finite 스킴 사이의 proper surjective map $f: X \to Y$에 대하여, $X$ 상의 $F$-분할 번들이 모든 기하학적 파이버 위에서 자명할 필요충분조건으로 $Y$로 내림된다는 것을 증명한다. 이 결과는 Bhatt-Scholze 정리와 독립적이며, 이후의 응용에 있어 매우 중요하다.

2. 충실한 평탄성 (Theorem 0.3 및 Theorem 3.8):

   • Theorem 0.3: 만약 $f: X \to Y$가 기하학적으로 연결된 파이버를 갖는 proper surjective morphism라면, $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$는 충실하게 평탄하다. 이 결과는 파이버가 기하학적으로 연결되어 있다면 $Y$가 매끄럽거나 $X$가 노멀임을 가정하지 않고도 성립한다.
   • Theorem 3.8: $Y$가 매끄럽고 $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$가 전사인 노멀 사영 다양체에 대하여, 유도된 $F$-분할 기본군 상의 맵은 충실하게 평탄하다. 이 결과는 $f$가 유한(finite)이어야 한다는 요구를 제거함으로써 이전 연구들을 일반화한다.

3. 동형성 (Theorem 0.2 및 Theorem 3.11):

   • Theorem 0.2: $X$와 $Y$가 노멀 사영 다양체이고, $Y$가 매끄러우며, $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$가 동형이면, $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$는 동형이다.
   • Theorem 3.11: $f_*\mathcal{O}_X = \mathcal{O}_Y$라는 추가 가정(이는 기하학적으로 연결된 파이버를 함의함) 하에서, 에탈 기본군의 동형성은 $F$-분할 기본군의 동형을 함의한다.
   • 본 논문은 일반적인 노멀 다양체에 대한 spreading out 하에서의 에탈 기본군의 거동에 대한 이해의 한계와, 기존의 진정으로 램피파이드된 모피즘 증명에서의 순수성 정리(purity theorems)에 대한 의존성 때문에, 동형성 부분에서 $Y$의 매끄러움이 현재 필수적이라고 언급한다.

4. 이전 연구의 일반화:
   본 결과들은 Esnault-Mehta [EM10]와 Biswas-Kumar-Parameswaran [BKP25]를 일반화한 Sun과 Zhang [SZ25]의 최근 연구를 일반화하고 강화한다. 본 논문은 새로운 내림 정리를 사용하여 충실한 평탄성 사례에 대한 더 직접적인 증명을 제공하며, [SZ25]의 더 복잡한 논의를 피한다.

의의 및 주장
본 논문은 (동형성 사례의 경우 타겟의 매끄러움을 조건으로 하여) 노멀 사영 다양성의 맥락에서 $F$-분할 번들에 관한 상대적 기제커 문제에 대한 결정적인 답을 제공한다고 주장한다. 주요 의의는 다음과 같다:

• 내림 정리: 저자들은 Bhatt-Scholze 내림 정리의 $F$-분할 번들에 대한 아날로그를 독립적인 관심사로서 제시하며, 이것이 전체 번들 시퀀스에 직접 적용할 때의 한계를 극복한다는 점을 밝힌다.
• 매끄러움 가정의 제거: 충실한 평탄성 결과에 있어서, 저자들은 $f$가 유한 모피즘이어야 하거나 $X$가 매끄러워야 한다는 가정을 제거하고 대신 파이버의 기하학적 연결성에 의존한다.
• 통합: 본 연구는 층화된 층(characteristic 0)과 $F$-분할 번들(positive characteristic)의 처리를 통합하여, 적절한 조건 하에서 에탈 기본군과 "미분적"(stratified/$F$-divided) 기본군 사이의 구조적 관계가 양의 표수에서도 지속됨을 확인한다.

저자들은 Theorem 0.2의 두 번째 부분에서 $Y$의 매끄러움이 (특히 [BKP25]와 [SZ25]의 진정으로 램피파이드된 사례에 대한 의존성 때문에) 현재 증명 기법의 한계이지, 결과 자체의 알려진 필연성은 아니라고 명시한다. 또한 Theorem 0.2의 두 번째 부분의 증명이 Sun의 표현 스킴 내에 숨겨진 Hrushovski의 정리와 준안정 층 패밀리의 유계성(boundedness)에 의존한다는 점을 언급한다.