[논문 리뷰] The Cosmic Galois group as Koszul dual to Waldhausen's A(pt)

Jack Morava|arXiv (Cornell University)|2011. 08. 23.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 3

한 줄 요약

이 논문은 동역학적 갈루아 이론에서 유래하는 우주적 갈루아 군이 스펙트럼의 도파미너리 범주와 위상순환호모로피(THH)를 통해 Waldhausen의 A(*)-이론 스펙트럼과 코즐 듀얼임을 제안한다. 이는 위상적 K-이론 스펙트럼과 그 코즐 듀얼 간의 이중성 관계를 THH와 TC를 통해 수립하며, 모티브 구조와 호모토피 이론을 연결하고, 쿼시스임metric 함수 및 홀수 리만 제타값과의 관계를 드러낸다.

ABSTRACT

K. Hess's theory of homotopical descent, applied to the large categories of motives defined recently by Blumberg, Gepner, and Tabuada, suggests that the Koszul dual of Waldhausen's K-theory of the sphere spectrum, regarded as a supplemented algebra via the Dennis trace, plays a very general role as a kind of motivic group. After tensoring with the rationals, the resulting Hopf algebra has close relations to the ring of quasi-symmetric functions and work of Baker and Richter on one hand, and on the other to work of Deligne and others on the motivic group for mixed Tate motives.

연구 동기 및 목표

• 모티브 범주적 맥락에서 우주적 갈루아 군과 Waldhausen의 A(*)-이론 간의 관계를 탐색한다.
• K-이론과 위상순환호모로피(TC) 스펙트럼 간의 코즐 이중성 프레임워크를 수립한다.
• A(*)-이론을 중심으로 한 스펙트럼 범주를 통해 대수기하학의 모티브 구조와 안정적 호모토피 이론을 통합한다.
• 대수적 다양체의 Betti 실현이 이 모티브 프레임워크에 어떻게 통합되는지 조사한다.
• 유리수화된 TC와 선형화된 모티브 범주를 통해 다양체의 모티브와 그 기저 위상 공간의 안정적 호모토피 유형을 통합한다.

제안 방법

• Waldhausen의 A(*)-이론 스펙트럼을 중심으로 한 프리-모티브의 큰 스펙트럼 범주를 구축하며, 완전 ∞-범주 간의 정확한 함자를 통한 K-이론을 활용한다.
• 카루비-비야마요르 스타일의 국소화를 통해 이 범주의 프리-삼각형 완비화를 정의하며, 그로텐디크의 모티브 구성 방식을 일반화한다.
• K-이론 스펙트럼 $K(\$)$에 코즐 이중성을 적용하여 그 듀얼을 $\mathrm{RHom}_{K(\$)}(\$, \$)$로 식별하며, 이는 우주적 갈루아 군의 군 대수를 모델링한다.
• 위상순환호모로피(TC)와 THH를 사용하여, 모티브 범주의 순환적 변형을 구성하며, 사상 대상들을 $\$_\dagger{\rm TC}$-코모듈의 범주로 구성한다.
• TC 기반 모티브 범주의 선형화된 버전을 도입하며, 이 경우 유리수화된 사상 대상들이 유리수 안정 호모토피 군을 복원한다.
• 순환적 추적을 활용하여 $K(\$)$와 $TC(\$)$를 연결하며, 정칙한 홀수 소수에서 $TC(\$)$를 $\$∨ \Sigma \mathbb{C}P^\infty_{-1}$로 식별함으로써, THH와 TC를 통한 이중성 구축이 가능해진다.

실험 결과

연구 질문

• RQ1 어떻게 우주적 갈루아 군을 Waldhausen의 A(*)-이론 스펙트럼의 코즐 듀얼로 실현할 수 있는가?
• RQ2 위상순환호모로피(TC)는 K-이론과 그 듀얼 간의 모티브 이중성을 실현하는 데 어떤 역할을 하는가?
• RQ3 대수적 다양체의 Betti 실현은 A(*)-이론으로 구성된 모티브 범주와 어떻게 관련되는가?
• RQ4 TC로부터 유도된 유리수화된 모티브 범주가 유리수 안정 호모토피 범주를 복원할 수 있는가?
• RQ5 이 이중성 프레임워크에서 쿼시스임metric 함수와 홀수 제타값이 나타나는 의미는 무엇인가?

주요 결과

• $K(\$)$의 코즐 듀얼은 $\$_\dagger{K(\$)} = \mathrm{RHom}_{K(\$)}(\$, \$)$로 식별되며, 이는 우주적 갈루아 군의 군 대수를 모델링한다.
• 코즐 듀얼 $\$_\dagger{K(\$)} \otimes \mathbb{Q}$의 유리수화된 형태는 $\mathbb{Q}$ 위에서의 쿼시스임metric 함수 대수와 동형이며, 자유 리 대수를 가진 프로-유니폴라 군에 대응한다.
• 순환적 추적을 통해 정칙한 홀수 소수에서 $TC(\$)$는 $\$∨ \Sigma \mathbb{C}P^\infty_{-1}$로 식별되며, 이는 THH와 TC를 통한 이중성 프레임워크를 가능하게 한다.
• 선형화된 모티브 범주 $\mathsf{Mot}^{\rm lin}_{{\rm TC}_\dagger}$의 유리수화된 사상 대상들은 $[Y, X]_{\mathbb{Q}}$와 동형이며, 이는 유리수 안정 호모토피 범주를 복원한다.
• 이 구성은 호모토피 고정점의 구조를 $\mathbb{T}$--equivariant 성질을 통해 THH와 TC로 연결하는 공액도 맵 $\mathrm{TC}(DX) \to [X_+, \mathrm{TC}(\$)]$를 암시한다.
• $\mathbb{T}$-작용은 THH에서 유도된 생성자들의 리 대수에서 홀수 차수에 대해 델리그의 혼합 타이트 모티브를 위한 모티브 갈루아 군과 유사하며, 산술 제타값과 연결된다.