[논문 리뷰] Localizations of (one-sided) exact categories

Ruben Henrard, Adam-Christiaan van Roosmalen|arXiv (Cornell University)|2019. 03. 26.

Algebraic structures and combinatorial models참고 문헌 27인용 수 11

한 줄 요약

이 논문은 퍼콜레이팅 부분범주를 통해 한쪽 방향 정확한 범주와 정확한 범주의 이중 단계 국소화 구조를 제안하며, 이는 이전 이론을 일반화하는 몫을 가능하게 한다. 몫 범주가 2-유일성 성질을 만족함을 증명하고, 국소화가 유계 유도 범주의 버드리 국소화로 이어지는 조건을 설정한다.

ABSTRACT

In this paper, we introduce quotients of exact categories by percolating subcategories. This approach extends earlier localization theories by Cardenas and Schlichting for exact categories, allowing new examples. Let $\mathcal{A}$ be a percolating subcategory of an exact category $\mathcal{E}$, the quotient $\mathcal{E} {/\mkern-6mu/} \mathcal{A}$ is constructed in two steps. In the first step, we associate a set $S_\mathcal{A} \subseteq \operatorname{Mor}(\mathcal{E})$ to $\mathcal{A}$ and consider the localization $\mathcal{E}[S^{-1}_\mathcal{A}]$. In general, $\mathcal{E}[S_\mathcal{A}^{-1}]$ need not be an exact category, but will be a one-sided exact category. In the second step, we take the exact hull $\mathcal{E} {/\mkern-6mu/} \mathcal{A}$ of $\mathcal{E}[S_\mathcal{E}^{-1}]$. The composition $\mathcal{E} ightarrow \mathcal{E}[S_\mathcal{A}^{-1}] ightarrow \mathcal{E} {/\mkern-6mu/} \mathcal{A}$ satisfies the 2-universal property of a quotient in the 2-category of exact categories. We formulate our results in slightly more generality, allowing to start from a one-sided exact category. Additionally, we consider a type of percolating subcategories which guarantee that the morphisms of the set $S_\mathcal{A}$ are admissible. In upcoming work, we show that these localizations induce Verdier localizations on the level of the bounded derived category.

연구 동기 및 목표

• 기존의 정확한 범주에 대한 국소화 이론을 일반화하기 위해, 세르 부분범주나 두껍게 서브카테고리 외의 새로운 예를 허용하는 퍼콜레이팅 부분범주를 도입한다.
• 카르데나스와 슈라이히팅의 프레임워크에서의 한계를 해결하기 위해, LCA(국소적으로 컴act한 아벨 군) 및 글라이더 표현과 같은 범주에 적용 가능한 몫을 구축한다.
• 먼저 부분범주와 관련된 사상의 집합에서 국소화를 하고, 그 다음 정확한 캄프를 취하여 정확성을 보장하는 이중 단계 과정을 통해 몫 범주를 정의한다.
• 결과로 얻어진 몫이 정확한 범주의 2-카테고리에서 2-유일성 성질을 만족함을 보이며, 아벨 또는 삼각형 범주의 몫의 유일성 성질을 일반화한다.
• 국소화가 호모로지적 성질을 유지하는 조건을 설정하며, 특히 적절히 퍼콜레이팅 부분범주라는 개념을 통해 이를 강화한다.

제안 방법

• 정확한 범주 E의 전부분범주 A를 퍼콜레이팅 부분범주로 정의한다. 이는 P1–P4의 공리들을 만족하며, 세르 부분범주의 행동을 일반화한다.
• A에 속하는 코어널이 있는 인플레이션 또는 A에 속하는 커널을 가진 디플레이션으로 구성된 다항식 집합 S_A ⊆ Mor(E)를 할당한다.
• E[S_A^{-1}]를 한쪽 방향 정확한 범주(특히 디플레이션-정확하거나 인플레이션-정확한 범주)로 국소화하여, 이는 일반적으로 정확한 범주가 되지 않을 수 있다.
• E[S_A^{-1}]의 정확한 캄프 E//A를 구성하여 진정한 정확한 범주를 확보한다. 이로써 몫 함자 Q: E → E//A가 정확함을 보장한다.
• 2-유일성 성질을 이용하여, A를 제거하는 정확한 함자를 유일하게 인수분해하는 Q를 보이며, 아벨 범주나 삼각형 범주에서의 몫 구성 방식을 일반화한다.
• 모든 S_A의 사상이 적절히 정의된(즉, 확장의 일부임)다는 것을 보장하기 위해, 적절히 퍼콜레이팅 부분범주라는 개념을 도입한다. 이는 호모로지적 통제력을 강화한다.

실험 결과

연구 질문

• RQ1 이전 공리들을 만족하지 않는 LCA나 글라이더 표현과 같은 예를 포함하기 위해, 정확한 범주에 대한 국소화 이론을 어떻게 일반화할 수 있는가?
• RQ2 부분범주에서 유도된 사상의 집합에서의 한쪽 방향 정확한 범주의 국소화가 호모로지적으로 잘 행동하는 데 필요한 조건은 무엇인가?
• RQ3 이중 단계 구조(국소화 이후 정확한 캄프)가 정확한 범주의 2-카테고리에서 2-유일성 성질을 만족하는 몫을 어떻게 생성하는가?
• RQ4 S_A에 속하는 사상들이 언제 적절히 정의된 사상이 되며, 이는 유도 범주 구조에 어떻게 영향을 미치는가?
• RQ5 이러한 국소화는 유계 유도 범주 D^b(E)에서의 버드리 국소화와 어떻게 관련되어 있는가?

주요 결과

• E[S_A^{-1}]의 정확한 캄프 E//A로의 구성은 몫 함자 Q: E → E//A가 정확한 범주의 2-카테고리에서 2-유일성 성질을 만족함을 보장한다.
• 국소화 E[S_A^{-1}]는 한쪽 방향 정확한 범주(디플레이션-정확 또는 인플레이션-정확)이지만, 반드시 정확한 범주는 아니므로 일반적으로 국소화와 정확성은 교환되지 않음을 보여준다.
• 적절히 퍼콜레이팅 부분범주에 대해서는 S_A에 속하는 사상들이 적절히 정의되며, S_A-동형사상의 오른쪽 다항식 체계는 포화되어 있다.
• 국소화 E//A는 유계 유도 범주 D^b(E)에서 버드리 국소화를 유도하며, 삼각형 설정에서 알려진 결과를 일반화한다.
• Z[t]-모듈의 범주 E에서, k ⊕ kt ⊕ kt^2 형태의 객체를 갖는 예시는 E//A가 인플레이션-정확하지 않음을 보여주며, 이는 축합의 커널이 이sovorphism가 아니므로 Axiom L1가 성립하지 않기 때문이다.
• 예시에서 축합의 코어널의 커널은 tRe_2가 아니라 kt ⊕ kt^2와 동형이므로, E//A에서 축합이 인플레이션으로 올라가지 못함을 보여준다.