[논문 리뷰] Injective Stability for K_1 of Classical Modules

Rabeya Basu, Ravi A. Rao|ArXiv.org|2009. 09. 18.

Advanced Algebra and Geometry참고 문헌 11인용 수 5

한 줄 요약

이 논문은 체를 포함하는 기하학적으로 정칙 링 위에서 사영 및 심플렉틱 모듈러스의 K₁에 대한 단사 안정화 경계를 수립한다. 국소 랭크가 d+1 이상일 때, K₁(P)에서 K₁(P⊕A)로 가는 자연스러운 사상이 전단사임을 증명한다 (d = 안정 차원). 전이성군의 국소-글로벌 원리와 등장 기법을 사용하여, 이전의 GL_n 결과를 심플렉틱 및 사영 모듈러스로 일반화하며, 전역 랭크 ≥1 및 국소 랭크 ≥3일 때 단사 안정화가 d+1에서 이루어짐을 보인다.

ABSTRACT

In 1994, the second author and W. van der Kallen showed that the injective stabilization bound for K_1 of general linear group is d+1 over a regular affine algebra over a perfect C_1-field, where d is the krull dimension of the base ring and it is finite and at least 2. In this article we prove that the injective stabilization bound for K_1 of the symplectic group is d+1 over a geometrically regular ring containing a field, where d is the stable dimension of the base ring and it is finite and at least 2. Then using the Local-Global Principle for the transvection subgroup of the automorphism group of projective and symplectic modules we show that the injective stabilization bound is d+1 for k_1 of projective and symplectic modules of global rank at least 1 and local rank at least 3 respectively in each of the two cases above.

연구 동기 및 목표

• 일반선형군에서의 K₁에 대한 단사 안정화 결과를 기하학적으로 정칙 링 위의 심플렉틱 및 사영 모듈러스로 확장하는 것.
• 안정 차원 d ≥ 2 이고 국소 랭크 ≥ 3일 때, K₁(Sp(P))의 단사 안정화 경계가 d+1임을 확립하는 것.
• n ≥ d+1일 때, ρ: SL(P)/Trans(P) → SL(P⊕A)/Trans(P⊕A)의 사상이 전단사임을 증명하여 Bass–Milnor–Serre 이론을 일반화하는 것.
• 전이성군에 대한 국소-글로벌 원리를 적용하여 정칙 링 위에서 국소 등장 기법을 전역 등장 기법으로 올리는 것.
• 직교 K₁의 단사 안정화 경계가 심플렉틱 및 선형 경우와는 달리 엄격히 더 크다는 것을 보여주는 것 (≥2d+4).

제안 방법

• 등장 기법을 사용하여 SL(P[X]) 내의 경로 α(X) ∈ SL(P[X])를 구성하여 α(0) = Id 및 α(1) = γ를 만족시키며, γ가 항등원과 등장함을 증명하는 것.
• A가 정칙일 때, 정리 2.14의 국소-글로벌 원리(Loacl-Global Principle)를 활용하여 Aₚ[X] 내의 국소 등장 기법을 A[X] 내의 전역 등장 기법으로 올리는 것.
• 깊이 있는 분할 기법과 단항 역행 기법을 적용하여 체 위 다항식 링에서의 결과를 국소화 및 정칙 링으로 확장하는 것.
• A가 기하학적으로 정칙 국소 링일 때, r ≥ 3 (선형) 및 r ≥ 6 (심플렉틱)이면 S(r, A[X]) = E(r, A[X])임을 Popescu의 근사 정리에 의해 보이는 것.
• 일반항량 원소 v(X) = η(X)e_{n₁}를 구성하고, 일반항량 안정화 보조정리 (보조정리 3.3, 3.5)를 적용하여 η(X)를 기본 및 구조를 유지하는 성분으로 분해하는 것.
• η(X) = σ(X)⁻¹ξ(X)η̃(X)의 분해를 사용하여 σ(X) ∈ S(ℤ), ξ(X) ∈ E(ℤ), η̃(X) ∈ S(P[X])로 하여 핵심 등장 기법을 분리하는 것.

실험 결과

연구 질문

• RQ1 기하학적으로 정칙 링(체를 포함) 위에서 심플렉틱 모듈러스의 K₁에 대한 단사 안정화 경계는 무엇인가?
• RQ2 GL_n에 대한 단사 안정화 결과를 최소 랭크 조건을 만족하는 사영 및 심플렉틱 모듈러스로 확장할 수 있는가?
• RQ3 전이성군에 대한 국소-글로벌 원리는 정칙 링 위에서 국소 등장 기법을 전역 등장 기법으로 올리는 데에 가능하게 하는가?
• RQ4 직교 K₁의 단사 안정화 경계는 심플렉틱 또는 선형 K₁와 같은가?
• RQ5 SL(P[X]) 또는 Sp(P[X]) 내의 등장 기법이 자동형사상이 전이성군에 속한다는 것을 의미하는 조건은 무엇인가?

주요 결과

• 안정 차원 d ≥ 2 이고 P의 국소 랭크가 max(3, d+1) 이상일 때, K₁(Sp(P))의 단사 안정화 경계는 d+1이다.
• 전역 랭크 ≥1이고 국소 랭크 ≥ d+1인 유한 생성 사영 A-모듈러스 P에 대해, ρ: SL(P)/Trans(P) → SL(P⊕A)/Trans(P⊕A)의 사상은 전단사이다.
• A가 체를 포함하는 기하학적으로 정칙 링이고, γ ∈ Sp(P)가 γ ⊥ I₂ ∈ Trans_Sp(P ⊥ A²)를 만족하면, γ는 Sp(P[X]) 내의 등장 기법을 통해 항등원과 등장한다.
• A가 정칙이면서 체를 포함할 때, SL(P[X]) 또는 Sp(P[X]) 내의 등장 기법 η̃(X)는 전이성군 ET(P[X])에 속하므로, γ ∈ Trans(P)이다.
• 일반적으로 직교 K₁의 단사 안정화 경계는 2d+4 이상이며, 이는 심플렉틱 및 선형 경우보다 엄격히 크다는 것을 보여준다.
• Popescu의 근사 정리와 S(r, A[X]) = E(r, A[X]) (r ≥ 3 (선형), r ≥ 6 (심플렉틱))라는 사실에 의해, 결과는 체를 포함하는 모든 정칙 국소 링으로 확장된다.