[논문 리뷰] On the cyclic homology of ringed spaces and schemes

Bernhard Keller|ArXiv.org|1998. 02. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 79

한 줄 요약

이 논문은 앰플 라인 번들을 가진 스킴 X의 순환 호모로지와 그 대수적 벡터 번들의 범주에 대한 유도 순환 호모로지 사이의 표준적 이somorphism을 수립한다. 국소화 쌍을 통한 완전 복합체에 대한 차르 캐릭터의 새로운 구성 방법을 사용하여, 저자들은 HC∗(X) ≅ HCder∗(vec(X))를 증명하며, 준콤팩트 분리 스킴에 대해 HC∗(X) ≅ HC∗(per X)로 확장한다. 이 결과는 순환 호모로지에 대한 계산 도구를 제공하며, 경쟁 정의들에 비해 유도 순환 호모로지 프레임워크의 타당성을 뒷받침한다.

ABSTRACT

We prove that the cyclic homology of a scheme with an ample line bundle coincides with the cyclic homology of its category of algebraic vector bundles. As a byproduct of the proof, we obtain a new construction of the Chern character of a perfect complex on a ringed space.

연구 동기 및 목표

• 암플 라인 번들과 함께하는 스킴 X의 순환 호모로지와 그 대수적 벡터 번들의 범주에 대한 유도 순환 호모로지 사이의 이omy를 수립하는 것.
• 국소화 쌍과 유도 순환 호모로지의 기반으로, 링드 스페이스 위의 완전 복합체에 대한 차르 캐릭터의 새로운 구성 방법을 제공하는 것.
• McCarthy의 이전 정의와 달리, 약간의 확장이 가능한 유도 순환 호모로지 이론 HCder∗를 정당화하는 것.
• 유한 차원성 조건 하에서 히퍼코호몰로지 접근 방식을 비교하여, 스킴에 대한 순환 호모로지 정의의 기초적 문제를 해결하는 것.
• 국소화 쌍 per X를 통한 완전 복합체로의 일반화를 통해, 준콤팩트 분리 스킴에 대해 HC∗(X) ≅ HC∗(per X)를 보여주는 것.

제안 방법

• k-선형 정확 범주 A에 대해 유도 범주 모델을 사용하여 HCder∗(A)를 정의함으로써, 퀼렌의 K-이론 프레임워크를 일반화하는 것.
• OX의 시피드 사이클릭 바이코호몰로지 복합체 CC(OX)를 사용하여, k-대수의 층을 가진 임의의 링드 스페이스 X에 대해 HC∗(per X) → HC∗(X)의 자연스러운 사상 구축.
• per X(완전 복합체와 악티브 복합체)의 국소화 쌍 구조를 활용하여, [18]의 프레임워크에 따라 HC∗(per X)를 정의하는 것.
• 암플 라인 번들을 가진 스킴에 대해 HCder∗(vec(X)) ≅ HC∗(per X)임을 증명함으로써, 벡터 번들과 완전 복합체를 연결하는 것.
• 표준 함자 D(Qcoh X) → DqcX와 브라운 표현 정리를 사용하여, OX가 DqcX 내에서 컴팩트 생성자임을 보여 유도 범주 간 비교를 가능하게 하는 것.
• 미탈레프러 렘마와 역극한의 정확성을 적용하여, CC(OX)의 히퍼코호몰로지 계산에서 코호몰로지의 소멸을 제어하는 것.

실험 결과

연구 질문

• RQ1 암플 라인 번들을 가진 스킴 X의 대수적 벡터 번들의 범주에 대한 유도 순환 호모로지 HCder∗(vec(X))는 스킴 자체의 순환 호모로지 HC∗(X)와 이omy인가?
• RQ2 국소화 쌍과 순환 호모로지의 기반으로, 이전 방법에 의존하지 않고 링드 스페이스 위의 완전 복합체의 차르 캐릭터를 구성할 수 있는가?
• RQ3 유도 순환 호모로지 이론 HCder∗는 마크코비의 정의와 달리, 약간의 확장이 가능한 약간의 스킴을 넘어선 자연스러운 확장인가?
• RQ4 준콤팩트 분리 스킴 X에 대해, 스킴 X의 순환 호모로지와 그 완전 복합체 범주 per X의 순환 호모로지 간에 이omy가 성립하는가?
• RQ5 시피드 사이클릭 복합체 CC(OX)의 히퍼코호몰로지와 기저 대수적 구조의 순환 호모로지 사이의 관계는 무엇인가?

주요 결과

• 체 k 위의 임의의 스킴 X에 대해 암플 라인 번들을 가진다면, HC∗(X) ≅ HCder∗(vec(X))의 표준적 이omy가 성립한다.
• X 위의 완전 복합체 P의 차르 캐릭터는 HC∗(per pt) → HC∗(per X) → HC∗(X)의 조합을 통해 ch([k]) ∈ HC∗(k)의 이미지로 표현되며, 이는 새로운 구성 방법을 제공한다.
• 틸팅 번들을 가진 매끄럽고 사영적인 다양체에 대해, 차르 캐릭터는 K0(X) ⊗Z HC∗(k) ≅ HC∗(X)를 유도하여 명시적 계산을 가능하게 한다.
• k-대수 A에 대해, 유도 순환 호모로지 HCder∗(A)는 마크코비의 HCMcC∗(proj(A))와 일치하지만, 마크코비 이론이 실패하는 비아핀 스킴로까지 확장된다.
• 임의의 준콤팩트 분리 스킴 X에 대해, 스킴 X의 순환 호모로지는 국소화 쌍의 완전 복합체에 대한 순환 호모로지 HC∗(per X)와 이omy이다.
• 표준 함자 D(Qcoh X) → DqcX는 동치이며, 이는 OX가 DqcX 내에서 컴팩트 생성자임을 보여 유도 범주 비교를 가능하게 한다.