[논문 리뷰] Grothendieck duality on formal schemes

Leovigildo Alonso Tarrı́o, Ana Jeremı́as López외 1명|arXiv (Cornell University)|1997. 08. 04.

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

한 줄 요약

이 논문은 델 라인의 방법을 변형하고 브라운 표현 이론 및 니만의 프레임워크를 통한 별도의 접근을 통해 노에테르형 형식 스킴 위의 유계가 아닌 복합체에 대한 전역 고토젠트 듀얼리티를 수립한다. 이는 국소 듀얼리티, 형식 듀얼리티, 잔여 정리들을 통합하여, 유계 아래 복합체와 계량성 호몰로지 복합체를 가진 편의적이고 적합한 사상에 대해 층화된 듀얼리티 정리를 도출한다.

ABSTRACT

We give several related versions of global Grothendieck Duality for unbounded complexes on noetherian formal schemes. The proofs, based on a non-trivial adaptation of Deligne's method for the special case of ordinary schemes, are reasonably self-contained, modulo the Special Adjoint Functor Theorem. An alternative approach, inspired by Neeman and based on recent results about Brown Representability, is indicated as well. A section on applications and examples illustrates how these theorems synthesize a number of different duality-related results (local duality, formal duality, residue theorems, dualizing complexes...). A flat-base-change theorem for pseudo-proper maps leads in particular to sheafified versions of duality for bounded-below complexes with quasi-coherent homology. Thanks to Greenlees-May duality, the results take a specially nice form for proper maps and bounded-below complexes with coherent homology.

연구 동기 및 목표

• 노에테르형 형식 스킴 위의 유계가 아닌 복합체에 대해 고토젠트 듀얼리티를 확장하기.
• 다양한 듀얼리티 결과—국소 듀얼리티, 형식 듀얼리티, 잔여 정리—를 하나의 프레임워크 아래 통합하기.
• 준비된-아래 복합체와 준계량성 호몰로지 복합체를 가진 경우에 대해 듀얼리티 정리의 층화된 형태를 제공하기.
• 형식 스킴 설정에서 편의적-진짜 사상에 대해 평탄한 기저 전환 정리를 수립하기.
• 그린리스-메이 듀얼리티가 진짜 사상과 유계 아래 복합체를 가진 계량성 호몰로지 복합체에 대해 듀얼리티 진술을 단순화시킨다는 것을 보여주기.

제안 방법

• 일반 스킴에 대한 델 라인의 방법을 형식 스킴 설정으로 확장하고 특별한 수반 함자 정리(특수한 수반 함자 정리)를 사용하기.
• 최근의 브라운 표현 이론 결과를 적용하여 별도의 증명 프레임워크를 제공하기.
• 이중화 복합체를 구성하고 이를 유도 범주에서 듀얼리티 동형사상을 정의하는 데 사용하기.
• 기저 전환을 확장하기 위해 편의적-진짜 사상에 대해 평탄한 기저 전환 정리를 수립하기.
• 진짜 사상의 경우 듀얼리티 진술을 단순화하기 위해 그린리스-메이 듀얼리티를 활용하기.
• 준계량성 호몰로지와 호환되도록 형식 스킴 위의 준계량층의 유도 범주 안에서 작업하기.

실험 결과

연구 질문

• RQ1 어떻게 노에테르형 형식 스킴 위의 유계가 아닌 복합체에 대해 고토젠트 듀얼리티를 확장할 수 있는가?
• RQ2 기존의 듀얼리티 정리—국소 듀얼리티, 형식 듀얼리티, 잔여 정리—는 형식 스킴에서 어떻게 통합된 프레임워크에 맞물리는가?
• RQ3 편의적-진짜 사상은 형식 설정에서 듀얼리티의 기저 전환 정리 가능성을 어떻게 보장하는가?
• RQ4 그린리스-메이 듀얼리티는 진짜 사상과 유계 아래 복합체를 가진 계량성 호몰로지 복합체에 대해 듀얼리티 진술을 어떻게 개선하는가?
• RQ5 기저 전환을 통해 유계 아래 복합체와 준계량성 호몰로지 복합체에 대해 층화된 듀얼리티 정리를 구성할 수 있는가?

주요 결과

• 논문은 델 라인의 방법을 자가 포함적으로 변형하여 노에테르형 형식 스킴 위의 유계가 아닌 복합체에 대해 전역 고토젠트 듀얼리티를 수립한다.
• 브라운 표현 이론과 표현 이론의 최근 발전을 바탕으로 한 별도의 증명 프레임워크를 제공하여 듀얼리티 동형사상에 대한 다른 시각을 제공한다.
• 듀얼리티 정리는 국소 듀얼리티, 형식 듀얼리티, 잔여 정리를 하나의 형식적 프레임워크 안에서 통합한다.
• 편의적-진짜 사상에 대해 평탄한 기저 전환 정리를 수립함으로써, 준계량성 호몰로지 복합체를 가진 유계 아래 복합체에 대해 층화된 듀얼리티 동형사상을 구성할 수 있다.
• 진짜 사상과 유계 아래 복합체를 가진 계량성 호몰로지 복합체의 경우, 그린리스-메이 듀얼리티가 특히 깔끔하고 명확한 형태의 듀얼리티 진술을 이끌어낸다.
• 결과들은 형식 스킴 위의 이중화 복합체가 고전적 대수기하학의 듀얼리티 현상을 복원하고 일반화할 수 있음을 보여준다.