[논문 리뷰] Periodizable motivic ring spectra

Markus Spitzweck|ArXiv.org|2009. 07. 09.

Algebraic structures and combinatorial models참고 문헌 13인용 수 7

한 줄 요약

이 논문은 $E$가 강한 주기성 가능성을 갖는 경우, 모티빅 $E_{\infty}$-링 스펙트럼 $E$ 위의 모듈러의 유도 범주에서 셀룰러 객체들이 그라디에이티드 위상적 $E_{\infty}$-링 스펙트럼 위의 모듈러로 위상적 실현이 가능하다는 것을 확립한다. 핵심 기여는 Voevodsky의 특성 0인 체 위의 모티빅 모티브 범주에서 $\text{MGL}$과 단위 객체가 강한 주기성 가능성을 갖는다는 것을 증명한 것이다. 이를 통해 모티빅 Landweber 스펙트럼과 정수 타테 모티브에 대한 위상적 모델이 유도된다.

ABSTRACT

We show that the cellular objects in the module category over a motivic E infinity ring spectrum E can be described as the module category over a graded topological spectrum if E is strongly periodizable in our language. A similar statement is proven for triangulated categories of motives. Since MGL is strongly periodizable we obtain topological incarnations of motivic Landweber spectra. Under some categorical assumptions the unit object of the model category for triangulated motives is as well strongly periodizable giving motivic cochains whose module category models integral triangulated categories of Tate motives.

연구 동기 및 목표

• 그라디에이티드 $E_{\infty}$-링 스펙트럼을 통한 모티빅 모듈러 범주의 셀룰러 객체의 위상적 실현을 구축하는 것.
• 모티빅 $E_{\infty}$-링 스펙트럼이 강한 주기화를 갖는 조건을 확립하는 것.
• 그라디에이티드 스펙트럼에서의 $E_{\infty}$-대수를 이용한 정수 삼각형 범주인 타테 모티브의 표현 정리를 제공하는 것.
• 강한 주기화를 사용하여 이전의 유리수 타테 모티브 결과를 정수 경우로 확장하는 것.

제안 방법

• 모티빅 안정 호모토피 범주에서 강한 주기성 가능성을 갖는 $E_{\infty}$-대수의 개념을 도입한다.
• 범주론적 가정 하에 반주기화를 완전 주기화로 격상시키기 위해 국소화 기법(정리 4.2)을 사용한다.
• 대칭 스펙트럼과 이형태의 이론을 활용하여 그라디에이티드 스펙트럼 위의 호환 가능한 곱셈을 구성한다.
• 레벨 동치를 확인하기 위해 니스네비치 및 cdh 코hom올로지 동치를 적용하여 모티브의 단위의 주기화 구성에 활용한다.
• Voevodsky와 Levine의 구름 스펙트럼의 영 슬라이스 결과를 활용하여 모티빅 Eilenberg-MacLane 스펙트럼의 강한 주기성 가능성을 도출한다.
• 추상적 표현 정리(정리 4.3)를 적용하여 유도 모듈러 범주를 그라디에이티드 $E_{\infty}$-대수 위의 텐서 삼각형 범주로 실현한다.

실험 결과

연구 질문

• RQ1 모티빅 $\text{MGL}$-모듈러의 유도 범주에서 셀룰러 객체들은 그라디에이티드 위상적 $E_{\infty}$-링 스펙트럼 위의 모듈러로 실현될 수 있는가?
• RQ2 모티빅 $E_{\infty}$-링 스펙트럼이 강한 주기화를 갖는 조건은 무엇인가?
• RQ3 특성 0인 체 위의 Voevodsky의 모티브 범주에서의 단위 객체는 강한 주기성 가능성을 갖는가?
• RQ4 정수 삼각형 범주인 타테 모티브는 그라디에이티드 스펙트럼에서의 $E_{\infty}$-대수의 유도 범주로 표현될 수 있는가?
• RQ5 $\text{MGL}$의 강한 주기화 가능성은 모티빅 Landweber 스펙트럼에 대한 위상적 모델을 이끌어내는가?

주요 결과

• 모티빅 코발로지 스펙트럼 $\text{MGL}$은 강한 주기성 가능성을 갖는다. 이는 모티빅 Landweber 스펙트럼을 셀룰러 $\text{MGL}$-모듈러로 위상적 모델로 이끌어낸다.
• 표준적인 범주론적 가정 하에 특성 0인 체 위의 모티브 범주에서의 단위 객체는 강한 주기성 가능성을 갖는다.
• 아벨 군의 복합체에서의 그라디에이티드 $E_{\infty}$-대수 $A$가 존재하여, 그 유도 범주 $\mathsf{D}(A)$가 $\mathsf{DM}(k)$의 타테 모티브에 대한 전체 부분범주와 텐서 삼각형 범주로서 동치이다.
• 완전한 체 위의 모티빅 Eilenberg-MacLane 스펙트럼는 Voevodsky와 Levine의 영 슬라이스 결과로 인해 강한 주기성 가능성을 갖는다.
• 모든 분리 가능하고 노에테리안이며 유한 크룰 차원을 갖는 스킴 $X$에 대해 $k$ 위에서, $\mathsf{DM}(X)$의 텐서 단위는 강한 주기성 가능성을 갖는다. 이는 $\mathsf{DM}(X)_{\mathcal{T}}$를 어떤 그라디에이티드 $E_{\infty}$-대수 $A$에 대해 $\mathsf{D}(A)$로 표현할 수 있음을 의미한다.
• 등차원 사이클 복합체를 사용하여 모티브의 단위에 대한 반주기화를 구성한 후, $\infty$-범주론적 가정 하에 국소화 기법을 적용하여 이를 강한 주기화로 격상시켰다.