[논문 리뷰] Geometric models for higher Grothendieck-Witt groups in A1-homotopy theory

Marco Schlichting, Girja Shanker Tripathi|arXiv (Cornell University)|2013. 09. 23.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 5

한 줄 요약

이 논문은 2가 기본 스킴 위에서 가역일 조건 하에, 높은 그로텐디크-위트 군(알제브라적 히르미트 K군)이 $Ä^1$-호모토피 범주에서 무한 직교 그라스만이 공간 $Ä^1$-호모토피 유형에 의해 표현됨을 확립한다. 핵심 결과는 무한 직교 그라스만이 공간 $Ä^1$-공간과 무한 직교군의 에탈 분류 공간 사이의 $Ä^1$-호모토피 동치이며, 이는 높은 그로텐디크-위트 군을 스펙트럼에서 이 공간으로의 $Ä^1$-호모토피 클래스로 표현함으로써 실현된다.

ABSTRACT

We show that the higher Grothendieck-Witt groups, a.k.a. algebraic hermitian K-groups, are represented by an infinite orthogonal Grassmannian in the A1-homotopy category of smooth schemes over a regular base for which 2 is a unit in the ring of regular functions. We also give geometric models for various P1- and S1-loop spaces of hermitian K-theory.

연구 동기 및 목표

• 부드러운 스킴의 $Ä^1$-호모토피 범주에서 높은 그로텐디크-위트 군에 대한 기하적 모델을 확립하는 것.
• 알제브라적 K이론의 퀼렌–보예보츠키 표현을 $Ä^1$-호모토피 이론을 사용해 히르미트 K이론으로 확장하는 것.
• 무한 직교 그라스만이 공간이 $Ä^1$-호모토피 동치를 통해 높은 그로텐디크-위트 군을 표현함을 증명하는 것.
• 그로텐디크-위트 이론의 $n$-중 $Ä^1$-루프 공간에 대한 기하적 모델을 구성하는 것.
• 기존 K이론에서 알려진 결과들과 유사하게, 그로텐디크-위트 이론에서의 비안정 작용을 분류하기 위한 기초를 마련하는 것.

제안 방법

• 저자들은 초평면 배분 $H^n \perp H^n$에서의 최대 자기 수반 부분다중체의 그라스만이 공간의 열린 극한으로서 무한 직교 그라스만이 공간 $\mathrm{GrO}_\bullet$를 정의한다. 이는 유도된 대칭 이차형식을 갖는다.
• 그들은 $\underline{\mathbb{Z}} \times \mathrm{GrO}_\bullet$ 에서 무한 직교군의 에탈 분류 공간 $B_{\text{et}}O$로의 사상을 구성하고, 이가 부드러운 아핀 $S$-스킴에서 약한 동치임을 보인다.
• 그로텐디크-위트 공간이 호모토피 불변이며, 니스네비치 브라운-거르텐 성질을 만족한다는 사실을 이용하여, $GW_i(X) \cong [X_+ \wedge S^i, \mathrm{GrO}_\bullet]_{\mathscr{H}_\bullet(S)}$ 를 확립한다.
• 그들은 단순 복합체 족 기법과 호모토피 열린 극한을 사용하여 그로텐디크-위트 공간의 $Ä^1$-호모토피 유형을 분석한다.
• 그들은 퀼렌의 정리 A와 바우슬드-칸 호모토피 열린 극한 기계를 적용하여, 카테고리의 호모토피 열린 극한에서 열린 극한으로의 표준 사상이 호모토피 동치임을 증명한다.
• 기본적인 $Ä^1$-호모토피와 단순 복합체 호모토피 이론을 사용하여, $\Delta R$-평가에서 나이브한 $Ä^1$-호모토피를 단순 복합체 호모토피와 연결한다.

실험 결과

연구 질문

• RQ1 2가 정칙 기저에서 가역인 부드러운 스킴에 대한 $Ä^1$-호모토피 범주에서 높은 그로텐디크-위트 군이 기하적으로 표현될 수 있는가?
• RQ2 무한 직교 그라스만이 공간 $\mathrm{GrO}_\bullet$ 는 그로텐디크-위트 공간 $GW$ 의 $Ä^1$-호모토피 모델인가?
• RQ3 에탈 분류 공간 $B_{\text{et}}O$ 는 $\mathrm{GrO}_\bullet$ 와 같은 $Ä^1$-호모토피 유형을 갖는가?
• RQ4 그로텐디크-위트 이론의 $n$-번째 $Ä^1$-루프 공간에 대해 기하적 모델을 구성할 수 있는가?
• RQ5 그로텐디크-위트 공간 $GW^n$ 은 호모토피 불변이며, 니스네비치 브라운-거르텐 성질을 만족하는가?

주요 결과

• 2가 $\Gamma(S, \mathcal{O}_S)$ 에 속할 조건 하에, 높은 그로텐디크-위트 군 $GW_i(X)$ 는 스펙트럼 $X_+ \wedge S^i$ 에서 $\mathbb{Z} \times \mathrm{GrO}_\bullet$ 로의 $Ä^1$-호모토피 클래스와 자연동치이다.
• $\mathrm{GrO}_\bullet \to B_{\text{et}}O$ 는 $Ä^1$-호모토피 동치이며, 이는 무한 직교 그라스만이 공간이 직교군의 에탈 분류 공간을 모델링함을 보여준다.
• 그로텐디크-위트 공간 $GW$ 는 $Ä^1$-호모토피 범주에서 $\mathbb{Z} \times \mathrm{GrO}_\bullet$ 에 의해 표현되며, 이는 $K$-이론에 대한 퀼렌–보예보츠키 결과를 일반화한다.
• $n$-번째 $Ä^1$-루프 공간 $GW^n$ 은 $\mathrm{GrO}_\bullet$ 의 $n$-중 루프 공간에 의해 표현되며, 이러한 공간들은 호모토피 불변이며 니스네비치 브라운-거르텐 성질을 만족한다.
• $\Delta R$ 에서 평가할 때, 사상 $\underline{\mathbb{Z}} \times \mathrm{GrO}_\bullet \to \underline{\mathbb{Z}} \times B_{\text{et}}O \to GW$ 는 약한 동치이며, 따라서 $\mathscr{H}_\bullet(S)$ 에서는 동치이다.
• 이 구성은 K이론에서 알려진 분류와 유사하게, 그로텐디크-위트 이론에서의 비안정 작용을 분류하기 위한 기하적 프레임워크를 제공한다.