[논문 리뷰] Ideals in Triangulated Categories: Phantoms, Ghosts and Skeleta

J. Daniel Christensen|arXiv (Cornell University)|1998. 07. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 21인용 수 5

한 줄 요약

이 논문은 프로젝트브 클래스를 사용하여 삼각 범주에서 이상을 연구하는 프레임워크를 수립하며, 스펙트럴 시퀀스와 폐쇄 지도와 연결한다. 그들은 게임스를 통한 안정적 리만-슐레르만 카테고리의 안정적 동반체를 정의하고, 저차원 실수 프로젝트브 스페이스에 대해 이를 계산하며, X에서 Y로의 폐쇄 지도가 항상 lim¹ 군과 동형임을 보여, 안정 호모토피 이론에서 핵심적인 구조적 질문을 해결한다.

ABSTRACT

We begin by showing that in a triangulated category, specifying a projective class is equivalent to specifying an ideal I of morphisms with certain properties, and that if I has these properties, then so does each of its powers. We show how a projective class leads to an Adams spectral sequence and give some results on the convergence and collapsing of this spectral sequence. We use this to study various ideals. In the stable homotopy category we examine phantom maps, skeletal phantom maps, superphantom maps, and ghosts. (A ghost is a map which induces the zero map of homotopy groups.) We show that ghosts lead to a stable analogue of the Lusternik-Schnirelmann category of a space, and we calculate this stable analogue for low-dimensional real projective spaces. We also give a relation between ghosts and the Hopf and Kervaire invariant problems. In the case of A-infinity modules over an A-infinity ring spectrum, the ghost spectral sequence is a universal coefficient spectral sequence. From the phantom projective class we derive a generalized Milnor sequence for filtered diagrams of finite spectra, and from this it follows that the group of phantom maps from X to Y can always be described as a lim^1 group. The last two sections focus on algebraic examples. In the derived category of an abelian category we study the ideal of maps inducing the zero map of homology groups and find a natural setting for a result of Kelly on the vanishing of composites of such maps. We also explain how pure exact sequences relate to phantom maps in the derived category of a ring and give an example showing that phantoms can compose non-trivially.

연구 동기 및 목표

• 프로젝트브 클래스를 사용하여 삼각 범주에서 이상의 체계적 이론을 개발하기.
• 이러한 이상을 애드엄스 스펙트럴 시퀀스와 연결하고, 수렴 및 붕괴 행동을 분석하기.
• 안정 호모토피 범주에서 폐쇄 지도, 게임스, 스케letal 지도를 연구하기.
• 유한 스펙트럼의 필터링 다이어그램에 대한 밀너 시퀀스를 일반화하기.
• 게임스 지도와 히포프 및 커베이어 불변량과 같은 고전 문제 간의 연결 탐색하기.

제안 방법

• 삼각 범주에서 프로젝트브 클래스를 특정 폐쇄 성질을 갖는 이상으로 특성화하기.
• 각 이상과 관련된 애드엄스 스펙트럴 시퀀스를 구성하고, 그 수렴성을 분석하기.
• 호모토피 군에서 0을 유도하는 지도로 게임스를 정의하고, 이를 통해 리만-슐레르만 카테고리의 안정적 동반체를 정의하기.
• 폐쇄 지도 프로젝트브 클래스를 사용하여 유한 스펙트럼의 필터링 다이어그램에 대한 일반화된 밀너 시퀀스 유도하기.
• lim¹ 군을 사용하여 X에서 Y로의 폐쇄 지도의 군을 기술하고, 이것이 항상 그러한 형태로 표현 가능하다는 것을 증명하기.
• 유도 범주에 대해 프레임워크를 적용하여 순수 정확한 수열과 폐쇄 지도를 연결하고, 이러한 지도의 복합체를 분석하기.

실험 결과

연구 질문

• RQ1 삼각 범주에서 프로젝트브 클래스는 이상과 어떻게 대응되며, 그들의 거듭제곱은 어떤 성질을 상속하는가?
• RQ2 게임스와 안정적 리만-슐레르만 카테고리의 동반체 사이의 관계는 무엇인가?
• RQ3 X에서 Y로의 폐쇄 지도 군은 항상 lim¹ 군으로 기술될 수 있는가?
• RQ4 A-무한리 링 스펙트럼 위의 A-무한리 모듈 범주에서 게임스 스펙트럴 시퀀스는 보편 계수 스펙트럴 시퀀스와 어떻게 관련되는가?
• RQ5 폐쇄 지도가 비자명하게 복합될 수 있는 조건은 무엇이며, 이는 유도 범주의 순수 정확한 수열과 어떻게 관련되는가?

주요 결과

• X에서 Y로의 폐쇄 지도 군은 lim¹ 군과 동형이며, 이는 완전한 구조적 기술을 제공한다.
• 게임스를 통한 리만-슐레르만 카테고리의 안정적 동반체는 저차원 실수 프로젝트브 스페이스에 대해 계산되었다.
• 게임스는 안정적 LS-카테고리의 버전을 유도하며, 작은 n에 대해 RP^n의 경우 명시적인 계산이 이루어졌다.
• A-무한리 링 스펙트럼 위의 A-무한리 모듈에서의 게임스 스펙트럴 시퀀스는 보편 계수 스펙트럴 시퀀스와 일치한다.
• 폐쇄 지도가 비자명하게 복합될 수 있음을 보여주는 반례가 제시되었으며, 이는 오랫동안 남아있던 이러한 지도의 복합체에 관한 질문을 해결한다.
• 논문은 유도 범주에서 호모로지-0 지도의 복합체의 소멸에 관한 켈리의 결과를 자연스러운 설정으로 수립한다.