[논문 리뷰] Algebraic Jf-theory and Trace Invariants

Lars Hesselholt|arXiv (Cornell University)|2002. 01. 01.

Algebraic Geometry and Number Theory참고 문헌 26인용 수 9

한 줄 요약

이 논문은 대수적 K-이론에서 위상수학적 제약 호모로지(TR)로의 순환 추적 맵을 조사하며, 정칙 Fp-대수와 분리적으로 닫힌 잔여체를 가진 혼합 특성치 DVR의 경우 K*(A, ℤ/pᵛ) ≅ TR*(A; p, ℤ/pᵛ)^F=1을 유도함을 보여준다. TR*(A; p)가 드 라무-위트 복합체에 의해 지배됨을 입증하여, 엄격하고 연산 기반의 구조에서 대수적 불변량을 통해 K-이론 계산이 가능함을 보여준다.

ABSTRACT

The cyclotomic trace of Bokstedt-Hsiang-Madsen, the subject of Bokstedt's lecture at the congress in Kyoto, is a map of pro-abelian groups K-fiA) ^.TR;(A;p) from Quillen's algebraic A-theory to a topological refinement of Connes' cyclic homology. Over the last decade, our understanding of the target and its relation to A-theory has been significantly advanced. This and possible future development is the topic of my lecture. The cyclotomic trace takes values in the subset fixed by an operator F called the Frobenius. It is known that the induced map K*(A,Z/pv) -^ TR;(A;P,Z/PV)F=1 is an isomorphism, for instance, if A is a regular local Fp-algebra, or if A is a henselian discrete valuation ring of mixed characteristic (0,p) with a separably closed residue field. It is possible to evaluate A-theory by means of the cyclotomic trace for a wider class of rings, but the precise connection becomes slightly more complicated to spell out. The pro-abelian groups TR*(A;p) are typically very large. But they come equipped with a number of operators, and the combined algebraic structure is quite rigid. There is a universal example of this structure — the de Rham-Witt complex — which was first considered by Bloch-Deligne -Illusie in connection with Grothendieck's crystalline cohomology. In general, the canonical map W.QqA^TR-q(A-p) is an isomorphism, if q < 1, and the higher groups, too, can often be expressed in terms of the de Rham-Witt groups. This is true, for example, if A is a regular Fp-algebra, or if A is a smooth algebra over the ring of integers in a local number field. The calculation in the latter case verifies the LichtenbaumQuillen conjecture for focal number fields, or more generally, for henselian discrete valuation fields of geometric type.

연구 동기 및 목표

• p-진 링에 대해 대수적 K-이론과 위상수학적 제약 호모로지(TR)를 연결하는 순환 추적의 역할을 명확히 하기.
• 프로 아벨 군 TR*(A; p)의 구조와 프로페니우스 연산자 F에 의한 고정점의 구조를 이해하기.
• 더 넓은 링의 범주에서 K*(A, ℤ/pᵛ) ≅ TR*(A; p, ℤ/pᵛ)^F=1을 유도하는 순환 추적의 동형성 조건을 규명하기.
• 유리성 있는 경우 TR*(A; p)의 모델로서 드 라무-위트 복합체의 보편성을 확립하기.
• TR-이론 계산을 통해 국소 수체에 대한 리히텐바움-쿼일렌 추측을 검증하기.

제안 방법

• 쿼일렌의 대수적 K-이론 K*(A)에서 프로 아벨 군 TR*(A; p)로의 순환 추적 맵을 활용하며, 콘네의 순환 호모로지의 위상수학적 개선이다.
• 프로페니우스 연산자 F의 TR*(A; p)에서의 고정점을 분석하며, 특히 부분군 TR*(A; p, ℤ/pᵛ)^F=1에 초점을 맞춘다.
• 특히 A가 Fp 위에서 정칙이거나 국소 수체의 정수환 위에서 매끄럽다면, 드 라무-위트 복합체를 TR*(A; p)를 지배하는 보편적 구조로 적용한다.
• 적절한 정칙 조건 하에서 q < 1일 때 W_q(A)와 TR_q(A; p) 사이의 알려진 동형을 적용하고, 이를 고차수 q로 확장한다.
• 프로페니우스, 버쉬베이크, 테이히뮐러 사상과 같은 TR*(A; p)의 대수적 구조의 강성 — 특히 이들 연산자에 의한 구조적 통제를 도출한다.
• 분리적으로 닫힌 잔여체를 가진 헨젤离산 정수환의 결과를 적용하여 기하학적 경우에서 리히텐바움-쿼일렌 추측을 검증한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 순환 추적 맵이 K*(A, ℤ/pᵛ) ≅ TR*(A; p, ℤ/pᵛ)^F=1을 유도하는가?
• RQ2 드 라무-위트 복합체는 대수적 K-이론 계산에서 TR*(A; p)의 보편적 모델로 어떻게 작용하는가?
• RQ3 정칙 Fp-대수를 초월한 링에 대해 대수적 K-이론이 TR-이론을 통해 얼마나 널리 계산 가능한가?
• RQ4 q ≥ 1일 때 TR*(A; p)와 드 라무-위트 군 W_q(A) 사이의 정확한 관계는 무엇인가?
• RQ5 기하학적 유형의 헨젤 이산 정수환의 p-진 수체에 대해 TR-이론 프레임워크가 리히텐바움-쿼일렌 추측을 검증하는가?

주요 결과

• A가 정칙 국소 Fp-대수이면 순환 추적 맵은 K*(A, ℤ/pᵛ) ≅ TR*(A; p, ℤ/pᵛ)^F=1을 유도한다.
• A가 혼합 특성치 (0,p)를 가지며 잔여체가 분리적으로 닫힌 헨젤 이산 정수환이라면 동일한 동형이 성립한다.
• 모든 q < 1에 대해 자연스러운 사상 W_q(A) → TR_q(A; p)는 동형이며, 드 라무-위트 복합체와 TR-이론 사이의 기초적 연결 고리를 제공한다.
• 국소 수체의 정수환 위에서 매끄러운 대수에 대해 TR*(A; p)는 드 라무-위트 군을 통해 표현 가능하며, K-이론 계산이 가능하다.
• 이러한 링에 대해 TR*(A; p)를 계산함으로써, 초점 수체의 경우 리히텐바움-쿼일렌 추측이 검증된다.
• TR*(A; p)의 구조는 강하고 드 라무-위트 복합체에 의해 지배되며, 이는 이 프로 아벨 군의 범주에 대한 보편적 모델로 작용한다.