Motivic real topological Hochschild spectrum

제목: 모티빅 실 토폴로지컬 호클쉴드 스펙트럼 (Motivic Real Topological Hochschild Spectrum)
저자: 박도성 (Doosung Park)
출처: arXiv:2305.04150v3 [math.KT]

문제 정의

토폴로지컬 호클쉴드 호몰로지(THH)와 사이클로토믹 트레이스(cyclotomic trace)를 통한 대수적 K-이론 계산의 핵심인 토폴로지컬 사이클릭 호몰로지(TC)와 같은 변형들은 $\mathbb{A}^1$-불변성(invariance)이 결여되어 있다. 심지어 정규 스킴(regular schemes)에 대해서도 그러하며, 이는 THH가 모렐(Morel)과 보이브-보데스퀴(Voevodsky)에 의해 시작된 고전적인 모티빅 호모토피 이론을 직접 적용하는 것을 방해한다. THH나 TC와 같이 $\mathbb{A}^1$-불변성이 없는 이론들을 수용하기 위해 인터벌 $\mathbb{A}^1$을 쌍 $(\mathbb{P}^n, \mathbb{P}^{n-1})$으로 대체하는 로그 모티빅 호모토피 이론(logSH)이 개발되었으나, 이러한 이론들의 "실(real)" 대응물인 실 토폴로지컬 호클쉴드 호몰로지(THR)와 실 토폴로지컬 사이클릭 호몰로지(TCR)는 아직 이 프레임워크에 체계적으로 통합되지 않았다.

본 논문은 $\mathbb{Z}/2$-동변(equivariant) 로그 모티빅 범주 내에서 존재하는 모티빅 실 토폴로지컬 호클쉴드 스펙트럼을 정의하기 위한 간극을 다룬다. 구체적으로, 저자는 인볼루션(involution)을 가진 로그 스킴에 대한 THR을 정의하고, 모티빅 표현 가능성(representability)에 필요한 불변성을 확립하며, 연관된 모티빅 스펙트럼을 구성하는 것을 목표로 한다.

방법론

저자는 기존의 정의를 로그 및 동변 설정으로 확장한 후, 모티빅 표현 가능성에 필요한 특정 불변성을 증명하는 전략을 사용한다.

1. 다이히드럴 리플릿 바 구성 (Dihedral Replete Bar Constructions):
   논문은 로그 링(log rings)에 대한 로그네스(Rognes)의 리플릿 바 구성을 정교화하는 것으로 시작한다. 저자는 인볼루션을 가진 가환 모노이드에 대한 다이히드럴 리플릿 바 구성($B_{drep}$)과 다이히드럴 너브($N_{di}$)를 도입한다. 이는 $\mathbb{Z}/2$-동변 구조를 다루기 위해 실 심플리셜 셋(real simplicial sets) 및 다이히드럴 셋(dihedral sets, crossed simplicial groups) 이론을 활용하는 것을 포함한다.

2. THR 및 TCR의 정의:

   • THR: 인볼루션을 가진 로그 링에 대해 노름드 대수(normed algebras, $NAlg_{\mathbb{Z}/2}$)의 코프로덕트(coproduct)로서 다음과 같이 정의된다:
     $$THR(A, P) := THR(A) \wedge_{S[B_{di}P]} S[B_{drep}P]$$
   • 스킴으로의 확장: THR은 **엄격한 이소변트 에탈레 토폴로지(strict isovariant étale topology)**에서의 셰프화(sheafification)를 통해 인볼루션을 가진 분리된 로그 스킴으로 확장된다.
   • TCR: Quigley와 Shah의 연구를 따라, 저자는 실 사이클로토믹 스펙트럼을 정의하고, 결과물인 THR 객체의 실 토폴로지컬 사이클릭 호몰로지로서 TCR을 구성한다.

3. 모티빅 불변성 및 디센트 (Motivic Invariance and Descent):
   핵-기술적 노력은 정의된 THR이 다음을 만족함을 증명하는 데 집중된다:

   • 이소변트 에탈레 디센트 (Isovariant étale descent).
   • 연관된 로그 구조로의 전이에 대한 불변성.
   • $(\mathbb{P}^n, \mathbb{P}^{n-1})$-불변성: 이것은 모티빅 표현 가능성을 위한 결정적인 단계이다. 저자는 큐브(cubes)를 사용하여 $\infty$-범주에서 $THR(\mathbb{P}^n, \mathbb{P}^{n-1})$을 명시적으로 계산함으로써, 사상 $THR(X) \to THR(X \times (\mathbb{P}^n, \mathbb{P}^{n-1}))$가 동형(equivalence)임을 입증한다.

4. 모티빅 스펙트럼의 구성:
   $\mathbb{P}^1 \wedge \mathbb{P}^\sigma$ (여기서 $\mathbb{P}^\sigma$는 인볼루션 $[x:y] \mapsto [y:x]$를 가진 $\mathbb{P}^1$)에 대한 THR의 주기성을 사용하여, 저자는 프리로그 모티빅 $\mathbb{Z}/2$-스펙트럼($prelogSH^{\mathbb{Z}/2}(S)$)의 $\infty$-범주를 구성한다. 이 범주 내에서, 모티빅 실 토폴로지컬 호클쉴드 스펙트럼($THR$)과 모티빅 실 토폴로지컬 사이클릭 스펙트럼($TCR$)은$(\mathbb{P}^1 \wedge \mathbb{P}^\sigma)$-스펙트럼으로 정의된다.

주요 기여 및 결과

• 로그 스킴을 위한 THR의 정의: 본 논문은 로그 구조와 인볼루션 사이의 상호작용을 다루기 위해 다이히드럴 리플릿 바 구성을 사용하여, 인볼루션을 가진 분리된 로그 스킴에 대한 THR의 엄밀한 정의를 제공한다.
• 모티빅 표현 가능성: 주요 결과는 THR이 모든 $n \geq 1$에 대해 $(\mathbb{P}^n, \mathbb{P}^{n-1})$-불변임을 증명하는 것이다. 이를 통해 THR은 로그 모티빅 범주 내의 객체로 표현될 수 있다.
• 국소화 및 블로우업 수열 (Localization and Blow-up Sequences):
  • 정리 1.1: 매끄러운 스킴의 폐쇄 삽입(closed immersion)과 관련된 THR 및 TCR의 파이버 수열(fiber sequences)을 설정하며, 이는 노멀 번들의 톰 공간(Thom space)과 블로우업을 포함한다. 이는 THR을 위한 국소화 수열 역할을 한다.
  • 정리 1.2: 매끄러운 중심(smooth center)을 따른 블로우업에 의해 유도되는 스퀘어가 THR과 TCR 모두에 대해 카테시안(cartesian)임을 증명한다.
• 동변 모티빅 스펙트럼: 저자는 $prelogSH^{\mathbb{Z}/2}(S)$를 구성하고 주기적 스펙트럼인 $THR$과$TCR$을 그 안에서 정의한다.
• 고전적 이론과의 관계:
  • 명제 6.17: 망각 함자(forgetful functor) $i^*$ (인볼루션이 자명한 스킴으로 제한하는 함수)가 모티빅 실 스펙트럼을 고전적 모티빅 스펙트럼으로 매핑함을 보여준다: $i^*THR \simeq THH$ 및 $i^*TCR \simeq TC$.
  • 따름정리 4.9: 모티빅 실 스펙트럼의 고정점(fixed points)이 고전적 모티빅 THH를 회복함을 확립한다: $THR(i^\sharp X)^{\mathbb{Z}/2} \simeq THH(X)$.

의의

본 논문은 실 토폴로지컬 호클쉴드 호몰로지를 로그 모티빅 호모토피 이론의 프레임워크로 성공적으로 통합하였다. 필요한 불변성을 확립함으로써, 저자는 실 K-이론 및 헤르미션 K-이론(hermitian K-theory)에 대하여 실 트레이스 방법(real trace method)을 통한 모티빅 방법(순수성, Gysin 수열, 블로우업 공식 등)의 적용을 가능하게 한다.

이 연구는 서론에서 Harpaz, Nikolaus, Shah의 후속 연구에 의해 암시된 바와 같이, 던다스-구드빌-맥카시(Dundas-Goodwillard-McCarthy) 정리의 "실적 정교화(real refinement)"를 위한 기초를 놓는다. 본 논문은 대수적 K-이론을 위해 THH와 TC가 사용되는 것과 유사하게, 실 및 헤르미션 K-이론을 계산하기 위해 필요한 기술적 인프라(모티빅 스펙트럼 $THR$및$TCR$)를 제공한다. 이 논문은 특정 K-그룹의 계산을 해결한다고 주장하는 것이 아니라, 모티빅 프레임워크 내에서 그러한 계산을 실행 가능하게 만드는 표현 가능한 객체와 구조적 정리(국소화, 블로우업 불변성)를 제공하는 데 목적이 있다.