[논문 리뷰] Separability of Solvable Subgroups in Linear Groups

Roger C. Alperin, Benson Farb|ArXiv.org|2004. 07. 26.

Finite Group Theory Research참고 문헌 13인용 수 4

한 줄 요약

이 논문은 특성 0의 체 위의 유한생성 선형군에서, 모든 가환 부분군이 다형적일 경우 모든 가환 부분군이 분리 가능하다는 것을 증명한다. 증명은 다형적 군의 부분군 분리 가능성, 합동 및 프로파인 위상수학, 유한지수 이상의 이상에 대한 환원을 활용하여 유한 몫을 통해 원소와 부분군을 분리한다.

ABSTRACT

Let G be a finitely generated linear group over a field of characteristic 0. Suppose that every solvable subgroup of G is polycyclic. Then the claim is made that any solvable subgroup of G is separable. This is proven for G=SL_n(Z). However, the proof of the main theorem in section 4 is incomplete.

연구 동기 및 목표

• 특성 0의 체 위의 유한생성 선형군의 가환 부분군이 분리 가능한 조건을 규명하는 것.
• 일반적인 부분군 분리 가능성의 실패, 특히 다형적이지 않은 가환 부분군에 대해 다루는 것.
• 모든 가환 부분군이 다형적일 경우에만 선형군에서 가환 부분군 분리 가능성을 확보하는 충분조건을 설정하는 것.
• 특수선형군과 산술 래티스에서 알려진 부분군 분리 가능성 결과를 더 넓은 범주로 확장하는 것.
• 선형 기본군을 가진 다양체의 유한 코버로 가환다양체의 임베딩을 끌어올리는 위상수학적 응용을 제공하는 것.

제안 방법

• Lie-Kolchin-Malcev 정리를 사용하여 가환 부분군을 유한생성 환 위의 상삼각행렬군으로 표현하는 경우로 환원하는 것.
• 정수환 또는 그 국소화에서 유한지수 이상의 이상을 통한 합동 몫을 사용하여 부분군에 속하지 않는 원소를 분리하는 것.
• 소수로 국소화된 정수환 위의 상삼각행렬군의 부분군에서 프로파인 위상과 합동 위상의 동치성을 활용하는 것.
• 합동 위상과의 호환성을 확보하고 분리를 가능하게 하기 위해 소수 거듭제곱인 지수를 갖는 유한지수 정규부분군을 구성하는 것.
• 다형적 군에서의 부분군 분리 가능성 응용을 통해 생성된 군의 유한 몫 내에서 부분군 밖의 원소를 분리하는 것.
• 환의 준동형사상에 의한 이상의 역상 사용을 통해, 유한 몫을 통한 분리를 전체 선형군으로 끌어올리는 것.

실험 결과

연구 질문

• RQ1 특성 0의 체 위의 유한생성 선형군에서 가환 부분군이 분리 가능한 조건은 무엇인가?
• RQ2 왜 모든 가환 부분군이 다형적이어야 가환 부분군 분리 가능성이 성립하는가?
• RQ3 합동 및 프로파인 위상수학을 사용하여 선형군에서 가환 부분군의 분리 가능성을 확립할 수 있는가?
• RQ4 다형적 군의 도출계 구조가 원소를 분리하는 유한 몫을 구성하는 데 어떻게 기여하는가?
• RQ5 부분군 분리 가능성에 의해 선형 기본군을 가진 다양체에서 가환다양체의 임베딩이 얼마나 널리 퍼진 코버로 끌어올릴 수 있는가?

주요 결과

• 특성 0의 체 위의 유한생성 선형군의 임의의 가환 부분군은 그 군의 모든 가환 부분군이 다형적일 경우 분리 가능하다.
• 이 결과는 SL(2,C)의 이산부분군, 랭크 1 리 군에서의 산술 래티스, 정수환 위의 보렐 부분군의 부분군 등 알려진 사례를 일반화한다.
• 국소화된 정수환 위의 상삼각행렬군의 부분군에서 프로파인 위상과 합동 위상은 일치하므로 합동 몫을 사용할 수 있다.
• 가환 부분군 S에 속하지 않는 임의의 원소에 대해, 유한지수 이상에 대한 환원을 통해 S와 분리되는 유한 몫이 존재한다.
• 특정 정수 m과 공약수를 갖지 않는 핵의 지수일지라도, 적절한 지수를 갖는 유한지수 부분군을 찾을 수 있다.
• 이 결과는 모든 유한생성 가환 부분군이 다형적일 경우, 선형 기본군을 가진 닫힌 다양체에 π₁-임베딩된 가환다양체의 임베딩이 유한 코버에서의 임베딩으로 끌어올려질 수 있음을 시사한다.