[논문 리뷰] On the parametrized Tate construction and two theories of real $p$-cyclotomic spectra

J. D. Quigley, Jay Shah|arXiv (Cornell University)|2019. 09. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 28인용 수 11

한 줄 요약

이 논문은 이odal 군 D2p = µp ⋊ C2에 대한 진정한 C2-스펙트럼과 매개화된 타테 수축 (−)tC2 µp를 사용하여 p-형 실 토폴로지적 순환 homology의 새로운 공식을 제안한다. 이는 이전의 등변 이odal 스펙트럼 기반 접근법을 대체한다. 유계 아래 조건 하에서 Borel 및 진정한 실 p-순환 스펙트럼 이론 간의 동치를 확립하며, 니콜라우스와 쇼르체의 p-순환 스펙트럼에 대한 섬세한 수열 공식을 실 설정으로 일반화한다.

ABSTRACT

We give a new formula for $p$-typical real topological cyclic homology that refines the fiber sequence formula discovered by Nikolaus and Scholze for $p$-typical topological cyclic homology to one involving genuine $C_2$-spectra. To accomplish this, we give a new definition of the $\infty$-category of real $p$-cyclotomic spectra that replaces the usage of genuinely equivariant dihedral spectra with the parametrized Tate construction $(-)^{t_{C_2} μ_p}$ associated to the dihedral group $D_{2p} = μ_p times C_2$. We then define a $p$-typical and $\infty$-categorical version of Høgenhaven's $O(2)$-orthogonal cyclotomic spectra, construct a forgetful functor relating the two theories, and show that this functor restricts to an equivalence between full subcategories of appropriately bounded below objects.

연구 동기 및 목표

• 이odal 군 D2p = µp ⋊ C2에 대한 매개화된 타테 수축 (−)tC2 µp를 사용하여 실 p-순환 스펙트럼의 ∞-카테고리 재정의 (진정한 등변 이odal 스펙트럼에 대한 의존성 제거)
• 후에그하벤의 O(2)-직교 순환 스펙트럼의 p-형 및 ∞-카테고리적 판본을 구축
• Borel 및 진정한 실 p-순환 스펙트럼 이론 간 忘却 함자 구축 및 그가 유계 아래 객체에서 동치를 유도함을 증명
• 노르만스키와 쇼르체의 작업을 실 순환 스펙트럼으로 확장하여 토폴로지적 순환 homology의 섬세한 수열 공식을 실 설정으로 정밀화
• 실 K-이론에서 추적 방법을 지원하고 기하학적 고정점 데이터를 유지하는 실 토폴로지적 순환 homology를 위한 계산 프레임워크 제공

제안 방법

• 이oidal 군 D2p = µp ⋊ C2에 대한 매개화된 타테 수축 (−)tC2 µp를 포함하는 느슨한 등차를 통해 실 p-순환 스펙트럼의 ∞-카테고리 정의
• 매개화된 타테 수축과 재접합 기법을 사용하여 진정한 실 p-순환 스펙트럼에서 Borel 실 p-순환 스펙트럼으로의 忘却 함자 구축
• ∞-카테고리에 대한 재접합 이론을 사용하여 정규 부분군, 특히 D2p 내의 C2에 대해 SpG 및 그 부분카테고리의 구조 분석
• 매개화된 ∞-카테고리 맥락에서 느슨한 극한과 우측-느슨한 다이어그램을 분석하기 위해 단순화된 바리센트 분할과 국소 코카르티esian 푸시포워드 적용
• 매개화된 설정에서 고정점과 기하학적 고정점을 비교하기 위해 이oidal 타테 오비트 보조정리 증명
• 함수 카테고리에 대한 점별 모노이드 구조를 사용하여 매개화된 구성의 대칭 모노이드 성질 다룸

실험 결과

연구 질문

• RQ1 매개화된 타테 수축 (−)tC2 µp는 어떻게 실 p-순환 스펙트럼 이론을 진정한 이odal 스펙트럼에 의존하지 않도록 재정의할 수 있는가?
• RQ2 Borel 및 진정한 실 p-순환 스펙트럼 이론 간의 관계는 무엇이며, 어떤 조건에서 동치가 되는가?
• RQ3 니콜라우스와 쇼르체의 p-순환 스펙트럼에 대한 섬세한 수열 공식은 매개화된 타테 수축을 통해 실 설정으로 확장될 수 있는가?
• RQ4 유계 아래 조건은 Borel 및 진정한 실 p-순환 스펙트럼 이론 간의 동치에 어떤 영향을 미치는가?
• RQ5 이oidal 군 D2p = µp ⋊ C2는 매개화된 타테 수축을 통해 실 p-순환 스펙트럼의 구조를 어떻게 조직하는가?

주요 결과

• 논문은 Nikola우스와 쇼르체의 공식을 실 설정으로 일반화하여 p-형 실 토폴로지적 순환 homology의 새로운 공식을 확립한다: TC(X, p) ≃ fib(XhC2, (XtC2)hC2)
• 진정한 실 p-순환 스펙트럼에서 Borel 실 p-순환 스펙트럼으로의 忘却 함자는 유계 아래 객체의 전체 부분카테고리에서 동치를 유도한다
• 매개화된 타테 수축 (−)tC2 µp는 실 p-순환 스펙트럼 정의에서 진정한 이oidal 스펙트럼의 자연스러운 대체가 된다
• 이oidal 타테 오비트 보조정리가 증명되었으며, 매개화된 설정에서 고정점과 기하학적 고정점을 비교하는 데 사용된다
• 재접합 및 느슨한 극한 기법을 통해 후에그하벤의 O(2)-직교 순환 스펙트럼의 p-형 및 ∞-카테고리적 판본이 성취된다
• 이론은 홀수 소수에서 mod p 매크리 함수에 대한 상수 스펙트럼의 TC(R)를 특수한 경우로 회복하여 기존 계산과의 일관성을 확인한다