[논문 리뷰] Cellularity of hermitian K-theory and Witt theory

Oliver Röndigs, Markus Spitzweck외 1명|arXiv (Cornell University)|2016. 03. 16.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 5

한 줄 요약

이 논문은 임의의 점의 잔여체 계수가 2가 아닌 기본 스킴 위에서 헤르미트 K-이론(KQ)과 유크리드 이론(KW)이 셀러블 모티브 스펙트럼임을 증명한다. 퀼레르니안 그라스만يان의 기하학과 타우토로지컬 심플렉틱 번들의 타르스 토모스페이스에 대한 귀납적 셀러블리티 추론을 통해, 이러한 스펙트럼이 동치를 통해 모티브 구름으로부터 스펙트럼의 스위스팅과 호모토피 콘두이트를 통해 구성됨을 보이며, 이는 $π_{*,*}$-동형사상에 의한 안정 등형의 강력한 탐지 가능성을 가능하게 한다.

ABSTRACT

Hermitian K-theory and Witt-theory are cellular in the sense of stable motivic homotopy theory over any base scheme without points of characteristic two.

연구 동기 및 목표

• 기본 스킴에 특성 2를 가진 점이 없을 경우, 안정 모티브 호모토피 범주에서 헤르미트 K-이론과 유크리드 이론의 셀러블리티를 확립하는 것.
• 모티브 이론과 이차 형식 이론에서 중심적인 역할을 하는 KQ와 KW를 포함하는 셀러블 모티브 스펙트럼의 프레임워크를 확장하는 것.
• KQ의 슬라이스를 계산하고 모렐의 $π_1$-추측을 증명하기 위한 기초를 마련하는 것.
• 대수적 K-이론에서의 셀러블리티 전략을 심플렉틱 기하학을 활용하여 헤르미트 K-이론과 유크리드 이론으로 일반화하는 것.
• 모티브 스펙트럼 KQ와 KW가 호모토피 콘두이트와 셀러블 구성에 의해 스펙트럼의 구름으로부터 스위스팅된 것임을 보여주는 것.

제안 방법

• 쿼터니언 그라스만얀 $ηθ\text{Gr}(r,n)$을 매끄럽고 아핀 스킴으로 간주하고, 아핀 공간에 의한 $π$-필터링을 사용한다.
• 호모토피 순수성과 자명한 정규 번들 조건을 통해 타르스 토모스페이스를 동치의 모양으로 분해하여 셀러블리티를 유도한다.
• 쿼터니언 그라스만얀 위의 타우토로지컬 심플렉틱 번들의 계수에 대한 귀납적 추론을 적용하여, 직접 합의 타르스 토모스페이스가 셀러블임을 보인다.
• 셀러블 스펙트럼에 대해 안정 모티브 약한 동형사상은 $π_{*,*}$-동형사상으로 탐지됨을 이용하여 구조적 분석을 수행한다.
• ×\text{KQ}와 ×\text{HP}^{1+}-스펙트럼 ×\text{BO}^{\text{geom}} 사이의 동형사상을 활용하고, ×\text{BO}^{\text{geom}}이 셀러블 스펙트럼의 호모토피 콘두이트임을 보인다.
• 세 개 중 두 개 성립의 성질과 스위스팅 및 쌍대합에 대한 닫힘 성질을 적용하여 KQ와 KW의 셀러블리티를 도출한다.

실험 결과

연구 질문

• RQ1 기본 스킴에 특성 2를 가진 점이 없을 경우, 헤르미트 K-이론은 안정 모티브 호모토피 범주에서 셀러블인가?
• RQ2 쿼터니언 그라스만얀에서 기하학적 필터링과 타르스 토모스페이스 구성에 의해 KQ의 셀러블리티를 확립할 수 있는가?
• RQ3 KQ의 셀러블리티는 $σ$-구성과 $σ$-작용을 통해 유크리드 이론 KW의 셀러블리티를 유도하는가?
• RQ4 KQ의 슬라이스 필터링은 그 셀러블리티와 $π_{*,*}$-탐지에 의해 계산될 수 있는가?
• RQ5 무한 쿼터니언 그라스만얀 $×\text{HGr}$의 모티브 호모토피 유형은 무엇이며, KQ와의 관계는 어떻게 되는가?

주요 결과

• 특성 2를 가진 점이 없고, 정칙 노에테리안이며 분리된 유한 크룰 차원을 가진 모든 기본 스킴 위에서 헤르미트 K-이론 $×\text{KQ}$와 유크리드 이론 $×\text{KW}$는 셀러블 모티브 스펙트럼이다.
• 스펙트럼 $×\text{KQ}$는 $\underset{n\text{ odd}}{\operatornamewithlimits{hocolim}}\;\Sigma^{4n,2n}\Sigma^{\infty}\mathbf{Z} \times \mathbf{HGr}$와 동형이며, 여기서 $\mathbf{HGr}$은 무한 쿼터니언 그라스만얀이다.
• 무한 그라스만얀 $\mathbf{HGr}$은 유한 차원 쿼터니언 그라스만얀 $\mathbf{HGr}(n,2n)$들의 필터링된 콘두이트이며, 각각 아핀 공간에 의한 셀러블 필터링을 갖는다.
• ×\text{KQ}의 슬라이스는 $q$ 가 짝수일 경우 $\mathsf{s}_{q}(\u00d7\text{KQ}) \cong \Sigma^{2q,q}\mathbf{MZ} \vee \bigvee_{i < q/2} \Sigma^{2i+q,q}\mathbf{MZ}/2$ 이고, $q$ 가 홀수일 경우 $\bigvee_{i < (q+1)/2} \Sigma^{2i+q,q}\mathbf{MZ}/2$ 로 계산된다.
• ×\text{KQ}의 셀러블리티는 ×\text{KQ}-모듈러스 간의 안정 모티브 약한 동형사상이 $\pi_{*,*}$-동형사상으로 탐지됨을 의미한다.
• ×\text{KQ}의 셀러블리티는 모렐의 $\pi_1$-추측을 증명하는 데 핵심적 역할을 하며, 이는 슬라이스 필터링이 $\pi_{*,*}$-자료를 통해 계산될 수 있도록 한다.