[논문 리뷰] Homotopy theory of modules over diagrams of rings

J. P. C. Greenlees, Brooke Shipley|arXiv (Cornell University)|2013. 09. 26.

Algebraic structures and combinatorial models참고 문헌 9인용 수 3

한 줄 요약

이 논문은 다이어그램 범주에서 변하는 링 위의 모듈의 다이어그램에 대해 Quillen 수반관계와 셀룰라라이제이션을 사용하여 모델 구조를 수립한다. 이는 링 스펙트럼의 다이어그램 위의 모듈의 호모토피 이론이 그 다이어그램의 호모토피 역한계 위의 모듈의 이론과 Quillen 동치임을 보여준다. 주요 기여는 셀룰라라이제이션 이후 다양한 다이어그램 형태를 Quillen 동치를 통해 연결하는 일반적 프레임워크를 제공하는 것으로, 이는 유리수 등변 안정 호모토피 이론과 하스 예각 구조에 응용된다.

ABSTRACT

Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we consider the category of diagrams where the object X(s) at s comes from M(s). We develop model structures on such categories of diagrams, and Quillen adjunctions that relate categories based on different diagram shapes. Under certain conditions, cellularizations (or right Bousfield localizations) of these adjunctions induce Quillen equivalences. As an application we show that a cellularization of a category of modules over a diagram of ring spectra (or differential graded rings) is Quillen equivalent to modules over the associated inverse limit of the rings. Another application of the general machinery here is given in work by the authors on algebraic models of rational equivariant spectra. Some of this material originally appeared in the preprint "An algebraic model for rational torus-equivariant stable homotopy theory", arXiv:1101.2511, but has been generalized here.

연구 동기 및 목표

• 다른 모델 범주로 인덱싱된 다이어그램의 범주에 대한 모델 구조를 개발하는 것.
• 다른 형태의 다이어그램 범주 간 Quillen 수반관계를 구성하는 것, 특히 부분다이어그램에 의해 유도된 제한 함수자에 의해 유도되는 것.
• 적절한 조건 하에서 이러한 수반관계의 셀룰라라이제이션으로 인해 Quillen 동치가 되며, 이는 서로 다른 호모토피 이론을 연결하는 데 기여한다.
• 이 프레임워크를 적용하여 링 스펙트럼의 다이어그램 위의 모듈이 그 다이어그램의 호모토피 역한계 위의 모듈과 Quillen 동치임을 보이는 것.
• 유리수 토러스-등변 안정 호모토피 이론에서의 기법을 더 넓은 링과 모듈의 다이어그램 설정으로 일반화하는 것.

제안 방법

• 소형 범주로 인덱싱된 객체의 다이어그램으로 구성된 범주에 대해 다이어그램 프로젝티브 및 다이어그램 임베딩 모델 구조를 구성한다. 여기서 각 정점의 범주는 모델 범주이다.
• 다이어그램 형태의 포함에 의해 유도되는 다이어그램 범주 간 제한 함수자를 정의하며, 이는 Quillen 수반관계를 이끈다.
• 셀룰라라이제이션 원리(Principle)를 적용하여, 셀룰라라이제이션 이후 유도된 함자들이 셀에서 소형 객체와 약한 동치를 보존할 경우, Quillen 수반관계가 Quillen 동치로 전환됨을 보인다.
• 유도된 함자와 호모토피 한계를 사용하여 다이어그램 링 위의 모듈을 다이어그램의 역한계 위의 모듈과 연결한다.
• 안정 모델 범주 이론과 소형 조건을 활용하여 셀룰라라이제이션이 Quillen 동치를 유지함을 보장한다.
• 결과를 하스 예각 예시에 적용하여, ℤ 위의 모듈과 다이어그램의 ℚ, ℤ_p, 그리고 그들의 텐서곱 위의 모듈이 셀룰라라이제이션 이후 Quillen 동치임을 보여준다.

실험 결과

연구 질문

• RQ1 다이어그램 링 위의 모듈에 대한 다이어그램 범주 간 Quillen 수반관계가 셀룰라라이제이션 이후 어떤 조건에서 Quillen 동치가 되는가?
• RQ2 링 스펙트럼의 다이어그램 위의 모듈 호모토피 이론과 그 다이어그램의 호모토피 역한계 위의 모듈 호모토피 이론을 어떻게 연결할 수 있는가?
• RQ3 제한 및 스칼라 확장의 유도된 함자들이 셀룰라라이제이션 과정에서 소형 객체와 약한 동치를 보존하기 위한 조건은 무엇인가?
• RQ4 셀룰라라이제이션 원리가 다이어그램 위치에 따라 변화하는 모델 범주로 구성된 다이어그램에 적용 가능한가?
• RQ5 부분다이어그램 포함을 통한 다이어그램 형태의 변경이 모듈의 최종 호모토피 이론에 어떤 영향을 미치며, 언제 이러한 범주들이 Quillen 동치가 되는가?

주요 결과

• 논문은 소형 범주로 인덱싱된 다양한 모델 범주에서 온 객체의 다이어그램에 대해 다이어그램 프로젝티브 및 다이어그램 임베딩 모델 구조를 구성한다.
• 다이어그램 형태의 포함에 의해 유도된 다이어그램 범주 간 Quillen 수반관계를 수립한다. 특히 제한 함수자를 통해 유도된다.
• 셀룰라라이제이션 이후, 유도된 함자들이 선택된 셀에서 소형 객체와 약한 동치를 보존할 경우, 이러한 Quillen 수반관계는 Quillen 동치로 전환된다.
• 주요 응용은 링 스펙트럼의 다이어그램 위의 모듈 범주가 그 다이어그램의 호모토피 역한계 위의 모듈 범주와 셀룰라라이제이션을 통해 Quillen 동치임을 보여준다.
• 하스 예각 예시는 조건을 충족함을 보여주며, ℚ, ℤ_p, 그리고 그들의 텐서곱 위의 모듈은 셀룰라라이제이션 이후 ℤ 위의 모듈과 Quillen 동치가 된다.
• 이 프레임워크는 이전의 유리수 토러스-등변 안정 호모토피 이론 결과를 일반화하며, 안정 호모토피 범주에 대한 대수적 모델을 체계적으로 구성하는 방법을 제공한다.