[논문 리뷰] A Note on Support in Triangulated Categories

Aaron Bergman|ArXiv.org|2008. 04. 24.

Algebraic structures and combinatorial models참고 문헌 17인용 수 3

한 줄 요약

이 논문은 콪트된 카테고리에서 유한 차원의 총 호모지 공간을 갖는 콤팩트 객체로부터 정의된 새로운 콤팩트 지지 개념을 제안한다. 이는 코herent sheaf나 모듈의 도파인 카테고리에서 콤팩트 지지 객체가 각각 올바른 지지 또는 유한 차원 코homology를 갖는 객체들과 정확히 일치함을 증명하며, 이는 도파인 모리타 동치와 특이점에서의 D-브라인 물리학에 응용된다.

ABSTRACT

In this note, I define a notion of a compactly supported object in a triangulated category. I prove a number of propositions relating this to traditional notions of support and give an application to the theory of derived Morita equivalence. I also discuss a connection to supersymmetric gauge theories arising from D-branes at a singularity.

연구 동기 및 목표

• 소형 쌍대곱을 갖는 콤팩트 카테고리에서 콤팩트 지지 객체를 정의하고 연구하기.
• 이 새로운 콤팩트 지지 개념을 대수기하학과 표현론에서의 고전적 지지 개념과 연관시키기.
• 콤팩트 지지 부분카테고리와 올바른 지지 또는 유한 차원 코homology를 갖는 부분카테고리 사이의 동치를 확립하기.
• 결과를 도파인 모리타 동치와 특이점에서 유도된 초대칭 게이지 이론에 적용하기.
• 곡선의 구조층에 대한 Ext-유한 조건을 이용해 올바른 지지에 대한 호모로지 기준 제공하기.

제안 방법

• 모든 콤팩트 ℱ에 대해 ∑ᵢ dim Hom(ℱ, 𝒪[i])의 유한성으로 콤팩트 지지 객체 정의하기.
• Hom-함수의 장정렬열을 사용해 콤팩트 지지 객체의 전체 부분카테고리가 삼각형 카테고리임을 증명하기.
• 고차 코hom로지 스펙트럴 시퀀스와 잘라내기 기법을 사용해 콤팩트 지지와 코호몰로지의 유한성과의 관계를 규명하기.
• 올바른 성질의 평가 기준을 적용해, 곡선의 구조층으로부터의 유한한 Ext-차원이 올바른 지지를 암시함을 보이기.
• 다양체의 매끄러움을 이용해 완전 복합체가 유계임을 확보하고 고전적 지지 이론과 비교 가능하게 하기.
• 스펙트럴 시퀀스와 장정렬열을 사용해 문제를 코호몰로지 모듈과 층 Ext 군으로 축소하기.

실험 결과

연구 질문

• RQ1 D^b(Coh(X))의 유계 복합체가 도파인 카테고리에서 콤팩트 지지를 갖는 조건은 무엇인가?
• RQ2 매끄럽고 노에테르인 다양체에서, 코호몰로지 층의 콤팩트 지지와 올바른 지지 사이의 정확한 관계는 무엇인가?
• RQ3 A-모듈의 도파인 카테고리 D(A-Mod)에서 콤팩트 지지는 복합체의 유한 차원 코호몰로지 모듈과 어떻게 관련되는가?
• RQ4 구조층의 곡선에서의 Ext-유한성 조건으로 콤팩트 지지 부분카테고리를 특징지을 수 있는가?
• RQ5 콤팩트 지지가 특이점에서의 도파인 모리타 동치와 D-브라인 구성에 미치는 영향은 무엇인가?

주요 결과

• 콤팩트 카테고리에서 콤팩트 지지 객체의 부분카테고리는 삼각형 카테고리이며, 이동과 확장에 대해 닫혀 있다.
• 노에테르 다양체 X에 대해, 코herent sheaf의 유계 복합체는 모든 코호몰로지 층이 올바른 지지를 갖는 것과 정확히 동치로 콤팩트 지지를 갖는다.
• 체 위의 대수 A에 대해, A-모듈의 유계 복합체는 모든 코호몰로지 모듈이 유한 차원일 때와 정확히 동치로 콤팩트 지지를 갖는다.
• 감소 곡선 C의 구조층 𝒪_C에서 코herent sheaf 𝒪로의 유한 차원 Ext 군이 존재하면, 그 층은 올바른 지지를 갖는다.
• 매끄럽고 노에테르인 다양체에서, D^c(Coh(X))의 콤팩트 지지 부분카테고리는 코호몰로지 층이 올바른 지지를 갖는 복합체의 전체 부분카테고리와 동치이다.
• 매끄러움 조건 하에서, 모든 감소 곡선 C에 대해 ∑ᵢ dim Hom(𝒪_C, 𝒪_C[i])의 유한성은 콤팩트 지지 조건과 동치이다.