[논문 리뷰] K- and L-theory of group rings over GL_n(Z)

Arthur Bartels, Wolfgang Lueck외 2명|arXiv (Cornell University)|2012. 04. 11.

Algebraic structures and combinatorial models참고 문헌 17인용 수 4

한 줄 요약

이 논문은 GLₙ(ℤ)에 대해 추가 범주에서의 K- 및 L-이론적 Farrell-Jones 추측을 증명하며, 그로 인해 ℤ[GLₙ(ℤ)]의 대수적 K- 및 L-이론이 그의 유한적으로 순환하는 부분군들의 K- 및 L-이론에 의해 결정됨을 보장한다. 증명은 전이 가소성, 전이성 원리, 부분군, 유한 곱, 유한군과의 와이어드 곱에 대한 유전성 성질을 활용한다.

ABSTRACT

We prove the K- and L-theoretic Farrell-Jones Conjecture (with coefficients in additive categories) for GL_n(Z).

연구 동기 및 목표

• GLₙ(ℤ)에 대해 추가 범주에서의 K- 및 L-이론적 Farrell-Jones 추측을 확립하기 위해.
• 수체 위의 산술군 및 R가 유한 생성된 아벨 군 구조를 가진 링일 때 GLₙ(R)의 부분군과 공통성 있는 군들에 대해 추측을 확장하기 위해.
• 와이어드 곱에 의한 추측을 증명하여 콜리미트와 하이퍼볼릭 군에의 응용을 가능하게 하기 위해.
• 유한적으로 다항순환 군들로의 귀납과 유전성 성질을 통해 GLₙ(ℤ)에 대한 추측을 유한적으로 다항순환 군의 경우로 감소시키기 위해.

제안 방법

• GLₙ(ℤ)에 대한 추측을 (ℱₙ)≀ 가족의 군들에 대한 검증으로 감소시키기 위해 전이성 원리를 활용한다. 여기서 (ℱₙ)≀은 특정 가족 ℱₙ의 와이어드 곱 닫힘이다.
• GLₙ(ℤ)가 가족 ℱₙ에 대해 전이 가소성을 만족함을 확립하여, 정리 5.1을 통해 섬세한 Farrell-Jones 추측에 적용할 수 있도록 한다.
• 부분군, 유한 곱, 유한 지수의 상위군에 대한 Farrell-Jones 추측의 유전성 성질을 적용하여, 유한적으로 다항순환 군들로 감소시킨다.
• 유한군과의 와이어드 곱을 거친 유한적으로 다항순환 군은 여전히 유한적으로 다항순환 군이며, 이는 이전 결과(Bartels-Farrell-Lück)에 의해 추측을 만족함을 이용한다.
• 어떤 m > n에 대해 GLₙ(ℤ)≀F가 GLₘ(ℤ)에 임베딩됨을 이용하여 표준형과 와이어드 곱 형태의 추측을 연결한다.
• 레마 7.1을 적용하여, R가 유한 생성된 아벨 군의 구조를 가질 때 GLₙ(R) 및 SLₙ(R)에 대해 추측이 성립함을 보이며, autℤ(ℤᵏ × T)로의 군 준동형사상과 유한군을 포함하는 정확한 수열을 이용한다.

실험 결과

연구 질문

• RQ1 GLₙ(ℤ)는 추가 범주에서의 K-이론적 Farrell-Jones 추측을 만족하는가?
• RQ2 GLₙ(ℤ)는 추가 범주에서의 인벌로션을 갖는 L-이론적 Farrell-Jones 추측을 만족하는가?
• RQ3 추측은 R가 유한 생성된 아벨 군의 구조를 가진 링일 때 GLₙ(R)의 부분군과 공통성 있는 군들로 확장될 수 있는가?
• RQ4 GLₙ(ℤ)에 대해 와이어드 곱에 의한 추측은 성립하는가? 그리고 표준 추측과의 관계는 무엇인가?
• RQ5 GLₙ(ℤ)에 대한 추측은 귀납과 유전성 성질을 통해 유한적으로 다항순환 군의 경우로 감소시킬 수 있는가?

주요 결과

• 메인 정리에 따르면, 추가 범주에서의 K- 및 L-이론적 Farrell-Jones 추측이 GLₙ(ℤ)에 대해 성립한다.
• 일반 정리에 따르면, R가 유한 생성된 아벨 군의 구조를 가질 때, GLₙ(R)의 부분군과 공통성 있는 모든 군들에 대해 추측이 확장된다.
• GLₙ(ℤ)에 대해 와이어드 곱에 의한 추측이 성립하며, 이 버전은 전이성 원리를 통해 표준 추측을 유도하는 데에 충분하다.
• 증명은 GLₙ(ℤ)가 적절한 가족 ℱₙ에 대해 전이 가소성을 만족함을 보여, L-이론적 경우에 정리 5.1(ii)를 적용할 수 있도록 한다.
• 강한 전이 가소성과 유전성 성질 덕분에, 모든 하이퍼볼릭 군은 𝒱𝒞yc≀ 가족에 대해 추측을 만족한다.
• 와이어드 곱에 의한 FJC는 부분군과 유한 지수의 상위군으로 전이되며, 이는 유한적으로 다항순환 군으로의 감소를 가능하게 하며, 이 군들은 알려진 결과에 의해 추측을 만족한다.