[논문 리뷰] Weight filtration on the cohomology of algebraic varieties

Masaki Hanamura, Morihiko Saito|ArXiv.org|2006. 05. 23.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 6

한 줄 요약

이 논문은 임의의 대수적으로 닫힌 체 위의 대수적 다양체의 유클리드 코homology에 대한 표준적 무게 필터를 수립하며, Borel-Moore 호몰로지의 중간 무게 부분이 콪팩티피케이션의 교차 호몰로지의 몫임을 증명한다. 핵심 결과는 교차 복합체에 대한 깊이 조정된 호몰로지에서 Borel-Moore 호몰로지의 무게 필터 조각으로의 표준 사상의 상사상성으로, 이는 Gabber의 교차 복합체에 대한 순수성 정리에서 유도된다.

ABSTRACT

We show that the etale cohomology (with compact supports) of an algebraic variety $X$ over an algebraically closed field has the canonical weight filtration $W$, and prove that the middle weight part of the cohomology with compact supports of $X$ is a subspace of the intersection cohomology of a compactification $X'$ of X, or equivalently, the middle weight part of the (so-called) Borel-Moore homology of $X$ is a quotient of the intersection cohomology of $X'$. We are informed that this has been shown by A. Weber in the case $X$ is proper (and $k=\bC$) using a theorem of G. Barthel, J.-P. Brasselet, K.-H. Fieseler, O. Gabber and L. Kaup on morphisms between intersection complexes. We show that the assertion immediately follows from Gabber's purity theorem for intersection complexes.

연구 동기 및 목표

• 임의의 대수적으로 닫힌 체 위의 대수적 다양체의 유클리드 코호몰로지에 대한 표준적 무게 필터의 존재를 수립하는 것.
• Borel-Moore 호몰로지의 중간 무게 부분이 콕팩티피케이션의 교차 호몰로지의 몫임을 보이는 것.
• 이전의 사이클 클래스 상승 결과를 개선하여, 깊이 조정된 교차 호몰로지에서 Borel-Moore 호몰로지의 무게 조각으로의 표준 사상의 상사상성을 증명하는 것.
• Gabber의 순수성 정리를 사용하여 교차 복합체 간 사상에 관한 정리의 새로운 직접적인 증명을 제공하며, 이는 임의의 대수적으로 닫힌 체에서 유효하다.

제안 방법

• Gabber의 교차 복합체에 대한 순수성 정리를 사용하여, 임의의 대수적으로 닫힌 체 위에서 코호몰로지에 대한 무게 필터를 수립한다.
• Borel-Moore 호몰로지와 코호몰로지의 콪팩트 지지에 대한 딱성 대칭을 적용하여, 코호몰로지의 무게 필터를 호몰로지의 무게 조각과 연결한다.
• 깊이 조정된 교차 호몰로지 $\mathrm{IH}^{2n-j}(\overline{X})(n)$ 에서 Borel-Moore 호몰로지의 무게 조각 $\mathrm{Gr}^{W}_{-j}H_{j}^{\mathrm{BM}}(X)$ 로의 표준 사상을 구성하고, 그 상사상성을 증명한다.
• 분해 정리와 펄서브 층의 성질을 사용하여 이 사상이 무게 필터를 통해 인자화됨을 보이며, 순수 펄서브 층의 반단순성에 기반한다.
• 혼합 호몰로지 구조 이론과 $k=\mathbb{C}$ 인 경우의 비교 정리를 적용하여 기존 결과와의 일관성을 검증한다.
• 이 사상의 상사상성이 Gabber의 순수성 정리에서 직접 유도됨을 보여, 이전의 귀납적 또는 기하학적 추론을 피한다.

실험 결과

연구 질문

• RQ1 임의의 대수적으로 닫힌 체, 특히 양의 특성 수를 가진 체 위에서 유클리드 코호몰로지에 대한 무게 필터가 존재하는가?
• RQ2 Borel-Moore 호몰로지의 중간 무게 부분은 자연스럽게 콕팩티피케이션의 교차 호몰로지의 몫인가?
• RQ3 순수성 정리를 사용하여 깊이 조정된 교차 호몰로지에서 Borel-Moore 호몰로지의 무게 조각으로의 표준 사상이 상사임을 증명할 수 있는가?
• RQ4 Gabber의 순수성 정리는 $k=\mathbb{C}$ 또는 추가 기하학적 가정 없이도 교차 복합체 간 사상에 대한 정리를 직접적으로 증명할 수 있는가?
• RQ5 정규 사상 아래 펄서브 층의 직접 이미지가 어떤 조건에서 교차 복합체를 포함하는 표준 분해를 유도하는가?

주요 결과

• 대수적으로 닫힌 체 위의 임의의 대수적 다양체에 대해 유클리드 코호몰로지의 콕팩트 지지에 대한 무게 필터는 표준적이고 잘 정의되어 있다.
• 표준 사상 $\mathrm{IH}^{2n-j}(\overline{X})(n) \to \mathrm{Gr}^{W}_{-j}H_{j}^{\mathrm{BM}}(X)$ 는 상사임을 의미하며, 이는 Borel-Moore 호몰로지의 중간 무게 부분이 교차 호몰로지의 몫임을 뜻한다.
• 이 사상의 상사상성은 Gabber의 교차 복합체에 대한 순수성 정리에서 직접 유도되며, 개념적이고 일반적인 증명을 제공한다.
• Barthel 등 이전 결과를 개선하여, 대수적 사이클 클래스가 비표준적으로 교차 호몰로지로 상승함을 보였지만, 이제는 표준적 무게 이론 프레임워크로 정리된다.
• 사상 $\mathrm{Gr}^{W}_{j}H_{c}^{j}(X) \to \mathrm{IH}^{j}(\overline{X})$ 는 단사적이며, 주정리의 상사상의 딱성이다.
• 해소화 $f: X \to Y$ 의 경우, 무게 스펙트럴 시퀀스는 $\mathrm{Gr}^{W}_{n}H^{n}(Y)$ 가 $H^{n}(X)$ 에 포함됨을 보이며, 따라서 $\mathrm{IH}^{n}(Y)$ 에 포함됨을 보여, 기존의 호몰로지 이론 결과와 일관성을 확인한다.