[논문 리뷰] Hermitian K-theory for stable $\\infty$-categories III: Grothendieck-Witt groups of rings

Baptiste Calmès, E. Dotto외 7명|arXiv (Cornell University)|2020. 09. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 43인용 수 9

한 줄 요약

이 논문은 2의 역원이 존재하지 않는 환에서의 고전적 결과에 대한 2-역원 가정을 제거할 수 있도록, 환 $ R $의 그로텐디크-위트 스펙트럼과 그 대수적 $ K $-이론의 $ \mathrm{C}_2 $-호모토피 궤적, 라니cki의 비주기 대칭 $ L $-이론 사이의 기본적인 섬세한 시퀀스를 수립한다. 주요 기여는 카루브의 분할에 대한 정수 계수 판본으로, $ \mathbb{Z} $와 수체의 정수환과 같은 환들에 대해 그로텐디크-위트 군의 계산을 가능하게 하며, 고차수에서의 유한 생성성 및 동치 결과를 증명한다.

ABSTRACT

We establish a fibre sequence relating the classical Grothendieck-Witt theory of a ring $R$ to the homotopy $\\mathrm{C}_2$-orbits of its K-theory and Ranicki's original (non-periodic) symmetric L-theory. We use this fibre sequence to remove the assumption that 2 is a unit in $R$ from various results about Grothendieck-Witt groups. For instance, we solve the homotopy limit problem for Dedekind rings whose fraction field is a number field, calculate the various flavours of Grothendieck-Witt groups of $\\mathbb{Z}$, show that the Grothendieck-Witt groups of rings of integers in number fields are finitely generated, and that the comparison map from quadratic to symmetric Grothendieck-Witt theory of Noetherian rings of global dimension $d$ is an equivalence in degrees $\\geq d+3$. As an important tool, we establish the hermitian analogue of Quillen's localisation-d\\'evissage sequence for Dedekind rings and use it to solve a conjecture of Berrick-Karoubi.

연구 동기 및 목표

• 환에서 2가 역원이 되지 않는 조건 하에 카루브의 그로텐디크-위트 군 분할을 정수 계수로 확장하는 것.
• 분수체가 수체인 딜레인드 환에 대해 호모토피 극한 문제를 해결하는 것.
• $ \mathbb{Z} $와 수체의 정수환에서의 고차 그로텐디크-위트 군을 계산하는 것.
• 일관성 있는 환의 전반적 차원이 $ d $인 경우, 이차 이론에서 대칭 이론으로의 비교 사상이 차수 $ \geq d+3 $에서 동치임을 증명하는 것.
• 헤르미티안 국소화-데비사주 시퀀스를 통해 비에르키-카루브의 추측을 검증하는 것.

제안 방법

• 스펙트럼의 섬세한 시퀀스 구축: $ \mathrm{K}(R;M)_{\mathrm{h}C_2} \xrightarrow{\mathrm{hyp}} \mathrm{GW}_{\mathrm{cl}}^s(R;M) \to \mathrm{L}^{\mathrm{short}}(R;M) $, 이는 $ K $-이론, 그로텐디크-위트 이론, 대칭 $ L $-이론을 연결한다.
• 라니cki의 대수적 수술과 $ \mathrm{C}_2 $-동치 호모토피 이론을 사용하여, 비주기 호모토피 군을 가진 연결 스펙트럼으로서 $ \mathrm{L}^{\mathrm{short}}(R;M) $ 스펙트럼을 정의한다.
• 딜레인드 환에 대해 퀼렌의 국소화-데비사주 시퀀스의 헤르미티안 판본을 수립하여, $ \mathrm{K} $- 및 $ \mathrm{L} $-이론적 자료를 통해 $ \mathrm{GW} $-군의 계산을 가능하게 한다.
• 섬세한 시퀀스를 활용하여, 특히 $ R = \mathbb{Z} $와 정수환에 대해 $ \mathrm{K}(R;M)_{\mathrm{h}C_2} $ 및 $ \mathrm{L}^{\mathrm{short}}(R;M) $의 호모토피 군을 분석함으로써 정수 계수 결과를 도출한다.
• $ \mathrm{K}(R;M) $에 대한 $ \mathrm{C}_2 $-작용을 적용하여, 2-역원화 이후의 $ \mathrm{K} $-이론의 $ \mathrm{C}_2 $-불변 부분군과 위트-이론적 합성항을 복원한다.
• $ \mathrm{K} $-군과 $ \mathrm{L} $-군의 2-국소 및 $ p $-국소 구조를 활용하여, 내림내림과 비교 정리들을 통해 수체의 정수환에서의 $ \mathrm{GW} $-군을 계산한다.

실험 결과

연구 질문

• RQ1 카루브의 그로텐디크-위트 군 분할을 2-역원화되지 않은 정수 계수 설정으로 확장할 수 있는가?
• RQ2 2를 역원화하지 않은 상태에서 $ \mathbb{Z} $와 수체의 정수환의 그로텐디크-위트 군의 구조는 어떠한가?
• RQ3 일관성 있는 환의 전반적 차원이 유한한 경우, 이차 이론에서 대칭 이론으로의 비교 사상이 고차수에서 동치인가?
• RQ4 헤르미티안 국소화-데비사주 시퀀스는 딜레인드 환에 대해 성립하는가? 그리고 이는 비에르키-카루브의 추측을 해결할 수 있는가?
• RQ5 $ \mathrm{K}(R;M)_{\mathrm{h}C_2} $와 $ \mathrm{L}^{\mathrm{short}}(R;M) $의 호모토피 군이 어떻게 조합되어 $ \mathrm{GW} $-군을 결정하는가?

주요 결과

• 모든 환 $ R $에 대해 $ \mathrm{K}(R;M)_{\mathrm{h}C_2} \to \mathrm{GW}_{\mathrm{cl}}^s(R;M) \to \mathrm{L}^{\mathrm{short}}(R;M) $의 섬세한 시퀀스가 정수 계수로 성립하며, 이는 카루브의 2-역원화된 분할을 일반화한다.
• $ \mathbb{Z} $의 그로텐디크-위트 군은 $ \mathrm{GW}_1^{-\mathrm{gq}}(\mathbb{Z}) \cong \mathbb{Z}/4 $, $ \mathrm{GW}_3^{-\mathrm{gq}}(\mathbb{Z}) \cong \mathbb{Z}/24 $, 그리고 $ \mathrm{GW}_2^{-\mathrm{gq}}(\mathbb{Z}) \to \mathbb{Z} $는 유한 코어널을 가진다.
• 분수체가 수체인 딜레인드 환에 대해 호모토피 극한 문제는 해결되었으며, $ \mathrm{GW} $-군을 계산하는 스펙트럴 시퀀스의 수렴이 확인되었다.
• 일관성 있는 환의 전반적 차원이 $ d $인 경우, 비교 사상 $ \mathrm{GW}^q \to \mathrm{GW}^s $는 차수 $ \geq d+3 $에서 동치이며, 2- torsion 조건의 필요성을 제거한다.
• $ \mathrm{C}_2 $-작용은 $ \mathrm{K}_n(\mathcal{O};\epsilon)[1/2] $에서 결정되었으며, 정수환의 2-역원화된 $ \mathrm{L} $-군은 실수 포함수의 수와 같은 계수를 가진 자유 $ \mathbb{Z}[1/2] $-모듈로 이루어져 있다.
• 수체의 정수환의 그로텐디크-위트 군은 유한 생성되며, 이는 섬세한 시퀀스와 $ \mathrm{K} $-, $ \mathrm{L} $-군의 유한성에 의해 증명된다.