Non-liftable varieties via etale cohomology rings

기술 요약: 에탈 코호몰로지 환을 통한 리프트 불가능한 다양체

문제 정의
본 논문은 양의 표수 $p$를 갖는 매끄러운 사영 다양체를 표수 0으로 리프트(lifting)하는 문제를 다룬다. 리프팅에 대한 다양한 장애 요인들(예: 유한 군 작용, 호지 이론의 실패, 또는 베티 수와 같은 특정 코호몰로지 불변량에서 기인하는 것들)이 알려져 있으나, 저자들은 $\ell$-아딕 에탈 코호몰로지 환(étale cohomology ring)의 구조에 내재된 새로운 유형의 장애 요인을 탐구한다. 구체적으로, 이들은 다양체 $X/\mathbb{F}_p$의 에탈 코호몰로지 환 $H^*(X, \mathbb{Q}_\ell)$이 $\mathbb{Q}$ 위에서 정의될 수 있는지 조사한다. 등급이 있는 $\mathbb{Q}_\ell$-대수 $R$은 만약 등급이 있는 $\mathbb{Q}$-대수 $R_\mathbb{Q}$가 존재하여 $R_\mathbb{Q} \otimes_\mathbb{Q} \mathbb{Q}_\ell \cong R$을 만족한다면 $\mathbb{Q}$-형(form)을 가진다고 한다. 저자들은 이 조건이 실패하는 다양체를 구성함으로써, 설리번(Sullivan)이 제안한 바와 같이 리프팅에 대한 위상적 장애를 제공하고자 한다.

방법론
구성 과정은 블로업(blow-up)을 사용하여 대수적 구조를 코호몰로지 환에 인코딩하는 두 가지 주요 단계로 진행된다:

1. 보조 다양체 $Z$의 구성:

   • 저자들은 $\mathbb{F}_p$ 위의 초특이 타원 곡선(supersingular elliptic curve) $E$에서 시작한다. 이 곡선의 유리 엔도모피즘 대수(rational endomorphism algebra) $D = \text{End}(E) \otimes \mathbb{Q}$는 $\mathbb{Q}$ 위의 4차원 쿼터니언 나눗셈 대수(quaternion division algebra)이다.
   • 저자들은 생성원 $\alpha, \beta \in \text{End}(E)$와 인덱스 집합 $I = \{\infty, 0, 1, \alpha, \beta\}$를 선택한다.
   • 3차원 다양체 $Y = (E \times E) \times \mathbb{P}^1$ 내부에서, 이 엔도모피즘들(및 좌표 복사본)의 그래프 $\Gamma_\gamma$들을 고려한다.
   • 서로소임과 구별 가능한 라벨링을 보장하기 위해, 저자들은 서로 다른 기수 $m_\gamma$를 갖는 유한하고 쌍으로 서로소인 부분집합 $T_\gamma \subset \mathbb{P}^1$을 선택한다.
   • $Z$를 곡선들의 유니온 $\coprod C_{\gamma, t} = \coprod \Gamma_\gamma \times \{t\}$에 대한 $Y$의 블로업으로 정의한다.
   • 핵심 메커니나즘: $H^*(Z)$의 코호몰로지 환은 $H^1(Z) \cong V \oplus V$ (여기서 $V = H^1(E)$) 내의 부분 공간들의 라벨링된 구성을 본질적으로 회복함을 보여준다. 구체적으로, 코호몰로지 환 내 곱셈 사상의 랭크 감소 로커스(rank-drop locus)는 각 $\gamma$에 대응하는 예외적 디바이저(exceptional divisor)를 식별하며, 이는 다시 커널 $K_\gamma$를 인코딩하여 $V$ 상의 2차원 벡터 공간에 대한 $D$의 작용을 재구성한다.

2. 단순 연결 다양체 $X$의 구성:

   • 설리번의 위상적 장애 조건(단순 연결성 요구)을 만족시키기 위해, 저자들은 $Z$를 $\mathbb{P}^9_k$에 임베딩하고 $Z$를 따라 $\mathbb{P}^9_k$를 블로업하여 $X$를 정의한다.
   • 저자들은 $H^*(X)$가 $H^*(Z)$를 본질적으로 회복할 수 있음을 입증한다. 하이퍼플레인 클래스와 예외적 디바이저 클래스를 특정 대수적 관계(예: 소멸 성질 및 커널 구조)를 통해 식별함으로써, $X$로부터 $Z$의 등급이 있는 대수를 재구성한다.
   • 이는 $H^*(Z)$에 존재하는 모든 장애가 $H^*(X)$에서도 지속됨을 보장한다.

주요 기여 및 결과

• 정리 0.1: 본 논문은 에탈 코호몰로지 환 $H^*(X, \mathbb{Q}_\ell)$이 $\mathbb{Q}$-형을 갖지 않는, $\mathbb{F}_p$ 위의 단순 연결된 매끄러운 사영 다양체 $X$를 구성한다.
• 리프트 불가능성: (보조정리 1.1을 통해) 직접적인 결과로서, 다양체 $X$는 표수 0으로의 리프팅을 허용하지 않는다.
• 본질적 회복: 저자들은 쿼터니언 나눗셈 대수의 작용을 인코딩하는 라벨링된 부분 공간의 구성이 기하학적 구성에 대한 참조 없이 오직 추상적인 코호몰로지 환의 등급이 있는 대수 구조로부터만 회복될 수 있음을 증명한다.
• 나눗셈 대수를 통한 모순: $\mathbb{Q}$-형이 존재한다면, 회복된 구성이 2차원 $\mathbb{Q}$-벡터 공간 상의 4차원 나눗셈 대수 $D$의 작용을 정의하게 되는데, 이는 불가능하다는 사실을 통해 $\mathbb{Q}$-형이 존재하지 않음을 증명한다.

의의
본 논문은 $\mathbb{Q}_\ell$-호모토피 데이터가 $\mathbb{Q}$로 내려오지 않을 때 리프팅이 저해된다는 설리번의 위상적 장애를 실현한 첫 번째 사례라고 주장한다.

• 새로운 유형의 장애: 기존의 장애들이 기하학적 병리 현상(예: 코다이라 소멸의 실패 또는 특정 프로베니우스 거동)에 의존했던 것과 달리, 이 장애는 $\ell$-아딕 코호몰로지 환 자체의 본질적인 구조로부터 발생한다.
• 그로텐디크의 기대와의 관계: 이 결과는 양의 표수 $p$를 갖는 매끄러운 적절한 다양체의 에탈 호모토피 타입의 $\ell$-완성(completion)이 유한 CW 복합체의 $\ell$-완성과 호모토피 동치여야 한다는 그로텐디크의 기대에 대해 부정적인 답을 제공한다. $H^*(X)$가 $\mathbb{Q}$-형을 갖지 않는 다양체의 존재는 표수 $p$와 표수 0 사이의 호모토피 타입 간의 근본적인 차이를 시사한다.
• 이전 연구와의 비교: 저자들은 자신들의 예시가 이전의 비리프트 가능성 결과들(예: Esnault-Srinivas-Stix, van Dobben de Bruyn)과 달리, $\ell$-아딕 위상에 의존하는 경우가 비자명한 에탈 기본군에 의존했던 것과 달리 단순 연결되어 있다는 점을 들어 차별화한다.

본 논문은 결론적으로 표수 $p$와 0의 $\ell$-아딕 에탈 코호몰로지 환이 본질적인 차이를 가지고 있으며, 이러한 차이가 리프팅을 방해하는 방식으로 "좋은" 성질이 실패할 수 있음을 보여준다고 명시한다.