[논문 리뷰] Smith ideals of structured ring spectra

Mark Hovey|arXiv (Cornell University)|2014. 01. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 1인용 수 5

한 줄 요약

이 논문은 대칭 모나이드 모델 범주에서 화살표 범주의 모노이드로 Smith 이상을 도입하여, 구조가 부여된 링 스펙트럼에서 이상의 호모토피 이론적 프레임워크를 제공한다. 안정적인 경우에 Smith 이상의 모델 범주와 모노이드 준동형사상의 모델 범주 사이에 Quillen 동치를 확립하여, Smith 이상이 링 준동형사상과 동일한 호모토피 정보를 캡처한다는 것을 보여준다.

ABSTRACT

Pursuing ideas of Jeff Smith, we develop a homotopy theory of ideals of monoids in a symmetric monoidal model category. This includes Smith ideals of structured ring spectra and of differential graded algebras. Such Smith ideals are NOT subobjects, and as a result the theory seems to require us to consider all Smith ideals of all monoids simultaneously, rather then restricting to the Smith ideals of one particular monoid. However, we can take a quotient by a Smith ideal and get a monoid homomorphism. In the stable case, we show that this construction is part of a Quillen equivalence between a model category of Smith ideals and a model category of monoid homomorphisms.

연구 동기 및 목표

• 구조가 부여된 링 스펙트럼에서 이상의 호모토피 이론을 개발하며, 링 스펙트럼에서 원소가 없기 때문에 전통적인 원소 기반 이상이 실패함을 해결한다.
• 푸시아웃 곱의 모노이드 구조를 갖춘 화살표 범주에서의 모노이드로 Smith 이상을 정의하여 이상의 호모토피 본질을 포착한다.
• 화살표 범주 위의 프로젝티브 및 인젝티브 모델 구조를 사용하여 Smith 이상과 모노이드 준동형사상의 모델 범주를 구성한다.
• 안정적인 경우에 Smith 이상에서 모노이드 준동형사상으로의 코크른렐 함자(cokernel functor)가 Quillen 동치임을 증명하여 호모토피 이론적 이중성을 확립한다.
• 이상이 부분대상(subobjects)으로 정의될 수 없음을 해결하기 위해, 대신 모노이드 조건을 만족하는 사상으로서 이상을 다룬다.

제안 방법

• 푸시아웃 곱의 모노이드 구조를 갖춘 화살표 범주 $\operatorname{Arr}\mathcal{C}$에서의 모노이드로 Smith 이상을 정의한다.
• 화살표 범주 $\operatorname{Arr}\mathcal{C}$에 대해 두 가지 모델 구조를 구성한다: 텐서 곱과 호환되는 프로젝티브 구조와 푸시아웃 곱과 호환되는 인젝티브 구조.
• 코크른렐 함자를 사용하여 Smith 이상에서 모노이드 준동형사상으로의 사상으로 매핑하며, 이 함자가 왼쪽 Quillen 함자임을 보인다.
• 호모토피적으로 의미 있는 몫을 계산하기 위해 Smith 이상의 모델 범주에서의 코프리프레임(approximation)이 필수적임을 증명한다.
• 순서수 초월 귀납법과 순수 클래스 기법을 적용하여, 생성 코프리프레임의 평탄성 조건이 성립할 경우 프로젝티브 모델 구조에서의 코프리프레임 모듈러가 평탄함을 보인다.
• 안정적인 경우에 코크른렐 함자를 왼쪽 Quillen 함자로 사용하여 Smith 이상의 모델 범주와 모노이드 준동형사상의 모델 범주 사이에 Quillen 동치를 확립한다.

실험 결과

연구 질문

• RQ1 원소가 없는 링 스펙트럼에서 이상은 어떻게 정의할 수 있으며, 기존의 부분대상 개념은 무엇으로 대체되는가?
• RQ2 화살표 범주 $\operatorname{Arr}\mathcal{C}$에 어떤 모델 범주 구조가 Smith 이상의 호모토피 이론을 지지하는가?
• RQ3 안정적인 설정에서 Smith 이상에서 모노이드 준동형사상으로의 코크른렐 함자가 Quillen 동치인가?
• RQ4 Smith 이상에 의해 몫을 취한 링 스펙트럼의 호모토피 유형은 Smith 이상의 모델 범주에서의 코프리프레임으로 포착될 수 있는가?
• RQ5 안정적인 경우 Smith 이상과 모노이드 준동형사상 사이의 관계는 무엇이며, 이는 Quillen 동치를 유도하는가?

주요 결과

• Smith 이상은 푸시아웃 곱의 모노이드 구조를 갖춘 화살표 범주 $\operatorname{Arr}\mathcal{C}$에서의 모노이드로 정의되며, 링 스펙트럼에서 이상의 개념을 일반화한다.
• Smith 이상의 코크른렐은 링 스펙트럼이며, 코크른렐 함자는 Smith 이상의 모델 범주에서 모노이드 준동형사상의 모델 범주로의 왼쪽 Quillen 함자이다.
• 안정적인 경우에 코크른렐 함자는 Smith 이상의 모델 범주와 모노이드 준동형사상의 모델 범주 사이에 Quillen 동치를 유도한다.
• 호모토피적으로 의미 있는 몫을 계산하기 위해 Smith 이상의 모델 범주에서의 코프리프레임이 필요하며, 이는 $R$가 반드시 코프리프레임이 아니기 때문이다.
• 생성 코프리프레임의 도메인과 코도메인의 평탄성 조건과 순수 클래스 조건이 성립할 경우, 프로젝티브 모델 구조에서의 코프리프레임 $R$-모듈러는 평탄하다.
• 이 이론은 구조가 부여된 링 스펙트럼 $R$가 계약 가능 링을 추가할 수 있는 자유도 덕분에, 스피어 스펙트럼 $S$에 대한 Smith 이상에 의해 약한 동치 수준에서 몫으로서 실현될 수 있다.