Some remarks on Chow correspondences

Pablo Pelaez의 "Some Remarks on Chow Correspondences"에 대한 상세 기술 요약

문제 제기
본 논문은 보보드스키(Voevodsky)의 삼각 범주 모티브($DM_k$)의 틀 안에서, 매끄러운 사영 다양체 $X$와 $Y$ 사이(대수적으로 닫힌 체 $k$ 위)의 Chow 대응(Chow correspondence) $\Lambda \in CH^{d+n}(X \times Y)$ 중 특정 유도 호모모피즘 $\psi$가 소멸하는 경우를 특징짓는 구체적인 문제를 다룬다.

여기서 문제의 호모모피즘 $\psi: CH^{d_Y-n}(Y) \to Alb(X)(k)$는 대응 $\Lambda$를 통해 정의된다. 이는 사이클 $\gamma$를 다음의 차수 조정을 거친 교차 곱의 알베르세 이미지로 매핑한다:
$$\psi(\gamma) = alb_X(\Lambda(\gamma) - \deg(\Lambda(\gamma))[x_0])$$
여기서 $alb_X$는 알베르세 사상이고, $x_0$는 고정된 유리 점이며, $\Lambda(\gamma)$는 대응의 표준 작용이다. 본 논문은 $\psi$가 항등적으로 영(zero)이 되기 위한 조건을 탐구하며, 특히 이 소멸을 모티브 범주의 직교 여과(orthogonal filtration) 내에서의 대응 구조와 연관 지어 규명하고자 한다.

방법론
저자는 보보드스키의 삼각 범주 모티브($DM_k$)와 적절한 동치 관계(adequate equivalence relations) 이론의 도구를 활용한다. 방법론은 다음의 핵심 요소들에 의존한다:

1. 사이클의 모티브적 표현: 본 논문은 사이클을 모티브 범주에서의 사상으로 나타내기 위해 동형 관계 $Hom_{DM_k}(M(Z), \mathbb{1}(m)[2m]) \cong CH^m(Z)$를 사용한다.
2. 직교 여과: 핵심 도구는 $DM_k$의 직교 여과인 $DM_k^\perp(m)$이다. 이 여과는 $m$-효과적 모티브(m-effective motives)의 부분 범주에 직교하는 대상들로 구성된다. 본 논문은 특히 직교 피복(orthogonal cover) $bc_{\leq -1}$과 그 counit $\theta_{-1}^A: bc_{\leq -1}(A) \to A$에 집중하며, 여기서 $A$는 알베르세 다양체 $Alb(X)$의 점들의 함자(functor of points)를 나타낸다.
3. 인수 분해 기준: 대응과 관련된 모티브적 사상의 인수 분해 분석을 핵심 기술적 접근법으로 삼는다. 구체적으로, 본 논문은 대응 $\Lambda$에 의해 유도된 모티브적 사상과 알베르세 다양체로의 사상의 합성(composition)이 직교 피복 $bc_{\leq -1}(A)$를 통해 인수 분해되는지 조사한다.
4. 정칙 호모모피즘(Regular Homomorphisms): 분석은 사이클 유도 정칙 호모모피즘(Lieberman의 의미에서) 이론과 $\psi$의 소멸을 연결하며, 알베르세 사상의 정칙 호모모피즘으로서의 성질을 활용한다.

주요 기여 및 결과

• 소멸하는 대응의 특징화 (Theorem 4.1.4):
  주요 결과는 호모모피즘 $\psi$가 영이 되기 위한 필요충분조건을 확립한다. 정리는 $\psi \equiv 0$일 필요충분조건이 대응 $\Lambda$와 관련된 모티브적 사상(구체적으로 합성 $A_f \circ \Lambda_X$)이 직교 피복 $\theta_{-1}^A: bc_{\leq -1}(A) \to A$를 통해 인수 분해되는 것임을 명시한다. 도식적으로는, 관련 삼각 도식(triangle)을 가환(commute)하게 만드는 사상 $\Lambda': M(Y)(-n)[-2n] \to bc_{\leq -1}(A)$가 $DM_k$ 내에 존재한다.

• 제곱 동치의 탐지 (Theorem 4.3.1):
  본 논문은 직교 피복이 "제곱 동등하게 영인 것"(square equivalent to zero, $alg^{*2}$로 표기)인 대응을 탐지함을 입증한다. 즉, 만약 대응 $\Lambda$가 부분군 $CH^{d+n}_{alg^{*2}}(Y \times X)$(대수적 동치 관계의 자기 자신과의 곱)에 속한다면, 유도된 호모모피즘 $\psi$는 영이다. 결과적으로, 그러한 대응들은 $bc_{\leq -1}(A)$를 통한 인수 분해 조건을 만족한다.

• H. Saito의 여과 탐지 (Theorem 4.3.2):
  기저 체가 $k = \mathbb{C}$인 특수한 경우, 결과는 H. Saito의 여과 두 번째 단계($H^{*2}$)에 속하는 대응까지 포함하도록 강화된다. 만약 $\Lambda \in CH^{d+n}_{H^{*2}}(Y \times X)$라면, $\psi$는 소멸하며 직교 피복을 통한 인수 분해가 성립한다.

• 조건의 날카로움 (Remark 4.3.3):
  저자는 조건 $\Lambda \in CH^{d+n}_{alg^{*2}}$가 날카로움(sharp)을 보여주는 반례를 제공한다. 단순히 $CH^{d+n}_{alg}$(대수적 동치)에는 속하지만 제곱에는 속하지 않는 대응의 경우, 호모모피즘 $\psi$가 반드시 영이 되지는 않음을 보인다. 이는 알베르세 커널(Albanese kernel) 내의 비토션(non-torsion) 원소와 수치적으로 영이 아닌 사이클을 포함하는 대응을 구성함으로써 입증된다.

의의 및 주장
본 논문은 사이클 유도 정칙 호모모피즘이 알베르세 다양체로 가는 경우에 대한 정밀한 모티브적 기준을 제공한다고 주장한다. $\psi$의 소멸을 직교 피복 $bc_{\leq -1}$을 통한 인수 분해와 연결함으로써, 이 연구는 고전적 교차 이론(적절한 동치 관계)을 보보드스키의 모티브 범주의 구조적 성질과 결합한다.

그 의의는 직교 여과이 다음과 같은 특정 클래스의 대응을 "탐지"할 수 있음을 보여주는 데 있다:

1. 알베르세 다양체 상에서 영의 사상을 유도하는 대응을 식별한다.
2. 제곱 동등하거나(over $\mathbb{C}$에서) H. Saito의 여과 두 번째 단계에 속하는 대응들이 이러한 모티브적 인수 분해를 만족함을 특징짓는다.

저자는 일반적인 Bloch-Beilinson 추측을 해결하려는 것이 아니라, 직교 여과를 이러한 특정 동치 관계를 자연스럽게 포착하는 도구로서 위치시키며, 알베르세 사상 하에서의 대수적 사이클의 거동에 대한 모티브적 관점을 제시한다. 결과들은 알베르세 사상의 성질과 Lieberman의 정칙 호모모피즘 이론에 기반하여, 기존의 모티브 프레임워크 내에서의 특징화로 제시된다.