[논문 리뷰] Localizations and completions in motivic homotopy theory

LG Mantovani|arXiv (Cornell University)|2018. 10. 09.

Algebraic Geometry and Number Theory참고 문헌 26인용 수 15

한 줄 요약

이 논문은 완전체 $K$ 위에서의 모티빅 스트레임 호모토피 이론에서, 합리적인 조건 하에 스펙트럼의 $E$-호모로지 국소화와 $E$-니르포텐트 완비화가 일치함을 증명한다. 이는 고전적 안정 호모토피 이론의 고전적 결과를 일반화한 것으로, 이 등가성은 교환 법칙적 완비화 또는 국소화의 형태로 표현되며, $E$-기반 모티빅 애덤스-노비코프 스펙트럴 시퀀스의 수렴 기준을 제공한다.

ABSTRACT

Let $K$ be a perfect field and let $E$ be a homotopy commutative ring spectrum in the Morel-Voevodsky stable motivic homotopy category $\mathcal{SH}(K)$. In this work we investigate the relation between the $E$-homology localization and $E$-nilpotent completion of a spectrum X. Under reasonable assumptions on $E$ and $X$ we show that these two operations coincide and can be expressed in terms of formal completions or localizations in the usual sense of commutative algebra. We deduce convergence criteria for the $E$-based motivic Adams-Novikov spectral sequence.

연구 동기 및 목표

• 모티빅 스트레임 호모토피 범주 $\mathcal{SH}(K)$에서 $E$-호모로지 국소화와 $E$-니르포텐트 완비화 간의 관계를 명확히 하기.
• 고전적 호모토피 이론의 고전적 결과를 완전체 $K$ 위의 모티빅 설정으로 확장하기.
• 교환 법칙적 완비화와 국소화를 이용한 교환 법칙적 대수학의 기법을 통해 이러한 구성의 대수적 기술 제공하기.
• $E$-기반 모티빅 애덤스-노비코프 스펙트럴 시퀀스의 수렴 기준을 확립하기.
• 국소화와 완비화 사이의 애덤스-부스필드 등가성을 모티빅 맥락으로 일반화하기.

제안 방법

• 완전체 $K$ 에 대해 모레르-보에보드스키의 안정 모티빅 스트레임 호모토피 범주 $\mathcal{SH}(K)$ 를 사용한다.
• 스펙트럼의 극한을 분석하기 위해 프로-타워와 프로-동형사상 이론을 적용한다.
• 호모토피 모듈러와의 관계를 설정하고 프로-약한 동형사상을 수립하기 위해 포스트니코프 타워 사영을 활용한다.
• 연결 스펙트럼이 일정한 차수 이상에서 호모토피 모듈러에 대해 동형사를 유도함을 이용하여 타워를 비교한다.
• 분수의 미적분을 사용하여 $\mathcal{SH}(K)$ 내의 국소화 함수자로 $E$-국소화를 정의한다.
• 호모토피 모듈러 분석과 프로-타워 기법을 통해 $E$-니르포텐트 완비화와 $E$-호모로지 국소화 사이의 등가성을 활용한다.

실험 결과

연구 질문

• RQ1 모티빅 스트레임 호모토피 이론에서 어떤 조건 하에 $E$-호모로지 국소화와 $E$-니르포텐트 완비화가 일치하는가?
• RQ2 $E$-기반 모티빅 애덤스-노비코프 스펙트럴 시퀀스가 $E$-니르포텐트 완비화를 갖는 스펙트럼으로 수렴함을 보일 수 있는가?
• RQ3 $\mathcal{SH}(K)$ 내에서 고전적 애덤스-부스필드 결과의 모티빅 대응을 어느 정도까지 확립할 수 있는가?
• RQ4 프로-타워와 프로-동형사상은 $\mathcal{SH}(K)$ 내에서 국소화와 완비화의 비교를 어떻게 지원하는가?
• RQ5 연결 스펙트럼과 포스트니코프 절단은 프로-약한 동형사상을 수립하는 스펙트럴 시퀀스에서 어떤 역할을 하는가?

주요 결과

• 스펙트럼 $X$ 에 대해 $\mathcal{SH}(K)$ 내에서 $E$-호모로지 국소화와 $E$-니르포텐트 완비화는 $E$ 와 $X$ 에 대한 합리적인 가정 하에 등가이다.
• 이 등가성은 교환 법칙적 완비화 또는 국소화의 형태로 표현되며, 고전적 결과를 일반화한다.
• $E$-기반 모티빅 애덤스-노비코프 스펙트럴 시퀀스는 $X$ 의 $E$-니르포텐트 완비화로 조건부로 수렴하며, 이제는 명시적으로 기술된 상태이다.
• $\mathcal{SH}(K)$ 내 프로-타워의 프로-동형사상은 하위 인덱스로의 사상에 관여하는 재색인화와 교환 법칙적 도형을 통해 특성화된다.
• 타워에서 포스트니코프 타워로의 사영은 프로-약한 동형사상이며, 연결 $E$ 에 대해 $E\wedge -$ 를 적용한 후에도 이 성질이 유지된다.
• 타워가 프로-수축 가능할 조건은 그 호모토피 모듈러가 프로-동형사상으로 0과 동치일 때이며, 이는 프로-범주 내에서의 자명성의 특성화이다.