[논문 리뷰] Künneth projectors for open varieties

Spencer Bloch, Hélène Esnault|ArXiv.org|2005. 02. 21.

Advanced Algebra and Geometry참고 문헌 5인용 수 3

한 줄 요약

이 논문은 평탄한 준사영적 다양체 $ U $ 의 첫 번째 코homology 군 $ H^1(U) $ 에 대해, 무한대에서 정규교차를 갖는 평탄한 사영 완비화를 가정할 때, 대수적 Künneth 프로젝터를 구성한다. 상대 모티빅 코homology 를 사용하여, 개방 대응의 추적에 대한 정수성과 $ \ell $-독립성을 증명하며, 양호한 위치 조건 하에서 Lefschetz 추적 공식을 개방 다양체로 일반화한다.

ABSTRACT

We consider correspondences on smooth quasiprojective varieties $U$. An algebraic cycle inducing the Künneth projector onto $H^1(U)$ is constructed. Assuming normal crossings at infinity, the existence of relative motivic cohomology is shown to imply the independence of $\ell$ for traces of open correspondences.

연구 동기 및 목표

• 평탄한 준사영적 다양체 $ U $ 와 그 평탄한 사영 완비화를 갖는 경우, $ H^1(U) $ 에 대한 Künneth 프로젝터를 유도하는 대수적 사이클을 구성하는 것.
• 무한대에서 정규교차를 갖는 조건 하에서, 이러한 다양체에 대한 상대 모티빅 코homology 가 존재함을 확립하는 것.
• 개방 대응의 추적에 대한 정수성과 $ \ell $-독립성을 증명하여, 추적 공식 기법을 개방 다양체로 일반화하는 것.
• 무한대의 분할에 대한 Gysin 사상과 Mayer-Vietoris 스펙트럴 시퀀스를 통해 Lefschetz 추적 공식을 개방 다양체로 확장하는 것.

제안 방법

• 평탄한 사영 완비화 $ X $ 를 갖는 $ U $ 에 대해, $ X \times U $ 상의 사이클을 구성하여 $ H^1(U) $ 에 대한 Künneth 프로젝터를 유도한다. 다만, $ (X\setminus U) \times U $ 에서는 부분적으로만 자명화된다.
• C \times J(C,\Delta) 상의 Poincaré 번들의 존재를 이용하여, $ H^1(C,\Delta) \otimes H^1(J(C,\Delta))(1) $ 에서의 첫 번째 채르니 클래스를 실현하며, 이를 $ U $ 의 코homology 와 연결한다.
• 코homology 를 $ U $ 와 무한대의 분할 $ D_I $ 의 코homology 와 연결하기 위해, Mayer-Vietoris 스펙트럴 시퀀스 $ E_1^{a,b} = \bigoplus_{|I|=a} H^b(D_I) \Rightarrow H^{a+b}_c(U) $ 를 적용한다.
• 대응 $ \Gamma $ 의 제약을 $ Z_I = \bar{\Gamma} \cdot (D_I \times X) $ 로 정의하고, Gysin 사상과 제약 사상을 사용하여 추적을 계산한다.
• 스키마 이론적 양호한 위치 조건을 도입한다: $ \bar{\Gamma}_j \cap (D_I \times X) \subset D_I \times D_I $, 이는 교차의 차수를 1로 유지하고 경계 기여를 상쇄시킨다.
• 추적 공식 $ \operatorname{Tr}(\Gamma_*) = \sum_{r=0}^d (-1)^r \sum_{|I|=r} \deg(Z_I \cdot \Delta_I) $ 를 적용하며, 여기서 $ \Delta_I $ 는 $ D_I \times D_I $ 상의 대각선이다.

실험 결과

연구 질문

• RQ1 평탄한 준사영적 다양체 $ U $ 에 대해, $ H^1(U) $ 에 대한 Künneth 프로젝터를 유도하는 대수적 사이클을 구성할 수 있는가?
• RQ2 개방 대응의 추적에 대해 정수성과 $ \ell $-독립성이 성립하는 조건은 무엇인가?
• RQ3 무한대에서 정규교차를 갖는 개방 다양체로 Lefschetz 추적 공식을 어떻게 일반화할 수 있는가?
• RQ4 무한대의 경계 기여가 추적 공식에서 어떻게 상쇄되어, 추적 값이 $ U $ 내의 고정점에만 의존하게 되는가?
• RQ5 상대 모티빅 코homology 는 $ \ell $-독립성 증명에 어떤 역할을 하는가?

주요 결과

• 대수적 사이클이 $ X \times U $ 상에 존재하여 $ H^1(U) $ 에 대한 Künneth 프로젝터를 유도하지만, $ (X\setminus U) \times U $ 에서는 완전히 자명화되지 않는다.
• 대응 $ \Gamma $ 가 $ H^*_{c}(U) $ 에 대해 추적되는 값은 $ \sum_{r=0}^d (-1)^r \sum_{|I|=r} \deg(Z_I \cdot \Delta_I) $ 로 주어지며, 여기서 $ Z_I = \bar{\Gamma} \cdot (D_I \times X) $ 이다.
• 스키마 이론적 양호한 위치 조건과 교차성 조건 하에서, 추적 $ \operatorname{Tr}(\Gamma_*) $ 는 $ \deg(\Delta_U \cdot \Gamma) $ 와 같으며, 이는 $ U $ 내의 고정점의 수이다.
• 특성 $ p $ 에서 Frobenius 사상의 그래프인 $ \Gamma $ 에 대해서도 공식이 성립하며, 새로운 모티빅 방법을 통해 기존 결과를 복원한다.
• 상대 모티빅 코homology 를 가정할 경우, 추적 공식과 경계 항의 상쇄를 통해 개방 대응의 추적에 대한 $ \ell $-독립성이 확립된다.
• $ \mathbb{A}^1 \times \mathbb{A}^1 $ 내의 예시 $ \Gamma_{pq} \subset \mathbb{A}^1 \times \mathbb{A}^1 $ (여기서 $ p \neq q $) 는 추적값이 $ p $ 임을 보여주며, $ \deg(\Delta_U \cdot \Gamma) = \max(p,q) $ 이므로, 공식 내의 상쇄 메커니즘을 설명한다.