[논문 리뷰] Homotopy invariance of non-stable K_1-functors

Anastasia Stavrova|arXiv (Cornell University)|2011. 11. 20.

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 7

한 줄 요약

이 논문은 체 위의 재수성 대수적 군에 대한 비안정 $K_1$-함수자기의 호모토피 불변성을 확립한다. 모든 단순 연산 정규부분군의 등급이 $\geq 2$인 경우, 임의의 $n \geq 1$에 대해 $K_1^G(k) \cong K_1^G(k[X_1,\ldots,X_n])$임을 증명한다. 이 결과는 수스린과 아베의 고전적 정리들을 등급이 $\geq 2$인 재수성 군으로 일반화하며, 체 $k$가 완전할 경우 정규 $k$-대수와 분수체가 $K$인 국소 정규 $k$-대수로의 호모토피 불변성을 확장한다. 증명은 일반화된 절단 시퀀스와 기본군의 국소-글로벌 원리에 기반한다.

ABSTRACT

Let G be reductive algebraic group over a field k, such that every semisimple normal subgroup of G has isotropic rank >=2. Let K_1^G be the non-stable K_1-functor associated to G (also called the Whitehead group of G in the field case). We show that K_1^G(k)=K_1^G(k[X_1,...,X_n]) for any n>= 1. This implies that K_1^G is A^1-homotopy invariant on the category of regular k-algebras, if k is perfect. If k is infinite perfect, one also deduces that K_1^G(R)-> K_1^G(K) is injective for any regular local k-algebra R with the fraction field K.

연구 동기 및 목표

• 체 $k$ 위의 재수성 대수적 군 $G$에 대한 비안정 $K_1$-함수자기 $K_1^G$의 호모토피 불변성을 확립하는 것.
• 스스린과 아베의 $K_1^G$-불변성 결과를 $\mathrm{GL}_l$ 및 심플렉틱 군에서 등급이 $\geq 2$인 재수성 군으로 일반화하는 것.
• 체 $k$가 무한하고 완전할 경우, 분수체가 $K$인 국소 정규 $k$-대수 $R$에 대해 $K_1^G(R) \to K_1^G(K)$가 단사임을 증명하는 것.
• $\mathbb{A}^1$-호모토피 불변성을 등급이 $\geq 2$인 재수성 군으로 일반화하여, 미래의 모티브 호모토피 이론에의 적용을 지원하는 것.

제안 방법

• 등급 조건을 만족할 경우, $K_1^G$에 대한 일반화된 절단 시퀀스를 증명하여 $1 \to K_1^G(A) \to K_1^G(A[X]) \times K_1^G(A[X^{-1}]) \to K_1^G(A[X,X^{-1}])$의 정확성을 보이는 것.
• 인도크션을 $n$에 대해 사용하여 $n \geq 1$일 때 $K_1^G(k) \cong K_1^G(k[X_1,\ldots,X_n])$를 증명하고, 기본 사례 $n=1$은 마르고-술레 정리에 의존하는 것.
• 수스린의 국소-글로벌 원리를 적용하여 문제를 국소환으로 줄이고, 린델의 보조정리를 사용해 적절한 부분환 $B$와 원소 $h$를 구성하는 것, 여기서 $Ah + B = A$가 성립한다.
• 포페슈프의 정리를 사용하여 일반적인 정규 $k$-대수의 경우를 유한형으로 근사된 정규 $k$-대수의 경우로 줄이는 것.
• 어떤 원소가 $L(X)$에서 $E(L(X))$로 사상되면 $E(L)$에 속한다는 사실을 보여, $K_1^G(A) \to K_1^G(K)$의 단사성을 확보하는 것. 이를 위해 분모 다항식이 0이 아닐 점 $a \in L$에서의 평가를 사용하는 것.
• 군 $G$와 그의 유니포텐트 루트가 모두 $k$ 위에서 유한형이므로, $G(-)$와 $E(-)$가 필터링된 직접극한과 가환한다는 사실을 활용하는 것.

실험 결과

연구 질문

• RQ1 비안정 $K_1$-함수자기 $K_1^G$는 체 $k$ 위의 등급이 $\geq 2$인 재수성 군에 대해 호모토피 불변성을 만족하는가?
• RQ2 스스린과 아베의 고전적 $K_1^G$-불변성 결과는 단순연산 정규부분군에 $(\mathbf{G}_m)^2$ 가 포함된 재수성 군으로 확장될 수 있는가?
• RQ3 체 $k$가 완전하고 무한할 경우, 분수체가 $K$인 국소 정규 $k$-대수 $R$에 대해 자연스러운 사상 $K_1^G(R) \to K_1^G(K)$는 단사적인가?
• RQ4 $\mathbb{A}^1$-호모토피 불변성은 등급이 $\geq 2$인 재수성 군에 대해 성립하는가? 이는 모렐과 월렌트의 결과를 일반화하는가?

주요 결과

• 비안정 $K_1$-함수자기 $K_1^G$는 다항식 확장을 통해 불변하다: 모든 $n \geq 1$에 대해 $K_1^G(k) \cong K_1^G(k[X_1,\ldots,X_n])$이며, 이는 $G$의 모든 단순연산 정규부분군이 등급 $\geq 2$일 때 성립한다.
• 모든 정규 $k$-대수 $R$에 대해, 완전한 체 $k$에 대해 $K_1^G(R) \cong K_1^G(R[X])$가 성립하며, 이는 호모토피 불변성을 넓은 범위의 링으로 확장한다.
• $k$가 무한하고 완전할 경우, 분수체가 $K$인 국소 정규 $k$-대수 $R$에 대해 자연스러운 사상 $K_1^G(R) \to K_1^G(K)$는 단사적이다.
• $G$가 단순연결이고 등급이 $\geq 2$일 경우, 모든 $m,n \geq 1$에 대해 강한 동형 $K_1^G(k) \cong K_1^G(k[X_1,\ldots,X_n,Y_1,Y_1^{-1},\ldots,Y_m,Y_m^{-1}])$가 성립한다.
• 모든 국소화에서 등급 조건을 만족하는 재수성 군 스킴 $G$에 대해, $1 \to K_1^G(A) \to K_1^G(A[X]) \times K_1^G(A[X^{-1}]) \to K_1^G(A[X,X^{-1}])$의 절단 시퀀스는 정확하다.
• $K_1^G(A) \to K_1^G(K)$의 단사성은 분모 다항식 $f$에 대해 $f(a) \neq 0$인 점 $a \in L$의 존재성에 기반하며, 이는 $L(X)$에서 $L$로의 평가를 내림내릴 수 있게 한다.