[논문 리뷰] Stable real K-theory and real topological Hochschild homology

E. Dotto|arXiv (Cornell University)|2012. 12. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 12

한 줄 요약

이 학위논문은 실수 K-이론에서 실수 호흐시ลด어 호모로지(THR)로의 Z/2-등변 추적 사상(Trace Map)을 수립하며, 분할 제곱영 확장의 순서형 모듈러에 대한 안정적 KR이 적절한 계수를 갖는 THR와 동치임을 증명한다. 이는 고전적 Dundas-McCarthy 정리의 실수 설정으로의 확장으로, Z/2-등변 S2,1·-구성과 이중성 구조를 갖는 카테고리에 대한 새로운 THR 이론을 사용한다.

ABSTRACT

The classical trace map is a highly non-trivial map from algebraic K-theory to topological Hochschild homology (or topological cyclic homology) introduced by Bökstedt, Hsiang and Madsen. It led to many computations of algebraic K-theory of rings. Hesselholt and Madsen recently introduced a Z/2-equivariant version of Waldhausen S-construction for categories with duality. The output is a certain spectrum with involution, called the real K-theory spectrum KR, and associated bigraded groups analogous to Atiyah's real (topological) K-groups. This thesis develops a theory of topological Hochschild homology for categories with duality, and a Z/2-equivariant trace map from real K-theory to it. The main result of the thesis is that stable KR of the category of projective modules over a split square zero extension of a ring is equivalent to the real topological Hochschild homology of the ring with appropriate coefficients. This is the real version a theorem of Dundas-McCarthy for ordinary K-theory.

연구 동기 및 목표

• 이중성 구조를 갖는 카테고리에 대한 실수 호흐시ลด어 호모로지(THR) 이론을 개발하여, 고전적 THH를 실수 설정으로 일반화한다.
• 실수 K-이론(KR)에서 실수 호흐시ลด어 호모로지(THR)로의 Z/2-등변 추적 사상을 구성하며, 고전적 Bökstedt-Hsiang-Madsen 추적 사상과 유사하게 작용한다.
• 분할 제곱영 확장에 대해 KR과 THR 간의 안정적 동치를 확보하는 실수 버전의 Dundas-McCarthy 정리를 증명한다.
• TC를 통한 고전적 K-이론 계산과 유사하게, 추적 방법을 통해 실수 K-이론의 계산 프레임워크를 제공한다.
• S2,1·-구성을 이중성 구조를 갖는 카테고리로 확장하고, 호모토피 이론적 동치를 통해 실수 K-이론과 THR와 연관시킨다.

제안 방법

• 정확한 카테고리에 이중성 구조를 갖는 S2,1·-구성을 적응시켜, 실수 K-이론의 Z/2-등변 스펙트럼 모델을 생성한다.
• 이중성 구조를 갖는 링에 대해 이차형 카테고리와 대칭 스펙트럼을 사용하여 새로운 실수 호흐시ลด어 호모로지(THR) 정의를 도입한다.
• G-스펜셔닝 정리와 등변 연결성 추정치를 사용하여, THR 모델 간의 사상과 그 고정점들을 분석한다.
• Blakers-Massey 정리와 피브어 시퀀스를 적용하여, THR와 S2,1·-구성 간 자연스러운 사상의 연결성을 증명한다.
• G-연결성 보조정리와 호모토피 콘두이트 기법을 사용하여, S2,1·-구성을 통한 KR과 THR의 모델을 비교한다.
• S2,1·-구성을 사용하여 THR의 딜로핑을 수립함으로써, 실수 K-이론과의 안정적 비교를 가능하게 한다.

실험 결과

연구 질문

• RQ1 이중성 구조를 갖는 카테고리에 대해 호흐시ลด어 호모로지(THH)를 어떻게 일반화하여 실수 설정의 THH에 해당하는 실수 이론을 정의할 수 있는가?
• RQ2 실수 K-이론에서 실수 호흐시ลด어 호모로지(THR)로의 적절한 Z/2-등변 추적 사상은 무엇인가?
• RQ3 분할 제곱영 확장에 대해 KR이 기저 링의 THR와 동치임을 나타내는 실수 버전의 Dundas-McCarthy 정리가 존재하는가?
• RQ4 등변 설정에서 S2,1·-구성과 S1,1·-구성은 실수 K-이론과 THR와 어떻게 관련되어 있는가?
• RQ5 분할 확장에 대해 S2,1·-구성과 THR 모델 간 자연스러운 사상의 연결성은 얼마인가?

주요 결과

• 주요 결과로는, 분할 제곱영 확장 A ⋉ M 위의 순서형 모듈러 카테고리의 실수 K-이론 스펙트럼 KR과 적절한 계수를 갖는 실수 호흐시ลด어 호모로지 THR(A; M) 사이의 안정적 동치가 수립된다.
• 실수 K-이론에서 실수 호흐시ลด어 호모로지로의 Z/2-등변 추적 사상이 구성되었으며, 안정 설정에서 동치임을 입증하였다.
• 이중성 구조를 갖는 카테고리에 대한 S2,1·-구성은 Z/2-등변 호모토피 동치를 통해 실수 K-이론 스펙트럼과 동치인 모델을 제공한다.
• S2,1·-구성에서 THR 모델로의 사상은 (2j + n, j + n)-연결성이 있음을 입증하였으며, 이 연결성 추정치는 G-스펜셔닝 정리와 Blakers-Massey 추론을 통해 유도되었다.
• THR의 고정점은 기저 링의 고전적 호흐시ลด어 호모로지로 복원되며, 실수 K-이론 스펙트럼의 Z/2-고정점은 비퇴화 이차형 형식의 군 완비화를 복원한다.
• S2,1·-구성을 사용하여 THR의 딜로핑을 수립함으로써, 실수 K-이론과의 안정적 비교를 가능하게 하였으며, 고전적 THH의 딜로핑을 일반화하였다.