[논문 리뷰] Models of Lubin-Tate spectra via Real bordism theory

Agnès Beaudry, Michael A. Hill외 2명|arXiv (Cornell University)|2020. 01. 22.

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

한 줄 요약

이 논문은 실수 구조의 실수 브라운-페테르슨 스펙트럼의 노름을 통해 유도된 등변 형식군 법칙을 이용하여 높이 $h = 2^{n-1}m$에서 $C_{2^n}$-등변 실수 방향 모델을 루빈-타이트 스펙트럼으로 구성한다. 계수 링 위의 $C_{2^n}$-작용에 대한 명시적 공식을 제공하고, 이 스펙트럼의 호모토피 고정점의 $K(h)$-국소화가 국소화된 노름된 실수 브라운-페테르슨 스펙트럼의 절단과 동치임을 증명하여, 실수 $K$-이론의 고차 크로모틱 대응을 제시한다.

ABSTRACT

We study certain formal group laws equipped with an action of the cyclic group of order a power of $2$. We construct $C_{2^n}$-equivariant Real oriented models of Lubin-Tate spectra $E_h$ at heights $h=2^{n-1}m$ and give explicit formulas of the $C_{2^n}$-action on their coefficient rings. Our construction utilizes equivariant formal group laws associated with the norms of the Real bordism theory $MU_{\mathbb{R}}$, and our work examines the height of the formal group laws of the Hill-Hopkins-Ravenel norms of $MU_{\mathbb{R}}$.

연구 동기 및 목표

• 등변 형식군 법칙을 이용하여 $C_{2^n}$-등변 실수 방향 루빈-타이트 스펙트럼을 높이 $h = 2^{n-1}m$에서 구성한다.
• 이 스펙트럼의 계수 링 위의 $C_{2^n}$-작용에 대한 명시적 공식을 제공하여, 고차 크로모틱 수준으로 애드엄스 작용을 일반화한다.
• 힐-홉킨스-레이븐델의 노름 $N_{C_2}^{C_{2^n}}BP_{\mathbb{R}}$의 절단의 크로모틱 높이를 보다 광범위한 모듈리-이론적 프레임워크의 일부로 연구한다.
• 루빈-타이트 스펙트럼의 호모토피 고정점과 국소화된 노름된 실수 브라운-페테르슨 스펙트럼의 절단 사이의 $K(h)$-국소 동치를 확립한다.

제안 방법

• 실수 브로드즘 스펙트럼 $MU_{\mathbb{R}}$의 노름과 관련된 등변 형식군 법칙을 사용하여 $C_{2^n}$-등변 루빈-타이트 스펙트럼을 구성한다.
• 유한체에서의 특성 2인 형식군 법칙의 보편적 변형을 이용하여, $C_{2^n}$-작용이 있는 계수 링을 정의한다.
• 등변 방향 이론과 국소화를 적용하여 스펙트럼을 노름 $N_{C_2}^{C_{2^n}}BP_{\mathbb{R}}$ 및 그 절단과 연결한다.
• 쿠엔트 스펙트럼 시퀀스를 사용하여 일반화된 무어 스펙트럼과의 텐서곱의 호모토피 군을 분석하고, $K(h)$-국소적 영향을 유도한다.
• 호모토피 고정점에 대해 $L_{K(h)}(-)$ 함자를 적용하고, $L_{K(h)}(D^{-1}BP^{(\!(G)\!)}\langle m\rangle)$에서의 사상이 호모토피 군에서의 동형임을 보인다.
• $v_r$ 가 쿠엔트 스펙트럼 시퀀스의 $E_2$-페이지에서 자명하게 작용함을 이용하여, 모든 호모토피 군이 $v_r$- torsion임을 보이고, 따라서 $K(h)$-국소적으로 수축 가능하다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 하면 높이 $h = 2^{n-1}m$에서 $C_{2^n}$-등변 실수 방향 루빈-타이트 스펙트럼의 모델을 구성할 수 있는가?
• RQ2 이러한 루빈-타이트 스펙트럼의 계수 링 위의 $C_{2^n}$-작용에 대한 명시적 공식은 무엇인가?
• RQ3 노름 $N_{C_2}^{C_{2^n}}BP_{\mathbb{R}}$의 절단의 크로모틱 높이는 무엇인가?
• RQ4 루빈-타이트 스펙트럼의 호모토피 고정점 스펙트럼은 국소화된 노름된 실수 브라운-페테르슨 스펙트럼의 절단과 어떻게 관련이 있는가?
• RQ5 루빈-타이트 스펙트럼의 호모토피 고정점의 $K(h)$-국소화는 국소화된 노름 스펙트럼의 몫과 일치하는가?

주요 결과

• $C_{2^n}$-등변 루빈-타이트 스펙트럼 $E(k, \Gamma_h)$의 계수 링 위의 $C_{2^n}$-작용은 $C_{2^n}$의 유도된 부호 표현의 복수 개의 합에 대한 대칭 대수의 주기화의 완비화로 명시적으로 기술된다.
• 루빈-타이트 스펙트럼 $E(k, \Gamma_h)$의 호모토피 고정점은 $L_{K(h)}(D^{-1}BP^{(\!(G)\!)}\langle m\rangle)$와 $K(h)$-국소적으로 동치이며, 여기서 $G = C_{2^n}$이다.
• $i_e^* D^{-1}BP^{(\!(G)\!)}\langle m\rangle$의 $K(h)$-국소화는 호모토피 고정점 $i_e^* E(k, \Gamma_h)^{hC(k,m)}$와 동형이 되며, 이는 $K(h)$-국소 범주 내에서 핵심 동치를 확립한다.
• 스펙트럼 시퀀스의 추론에 따라, $v_r$ 는 $X \wedge_{MU} MU/(v_0^{j_0}, \ldots, v_{r-1}^{j_{r-1}})$의 쿠엔트 스펙트럼 시퀀스의 $E_2$-페이지에서 자명하게 작용하며, 이는 모든 호모토피 군이 $v_r$-torsion임을 의미하고, 따라서 $K(h)$-국소적으로 수축 가능하다는 것을 의미한다.
• 쿠엔트 스펙트럼 시퀀스의 $E_2$-페이지는 $(\pi_*X)/(v_0^{j_0}, \ldots, v_{r-1}^{j_{r-1}})$-모듈러이며, $v_r \in (v_0, \ldots, v_{r-1})$ 이므로 $q = \sum j_i$ 에 대해 $v_r^q$ 가 $E_2$-페이지에서 0이 되며, 이는 호모토피 군에서 $v_r$-torsion임을 유도한다.
• $i_e^* BP^{(\!(G)\!)} \to i_e^* E(k, \Gamma_h)^{hC(k,m)}$ 사상은 $i_e^* D^{-1}BP^{(\!(G)\!)}\langle m\rangle$를 통과하며, 이에 따라 유도된 $K(h)$-국소화 사상은 호모토피 군에서의 동형이다.