[논문 리뷰] Proper local complete intersection morphisms preserve perfect complexes

Bertrand Toën|arXiv (Cornell University)|2012. 10. 10.

Algebraic structures and combinatorial models참고 문헌 9인용 수 23

한 줄 요약

이 논문은 유도 대수기하학을 통해 문제를 노에테리안 케이스로 환원함으로써, 스킴 사이의 적절한 국소 완전교차 사상이 완전 복합체를 보존한다는 새로운 증명을 제공한다. 노에테리안 기반 위에 유도 스킴 모델을 구성함으로써, 저자들은 유도 기저변환과 연속성 성질을 활용하여, 프로젝티브 또는 노에테리안 조건을 요구하지 않고 완전 복합체의 보존을 확립한다.

ABSTRACT

Let $f : X \longrightarrow Y$ be a proper and local complete intersection morphism of schemes. We prove that $\mathbb{R}f_{*}$ preserves perfect complexes, without any projectivity or noetherian assumptions. This provides a different proof of a theorem by Neeman and Lipman based on techniques from derived algebraic geometry to proceed a reduction to the noetherian case.

연구 동기 및 목표

• 네만과 리플만의 정리에 대한 대안적 증명을 제공함: 적절한 완전 사상 하에서 완전 복합체가 보존됨을 증명.
• 노에테리안 또는 프로젝티브 조건 없이도 적절한 국소 완전교차(lci) 사상으로 결과를 확장함.
• 고전적 강하가 실패할 경우에도 유도 대수기하학이 노에테리안 케이스로의 환원을 가능하게 함을 보여줌.
• 노에테리안 환 위의 유도 lci 스킴에서의 유도 측도가 적절한 푸시포워드 하에 완전 복합체를 보존함을 보임.
• 특히 기저변환과 연속성과 같은 기초 도구를 알gebriac K-이론과 쌍대성 이론에 응용하기 위한 유도 대수기하학의 기초를 구축함.

제안 방법

• 모든 스킴가 노에테리안 환의 필터링된 합집합으로 표현될 수 있다는 사실을 이용하여 문제를 노에테리안 설정으로 환원함.
• 고전적 스킴 $h^0(X_i)$가 lci가 아니더라도, 노에테리안 기반 $A_i$ 위에 있는 유도 스킴 $X_i$를 구성함으로써, 그 유도 의미에서 $X_i$가 적절하고 lci가 되도록 함.
• 유도 측도의 연속성 성질을 적용하여, 충분히 큰 $i$에 대해 스킴 $X$ 위의 완전 복합체 $E$를 $X_i$ 위의 완전 복합체 $E_i$로 강하함.
• 유도 대수기하학에서의 기저변환 성질(평탄성 가정 없이도 유효함)을 활용하여, $X_i$ 위의 유도 푸시포워드와 $X$ 위의 유도 푸시포워드를 연결함.
• 코탄제트 복합체의 진폭이 $[-1,0]$인 유도 스킴의 국소 구조 정리에 기반하여, 높은 호모토피 층 $h^i(X)$가 $h^0(X)$ 위에서 균일하고 유한 개의 $i$에 대해서만 비영이 됨을 보임.
• 그로텐디크의 유한성 정리와 디비산스를 적용하여, 완전 복합체의 유도 푸시포워드가 유계인 균일 복합체임을 보이고, 섬세한 퍼지스 퍼포먼스를 통해 유한 토르 차원임을 결론함.

실험 결과

연구 질문

• RQ1 프로젝티브 또는 노에테리안 가정 없이도, 적절한 사상 하에서 완전 복합체의 보존을 증명할 수 있는가?
• RQ2 고전적 스킴이 lci 사상으로 강하하지 못할 경우에도, 유도 대수기하학 기법을 통해 노에테리안 케이스로의 환원이 가능한가?
• RQ3 평탄성 조건이 없을 경우, 유도 기저변환 성질이 고전적 기저변환보다 더 강력한 결론을 도출할 수 있는가?
• RQ4 노에테리안 환 위의 유도 lci 스킴에서의 유도 측도가 충분히 잘 행동하여, 완전 복합체의 유도 푸시포워드가 완전 복합체가 되는가?
• RQ5 전역 인수분해가 없는 상황에서, 유도 강하와 연속성에 의한 GRR 추측에 접근할 수 있는가?

주요 결과

• 모든 스킴 사이의 적절한 국소 완전교차 사상 $f: X \to Y$에 대해, 유도 직접 이미지 함자 $\mathbb{R}f_*$는 완전 복합체를 보존하며, 노에테리안 또는 프로젝티브 가정 없이도 성립함.
• 핵심 기술적 진전은, 적절한 lci 사상이 노에테리안 환 위의 유도 스킴 사상으로 강하될 수 있다는 것임.
• 증명은 유도 측도의 연속성과, 평탄성 조건 없이도 유효한 유도 기저변환 성질에 기반함.
• 유도 lci 스킴의 높은 호모토피 층 $h^i(X)$는 잘라낸 $h^0(X)$ 위에서 균일하며, 유한 개의 $i$에 대해서만 비영임.
• 모든 $X$ 위의 완전 복합체 $E$에 대해, 유도 푸시포워드 $\mathbb{R}f_*E$는 $Y$ 위의 유계인 균일 복합체이며, 임의의 닫힌 점에서의 섬세한 퍼지스는 $k(s)$-벡터 공간 위의 완전 복합체임.
• 따라서 유도 푸시포워드는 유한 토르 차원을 가지며, 결과적으로 완전 복합체임을 보여주어 주요 결과를 확립함.