[논문 리뷰] On the non additivity of the trace in derived categories

Daniel Ferrand|arXiv (Cornell University)|2005. 06. 29.

Homotopy and Cohomology in Algebraic Topology인용 수 9

한 줄 요약

이 논문은 유도 범주에서의 내적(trace)가 호모토피 상에서만 가환하는 다이어그램일 경우 덧셈이 성립하지 않음을 보여주는 반례를 제시한다. 핵심 결과는 특정 내적 삼중체에 대해 Tr(v) ≠ Tr(u) + Tr(w)임을 보이며, Tr(v) = −ε 이고 Tr(u) = Tr(w) = 0 이므로, 호모토피 가환 설정에서 덧셈의 붕괴가 발생함을 시사한다.

ABSTRACT

In this note we provide an example of an endomorphism of a short exact sequence of perfect complexes, with the trace of the middle map not equal to the sum of the traces of the two other ones. The point is that the squares involved are commutative only up to homotopy. In view of this example I have found in 1968, Deligne immediately created his "categories spectrales", and soon afterwards Illusie introduced the "filtered derived categories" where a satisfactory kind of additivity is restored for the trace. This paper, written in French, ends up with a brief chronological comment.

연구 동기 및 목표

• 내적 다이어그램이 엄격히 가환하지 않고 호모토피 상에서만 가환할 경우 유도 범주에서 추적의 덧셈이 성립하지 않음을 보이는 것.
• 추적 덧셈을 유지하기 위해 더 엄격한 가환 조건(예: 엄격한 가환성 또는 필터링된 유도 범주)이 필요한 이유를 설명하는 것.
• Deligne의 스펙트럴 범주와 Illusie의 필터링된 유도 범주와 같이 추적 덧셈이 성립하는 더 정교한 범주론적 프레임워크의 개발을 동기화하는 것.
• 특히 부호와 호모토피 호환성에 관해, 복합체의 행렬식과 추적을 정의하는 데 있어서 기초적인 문제를 명확히 하는 것.
• 엄격한 다이어그램에서의 추적 덧셈 일반화를 호모토피 가환 다이어그램으로 확장하는 데에 실패하는 구체적인 예를 제공하는 것.

제안 방법

• 아이디얼 ε(ε² = 0)를 포함하는 가환환 A 위에서의 완전 복합체에 대한 짧은 정규열을 구성하는 것.
• 복합체 정의: K = A (도수 1), L = (A →ε A) (도수 0과 1), M = A (도수 0).
• 내적 정의: K에서 u = 0, M에서 w = 0, L에서 v = (0, ε)이며, v는 도수 0에서 0으로, 도수 1에서 ε로 작용한다.
• 교대합을 통한 추적 계산: Tr(u) = 0, Tr(w) = 0, Tr(v) = (−1)¹·Tr(ε) = −ε.
• 왼쪽 사각형이 호모토피를 통해만 가환함을 확인하기 위해, K¹ → L⁰의 항등사상 h를 호모토피로 사용하는 것.
• 오른쪽 사각형은 엄격히 가환하고 왼쪽 사각형은 오직 호모토피 상에서만 가환하므로, 이 경우 덧셈의 실패를 보여주는 것.

실험 결과

연구 질문

• RQ1 내적 다이어그램이 엄격히 가환하지 않고 오직 호모토피 상에서만 가환할 경우, 유도 범주에서 추적의 덧셈이 성립하는가?
• RQ2 완전 복합체의 호모토피 가환 다이어그램에서 추적 덧셈이 성립하지 않는 구조적 장애는 무엇인가?
• RQ3 엄격한 가환성 또는 필터링된 유도 범주와 같은 더 강력한 범주 조건 하에서 추적 덧셈 공식을 복원할 수 있는가?
• RQ4 부호 관례와 호모토피 호환성은 유도 범주에서 행렬식과 추적의 정의 및 행동에 어떤 영향을 미치는가?
• RQ5 널리 퍼진 원소 ε(ε² = 0)는 유도 범주에서 추적 덧셈에 대한 반례를 구성하는 데 어떤 역할을 하는가?

주요 결과

• 중간 복합체 L에서 내적 v의 추적은 Tr(v) = −ε 이고, Tr(u) = 0, Tr(w) = 0 이므로 Tr(v) ≠ Tr(u) + Tr(w) 이다.
• 오른쪽 사각형은 엄격히 가환하고 왼쪽 사각형은 오직 호모토피 상에서만 가환하므로, 호모토피 가환성만으로는 추적 덧셈이 성립하지 않음을 보여준다.
• 이 예는 엄격한 다이어그램에서의 추적 덧셈 일반화를 호모토피 가환 다이어그램으로 확장하는 데에 실패함을 보여주며, 완전 복합체의 맥락에서도 마찬가지이다.
• ε² = 0 인 널리 퍼진 원소 ε의 존재는 반례에 있어 필수적이며, 이 결과는 근본적인 환에서는 성립하지 않는다.
• 덧셈의 실패는 Deligne가 '스펙트럴 범주'를 개발하고 Illusie가 '필터링된 유도 범주'를 도입하도록 동기화하였으며, 이는 더 강력한 구조 조건 하에서 추적 덧셈을 복원한다.
• 이 반례는 Knudsen과 Mumford의 작업에서 다이어그램이 엄격히 가환해야 추적 덧셈이 성립한다는 요구 조건을 정당화한다.