[논문 리뷰] Topological cyclic homology via the norm

Vigleik Angeltveit, Andrew J. Blumberg외 4명|arXiv (Cornell University)|2014. 01. 20.

Homotopy and Cohomology in Algebraic Topology인용 수 4

한 줄 요약

이 논문은 Bökstedt의 일관성 기계를 피하고 등급형 수직 스펙트럼에서 Hill-Hopkins-Ravenel의 곱셈적 노름을 사용하여 위상수학적 순환 호몰로지(TC) 및 그 연관 이론을 구성한다. 노름을 통해 위상수학적 호흐시ลด어 호몰로지(THH)에 순환 구조를 정의하고, $C_n$-스펙트럼이나 순환 $A$-대수 위에서 상대적 TR 및 TC 이론을 정의하며, 스펙트럼 수열과 TR 및 TC 위에서의 애드암 연산의 자연스럽고 계산 가능한 정의를 제공한다.

ABSTRACT

We describe a construction of the cyclotomic structure on topological Hochschild homology ($THH$) of a ring spectrum using the Hill-Hopkins-Ravenel multiplicative norm. Our analysis takes place entirely in the category of equivariant orthogonal spectra, avoiding use of the Bökstedt coherence machinery. We are able to define versions of topological cyclic homology ($TC$) and TR-theory relative to a cyclotomic commutative ring spectrum $A$. We describe spectral sequences computing this relative theory $_ATR$ in terms of $TR$ over the sphere spectrum and vice versa. Furthermore, our construction permits a straightforward definition of the Adams operations on $TR$ and $TC$.

연구 동기 및 목표

• Bökstedt의 일관성 기계를 사용하지 않고 곱셈적 노름을 통해 THH의 순환 구조를 새로운, 내재적인 방식으로 구성하는 것.
• 환 $C_n$-스펙트럼이나 순환 가환 스펙트럼 $A$ 위의 대수에서 시작하여 상대적 TR 및 TC 이론의 정의를 내리는 것.
• 상대적 $A$-TR 이론과 구체적 TR 이론 간의 관계를 밝혀내는 스펙트럼 수열을 수립하는 것.
• 등급형 스펙트럼 이론에서의 노름 구조를 활용하여 TR 및 TC 위에서의 애드암 연산의 자연스럽고 계산 가능한 정의를 제시하는 것.

제안 방법

• 등급형 수직 스펙트럼의 범주에서 Hill-Hopkins-Ravenel의 곱셈적 노름을 사용하여 스펙트럼 위의 $S^1$-노름을 구성한다.
• 노름을 이용해 필요한 $S^1$-등변 동치 $t_n: ho_n^* L ilde{ ext{Fix}}^{C_p} X o X$를 실현함으로써 THH(R) 위에 순환 구조를 정의한다.
• 기본 환 $C_n$-스펙트럼 또는 순환 $A$-대수 위에서 상대적 THH 및 TR을 상대적 $S^1$-노름으로 정의한다.
• 스펙트럼의 노름의 호모토피 이론적 성질을 모델링하기 위해 매크리-함수와 탐바라-함수에서의 대수적 노름을 활용한다.
• 노름과 고정점 함자들을 사용하여 스펙트럼 수열을 구성함으로써, 스펙트럼 위의 $A$-TR을 구체적 TR로 계산한다.
• 등급형 스펙트럼 이론의 $S^1$-등변 및 순환 데이터를 활용하여 노름 구조를 통해 TR 및 TC 위에서의 애드암 연산을 정의한다.

실험 결과

연구 질문

• RQ1 Bökstedt의 일관성 기계에 의존하지 않고 곱셈적 노름을 통해 THH의 순환 구조를 순수하게 구성할 수 있는가?
• RQ2 환 $C_n$-스펙트럼 또는 순환 가환 스펙트럼 $A$ 위의 대수에서 시작하여 상대적 TR 및 TC 이론을 어떻게 정의할 수 있는가?
• RQ3 순환 $A$-대수 위에서의 상대적 TR 이론과 구체적 스펙트럼 위의 절대적 TR 이론 간의 관계를 밝혀내는 스펙트럼 수열은 무엇인가?
• RQ4 등급형 스펙트럼 이론에서의 노름 구조를 활용하여 TR 및 TC 위에서의 애드암 연산을 자연스럽게 정의할 수 있는가?

주요 결과

• THH(R)의 순환 구조는 등급형 수직 스펙트럼에서 곱셈적 노름을 통해 구성되며, Bökstedt의 일관성 기계를 피하는 새로운 내재적 정의를 제공한다.
• 환 $C_n$-스펙트럼과 순환 가환 스펙트럼 위의 대수에 대해 상대적 TR 및 TC 이론이 정의되며, 추 trace 방법의 적용 범위가 확장된다.
• 상대적 $A$-TR 이론을 스펙트럼 위의 절대적 TR 이론으로 계산하는 스펙트럼 수열이 구성되며, 이는 상대적 이론에 대한 계산적 접근을 가능하게 한다.
• TR 및 TC 위에서의 애드암 연산은 노름 구조를 통해 자연스럽게 정의되며, 이러한 연산에 대한 체계적이고 계산 가능한 프레임워크를 제공한다.
• 매크리-함수에서의 대수적 노름은 호모토피 이론적 노름을 정확히 모델링하며, $C_2$-등급형 $`\mathbb{Z}[x]`$의 경우와 같이 난이도가 높은 예시에서 단순한 텐서 거듭제곱 접근법의 실패를 해결한다.
• 노름의 고정점 $N_e^{C_2}(\mathbb{Z}[x])$가 $`\mathbb{Z}[t,y,x\cdot gx]/(t^2-2t, ty-2y)`$ 임을 보이며, 단위 1이 봄사이드 링을 생성하며 $`\mathbb{Z}`$ 가 아니라는 점을 수정한다.