[논문 리뷰] On quasi-categories of comodules and Landweber exactness

Takeshi Torii|arXiv (Cornell University)|2016. 12. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 2인용 수 6

한 줄 요약

이 논문은 Landweber 정확한 $$\mathbb{S}$$-대수에 관련된 코알제브라에 대한 코모듈의 준범주가 관련된 형식군의 높이에 의해서만 결정됨을 증명한다. 또한, 높이가 $n$인 Landweber 정확한 $$\mathbb{S}_{(p)}$$-대수 $A$에 대해 $E(n)$-국소화 스펙트럼의 준범주와 $A \otimes A$에 대한 코모듈의 준범주 사이에 동치가 있음을 보이며, $K(n)$-국소화 대칭 스펙트럼에서 Morava $E_n$-이론의 이산 모델에 대한 모듈 객체의 범주는 $K(n)$-국소화 범주를 모델링함을 보여준다.

ABSTRACT

In this paper we study quasi-categories of comodules over coalgebras in a stable homotopy theory. We show that the quasi-category of comodules over the coalgebra associated to a Landweber exact S-algebra depends only on the height of the associated formal group. We also show that the quasi-category of E(n)-local spectra is equivalent to the quasi-category of comodules over the coalgebra A\otimes A for any Landweber exact S_(p)-algebra A of height n at a prime p. Furthermore, we show that the category of module objects over a discrete model of the Morava E-theory spectrum in the K(n)-local discrete symmetric G_n-spectra is a model of the K(n)-local category, where G_n is the extended Morava stabilizer group.

연구 동기 및 목표

• 안정 호모토피 이론에서 국소화된 준범주 스펙트럼과 코작용 코알제브라에 대한 코모듈의 준범주 간의 관계를 조사한다.
• Landweber 정확한 $$\mathbb{S}$$-대수에 관련된 코알제브라에 대한 코모듈의 준범주가 관련된 형식군의 높이에 의해서만 결정됨을 보인다.
• 높이가 $n$인 Landweber 정확한 $$\mathbb{S}_{(p)}$$-대수에 대해 $E(n)$-국소화 스펙트럼의 준범주와 $A \otimes A$에 대한 코모듈의 준범주 사이의 동치를 확립한다.
• $K(n)$-국소화 대칭 $$\mathbb{G}_n$$-스펙트럼에서 Morava $E_n$-이론의 이산 모델에 대한 모듈 객체의 범주가 $K(n)$-국소화 범주를 모델링함을 보여준다.

제안 방법

• 안정 호모토피 이론 $$\mathcal{C}$$ 내의 코알제브라 객체에 대해 코모듈의 준범주를 구성하며, 코모듈을 $A$-모듈의 반대 범주 내의 모듈 객체로 간주한다.
• $$\mathcal{C}$$ 내의 대수 객체 $A$에 대해 코알제브라 $A \otimes A$를 정의하고, 이 코알제브라에 대한 왼쪽 코모듈의 준범주를 연구한다.
• 확장 체계 함수자 $B \otimes_A (-)$를 사용하여 서로 다른 대수에 대한 코모듈 준범주 간의 관계를 설정하며, 이들이 코모듈 범주의 사이의 함수자로 확장됨을 보인다.
• 안정 호모토피 이론의 결과, 특히 Adams-Novikov 스펙트럼 시리즈와 $E$-기반 스펙트럼 시리즈를 적용하여, 유도 함수자의 원소로서의 근본 원소의 표현을 통해 $E_2$-항을 분석한다.
• 특정 형식군 법칙의 높이에 따라 $E$-기반 Adams-Novikov 스펙트럼 시리즈의 $E_2$-항이 결정됨을 이용하여, 코모듈 범주의 불변성을 유도한다.
• 마킹된 단체적 집합과 애노딘 사상(예: 마킹된 애노딘 확장)을 사용하여 $$\infty$$-범주에서의 올림 성질을 증명하며, 특히 $$\pi$$-카르티esian 변과 피브레이션에 대해 다룬다.

실험 결과

연구 질문

• RQ1 Landweber 정확한 $$\mathbb{S}$$-대수에 관련된 코알제브라에 대한 코모듈의 준범주는 관련된 형식군의 높이에 의해서만 결정되는가?
• RQ2 높이가 $n$인 Landweber 정확한 $$\mathbb{S}_{(p)}$$-대수에 대해 $E(n)$-국소화 스펙트럼의 준범주와 $A \otimes A$에 대한 코모듈의 준범주 사이에 동치가 존재하는가?
• RQ3 $K(n)$-국소화 대칭 $$\mathbb{G}_n$$-스펙트럼에서 Morava $E_n$-이론의 이산 모델에 대한 모듈 객체의 범주는 $K(n)$-국소화 범주를 모델링할 수 있는가?
• RQ4 $L_{K(n)}(F_n \otimes (-))$ 확장 체계 함수자가 $$\Sigma{\rm Sp}(\mathbb{G}_n)_{K(n)}$$ 와 ${\rm LMod}_{F_n}(\Sigma{\rm Sp}(\mathbb{G}_n)_{K(n)})$ 사이의 왼쪽 쿨렌 동치인가?
• RQ5 $E$-기반 Adams-Novikov 스펙트럼 시리즈의 유도 함수자들은 코모듈의 준범주의 구조와 어떻게 관련되는가?

주요 결과

• Landweber 정확한 $$\mathbb{S}$$-대수 $A$에 대해 $A \otimes A$에 대한 코모듈의 준범주는 관련된 형식군의 높이에 의해서만 결정되며, 특정 대수의 선택과는 무관하다.
• 높이가 $n$인 임의의 Landweber 정확한 $$\mathbb{S}_{(p)}$$-대수 $A$에 대해, $A \otimes A$에 대한 코모듈의 준범주는 $E(n)$-국소화 스펙트럼의 준범주와 동치이다.
• $L_{K(n)}(F_n \otimes (-))$ 확장 체계 함수자는 왼쪽 쿨렌 동치이며, 이는 $K(n)$-국소화 대칭 $$\mathbb{G}_n$$-스펙트럼에서 $E_n$의 이산 모델에 대한 모듈 객체의 범주가 $K(n)$-국소화 범주를 모델링함을 보여준다.
• ${\rm LMod}_{F_n}(\Sigma{\rm Sp}(\mathbb{G}_n)_{K(n)})$는 $K(n)$-국소화 범주의 쿨렌 모델이며, 이는 이 안정 범주에 대한 이산 대수적 모델을 제공한다.
• 증명은 마킹된 단체적 집합에서의 올림 성질에 기반하며, 마킹된 애노딘 확장과 $$\pi$-카르티esian 변 조건을 사용하여 $$\Delta^n \times \Delta^2$$ 위에서의 사상의 확장을 구성한다.
• 동치 결과는 $E$-기반 Adams-Novikov 스펙트럼 시리즈의 $E_2$-항이 높이에 대해 불변임을 이용하여 도출되며, 이는 코모듈의 유도 범주가 높이에 의해서만 결정됨을 의미한다.