[논문 리뷰] The accessibility rank of weak equivalences

George Raptis, Jir̆ı́ Rosický|arXiv (Cornell University)|2014. 03. 12.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 9

한 줄 요약

이 논문은 $κ$-combinatorial 모델 범주에서 약한 동치의 범주가 특정 조건 하에 $κ$-접근 가능하다는 것을 증명한다. 특히, 모든 대상이 $κ$-필터된 합으로서 $κ$-현존하는 코프ibrant 대상들의 집합에 의해 생성되고, $κ$-현존하는 코프ibrant 대상들이 $κ$-현존하는 ц린더 대상들을 갖는 경우에 해당한다. 핵심 결과는 심플리셜 세트 사이의 약한 동치의 범주가 유한히 접근 가능하다는 것으로, 이는 이전에 알려진 결과보다 더 날카로운 접근 가능성 순서 추정을 가능하게 하며, 일반적으로 더 높은 접근 가능성 순서를 유도하는 허위 풀링크 정리에 의존하지 않는 새로운 방법—비어 있는 작은 객체 작용에 기반한 방법을 사용한다.

ABSTRACT

We study the accessibility properties of trivial cofibrations and weak equivalences in a combinatorial model category and prove an estimate for the accessibility rank of weak equivalences. In particular, we show that the class of weak equivalences between simplicial sets is finitely accessible.

연구 동기 및 목표

• 조합적 모델 범주에서 약한 동치의 접근 가능성 순서에 대해 날카로운 추정치를 도출하는 것—특히 이전 방법이 최적의 경계를 제공하지 못하는 경우에 중점을 두고.
• 허위 풀링크 정리에 의존하지 않는 새로운 증명 기법—비어 있는 작은 객체 작용에 기반한 기법을 제공함으로써, 일반적으로 더 높은 접근 가능성 순서를 유도하는 허위 풀링크 정리에 대한 의존도를 피하는 것.
• κ-combinatorial 모델 범주에서 약한 동치의 전체 부분범주가 $κ$-접근 가능해지는 조건을 확립함으로써 기존 결과를 향상시키는 것.
• 특정 예시로까지 접근 가능성 결과를 확장하는 것—심플리셜 세트, 반단순 링 위의 체인 복합체의 준동형, 노에테르 반프로비우스 링 위의 안정적 동형.

제안 방법

• 저자들은 $κ$-combinatorial 모델 범주에서 모든 트ivial 코프ibrant 사상이 $κ$-방향된 합으로서 $κ$-현존하는 대상들 사이의 트ivial 코프ibrant 사상들의 합으로 표현됨을 보여주는 새로운 방법을 도입한다. 이 방법은 비어 있는 작은 객체 작용에 기반한다.
• 조건 (i)–(iii)가 성립할 경우—특히 $κ$-현존하는 코프ibrant 대상들에 대해 $κ$-현존하는 원형 대상이 존재하는 경우—약한 동치의 범주는 $κ$-접근 가능하다는 것을 증명한다.
• 증명은 인수화 조건에 기반한다: 만약 복합 사상 $i' = qi$가 코프ibrant 대상들 사이의 코프ibrant 사상이라면, $i$는 형식적 코프ibrant 사상이 된다.
• 이 방법은 허위 풀링크를 피하고, 대신 $κ$-현존하는 대상들과 그들의 원형 구성의 구조적 성질을 활용하여 접근 가능성의 성립을 증명한다.
• 이 접근법은 심플리셜 세트와 반단순 또는 프로비우스 링 위의 모듈 범주를 포함한 다양한 모델 범주에 적용되어, 유한한 접근 가능성 결과를 도출한다.

실험 결과

연구 질문

• RQ1 조합적 모델 범주에서 약한 동치의 클래스에 대한 최적의 접근 가능성 순서는 무엇인가?
• RQ2 허위 풀링크 정리 외의 방법으로 약한 동치의 접근 가능성 순서를 더 정밀하게 추정할 수 있는가?
• RQ3 κ-combinatorial 모델 범주에서 약한 동치의 범주가 $κ$-접근 가능해지는 조건은 무엇인가?
• RQ4 심플리셜 세트 사이의 약한 동치의 범주는 유한히 접근 가능한가, 그리고 이는 허위 풀링크 없이 증명될 수 있는가?
• RQ5 다이어그램 범주와 왼쪽 바우스필드 국소화에서 약한 동치의 접근 가능성 성질은 어떻게 행동하는가?

주요 결과

• 심플리셜 세트의 모델 범주에서 약한 동치의 범주는 유한히 접근 가능하다. 이는 관심 있는 핵심 케이스를 해결한다.
• 심플리셜 세트 사이의 약한 동치의 클래스는 $̅_0$-접근 가능하며, 이 결과는 허위 풀링크에 의존하지 않는 새로운 방법으로 증명되었다.
• 조건 (i)–(iii)를 만족하는 $κ$-combinatorial 모델 범주에 대해, 약한 동치의 범주는 $κ$-접근 가능하다. 이는 접근 가능성 순서에 대한 날카로운 추정치를 제공한다.
• 반단순 링 $R$에 대해 $R$-모듈 체인 복합체의 준동형 범주는 유한히 접근 가능하다.
• 노에테르 반프로비우스 링 $R$에 대해 $R$-모듈의 안정적 동형 범주는 유한히 접근 가능하다.
• 접근 가능성 결과는 왼쪽 바우스필드 국소화로까지 확장된다: $L_S\mathcal{M}$이 $λ$-combinatorial 이고 조건을 만족한다면, 그 $S$-국소 동치는 $λ$-접근 가능하다.