A necessary condition for liftings of positive characteristic varieties with finite fundamental groups

기술 요약: 유한 기본군(Finite Fundamental Groups)을 갖는 양의 표수 다양체의 리프팅에 대한 필요조건

문제 제기
본 논문은 표수가 $p > 0$인 대수적으로 닫힌 체 위에서 정의된 매끄러운 고유 다양체(smooth, proper varieties)의 표수 0 리프팅 존재 여부를 결정하는 문제를 다룬다. 알려진 장애물로는 코다이라 소멸(Kodaira vanishing)의 실패와 기본군의 특정한 거동 등이 있으나, 본 연구는 $\ell$-아델릭 에탈 호모토피 이론( $\ell$-adic étale homotopy theory)과 월의 유한성 장애물(Wall's finiteness obstruction)의 변형으로부터 도출된 새로운 필요조건을 도입한다. 구체적인 초점은 에탈 $\ell$-프로파이트 완성을 갖는 기본군이 유한한 $\ell$-군(finite $\ell$-group)인 다양체에 맞춰져 있다.

방법론
저자들은 대수적 위상수학과 산술 기하학의 합성을 활용하며, 다음의 이론적 틀을 사용한다:

1. 에탈 호모토피 이론: 저자들은 스킴 $X$의 $\ell$-아델릭 에탈 호모토피 유형 $X^\wedge_{\text{ét}, \ell}$를 활용한다. 핵심적인 위상적 관찰은 만약 표수 $p$의 매끄러운 고유 다양체 $X$가 표수 0으로 리프팅된다면, 그 $X$의 $\ell$-아델릭 에탈 호모토피 유형은 복소 다양체의 $\ell$-아델릭 호모토피 유형(이는 유한 CW 복합체와 호모토피 동치임)과 $\ell$-아델릭 약동치(weak equivalent)여야 한다는 것이다.
2. 월의 유한성 장애물: 저자들은 어떤 CW 복합체가 유한 CW 복합체와 호모토피 동치인지에 관한 C.T.C. 월(C.T.C. Wall)의 고전적 결과를 확장한다. 월의 기준은 공간이 "유한 지배(finitely dominated)"되어야 하며, 축약된 대수적 K-군 $\tilde{K}_0(\mathbb{Z}[\pi_1])$에서 월의 유한성 장애물이 소멸해야 함을 요구한다.
3. 국소 및 프로파이트 완성: 저자들은 다음 개념들을 일반화한다:
   • $T$-국소 공간($T$-local spaces): 소 primes 집합 $T$에 대해 국소화된 공간들.
   • $\ell$-프로파이트 완전 공간($\ell$-profinite complete spaces): 특히, 유한한 기본군을 가진 공간으로서, 그 보편 피복(universal cover)의 체인 복합체가 $\mathbb{F}_\ell[\pi]$ 상의 군 환(group ring) 위에서 분석되는 경우.
4. 체인 복합체 분석: 중심적인 기술적 도구는 보편 피복의 $\ell$-프로파이트 완성의 셀룰라 체인 복합체를 분석하는 것이다. 저자들은 이 체인 복합체가 $\mathbb{F}_\ell[\pi]$ 상에서 완전한(perfect, 즉 유한 생성 투영 모듈들의 유계된 복합체와 체인 호모토피 동치인) 경우를 기준으로 "mod-$\ell$ 유한 지배성(mod-$\ell$ finite dominatedness)"을 정의한다.

주요 기여 및 결과

1. 국소/완전 공간으로의 유한성 장애물 확장:
   저자들은 유한한 기본군을 갖는 섬유별 $T$-국소 CW 복합체와 $\ell$-프로파イト 완전 공간에 대한 유한성 장애물의 개념을 정식화한다.

   • 정리 2.10 및 2.12: 섬유별 $T$-국소 CW 복합체가 유한 CW 복합체와 호모토피 동치일 필요충분조건은 그것이 $T$-국소 유한 지배적이고 $T$-국소 월의 유한성 장애물이 소멸하는 것임을 입증한다. 또한 장애물 사상의 전사성(정리 2.12)을 증명하여, 관련 K-군 내의 임의의 원소가 장애물로 실현될 수 있음을 보여준다.
   • 유한 $\ell$-군에 대한 장애물의 소멸: 중요한 관찰 사항(사실 3.6)은 유한 $\ell$-군 $\pi$에 대하여, 축약된 K-군 $\tilde{K}_0(\mathbb{F}_\ell[\pi])$가 자명하다는 것이다. 결과적으로, 이 설정에서는 월의 유한성 장애물이 자동으로 소멸한다. 주요 조건은 "mod-$\ell$ 유한 지배성"으로 축소된다.

2. $\ell$-아델릭 약동치의 특징화:
   정리 3.11은 유한 $\ell$-군 기본군을 갖는 연결된 CW 복합체 $Y$가 언제 유한 CW 복합체와 $\ell$-아델릭 약동치인지를 특징화한다. 이는 다음의 경우에 성립한다:

   • $Y$가 mod-$\ell$ 유한 지배적이다 (즉, $Y$의 $\ell$-프로파이트 완 ever의 보편 피복의 체인 복합체가 $\mathbb{F}_\ell[\pi]$ 상에서 완전하다).
   • $Y$의 $\ell$-프로파이트 완성이 "$\ell$-국소 리프팅"을 허용한다 (즉, 그것이 $\ell$-국소 유한 유형 공간의 섬유별 $\ell$-완성이다).

3. 대수적 다양체에의 적용:
   저자들은 유한 에탈 코호몰로지와 유한 에탈 기본군을 갖는 스킴에 이 위상적 결과들을 적용한다.

   • 정리 1.3 및 따름정리 4.4: 유한 $\ell$-프로파이트 에탈 기본군과 유한 에탈 코호몰로를 갖는 국소 노터(locally Noetherian) 스킴 $X$에 대하여, $X$의 에탈 호모토피 유형의 $\ell$-프로파이트 완성의 호모토피 군은 유한 생성 $\mathbb{Z}_\ell$-모듈임을 입증한다.
   • 정리 5.4: 에탈 호모토피 유형 $X_{\text{ét}}$가 복소 다양체와 $\ell$-아델릭 약동치일 필요충분조건은 $X$가 mod-$\ell$ 유한 지배적이고 그 $\ell$-프로파이트 완성이 $\ell$-국소 리프팅 가능( $\ell$-local liftable)한 것임을 확립한다.

4. 리프팅에 대한 주요 필요조건:
   따름정리 5.5는 리프팅에 관한 본 논문의 주요 결과인 다음을 제시한다:

   • $X$를 $(\pi_1^{\text{ét}}(X))^\wedge_\ell$이 유한 $\ell$-군인 분리 가능한 닫힌 체(separably closed field) 위의 매끄러운 고유 다양체라고 하자.
   • 만약 $X$가 표수 0의 이산 밸류에이션 환(discrete valuation ring) 위의 매끄러운 고유 스킴으로 리프팅 가능하다면, $X$는 반드시 mod-$\ell$ 유한 지배적이어야 한다.
   • 나아가, 리프팅이 기본군 구조를 적절히 보존한다면, $X$의 $\ell$-프로파이트 완성은 $\ell$-국소 리프팅 가능해야 한다.

의의 및 주장
본 논문은 코다이라 소멸과 같은 기존의 장애물과는 구별되는, 양의 표수 다양체의 리프팅을 위한 새로운 필요조건을 도입한다고 주장한다. 그 의의는 리프팅이라는 기하학적 문제를 에탈 호모토피 유형의 체인 복합체와 관련된 호모토피적 유한성 문제로 변환하는 데 있다.

저자들은 "mod-$\ell$ 유한 지배성"이 필요조건이긴 하지만, 이것이 구체적인 예시에서 비자명한 장애물(즉, 이 조건을 만족하지 못하여 리프팅될 수 없는 다양체가 존재하는지 여부)인지에 대해서는 여전히 미해결 과제로 남아 있다고 언급한다. 또한, 본 논문은 이 특정 맥락에서 유한 $\ell$-군에 대한 축약된 K-군의 소멸을 뒷받침하는 표현론적 결과에 대한 대수적 증명을 부록에서 제공한다.

이 연구는 월의 유한성 이론을 $\ell$-프로파이트 완전 공간의 영역으로 확장하며, 이는 양의 표수를 갖는 대수적 다양체와 유한 CW 복합체 사이의 간극을 메우기 위해 필요한 기술적 발전이다.