Arithmetic Kodaira--Spencer Class and Frobenius Liftings via Frobenius--Witt Cotangent Complex

기술 요약: 프로베니우스-비트 코토전 복합체를 통한 산술적 코다이라-스펜서 클래스와 프로베니우스 리프팅

문제 제기
2-절단된 비트 벡터의 환 $W_2(k)$ (또는 $\mathbb{Z}/p^2$)로의 프로베니우스 엔도모피즘(endomorphism)의 리프팅 존재 여부는 양의 표수를 가진 매끄러운 사영 다양체에 엄격한 기하학적 제약을 가한다. 보트 소멸 정리(Bott vanishing theorems) 및 토릭 파이브레이션(toric fibrations)에 관한 추측과 같은 주목할 만한 결과들은 이러한 프로베니우스 리프트가 존재한다는 가정에 의존한다. 따라서, 평평한 $\mathbb{Z}_{(p)}$-스키마가 프로베니우스 리프트를 갖기 위한 정확한 조건을 결정하는 것은 근본적인 문제이다.

이 문제에 대한 이전의 접근 방식들은 두 가지 구별되는 프레임워크를 활용하였다:

1. 고전적 변형 이론(Classical Deformation Theory): [Zda18]에서 볼 수 있듯이, 코토전 복합체의 변형 이론을 사용하여 장애 클래스(obstruction classes)가 구성된다.
2. 산술 미분 형식(Arithmetic Differential Forms): 매끄러운 스킴의 경우, [DKRZB17]은 총 $p$-미분(total $p$-differentials)의 모듈 $\Omega^{1, \text{tot}}_{X_1}$을 사용하여 장애 클래스(산술 코다이라-스펜서 클래스)를 구성하였다. 이 접근 방식은 고전적인 코다이라-스펜서 이론과 유사하지만, 총 $p$-미분을 포함하는 특정 완전열의 좌완전성(left exactness)에 의존한다.

총 $p$-미분을 사용하는 미분적 접근 방식의 한계는, 비매끄러운(non-smooth) 스킴에 대해 총 $p$-미분의 시퀀스가 반드시 좌완전하지 않다는 점이며, 이는 장애 클래스의 직접적인 일반화를 방해한다. 본 논문은 산술 코다이라-스펜서 클래스의 정의를 임의의 평평한 $\mathbb{Z}_{(p)}$-스키마로 확장하고, 이 새로운 정의를 고전적 변형 이론과 일치시켜야 할 필요성을 다룬다.

방법론
저자는 애니메이티드(animated) $\mathbb{Z}_{(p)}$-대수에 대해 [Shi26]에서 도입된 프로베니우스-비트 코토전 복합체(Frobenius–Witt cotangent complex) $FL_X$를 사용한다. 이 대상은 프로베니우스 리프팅의 맥락에 적응된, 고전적 코토전 복합체의 산술적 유사체 역할을 한다.

핵심 방법론은 다음과 같다:

1. 유도 범주를 통한 일반화: 매끄러운 경우의 총 $p$-미분 모듈을, 준코헤런트 층의 유도 $\infty$-범주 $D_{\text{qc}}(X_0)$ 내에서의 프로베니우스-비트 코토전 복합체 $FL_X$로 대체한다.
2. 파이버 시퀀스(Fiber Sequences): 평평한 $\mathbb{Z}_{(p)}$-스키마 $X$에 대하여 정칙 파이어 시퀀스(transitivity fiber sequence) (정리 2.4)를 활용하여 다음과 같은 정칙 파이어 시퀀스를 확립한다:
   $$\mathcal{O}_{X_0} \to FL_X \to F^*_{X_0} L_{X_0/\mathbb{F}_p} \to$$
   여기서 $X_0 = X \times_{\text{Spec } \mathbb{Z}_{(p)}} \text{Spec } \mathbb{F}_p$ 이며, $F_{X_0}$는 프로베니우스 모피즘이다.
3. 장애 정의: 산술 코다이라-스펜서 클래스 $\kappa_X$를 위 파이어 시퀀스의 연결 사상(connecting map)에 의해 결정되는 확장 클래스(extension class) $\text{Ext}^1_{X_0}(F^*_{X_0} L_{X_0/\mathbb{F}_p}, \mathcal{O}_{X_0})$로 정의한다.
4. 비교: 이 클래스의 소멸(vanishing)이 프로베니우스 리프트의 존재와 동치임을 증명하고, 이 클래스가 고전적 변형 이론으로부터 유도된 장애 클래스와 일치함을 보여준다.

주요 기여 및 결과

1. 산술 코다이라-스펜서 클래스의 정의 (정의 1.3):
   본 논문은 프로베니우스-비트 코토전 복합체를 사용하여 임의의 평평한 $\mathbb{Z}_{(p)}$-스키마(반드시 매끄러울 필요는 없음)에 대해 $\kappa_X$를 정의한다. 이는 총 $p$-미분이 사용되었던 매끄러운 경우를 넘어 장애 이론의 범위를 확장한다.

2. 프로베니우스 리프팅과의 동치 (정리 3.3):
   중심 결과는 평평한 $\mathbb{Z}_{(p)}$-스키마 $X$에 대하여, 산술 코다이라-스펜서 클래스 $\kappa_X$가 소멸하는 것이 $X_1 = X \times_{\text{Spec } \mathbb{Z}_{(p)}} \text{Spec } \mathbb{Z}/p^2$ 상의 프로베니우스 리프트가 존재할 필요충분조건임을 확립한다.

   • 증명 개요: $\kappa_X = 0$이면, 파이어 시퀀스가 분할(split)되어 $FL_X \to \mathcal{O}_{X_0}$인 리트랙션(retraction)을 구성할 수 있다. 이 리트랙션은 사상 $\alpha: \mathcal{O}_X \to \mathcal{O}_{X_0}$를 유도하며, 이는 $p$제곱 사상과 결합하여 프로베니우스를 리프트하는 환 준동형 사상 $F: \mathcal{O}_{X_1} \to \mathcal{O}_{X_1}$를 정의한다. 역으로, 프로베니우스 리프트는 프로베니우스-비트 미분(derivation)을 유도하여 필요한 리트랙션을 생성한다.

3. 상대적 버전 (정리 3.9):
   저자는 평평한 $\mathbb{Z}_{(p)}$-스키마들의 모피즘 $f: X \to Y$에 대한 상대적 산술 코다이라-스펜서 클래스 $\kappa_{X/Y}$를 정의한다. 이 클래스의 밑 공간 $Y$에 대한 리트랙션과의 합성의 소멸은, 주어진 $Y_1$ 상의 리프트와 호환되는 $X_1$ 상의 프로베니우스 리프트의 존재와 동치임을 보인다.

4. 델리뉴-일루스(Deligne–Illusie) 클래스와의 비교 (정리 4.2):
   매끄러운 스킴에 대해, 본 논문은 새로 정의된 산술 코다이라-스펜서 클래스가 국소적 프로베니우스 리프트와 $H^1(X_0, F^*_{X_0} T_{X_0/\mathbb{F}_p})$의 코사이클(cocycle)을 통해 구성되는 고전적 델리뉴-일루스 클래스 $h_{X_1}$와 (부호 차이를 제외하고) 일치함을 증명한다.

5. 고전적 변형 이론과의 비교 (정리 5.3):
   본 논문은 애니메이티드 링에 대한 산술 코다이라-스펜서 맵이 코토전 복합체의 고전적 변형 이론(구체적으로, 프로베니우스 리프트와 코토전 복합체의 표준 프로베니우스 사이의 차이)을 통해 정의된 장애 맵과 정준적으로 동치임을 증명한다. 이는 프로베니우스-비트 접근법이 고전적 변형 이론적 접근법과 동일한 장애를 산출함을 확인시켜 준다.

6. Modulo $p^2$ 축소에 대한 의존성 (따름정리 5.7):
   고전적 이론과의 비교에 따른 중요한 결과는, 평평한 $\mathbb{Z}_{(p)}$-대수의 프로베니우스-비트 코토전 복합체 $FL_X$가 본질적으로 그 $p^2$에 대한 축소(reduction)에만 의존한다는 것이다. 두 스킴 $X$와 $Y$가 $X_1 \cong Y_1$인 $p^2$ 축소를 갖는다면, 그들의 프로베니우스-비트 코토전 복합체는 동등하다 ($FL_X \simeq FL_Y$).

의의
본 논문은 총 $p$-미분을 사용하는 산술 미분 기하학과 고전적 변형 이론 사이의 간극을 메우는 통합된 프레임워크를 제공한다. 저자는 프로베니우스-비트 코토전 복합체를 활용함으로써, 산술 코다이라-스펜서 클래스를 비매끄러운 스킴으로 성공적으로 일반화하였으며, 이는 총 $p$-미분의 사용에서 문제가 되었던 좌완전성 문제를 해결한다.

이 연구는 산술 코다이라-스펜서 클래스를 견고한 장애 불변량으로서 검증하며, 매끄러운 경우의 델리뉴-일루스 클래스 및 일반적인 애니메이티드 경우의 고전적 변형 장애와의 동치성을 입증한다. 나아가, 프로베니우스-비트 코토전 복합체가 $p^2$ 축소에 의해 결정된다는 결과는 이러한 복합체와 관련된 계산을 구조적으로 단순화하며, 프로베니우스 리프트와 관련된 특정 유도 불변량들을 위해 더 높은 차수의 비트 벡터 데이터가 필요하지 않을 수 있음을 시사한다.