[논문 리뷰] K-theory and polynomial functors

Clark Barwick, Saul Glasman외 2명|arXiv (Cornell University)|2021. 02. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 19인용 수 4

한 줄 요약

이 논문은 안정적 ∞-카테고리 간 다항 함수자에 대해, 정확한 함자 외에도 다항 함자로까지 확장되는 대수적 K-이론의 함자적 성질을 보여준다. 이는 보편 성질을 통해 이루어지며, 핵심 응용으로는 Bökstedt의 THH(𝔽_p) 계산에 대한 새로운 증명을 제공한다. 이 증명은 TR(𝔽_p)가 이산적임을 보이며, 호모토피 군 내의 p-나누가능성과 Goodwillie 미적분을 활용한다.

ABSTRACT

We show that the algebraic K-theory space of stable infinity-categories is canonically functorial in polynomial functors. As a consequence, we obtain a new proof of Bökstedt's calculation of $\mathrm{THH}(\mathbb{F}_p)$.

연구 동기 및 목표

• 안정적 ∞-카테고리 간 다항 함자로까지 대수적 K-이론의 함자적 성질를 확장하는 것.
• 안정적 ∞-카테고리와 다항 함자를 포함하는 ∞-카테고리에서 K-이론의 보편적 특성화를 제공하는 것.
• 이 확장된 함자적 성질을 활용하여 Bökstedt의 THH(𝔽_p) 계산에 대한 새로운 증명을 제시하는 것.
• 호모토피 군 내의 p-나누가능성에 기반해 TR(𝔽_p)가 이산적임을 증명하는 것.
• [AN21]의 순환 스펙트럼에 대한 결과를 활용하여 THH(𝔽_p)의 구조를 TR(𝔽_p)와 연결하는 것.

제안 방법

• Cat_∞^poly, 즉 소형이며 아이디포텐트 완비인 안정적 ∞-카테고리와 다항 함자를 포함하는 ∞-카테고리에 대해 K̃를 정의한다.
• K-이론의 보편 성질을 활용하여 Cat_∞^perf에서 Cat_∞^poly로의 표준 사상 ι → K를 확장한다.
• Goodwillie 미적분을 적용하여 순환 K-이론의 m번째 Goodwillie 근사, P_mK^cyc를 분석한다.
• 도함수의 차수 ≤ p인 함자 f에 대해, f_*: (P_{mp}K^cyc)(V) → (P_mK^cyc)(S_pV)의 사상을 구성한다.
• 항등 함자가 π_i에 대해 i ≥ 1일 때 p로 나누어지는 사상을 유도함을 보이며, 이는 곱으로의 분해와 영인자에서의 소멸성에 기반한다.
• 유도된 p-완비성과 p-나누가능성을 활용하여 π_i(TR(𝔽_p)) = 0 (i ≥ 1)임을 결론내며, 따라서 TR(𝔽_p)가 이산적임을 증명한다.

실험 결과

연구 질문

• RQ1 안정적 ∞-카테고리 간 다항 함자로까지 대수적 K-이론을 함자적으로 확장할 수 있는가?
• RQ2 다항 함자로 확장된 K-이론의 보편적 특성은 무엇인가?
• RQ3 다항 함자적 성질이 TR(𝔽_p)의 이산성에 어떻게 기여하는가?
• RQ4 Bökstedt의 THH(𝔽_p) 계산은 TR(𝔽_p)의 호모토피 이론적 성질을 통해 재구성될 수 있는가?
• RQ5 Goodwillie 미적분은 유한체의 K-이론 분석에서 어떤 역할을 하는가?

주요 결과

• 대수적 K-이론 함자 K는 Cat_∞^poly, 즉 안정적 ∞-카테고리와 다항 함자를 포함하는 ∞-카테고리에 대해 자연스럽게 확장된 함자 K̃로 확장된다.
• 확장된 K̃는 Cat_∞^perf에서 K가 만족하는 보편 성질을 그대로 유지하지만, 이제 사상으로서 다항 함자를 포함한다.
• 유한차원 𝔽_p-벡터공간 위의 항등 함자는 i ≥ 1에 대해 호모토피 군 π_i에 대해 p로 나누어지는 사상을 유도한다.
• 이 p-나누가능성은 π_i(TR(𝔽_p))가 유일하게 p-나누어지며, 따라서 0이 되므로 TR(𝔽_p)가 이산적임을 의미한다.
• TR(𝔽_p)의 이산성은 THH(𝔽_p)_* ≅ 𝔽_p[σ] (|σ| = 2)임을 암시하며, Bökstedt의 정리를 재확인한다.
• 결과는 [AN21]와 일치하며, THH(𝔽_p)의 전체 순환 스펙트럼의 구조가 TR(𝔽_p)에 의해 결정됨을 보여준다.