[논문 리뷰] Algebraic G-theory in motivic homotopy categories

Fangzhou Jin|arXiv (Cornell University)|2018. 06. 11.

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

한 줄 요약

이 논문은 불안정 및 안정 모티브 호모토피 범주에서 대수적 G-이론이 표현 가능하다는 것을 증명하며, K-이론에 관련된 Borel-Moore 모티브 호모로지와 일치시킨다. 주요 기여는 Quillen과 Thomason의 함의성 구조(특히 고정된 전방사 및 매끄러운 당김을 포함)와 호환되는 K-이론의 Borel-Moore 이론과 G-이론 사이의 자연스러운 동형사상이다.

ABSTRACT

We prove that algebraic G-theory in is representable in unstable and stable motivic homotopy categories; in the stable category we identify it with the Borel-Moore theory associated to algebraic K-theory, and show that such an identification is compatible with the functorialities defined by Quillen and Thomason.

연구 동기 및 목표

• 불안정 및 안정 모티브 호모토피 범주에서 대수적 G-이론의 표현 가능성을 확립하기.
• 안정 범주에서 G-이론을 K-이론에 관련된 Borel-Moore 모티브 호모로지로 식별하기.
• 이 식별이 Quillen과 Thomason이 정의한 함의성 구조(반대변환 및 고정된 함수자리 포함)와 호환됨을 보이기.
• 모티브 호모토피 이론을 활용해 Gysin 사상과 케르히히 캐릭터 사상의 호환성을 특이 스킴으로 확장하기.

제안 방법

• 스킴 위의 공간 범주를 사용하여 불안정 모티브 호모토피 범주에서 G-이론의 모델을 구성하기.
• 스킴의 스트레칭 스펙트럼에서 보편적인 G-이론 객체로의 사상 스펙트럼을 통해 G-이론의 표현 가능성을 증명하기.
• 건설을 안정화하여 안정 모티브 호모토피 범주에서 스펙트럼 수준의 식별을 얻기.
• 여섯 함수자 formalism과 Borel-Moore 이론의 성질을 이용해 G-이론을 유리 계수를 가진 모티브 코hom로 연결하기.
• 정규 쌍곡면에의 변형과 경계 사상으로 Gysin 사상과 반대변환 함의성의 호환성을 확립하기.
• 여섯 함수자 formalism과 모티브 스펙트럼을 활용해 케르히히 캐릭터 사상의 정의 및 고정된 및 매끄러운 함수자리와의 호환성 검증하기.

실험 결과

연구 질문

• RQ1 대수적 G-이론은 불안정 모티브 호모토피 범주에서 표현 가능한가?
• RQ2 안정 모티브 호모토피 범주에서 G-이론은 K-이론에 관련된 Borel-Moore 이론으로 실현되는가?
• RQ3 G-이론과 Borel-Moore K-이론 간의 식별은 Quillen의 반대변환 함의성과 호환되는가?
• RQ4 모티브 설정에서 고정된 전방사 및 매끄러운 당김에 대해 이 호환성이 유지되는가?
• RQ5 그래프 구성 없이 G-이론에서 유리 계수 Borel-Moore 모티브 호모로지로의 케르히히 캐릭터 사상이 정의되고 함의성과 가환함을 보일 수 있는가?

주요 결과

• 대수적 G-이론은 불안정 및 안정 모티브 호모토피 범주에서 모두 표현 가능하다.
• 안정 범주에서 G-이론은 K-이론에 관련된 Borel-Moore 모티브 호모로지와 동형이며, 명시적인 동형사상 $\mathbf{KGL}^{BM}_{n,m}(X/S) \simeq G_{n-2m}(X)$ 가 존재한다.
• Borel-Moore 이론의 고정된 함의성은 G-이론의 고정된 전방사와 정확히 일치한다.
• Borel-Moore 이론에서 국소 완전 교차 사상에 대한 Gysin 사상은 G-이론의 반대변환 함의성과 대응된다.
• 케르히히 캐릭터 사상 $\mathrm{ch}: \mathbf{GGL} \to \oplus_{i\in\mathbb{Z}} \mathbf{H}\mathbb{Q}^{BM}(i)[2i]$ 는 고정된 및 매끄러운 함수자리와 호환되며, Fulde의 리만-르호르 정리를 특이 스킴으로 일반화한다.
• 건설은 MacPherson의 그래프 방법을 피하고, 대신 모티브 호모토피 이론과 여섯 함수자 formalism을 활용한다.