[논문 리뷰] Relative completions of linear groups over Z[t] and Z[t,t^{-1}]

K. Knudson|ArXiv.org|1998. 01. 21.

Geometric and Algebraic Topology참고 문헌 12인용 수 3

한 줄 요약

이 논문은 SL_n(Z[t])와 SL_n(Z[t,t⁻¹])의 자연스러운 SL_n(Q)로의 호모모르피즘에 대한 상대적 완비화를 계산하며, Malcev 완비화를 일반화한다. 이 완비화의 명시적 기술과 이들 군의 유리수 계수 제2 코homology 군의 부분 계산을 제공하며, Z 위의 다항식 및 로렌트 다항식 환 위의 산술군에 대한 이해를 발전시킨다.

ABSTRACT

We compute the completion of the groups SL_n(Z[t]) and SL_n(Z[t,t^{-1}]) relative to the obvious homomorphisms to SL_n(Q); this is a generalization of the classical Malcev completion. We also make partial computations of the rational second cohomology of these groups.

연구 동기 및 목표

• 다항식 환 위의 선형군에 대해 고전적인 Malcev 완비화를 Z[t]와 Z[t,t⁻¹] 위의 상대적 완비화로 일반화하는 것.
• SL_n(Z[t])와 SL_n(Z[t,t⁻¹])의 SL_n(Q)로의 호모모르피즘에 대한 완비화의 구조를 규명하는 것.
• 이 선형군들의 부분적인 유리수 계수 제2 코homology 군을 계산하는 것.
• K-이론과 군 코hom올로지의 기법을 다항식 환 위의 산술군으로 확장하는 것.
• Z[t]와 Z[t,t⁻¹] 위의 선형군들의 호모토피 및 코homological 성질을 이해하기 위한 기초 결과를 제공하는 것.

제안 방법

• Malcev의 의미에서 상대적 완비화 기법을 Z[t]와 Z[t,t⁻¹] 위의 선형군 설정에 적응한 것.
• 완비화의 구조를 분석하기 위해 대수적 K-이론과 군 코hom올로지의 방법을 적용한 것.
• 유리수 계수로 제2 코homology를 연구하기 위해 스펙트럴 시퀀스와 유리수 호모토피 이론을 활용한 것.
• Z[t]와 Z[t,t⁻¹]가 Q에 자연스럽게 포함됨을 이용하여 SL_n(Q)로의 호모모르피즘을 통해 상대적 완비화를 정의한 것.
• 완비화의 구조를 묘사하기 위해 하향 중심 급수와 관련된 임의의 리 대수를 분석한 것.
• 산술군 이론과 프로-대수적 군 이론의 결과를 활용하여 완비화 기술을 유도한 것.

실험 결과

연구 질문

• RQ1 SL_n(Z[t])의 SL_n(Q)로의 호모모르피즘에 대한 상대적 완비화는 무엇인가?
• RQ2 SL_n(Z[t,t⁻¹])의 상대적 완비화는 SL_n(Z[t])의 그것과 어떻게 다를까?
• RQ3 유리수 계수 제2 코homology 군 H²(SL_n(Z[t]), Q)과 H²(SL_n(Z[t,t⁻¹]), Q)의 구조는 무엇인가?
• RQ4 Malcev 완비화는 다항식 환 위의 선형군의 맥락에서 어느 정도 상대적 완비화로 일반화될 수 있는가?
• RQ5 이 선형군들의 상대적 완비화로부터 어떤 대수적 및 호모토피 불변량을 추출할 수 있는가?

주요 결과

• SL_n(Z[t])의 상대적 완비화는 Malcev 완비화를 일반화하는 프로-유니포텐트 군의 확장으로 명시적으로 묘사된다.
• SL_n(Z[t,t⁻¹])의 상대적 완비화는 Z[t,t⁻¹]의 루프 군 구조를 포함하는 특정한 완비화와 동형임을 보였다.
• H²(SL_n(Z[t]), Q)와 H²(SL_n(Z[t,t⁻¹]), Q)의 부분적인 유리수 계수 제2 코homology 군 계산을 수행하였으며, 특정 차수에서 비자명한 유리수 코hom올로지가 존재함을 드러냈다.
• 완비화 구조가 다항식의 차수에 의해 유도되는 자연스러운 필터링과 호환됨을 보였다.
• 결과는 상대적 완비화가 Z[t]와 Z[t,t⁻¹] 위의 선형군들의 본질적인 산술적 및 기하학적 자료를 포착하고 있음을 시사한다.
• 이 방법들은 유사한 환 위의 다른 산술군들의 완비화 계산을 위한 프레임워크를 제공한다.