[논문 리뷰] On the (non)vanishing of some "derived" categories of curved dg algebras

Bernhard Keller, Wendy Lowen외 1명|ArXiv.org|2009. 05. 23.

Algebraic structures and combinatorial models참고 문헌 7인용 수 4

한 줄 요약

이 논문은 곡률이 있는 미분가환대수(dg algebra)의 유도 범주가 0이 되지 않는지를 조사하며, 특히 $k[u,u^{-1}]$와 같은 일부 변형된 dg 대수나 $k[c]$ 및 $k[c]/c^n$과 같은 초기 곡률 대수의 경우, 기존의 일반적인 dg 대수의 고전적 유도 범주를 변형하는 데 적합한 합리적인 유도 범주는 존재하지 않음을 보여준다. 핵심 결과는 체 위에서 바(bar) 유도 범주 및 기타 후보 유도 범주가 이러한 대수들에 대해 0이 된다는 점으로, 곡률이 있는 설정에서의 유도 변형 이론에 근본적인 장애가 있음을 시사한다.

ABSTRACT

Since curved dg algebras, and modules over them, have differentials whose square is not zero, these objects have no cohomology, and there is no classical derived category. For different purposes, different notions of "derived" categories have been introduced in the literature. In this note, we show that for some concrete curved dg algebras, these derived categories vanish. This happens for example for the initial curved dg algebra whose module category is the category of precomplexes, and for certain deformations of dg algebras.

연구 동기 및 목표

• 곡률이 있는 dg 대수에 대해 고전적 유도 범주를 변형하는 데 적합한 합리적인 유도 범주가 존재하는지 여부를 규명하는 것.
• dg 대수의 변형에서 비롯된 곡률이 있는 대수의 맥락에서 유도 범주 구성의 실패를 조사하는 것.
• 특히 비영인 곡률이 존재할 경우 곡률이 있는 dg 대수의 유도 범주가 0이 되는 조건을 명확히 하는 것.
• 바(bar) 유도 범주 및 제2종 유도 범주와 같은 주요 유도 범주 구성 방식이 곡률과 기저 변경에 어떻게 영향을 받는지 분석하는 것.
• 곡률이 있는 dg 대수에 대해 유니버설 유도 범주 구성이 자연스러운 공리와 동시에 일반적인 dg 대수의 고전적 유도 범주와 일치하도록 동시에 만족시킬 수 없다는 것을 확립하는 것.

제안 방법

• 저자들은 곡률이 있는 dg 대수의 호모토피 범주를 분석하고, '유도' 범주에 대한 축약 조건을 통해 약한 대상(acyclic objects)을 정의한다.
• 유도 범주가 0이 되지 않기 위한 조건으로서, 호모토피 범주 내에서의 계차적 프로젝티브 및 계차적 소형 객체의 존재를 검토한다.
• 문헌 [9]의 바 유도 범주 구성 방식을 적용하고, 체 위에서 비영인 곡률을 가진 곡률이 있는 대수에 대해 이 구성이 0이 됨을 증명한다.
• 강한 기저 변경 성질을 이용하여, 초기 곡률 대수 $k[c]$ 및 $k[c]/c^n$에서의 0이 되는 성질이 많은 변형에 대해 확장됨을 보인다.
• 포지츠텔스키의 프레임워크와 계차 대수 위의 호모로지 대수학을 활용하여 절대, 대유도, 코유도, 제2종 유도 범주 등을 비교 분석한다.
• 기존의 호모토피적 프로젝티비티 및 계차 호모로지 차원에 관한 결과를 활용하여, 유도 범주가 비영일 조건을 규명한다.

실험 결과

연구 질문

• RQ1 곡률이 있는 dg 대수에 대해 그 기초가 되는 일반적인 dg 대수의 고전적 유도 범주를 변형하는 데 적합한 유도 범주를 정의할 수 있는가?
• RQ2 비영인 곡률을 가진 곡률이 있는 dg 대수에서 바 유도 범주가 체 위에서 0이 되는 이유는 무엇인가?
• RQ3 제2종 유도 범주는 강한 기저 변경 성질을 만족하는가? 이는 그 비영성에 어떤 영향을 미치는가?
• RQ4 계차적 프로젝티브 및 계차적 소형 객체가 유도 범주가 비영일 조건을 결정하는 데 어떤 역할을 하는가?
• RQ5 왜 일부 변형된 곡률이 있는 dg 대수, 예를 들어 $k[u,u^{-1}]$와 같이 곡률이 존재하는 경우 합리적인 유도 범주를 가질 수 없는가?

주요 결과

• 비영인 곡률을 가진 체 위의 곡률이 있는 dg 대수 $A$에 대해 바 유도 범주 $D_{\mathrm{bar}}(A)$는 항상 0이 된다.
• 2차수에 $c$가 있는 초기 곡률이 있는 dg 대수 $k[c]$에 대해, '유도' 범주에 대한 합리적인 축약 조건 하에서는 유도 범주 $D_{?}(k[c])$가 0이 된다.
• $u$가 2차수에 있고 곡률이 $u$인 $A = k[u]$의 변형 $ar{A}$는 제2종 유도 범주는 비영일 수 있지만, 이는 고전적 유도 범주 $D(A)$를 변형하지는 않는다.
• 제2종 유도 범주는 $k[c]$에서 0이 되지만, 일부 곡률이 있는 dg 대수에 대해서는 비영일 수 있는데, 이는 강한 기저 변경 성질을 만족하지 못하기 때문이다.
• 유한 호모로지 차원을 가진 계차 대수 $A$에 대해 유도 범주 $D(A)$는 계차 프로젝티브 모듈의 전체 부분범주와 동치이지만, 곡률이 있는 경우 이 동치성은 성립하지 않는다.
• 호모토피 범주 내에서 비수축 가능한 계차 프로젝티브 또는 계차 소형 객체가 존재하지 않을 경우, 유도 범주가 비영일 수 있는 장애가 발생하며, 이는 많은 변형된 곡률이 있는 대수에서 발생한다.