Accessibility and Gorenstein injective envelopes

기술적 요약: 접근성과 고렌슈타인 사영 피복

문제 제기
본 논문은 일반적인 그로텐디크 범주에서 고렌슈타인 사영 피복의 존재성에 관한 고렌슈타인 호몰로지 대수학의 근본적인 미해결 문제를 다룬다. 고렌슈타인 사영 피복의 존재성은 최근 Šaroch 와 Šťovíček [SS20] 에 의해 모듈 범주 ($R$-Mod) 에 대해 확립되었으나, 임의의 그로텐디크 범주 $\mathcal{G}$ 로의 확장은 여전히 해결되지 않은 상태였다. 구체적으로, 저자들은 고렌슈타인 사영 대상들의 클래스, 즉 $\mathcal{GI}$ 가 완벽한 코토르숀 쌍 $(^\perp\mathcal{GI}, \mathcal{GI})$ 의 오른쪽 절반을 형성하는 조건을 조사한다. 완벽한 코토르숀 쌍은 $\mathcal{GI}$ 가 피복적 (모든 대상이 고렌슈타인 사영 피복을 가짐) 이며, 그 왼쪽 직교 클래스가 덮개적임을 의미한다. Krause [Kra05] 의 이전 결과들은 콤팩트 생성된 유도 범주를 가진 국소 노에터 범주나 작은 사영 생성자를 가진 범주로 제한되었다. 핵심 질문은: 충분한 사영 대상이 없을 수도 있는 일반적인 그로텐디크 범주에서 이 구조가 성립하기 위한 조건은 무엇인가 하는 것이다.

방법론
저자들은 접근 가능 (accessible) 및 국소적으로 표현 가능 (locally presentable) 범주 이론에 기반한 방법론을 사용하며, 특히 코토르숀 클래스를 분석하기 위해 접근성 개념을 활용한다. 핵심 기술적 혁신은 호몰로지 대수학에 Adámek 과 Rosický [AR94] 의 결과를 적용한 것으로, 저자들은 이 연결고리가 해당 분야에서 충분히 활용되지 않았음을 지적한다.

증명 전략은 다음과 같이 진행된다:

1. 오른쪽 코토르숀 클래스의 접근성: 저자들은 접근 가능한 가법 범주 내의 임의의 대상 집합 $S$ 에 대해, 오른쪽 Ext-직교 클래스 $B := S^\perp$ 가 접근 가능하게 내포된 접근 가능 부분범주임을 확립한다. 이는 정리 2.5 에서 공식화되는데, 이러한 클래스들이 충분히 큰 직접 극한에 대해 닫혀 있으며 표현 가능한 생성자들의 집합을 가짐을 증명한다.
2. 모델 구조 구성: 이러한 클래스들의 접근성을 이용하여, 저자들은 사슬 복합체 범주 $\text{Ch}(\mathcal{G})$ 위에 공사영 생성 (cofibrantly generated) 아벨 모델 구조를 구성한다. 그들은 특정 "acyclic" 복합체들의 클래스 (예: 사영체의 $A$-acyclic 복합체) 를 정의하고, 이러한 클래스들이 해당 모델 구조의 피브란트 대상들과 일치함을 보인다.
3. 테이트 자명한 생성자: 저자들은 "테이트 자명한 생성자 (Tate trivial generators)" 개념 (정의 5.3) 을 도입한다. $\mathcal{G}$ 의 생성자 집합 $U$ 가 $B$-테이트 자명하다는 것은 $U$ 의 모든 대상이 고렌슈타인 $B$-사영 모델 구조에 대해 "자명"한 것 (즉, $U \subseteq {}^\perp \mathcal{GIB}$) 을 의미한다.
4. 퀼렌 동치: 논문은 $\mathcal{G}$ 위의 고렌슈타인 $B$-사영 모델 구조와 $\text{Ch}(\mathcal{G})$ 위의 "정확한 $B$-acyclic" 모델 구조 사이의 퀼렌 동치를 확립한다. 이 동치는 구면 함자 $S_0(-)$ 와 0-사이클 함자 $Z_0(-)$ 에 의해 매개된다.

주요 기여 및 결과
본 논문은 그로텐디크 범주에서 고렌슈타인 사영 코토르숀 쌍이 언제 완벽한지 대한 완전한 특징을 제공한다.

• 주요 정리 (코롤러리 6.3 / 정리 5.5): $\mathcal{G}$ 를 그로텐디크 범주라 하고 $S$ 의 집합에 대해 $B := S^\perp$ 라 하자. 코토르숀 쌍 $(^\perp \mathcal{GIB}, \mathcal{GIB})$ 이 완벽하다 (따라서 $\mathcal{GIB}$ 가 피복적이다) 는 것은 $\mathcal{G}$ 가 $B$-테이트 자명한 생성자들의 집합을 허용할 때 필요충분조건이다.
  • $B$ 가 모든 사영체의 클래스인 특정 경우, 쌍 $(^\perp \mathcal{GI}, \mathcal{GI})$ 이 완벽하다는 것은 $\mathcal{G}$ 가 테이트 자명한 생성자들의 집합을 허용할 때 필요충분조건이다.
• 국소 유한 차원 범주: 저자들은 생성자 집합을 가진 그로텐디크 범주 중 사영 차수가 유한한 대상들의 집합을 허용하는 경우를 국소 유한 차원으로 정의한다. 그들은 (보조정리 4.4) 이러한 범주에서 테이트 자명한 생성자를 갖는 조건이 자동으로 만족됨을 증명한다. 결과적으로, 고렌슈타인 사영 피복은 모든 국소 유한 차원 그로텐디크 범주에 존재한다.
• 상대적 고렌슈타인 대상으로의 일반화: 이 프레임워크는 "고렌슈타인 $B$-사영" 대상, "딩 (Ding) 사영" 대상, "고렌슈타인 $AC$-사영" 대상, 그리고 "고렌슈타인$FP_n$-사영" 대상으로 확장된다. 논문은 테이트 자명 조건과 유사한 생성자 조건 (예: 유한 사영 차수) 을 허용하는 임의의 그로텐디크 범주에서 이러한 모든 클래스에 대한 피복이 존재함을 증명한다.
• 모델 구조의 성질: 결과적으로 도출된 모델 구조들은 사영적이며, 공사영 생성적이고, 호모토피 범주에서 클래스 $B$ 를 소멸시키고 이 성질을 가진 사영 모델 구조들 중 최소라는 점에서 "최적"임이 보인다.

의의 및 응용
본 논문은 충분한 사영 대상이 없는 범주를 포함하여, 이전에는 이러한 방법론으로 접근할 수 없었던 광범위한 범주 클래스에서 고렌슈타인 사영 피복의 존재성을 해결했다고 주장한다.

• 준연결 층: 주요 응용 사례는 준콤팩트 및 반분리 스킴 $X$ 위의 준연결 층의 범주 $\text{Qco}(X)$ 이다. 저자들은 $\text{Qco}(X)$ 가 매우 평탄한 층을 통한 유한 사영 차수의 생성자를 허용하므로 국소 유한 차원임을 보여, 그러한 스킴 위의 모든 준연결 층에 대해 고렌슈타인 사영 피복의 존재를 보장한다. 이는 이전의 반분리 노에터 스킴으로 제한되었던 결과를 강화한 것이다.
• 상대적 호몰로지 대수학: 이 결과들은 딩 사영체와 고렌슈타인 $FP_n$-사영체에 대한 피복의 존재성을 통합하고 일반화하여, 생성자 조건이 충족된다면 범주가 $n$-코히어런트이거나 국소적으로 코히어런트일 필요가 없음을 보여준다.
• 이론적 통합: 오른쪽 코토르숀 클래스의 접근성을 핵심 메커니즘으로 규명함으로써, 본 논문은 특정 환론적 성질이나 사영 생성자의 존재에 의존하지 않고 모델 구조를 구성하고 피복의 존재를 증명하는 통합된 접근법을 제공한다.

저자들은 그들의 결과가 광범위한 예시들을 포괄하지만, 모든 그로텐디크 범주에 대해 보편성을 주장하지는 않는다고 지적한다. 그들은 테이트 자명한 생성자들의 집합을 허용하지 않는 국소 노에터 범주의 예시인 Neeman 의 예시 [Nee14] 를 인용하여, 이 조건이 비자명하고 필수적임을 보여준다.