[논문 리뷰] K-Theory of Non-Archimedean Rings. I

Moritz Kerz, Shuji Saito외 1명|arXiv (Cornell University)|2018. 02. 27.

Homotopy and Cohomology in Algebraic Topology참고 문헌 30인용 수 1

한 줄 요약

이 논문은 비아르키메데스 환에 대한 해석적 K-이론을 도입하며, 강체 해석기하학의 선상에서 반복 증가하는 반경을 가진 닫힌 원판의 인도 객체를 이용해 호모토피 불변 K-이론을 구성한다. 정규 환에서 조건 (†)A를 만족하는 경우, 해석적 K-이론은 바스 기본 정리의 해석적 동반체를 확립하고, 고차수에서 카루비–비라마요르 K-이론과 일치함을 증명하며, 분할과 프로-GL- fibrations 를 통해 연속 K-이론과 관련시킨다.

ABSTRACT

We introduce a variant of homotopy K-theory for Tate rings, which we call analytic K-theory. It is homotopy invariant with respect to the analytic affine line viewed as an ind-object of closed disks of increasing radii. Under a certain regularity assumption we prove an analytic analog of the Bass fundamental theorem and we compare analytic K-theory with continuous K-theory, which is defined in terms of models. Along the way we also prove some results about the algebraic K-theory of Tate rings.

연구 동기 및 목표

• 비아르키메데스 환에 대해 해석기하학을 통해 위상수학을 통합한 호모토피 불변 K-이론을 개발한다.
• 테이트 환과 강체 해석기하 공간의 맥락에서 바스 기본 정리의 해석적 동반체를 확립한다.
• 해석적 K-이론, 연속 K-이론, 카루비–비라마요르 K-이론을 비교하며, 특히 정규성과 해소 조건 하에서의 관계를 분석한다.
• 프로-GL-fibrations의 프레임워크를 사용하여 해석적 K-이론의 분할 정리를 증명한다.
• 해석적 K-이론을 연속 K-이론과 연결시켜 형식 스킴 위의 벡터 번들의 K0-류에 대한 대수화 문제를 해결한다.

제안 방법

• 비아르키메데스 체 위의 해석적 아핀 선상에서 반경이 증가하는 강체 해석기하 디스크의 합성을 이용해 해석적 K-이론을 프로 스펙트럼으로 정의한다.
• 연결 해석적 K-이론 스펙트럼 kan(X) 을 반경 ρ에 대한 k(O(X × Δρ))의 극한으로 정의한다. 여기서 Δρ 는 반경 ρ인 표준적인 강체 단체이다.
• Karoubi–Villamayor 동반체 KV^an(X) 을 limρ BGL(O(X × Δρ)) 로 정의하는 프로-단순형 집합으로 도입한다.
• 일반선형군의 프로체계에 대한 사영 사상이 되는 유계 호모모르피즘을 통해 프로-GL-fibrations 를 사용하여 해석적 K-이론의 분할 정리를 확립한다.
• 정규 환에서 조건 (†)A 를 만족하는 경우, 해석적 K-이론은 양의 차수에서 카루비–비라마요르 K-이론과 일치하며, 0차수에서는 연속 K-이론과 동형임을 증명한다.
• 포스트니코프 타워와 호모토피 정확열 시퀀스를 사용하여 프로-호모토피 군을 분석하고 K-이론에서의 장정확열을 유도한다.

실험 결과

연구 질문

• RQ1 해석기하학을 활용하여 비아르키메데스 맥락에서 호모토피 불변성을 어떻게 정의하고 달성할 수 있는가?
• RQ2 테이트 환에 대해 해석적 K-이론, 연속 K-이론, 카루비–비라마요르 K-이론 간의 관계는 무엇인가?
• RQ3 해석적 K-이론이 어떤 조건에서 분할을 만족하며, 프로-GL-fibrations 를 통해 어떻게 형식화할 수 있는가?
• RQ4 정규 비아르키메데스 환에 대해 바스 기본 정리의 해석적 동반체를 확립할 수 있는가?
• RQ5 해석적 K-이론은 형식 스킴 위의 벡터 번들의 K0-류에 대한 대수화 문제와 어떻게 관련되는가?

주요 결과

• 조건 (†)A 를 만족하는 정규 아핀이디얼 대수 A 에 대해, 해석적 K-이론의 0차수는 상수 프로군 K0(A) 와 동형이다.
• 1차수에서 kan1(A) 는 ρ > 1 인 극한 limρ GL(A)/GL(A)ρ 와 동형이며, 여기서 GL(A)ρ 는 반경 ρ 에서의 유니포텐트 조건을 만족하는 행렬의 부분군이다.
• i > 0 인 경우, 해석적 K-이론과 카루비–비라마요르 K-이론 사이에 자연스러운 동형이 존재한다: pro-군으로서 KV^an_i(A) ≃ kan_i(A).
• 해석적 K-이론은 프로-GL-fibrations 에 대해 분할을 만족하며, 임의의 프로-GL-fibration A → B 가 근본 I 를 가지면, 프로 아벨 군의 장정확열이 유도된다.
• 이데알 I 가 영함수일 경우, 모든 i ≥ 1 에 대해 KV^an_i(A) ≅ KV^an_i(A/I) 가 성립하여, 영함수 확장에 대해 안정함을 보여준다.
• i ≥ 2 인 경우, 자연스러운 동형 KV^an_i(A) ≅ limρ KV^an_{i−1}(ΩρA) 이 존재하며, 여기서 ΩρA = ker(sA⟨s⟩ρ → A) 이고, i = 1 인 경우 KV^an_1(A) ≅ limρ ker(K0(ΩρA) → K0(sA⟨s⟩ρ)) 이다.