[논문 리뷰] Classical derived functors as fully faithful embeddings

Pedro Nicol, Manuel Saorı́n|arXiv (Cornell University)|2014. 03. 19.

Algebraic structures and combinatorial models참고 문헌 36인용 수 5

한 줄 요약

이 논문은 결합 대수의 도파이드 범주 사이에서 전형적인 유도된 함자 — 특히 총 왼쪽 유도 함자 $?⊗^\mathbf{L}_B T^\bullet$ 와 총 오른쪽 유도 함자 $\mathbf{R}\text{Hom}_A(T^\bullet, ?)$ — 가 완전 충실하게 되는 필요조건과 충분조건을 제시한다. 이는 기울임 이론과 재구성 구조(recollement structures)와의 연결을 수립하며, 완전 충실성과 일반화된 준기울임 또는 와카무츠 기울임 조건이 동치임을 보여주며, 고전적 와카무츠 기울임 문제와의 연결을 해결한다.

ABSTRACT

Given associative unital algebras $A$ and $B$ and a complex $T^\bullet$ of $B-A-$bi\-modules, we give necessary and sufficient conditions for the total derived functors, $\Rh_A(T^\bullet,?):\D(A)\longrightarrow\D(B)$ and $?\Lt_BT^\bullet:\D(B)\longrightarrow\D(A)$, to be fully faithful. We also give criteria for these functors to be one of the fully faithful functors appearing in a recollement of derived categories. In the case when $T^\bullet$ is just a $B-A-$bimodule, we connect the results with (infinite dimensional) tilting theory and show that some open question on the fully faithfulness of $\Rh_A(T,?)$ is related to the classical Wakamatsu tilting problem.

연구 동기 및 목표

• 유도된 함자 $?⊗^\mathbf{L}_B T^\bullet$ 와 $\mathbf{R}\text{Hom}_A(T^\bullet, ?)$ 가 대수의 도파이드 범주 사이에서 완전 충실해지기 위한 필요조건과 충분조건을 규명하는 것.
• 이 함자들이 도파이드 범주의 재구성(recollement) 상황에서 어떻게 나타나는지를 특성화하는 것.
• 함자 $\mathbf{R}\text{Hom}_A(T, ?)$ 의 완전 충실성과 일반화된 기울임 및 와카무츠 기울임 모듈 간의 연결을 설정하는 것, 특히 무한차원 설정에서의 적용을 고려하는 것.
• $\mathbf{R}\text{Hom}_A(T, ?)$ 의 완전 충실성과 고전적 와카무츠 기울임 문제 사이의 관계를 규명하는 것.

제안 방법

• 도파이드 범주 $\mathcal{D}(A)$ 와 $\mathcal{D}(B)$ 사이의 전형적인 유도된 함자 $\mathbf{R}\text{Hom}_A(T^\bullet, ?)$ 와 $?⊗^\mathbf{L}_B T^\bullet$ 의 사용.
• 고차 호모로지 군의 영성과 내적환의 동형 조건을 통해 일반화된 준기울임 모듈 개념의 적용.
• 콤���트 대상에서 유도된 함자의 행동을 분석하기 위해 프로젝티브 해체와 수반성 성질의 사용.
• 자연 변환 $\sigma: \text{Id} \to \text{Hom}_{B^{op}}(\text{Hom}_A(?, T), T)$ 와 그 동형 성질을 활용하여 쌍대성의 수립.
• $\mathbf{R}\text{Hom}_A(T^\bullet, ?)$ 나 $?⊗^\mathbf{L}_B T^\bullet$ 가 $i_*$, $j_*$ 등의 완전 충실 함자로 작용하는 경우를 식별하여 재구성 구조의 분석.
• $T^\bullet$ 에 대한 모듈 이론적 조건으로 문제를 환원하는 것, 예를 들어 $\text{Ext}^p_A(T,T) = 0$ for $p > 0$ 과 $B \cong \text{End}_{\mathcal{D}(A)}(T^\bullet)$ 등의 대수적 동형 조건.

실험 결과

연구 질문

• RQ1 유도된 함자 $\mathbf{R}\text{Hom}_A(T^\bullet, ?)$ 가 대수의 도파이드 범주 사이에서 완전 충실해지기 위한 조건은 무엇인가?
• RQ2 $?⊗^\mathbf{L}_B T^\bullet$ 가 언제 완전 충실해지며, 이는 기울임 이론과 어떻게 관련이 있는가?
• RQ3 $\mathbf{R}\text{Hom}_A(T^\bullet, ?)$ 나 $?⊗^\mathbf{L}_B T^\bullet$ 가 도파이드 범주의 재구성(recollement)에서 나타나는 조건은 무엇인가?
• RQ4 $\mathbf{R}\text{Hom}_A(T, ?)$ 의 완전 충실성은 일반화된 와카무츠 기울임 문제와 어떻게 연결되는가?
• RQ5 유도된 함자가 완전 충실할 경우, 어떤 조건이 콤팩트 대상을 유지하도록 보장하는가?

주요 결과

• $\mathbf{R}\text{Hom}_A(T^\bullet, ?)$ 가 완전 충실이 되는 것은 $T^\bullet_A$ 가 일반화된 준기울임 모듈이면서, 표준 대수 준동형사상 $B \to \text{End}_{\mathcal{D}(A)}(T^\bullet)$ 가 동형임과 동치이다.
• $?⊗^\mathbf{L}_B T^\bullet$ 가 완전 충실이 되는 것은 $T^\bullet_A$ 가 일반화된 준기울임 모듈이면서 $A \to \text{End}_{B^{op}}(T)^{op}$ 가 동형임과 동치이다.
• 만약 $T_A$ 가 일반화된 와카무츠 기울임 모듈이면서 $\mathbf{R}\text{Hom}_A(T, ?)$ 가 완전 충실이라면, $T_A$ 는 일반화된 준기울임 모듈이다.
• $\mathbf{R}\text{Hom}_A(T, ?)$ 의 완전 충실성은 $\text{Ext}^p_A(T,T) = 0$ 과 $\text{Ext}^p_{B^{op}}(T,T) = 0$ 이 모든 $p > 0$ 에 대해 성립하고, 내적환들이 각각 $A$ 와 $B$ 와 동형일 경우 콤팩트 대상을 유지한다.
• 모듈 $\text{add}(T)$ 에서 평가된 표준 자연 변환 $\sigma: \text{Id} \to \text{Hom}_{B^{op}}(\text{Hom}_A(?, T), T)$ 는 동형이며, 이는 쌍대성과 완전 충실성의 증명에 필수적이다.
• $\mathcal{D}(A)$ 와 $\mathcal{D}(B)$ 를 포함하는 재구성 구조가 존재하고 $\mathbf{R}\text{Hom}_A(T^\bullet, ?)$ 가 그 중 하나의 완전 충실 함자로 작용하는 것은 $T^\bullet$ 가 일반화된 준기울임 모듈이면서 내적환의 동형 조건을 만족함과 동치이다.