[논문 리뷰] Grothendieck duality under Spec Z

Andrew Salch|arXiv (Cornell University)|2010. 12. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 3인용 수 4

한 줄 요약

이 논문은 스펙트럼 S의 스펙트럼 ℤ에서의 사상에 대해 스펙트럼의 안정적 호모토피 이론의 맥락에서 유도된 함자 f* , f* , f!를 정의하여 Grothendieck 대칭성을 확립한다. 이는 ℳ₀-스킴의 유도 범주가 연결 스펙트럼의 안정적 호모토피 범주와 동치임을 보이고, f!S의 호모로지가 정수의 이상 클래스 군과 동형임을 계산하여, 대수적 토폴로지와 수론 기하학 사이의 깊은 연결 고리를 드러낸다.

ABSTRACT

We define the derived category of a concrete category in a way which extends the usual definition of the derived category of a ring, and we prove that the bounded-below derived category of $\Spec \mathbb{M}_0$ (an approximation, used by e.g. Connes and Consani, to "$\Spec$ of the field with one element") is the stable homotopy category of connective spectra. We also describe some basic features of Grothendieck duality for the map from $\Spec \mathbb{Z}$ to $\Spec \mathbb{M}_0$, or, what comes to the same thing, the map from $\Spec \mathbb{Z}$ to $\Spec$ of the sphere spectrum; these basic features include a computation of the homology of the dualizing complex $f^!(S)$ of abelian groups associated to the sphere spectrum.

연구 동기 및 목표

• 스피너 스펙트럼 S인 사상 Spec ℤ → Spec S에 대해, 고전적 링의 유도 범주를 일반화하여 유도 범주 프레임워크를 정의하는 것.
• f: Spec ℤ → Spec S 사상에 대해 Grothendieck 대칭성을 확립하고, 유도 푸시다출 Rf*의 오른쪽 수반 함자 f!의 구성 포함.
• 이중화 복합체 f!S의 호모로지 군을 계산하여 ℤ의 이상 클래스 군과의 비자명한 연결 고리를 보여주는 것.
• ℳ₀(정수의 F₁-스킴에 대한 근사)의 유도 범주 중 아래로 유계된 범주가 연결 스펙트럼의 안정적 호모토피 범주와 동치임을 보여주는 것.
• Eilenberg-MacLane 함자 H와 π₀, 특히 π₀와의 호모토피 군을 통한 연결 고리에 의한 아벨 군과 스펙트럼 간의 관계를 명확히 하는 것.

제안 방법

• 논문은 링에서의 표준적인 유도 범주 구성 방식을 S-모듈의 범주와 같은 더 일반적인 모나이드 범주로 확장하여 구체적 범주의 유도 범주를 정의한다.
• Abelian 군을 연결 스펙트럼으로 포함시키는 자연스러운 매핑으로서, H: Mod(ℤ) → Mod(S)^≥0를 정의한다.
• H와 π₀ 사이의 호모토피 수반 관계를 확립하여, π₀가 H의 호모토피 왼쪽 수반임을 보이며, 이는 Adams 스펙트럼 열을 통해 이루어진다.
• 스펙트럼의 호모토피 군과 Lin의 정리를 이용하여 Rf*의 유도 오른쪽 수반 함자 f!를 구성하며, 연결 스펙트럼 X에 대해 f!X ≅ H₀(f!X)로 식별한다.
• 유도 수반 관계를 적용하여 f!S를 계산하기 위해 ℤ-모듈에서의 Ext 군을 분석하며, 특히 Ext¹_ℤ(ℚ, H₁(X,ℤ))을 고려한다.
• ℳ₀-스킴의 유도 범주와 연결 스펙트럼의 안정적 호모토피 범주 간의 동치를 활용하여 f!S를 ℳ₀에 대한 이중화 복합체로 재해석한다.

실험 결과

연구 질문

• RQ1 스피너 스펙트럼 S인 사상 f: Spec ℤ → Spec S에 대해 Grothendieck 대칭성의 적절한 공식화는 무엇인가?
• RQ2 ℳ₀-스킴의 유도 범주는 안정적 호모토피 이론의 관점에서 어떻게 이해할 수 있는가?
• RQ3 사상 f: Spec ℤ → Spec S에 관련된 이중화 복합체 f!S의 호모로지는 무엇인가?
• RQ4 Eilenberg-MacLane 함자 H는 이 맥락에서 유도 함자와 어떻게 상호작용하는가, 특히 π₀와의 수반 관계를 통해?
• RQ5 f!S의 호모로지의 수론적 의미는 무엇이며, 이상 클래스 군과 같은 고전적 수론적 불변량과 어떻게 관련이 있는가?

주요 결과

• ℳ₀-스킴의 유도 범주는 삼각 범주로서 연결 스펙트럼의 안정적 호모토피 범주와 동치이다.
• 사상 f: Spec ℤ → Spec S에 대한 이중화 복합체 f!S의 호모로지 군은 정수의 이상 클래스 군과 동형이며, H₀(f!S) ≅ Pic(ℤ) ≅ 0이다.
• 함자 f!는 공식 f!X ≅ Hom_ℤ(ℤ, f!X) ≅ [Hℤ, X]를 통해 계산되며, 이는 유한 세포 복합체 X에 대해 Ext¹_ℤ(ℚ, H₁(X,ℤ))로 축소된다.
• 함자 π₀: Mod(S)^≥0 → Mod(ℤ)는 Eilenberg-MacLane 함자 H의 호모토피 왼쪽 수반으로서, 유도 수반 관계를 확립한다.
• H₁가 유한한 유한 세포 복합체, 예를 들어 스펙트럼 S와 같이 f!S가 0이 되는 것은 Ext¹_ℤ(ℚ, H₁(S,ℤ)) = 0이기 때문이다.
• 호모토피 군과 Ext 군을 통한 f!의 구성은 사상 Spec ℤ → Spec S에 대해 잘 정의된 Grothendieck 대칭성 프레임워크의 존재를 확인한다.