[논문 리뷰] Duality and flat base change on formal schemes

Leovigildo Alonso Tarrı́o, Ana Jeremı́as López외 1명|ArXiv.org|1997. 08. 04.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 24

한 줄 요약

이 논문은 델 라이느의 방법을 변형하고 브라운 표현 이론을 통한 별도의 접근을 통해 노에테르형 형식 스킴 위의 유계하지 않은 복합체에 대한 전역 고티엔드 데ュ얼리티를 수립한다. 주요 기여는 닫힌 사상과 유계 아래 복합체에 대해 코herent 호모로지 조건을 만족하는 층화된 디오얼리티 정리이며, 이는 그린리스-메이 디오얼리티를 통해 국소 디오얼리티, 형식 디오얼리티, 잔여 정리들을 복합적으로 복원하고 통합한다.

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.

연구 동기 및 목표

• 노에테르형 형식 스킴 위의 유계하지 않은 복합체에 대한 전역 고티엔드 데ュ얼리티를 확장하는 것.
• 국소 디오얼리티, 형식 디오얼리티, 잔여 정리, 쌍대화 복합체 등의 다수의 디오얼리티 현상들을 하나의 프레임워크 안에서 통합하는 것.
• 가짜-비교형 사상에 대해 평탄한 기저 변경 정리를 수립하여, 유계 아래 복합체에 대해 준층화된 디오얼리티를 가능하게 하는 것.
• 닫힌 사상과 유계 아래 복합체에 대해 코herent 호모로지 조건을 만족할 경우, 그린리스-메이 디오얼리티를 통해 디오얼리티가 특히 깔끔한 형태를 띠게 된다는 것을 보여주는 것.

제안 방법

• 형식 스킴 위에서의 전역 디오얼리티를 위한 델 라이느의 방법을 적응하여 특수 준동역함수 정리에 의존한다.
• 최근 유도 범주에 대한 브라운 표현 이론 결과를 바탕으로 한 별도의 접근 방법을 활용한다.
• 유도 범주와 $\boldsymbol{\flat}$-함수의 형식을 사용하여 유계하지 않은 복합체를 다룬다.
• 특히 ${\boldsymbol{\flat}}_{\text{X}}$ 와 ${\boldsymbol{\flat}}_{\text{Y}}$ 를 통해 토피아 및 완비화 함숫름을 통한 기저 변경 동형을 확립한다.
• 유도된 푸시포워드와 호모지오미즘 객체를 연결하기 위해 형식 고티엔드-말라르지 디오얼리티(형식-GM)를 적용한다.
• 조정 $f^{\textup{\natural}} \bot \textbf{R}f_*$ 와 층화된 디오얼리티 동형을 활용하여 주요 결과를 유도한다.

실험 결과

연구 질문

• RQ1 노에테르형 형식 스킴 위의 유계하지 않은 복합체에 대해 전역 고티엔드 데ュ얼리티를 어떻게 확장할 수 있는가?
• RQ2 형식 스킴 설정에서 가짜-비교형 사상에 대해 평탄한 기저 변경 동형이 성립하기 위한 조건은 무엇인가?
• RQ3 그린리스-메이 디오얼리티는 닫힌 사상과 유계 아래 복합체에 대해 코herent 호모로지 조건을 만족할 경우 디오얼리티 표현식을 어떻게 단순화하는가?
• RQ4 유도된 함숫름 $f^{\textup{\natural}}$ 과 $\textbf{R}f_*$ 는 어떤 방식으로 유계 아래 코herent 복합체의 부분범주에서 쌍대 조정 쌍을 이루는가?
• RQ5 결과들이 형식 스킴 맥락에서 국소 디오얼리티, 형식 디오얼리티, 잔여 정리를 어떻게 통합하는가?

주요 결과

• 이 논문은 노에테르형 형식 스킴 사이의 닫힌 사상 $f: \tmspace{1.0mu}\textsc{X} \to \tmspace{1.0mu}\textsc{Y}$ 에 대해, 유계 아래 복합체의 코herent 호모로지 조건을 만족하는 범주 ${\textbf{D}}_{\text{c}}^{+}$ 에서 $f^{\textup{\natural}}$ 이 $\textbf{R}f_*$ 와 오른쪽 수반 관계를 이룬다는 것을 증명한다.
• 모든 ${\tmspace{1.0mu}\textsc{F}} \tmspace{1.0mu}\text{in}\tmspace{1.0mu}{\textbf{D}}_{\text{c}}^{+}({\tmspace{1.0mu}\textsc{Y}})$ 에 대해 기저 변경 사상 $\beta_{\tmspace{1.0mu}\textsc{F}}^{\textup{\natural}}$ 는 동형이 되며, 이는 형식 맥락에서 평탄한 기저 변경이 성립함을 확인한다.
• 모든 ${\tmspace{1.0mu}\textsc{G}} \tmspace{1.0mu}\text{in}\tmspace{1.0mu}{\textbf{D}}_{\text{c}}^{+}({\tmspace{1.0mu}\textsc{X}})$ 와 ${\tmspace{1.0mu}\textsc{F}} \tmspace{1.0mu}\text{in}\tmspace{1.0mu}{\textbf{D}}_{\text{c}}^{+}({\tmspace{1.0mu}\textsc{Y}})$ 에 대해 디오얼리티 동형 $\textbf{R}f_* \textbf{R}{\textsc{H}}\textsc{om}^{\bullet}({\tmspace{1.0mu}\textsc{G}}, f^{\textup{\natural}}{\tmspace{1.0mu}\textsc{F}}) \to \textbf{R}{\textsc{H}}\textsc{om}^{\bullet}(\textbf{R}f_*{\tmspace{1.0mu}\textsc{G}}, {\tmspace{1.0mu}\textsc{F}})$ 가 성립함을 보여주며, 이는 층화된 디오얼리티를 확립한다.
• 만약 ${\tmspace{1.0mu}\textsc{X}}$ 가 적절히 대수적이라면 $f^{\textup{\natural}}$ 은 $f^{\times}$ 로 대체될 수 있으며, 이는 디오얼리티 표현식을 단순화한다.
• 결과들은 유도 범주와 조정을 기반으로 한 통합된 프레임워크를 통해 국소 디오얼리티, 형식 디오얼리티, 잔여 정리를 통합한다.
• 형식-GM 디오얼리티 동형 ${\boldsymbol{\flat}}_{\textsc{X}} f^{\natural} \tmspace{1.0mu}\text{is}\tmspace{1.0mu}\text{isomorphic to}\tmspace{1.0mu} f^{\natural}$ 는 $f^{\natural}$ 이 유계 아래 코herent 복합체를 유지함을 보장한다.