[논문 리뷰] Refined unramified homology of schemes

Stefan Schreieder|arXiv (Cornell University)|2020. 10. 12.

Algebraic Geometry and Number Theory참고 문헌 28인용 수 8

한 줄 요약

이 논문은 보렐–무어 호몰로지, 대수적 사이클, 고전적 비분기 호몰로지의 통합을 가능하게 하는 새로운 불변량인 정련된 비분기 호몰로지를 도입한다. 유한 생성 체 위에서 l-진 샤우 군이 이 호몰로지에 의해 계산됨을 증명하며, 대수적으로 닫힌 체 위에서는 이전의 사이클에 관한 결과를 특이 스킴과 임의의 코드림에 일반화한다. 이로써 대수적 동치에 모odulo된 토판 사이클에 대한 유한 필터링을 수립하고, 그 필터링의 계수 부분군은 고차 아벨–자코비 불변량에 의해 지배됨을 보인다.

ABSTRACT

We introduce refined unramified cohomology of algebraic schemes and show that it interpolates between Borel--Moore homology, algebraic cycles, and classical unramified cohomology. We prove that over finitely generated fields, l-adic Chow groups of algebraic schemes are computed by refined unramified cohomology. Over algebraically closed fields, our approach simplifies and generalizes to cycles of arbitrary codimensions on possibly singular schemes, previous results of Bloch--Ogus, Colliot-Thelene--Voisin, Kahn, Voisin, and Ma that concerned cycles of low (co-)dimensions on smooth projective varieties. As an application, we prove Green's conjecture for torsion cycles modulo algebraic equivalence on complex algebraic schemes: there is a finite filtration on torsion cycles modulo algebraic equivalence such that the graded quotients are determined by higher Abel--Jacobi invariants.

연구 동기 및 목표

• 보렐–무어 호몰로지, 대수적 사이클, 고전적 비분기 호몰로지 사이를 연결하는 호몰로지적 프레임워크를 개발하는 것.
• 이전에 매끄럽고 사영적 다양체 및 낮은 코드림에 국한되어 있던 대수적 사이클 이론의 결과를 임의의 코드림과 특이 스킴으로 일반화하는 것.
• 복소 대수적 스킴에서 대수적 동치에 모odulo된 토판 사이클에 대한 유한 필터링을 수립하는 것.
• 이 필터링의 계수 부분군이 고차 아벨–자코비 불변량에 의해 결정됨을 보이는 것.
• 유한 생성 체 위에서 l-진 샤우 군이 정련된 비분기 호몰로지에 의해 계산됨을 증명하는 것.

제안 방법

• 사이클 이론적 조건을 고려한 비분기 호몰로지의 개선을 통해 정련된 비분기 호몰로지를 새로운 불변량으로 도입함.
• l-진 호몰로지의 구조와 사이클 클래스 사상의 성질을 이용하여 정련된 비분기 호몰로지가 유한 생성 체 위에서 l-진 샤우 군과 관련됨을 밝힘.
• 대칭성과 특이점의 해소 기법을 적용하여 매끄러운 스킴에서의 결과를 특이 스킴으로 확장함.
• 고차 아벨–자코비 사상의 활용을 통해 대수적 동치에 모odulo된 토판 사이클의 구조를 분석함.
• 정련된 비분기 호몰로지 군을 이용하여 대수적 동치에 모odulo된 토판 사이클에 대한 유한 필터링을 구성함.
• 이 필터링의 계수 부분군이 고차 아벨–자코비 불변량의 상사진과 동형임을 보임.

실험 결과

연구 질문

• RQ1 비분기 호몰로지를 어떻게 정련하여 고전적 불변량을 넘어서 대수적 사이클의 정보를 포착할 수 있는가?
• RQ2 정련된 비분기 호몰로지가 얼마나 정확히 유한 생성 체 위에서 l-진 샤우 군을 계산할 수 있는가?
• RQ3 매끄럽고 사영적 다양체에서 낮은 코드림에 대한 사이클 결과를 임의의 코드림과 특이 스킴으로 일반화할 수 있는가?
• RQ4 대수적 동치에 모odulo된 토판 사이클에 대해 계수 부분군이 고차 아벨–자코비 불변량에 의해 지배되는 유한 필터링이 존재하는가?
• RQ5 정련된 비분기 호몰로지가 보렐–무어 호몰로지, 대수적 사이클, 고전적 비분기 호몰로지를 어떻게 통합하는가?

주요 결과

• 정련된 비분기 호몰로지는 보렐–무어 호몰로지, 대수적 사이클, 고전적 비분기 호몰로지 사이를 연결하는 통합적 프레임워크를 제공한다.
• 유한 생성 체 위에서 대수적 스킴의 l-진 샤우 군은 정련된 비분기 호몰로지에 의해 계산된다.
• 대수적으로 닫힌 체 위에서 이 이론은 이전의 사이클 결과를 임의의 코드림과 특이 스킴으로 일반화한다.
• 복소 대수적 스킴에서 대수적 동치에 모odulo된 토판 사이클에 대한 유한 필터링이 존재한다.
• 이 필터링의 계수 부분군은 고차 아벨–자코비 불변량에 의해 결정되며, 이는 이 맥락에서 그린의 추측을 확인한다.
• 블로크–오거스, 콜리에-테렌, 카한, 보신, 마 등의 이전 결과들을 단순화하고 확장하는 접근법을 제공한다.