Extended operational Chow group and Lefschetz (1,1)-theorem

기술 요약: 확장된 연산적 초 코 그룹(Extended Operational Chow Group) 및 레프셰츠츠 (1, 1)-정리

문제 정의
고전적인 레프셰츠츠 (1, 1)-정리는 매끄러운 사영 다양체 $X$에 대하여, 모든 정수적 (1, 1) 호지 클래스가 선다발의 제1 천 클래스(first Chern class)임을 기술한다. 이 결과를 특이 다양체로 확장하는 것은 상당한 난제를 수반한다. 특이 다양체 $X$의 경우, 코호몰로지 군 $H^2(X, \mathbb{Q})$는 순수 호지 구조(pure Hodge structure)를 갖지 않으며, 대신 혼합 호지 구조(mixed Hodge structure)를 가진다. 결과적으로, (1, 1)-클래스의 정의는 가중치-2 등급 조각인 $Gr^W_2 H^2(X, \mathbb{Q}) \cap F^1 Gr^W_2 H^2(X, \mathbb{C})$로 제한되어야 한다.

이러한 클래스들로부터 $\text{Pic}(X)$에서 가는 제1 천 클래스 사상의 전사성을 확인하려는 토타로(Totaro [8]) 등의 이전 시도들은 일반적으로 실패하였다. 또한, 블로흐-길레-술레(Bloch-Gillet-Soulé, BGS) 사이클 클래스 사상은 연산적 초 코 군 $A^p(X)$에서 (p, p)-호지 클래스 공간으로 가는 사상인데, $p=1$인 경우에도 특이 다양체에서는 항상 전사적이지는 않다. 본 논문이 다루는 핵심 문제는 특정 특이 다양체에서 BGS 사상이 전사성을 갖지 못한다는 점과, 특히 고립 특이점(isolated singularities)의 경우 전사성을 회복하기 위해 더 큰 사이클 군을 식별해야 할 필요성이다.

방법론
저자들은 퓌스턴(Fulton), 맥퍼슨(MacPherson), 토타로(Totaro)의 연구를 바탕으로 연산적 초 코 군과 하이퍼엔벨로프(hyperenvelope)의 프레임워크를 활용한다.

1. 연산적 초 코 군 (Operational Chow Groups): 본 논문은 $X$의 매끄러운 엔벨로프(하이퍼엔벨로프)들의 초 코 군 사이의 모피즘의 커널을 통해 정의되는 연산적 초 코 군 $A^p(X)$를 사용한다.
2. 특이점 해소 (Resolution of Singularities): 저자들은 특이점 해소 $\phi: \tilde{X} \to X$에 따른 BGS 사상의 거동을 분석한다. 이들은 $A^p(X)$, $A^p(\tilde{X})$, 그리고 예외 궤적(exceptional locus) $E$의 초 코 군 사이의 완전열(exact sequences)을 활용한다.
3. 역극한 (Inverse Limits): 표준 BGS 사상의 비전사성을 극복하기 위해, 저자들은 확장된 연산적 초 코 군(extended operational Chow group) $A^p_{\text{ext}}(X)$를 도입한다. 이 군은 $X$의 모든 해소(resolutions)들의 범주에 대한 $A^p(\tilde{X})$의 특정 부분집합에 대한 역극한으로 정의된다. 구체적으로, $A^p_{\text{ext}}(\phi)$는 예외 디바이저(exceptional divisor)로 제한했을 때 사이클 클래스가 0으로 가는 $A^p(\tilde{X})$의 클래스들로 구성된다.
4. 함자성과 극한 (Functoriality and Limits): 저자들은 $A^p_{\text{ext}}(X)$가 이러한 부분집합들의 역극한임을 확립하여, 사이클 클래스 사상이 이 새로운 군으로 자연스럽게 확장되도록 보장한다.

주요 기여 및 결과

1. 유리 곡면 특이점에 대한 전사성:
   저자들은 $X$가 기껏해야 유리 특이점(rational singularities)을 갖는 정규 사영 곡면일 경우, 표준 BGS 사이클 클래스 사상 $cl_1: A^1(X) \to H^{1,1}_{\text{Hdg}}(X)$가 전사적임을 증명한다. 이는 이 특정 특이 곡면 클래스에 대해 레프셰츠츠 (1, 1)-정리를 확장한 것이다. 이 경우 $A^1(X) = A^1_{\text{ext}}(X)$이다.

2. 확장된 연산적 초 코 군의 도입:
   본 논문은 $A^p_{\text{ext}}(X)$를 해소들의 연산적 초 코 군의 부분집합들의 역극한으로 정의한다.

• 포함 관계: $A^p(X) \subseteq A^p_{\text{ext}}(X)$.
• 사상의 확장: BGS 사이클 클래스 사상은 $cl_p: A^p_{\text{ext}}(X) \to Gr^W_{2p} H^{2p}(X, \mathbb{Q})$로 확장된다.
• 함자성: $p=1$인 경우, 확장된 군 $A^1_{\text{ext}}(X)$는 고립 특이점을 갖는 다양체들 사이의 모피즘에 대해 함자성을 갖는다.

3. 고립 특이점에 대한 레프셰츠츠 (1, 1)-정리:
   주요 결과는 $X$가 (반드시 곡면이 아니더라도) 기껏해야 고립 특이점을 갖는 경우, 확장된 사이클 클래스 사상 $cl_1: A^1_{\text{ext}}(X) \to H^{1,1}_{\text{Hdg}}(X)$가 전사적이라는 것이다. 이는 $H^2(X, \mathbb{Q})$의 모든 호지 (1, 1)-클래스가 확장된 연산적 초 코 군의 원소로부터 유도됨을 보여주며, 표준 사상이 남긴 간극을 메운다.

4. 반례 및 비전사성:
   본 논문은 표준 BGS 사상 $cl_1: A^1(X) \to H^{1,1}_{\text{Hdg}}(X)$가 전사적이지 않은 명시적인 예시(토타로의 사례를 따름)를 제공한다. 구체적으로, 10개의 일반적인 점들에서의 $\mathbb{P}^2$ 블로우업(blow-up) 내의 곡선 $C'$(세제곱 곡선의 엄격 변환)를 수축하여 얻은 곡면 $X$에 대해, $A^1(X) \neq A^1_{\text{ext}}(X)$이며 표준 사상은 전사성에 실패한다. 이는 확장된 군의 도입을 필연적으로 만든다.

5. 고차 코다멘션 및 호지 추측:
   고차 코다멘션($p > 1$)의 경우, 추가적인 가정 없이는 확장된 사상의 전사성이 보장되지 않는다. 저자들은 호몰로지적으로 자명한 사이클들의 풀백(pullback)이 전사적인 해소들의 부분 범주에 기반한 더 넓은 확장인 $A^p_{\text{wide}}(X)$를 정의한다. 그들은 만약 매끄러운 사영 다양체에 대해 호지 추측이 성립한다면, 사상 $cl_p: A^p_{\text{wide}}(X) \to H^{p,p}_{\text{Hdg}}(X)$가 모든 $p > 0$에 대해 전사적임을 보인다.

의의
본 논문은 고전적인 레프셰츠츠 (1, 1)-정리를 특이 다양체의 설정으로 일반화하며, 특히 제1 천 클래스 사상 및 표준 연산적 초 코 군과 관련된 한계를 다룬다고 주장한다. 확장된 연산적 초 코 군을 도입함으로써, 저자들은 고립 특이점을 갖는 다양체에 대해 사이클 클래스 사상이 전사적이 되는 자연스러운 프레임워크를 제공한다. 이 결과는 특이점이 존재할 때 호지 클래스와 대수적 사이클 사이의 관계를 명확히 하며, 표준 사이클만으로는 충분하지 않을 수 있지만, 해소들에 대한 극한(확장된 군)이 모든 (1, 1)-클래스를 포착함을 보여준다. 또한, 본 연구는 아라푸라(Arapura)의 모티빅 코호몰로지에 관한 결과와 대비하여, 아라푸라의 사상이 더 작은 부분 공간($F^1 H^2 \cap H^2$)으로 전사적인 반면, 확장된 연산적 초 코 군은 특이 구조에 내재된 더 큰 공간인 호지 (1, 1)-클래스 전체를 포착한다는 점을 언급하며 맥락을 짚는다.