[논문 리뷰] On the congruence kernel of isotropic groups over rings

Anastasia Stavrova|arXiv (Cornell University)|2013. 04. 30.

Advanced Algebra and Geometry참고 문헌 20인용 수 3

한 줄 요약

이 논문은 연결 노에테리안 링 $R$ 위의 비단순 단순 연결 재조합군에 대해, 군 유형과 링에 대한 약간의 조건 하에, 원소 부분군 $E(R)$ 의 프로파인트 완비화에서 합동 핵의 중심성에 대해 정립한다. 증명은 비단순 군에 대한 스텐버그 군을 구성하고, 국소-글로벌 원리 및 밀도 있는 부분군의 논증을 통해 프로파인트 완비화 및 합동 완비화에서의 행동을 분석하는 데 기반한다.

ABSTRACT

Let R be a connected noetherian commutative ring, and let G be a simply connected reductive group over R of isotropic rank ge 2. The elementary subgroup E(R) of G(R) is the subgroup generated by the R-points U_P^+(R) and U_P^-(R) of the unipotent radicals of two opposite parabolic subgroups P^+ and P^- of G. Assume that 2 is invertible in R if G is of type B_n,C_n,F_4,G_2 and 3 is invertible in R if G is of type G_2. We prove that the congruence kernel of E(R), defined as the kernel of the natural homomorphism between the profinite completion of E(R) and the congruence completion of E(R) with respect to congruence subgroups of finite index, is central. In the course of the proof, we construct Steinberg groups associated to isotropic reductive groups and show that they are central extensions of E(R) if R is a local ring.

연구 동기 및 목표

• 스플릿 군에서의 합동 핵 중심성 결과를 일반 노에테리안 링 위의 비단순 재조합군으로 확장하는 것.
• 연결 노에테리안 링 $R$ 과 랭크 $\geq 2$ 인 비단순 단순 연결 재조합군 $G$ 에 대해, 원소 부분군 $E(R)$ 의 합동 핵이 그 프로파인트 완비화 $\widehat{E(R)}$ 에서 중심이 되는 것을 확립하는 것.
• 라피냐치크–라피냐치크 및 카사보프–니콜로프의 결과를 임의의 연결 노에테리안 링 위의 랭크 $\geq 2$ 인 비단순 군으로 일반화하는 것.
• 로컬 링일 때 비단순 재조합군에 대한 스텐버그 군을 구성하고, 이들이 $E(R)$ 의 중심 확장임을 보이는 것.
• 주어진 조건 하에, 합동 완비화 $\overline{E(R)}$ 가 $\overline{G(R)}$ 와 일치함을 보이고, 국소 데이터를 통한 전반적 분석이 가능하게 하는 것.

제안 방법

• 로컬 링 위의 비단순 재조합군에 관련된 스텐버그 군을 구성하고, 이들이 $E(R)$ 의 중심 확장임을 보이는 것.
• 링 $R$ 의 극대 아이디얼 $m$ 에서의 군 $G$ 의 국소 구조를 이용하여, $\hat{R}_m$-완비화를 통한 $\widehat{E(R)}$ 와 $\overline{E(R)}$ 의 완비화를 분석하는 것.
• 국소-글로벌 원리를 적용하여, 국소 완비화 $\hat{\Gamma}_m$ 에 의해 생성되는 부분군 $\Delta$ 를 통해 $E(R)$ 의 상이 $\widehat{E(R)}$ 에서 밀도가 있음을 보이는 것.
• $\widehat{U_{(\delta)}(R)} \cong U_{(\delta)}(\hat{R})$ 이고, 레마 5.4 를 사용하여 국소 유니포텐트 부분군을 프로파인트 완비화에 매립하는 것.
• 콤���트 부분집합 $S \subseteq \widehat{E(R)}$ 에서 $E(\hat{R})$ 로의 사상이 전사임을 이용하여, $C \cap \Delta_m$ 이 $C$ 에서 밀도가 있음을 보이는 것.
• $\hat{\Gamma}_m$ 이 $\hat{\Gamma}_m'$ 과 $C \cap \Delta_m$ 을 중심화하고, $\Delta$ 가 $\widehat{E(R)}$ 에서 밀도가 있으므로, 핵 $C$ 는 $\widehat{E(R)}$ 에서 중심임을 보이는 것.

실험 결과

연구 질문

• RQ1 비단순 단순 연결 재조합군 $G$ 가 연결 노에테리안 링 $R$ 위에 있을 때, 원소 부분군 $E(R)$ 의 합동 핵이 그 프로파인트 완비화에서 중심이 되는가?
• RQ2 스플릿 군에서의 중심성 결과를 일반 링 위의 랭크 $\geq 2$ 인 비단순 군으로 확장할 수 있는가?
• RQ3 로컬 링 위의 비단순 군에 대해 스텐버그 군이 $E(R)$ 의 구조에서 수행하는 역할은 무엇인가?
• RQ4 비단순 랭크 $\geq 2$ 를 가진 $G$ 에 대해, $E(R)$ 의 프로파인트 완비화와 합동 완비화는 어떻게 관련이 있는가?
• RQ5 $\overline{E(R)} = \overline{G(R)}$ 가 성립하는 조건은 무엇이며, 이는 국소 분석으로의 환원을 가능하게 하는가?

주요 결과

• 모든 연결 노에테리안 링 $R$ 과 랭크 $\geq 2$ 인 비단순 단순 연결 재조합군 $G$ 에 대해, $\widehat{E(R)} \to \overline{E(R)}$ 의 핵인 합동 핵 $C = \ker(\widehat{E(R)} \to \overline{E(R)})$ 는 $\widehat{E(R)}$ 에서 중심이다.
• 주어진 조건 하에, 합동 완비화 $\overline{E(R)}$ 는 $\overline{G(R)}$ 와 일치하며, 국소 데이터를 통한 전반적 분석이 가능하다.
• 모든 로컬 링 $R$ 에 대해, $G$ 와 관련된 스텐버그 군은 $E(R)$ 의 중심 확장이며, 핵심적인 구조적 도구가 된다.
• $\widehat{E(R)}$ 에서 국소 완비화 $\hat{\Gamma}_m$ 에 의해 생성되는 부분군 $\Delta$ 는 $\widehat{E(R)}$ 에서 밀도가 있으며, 이는 전반적 중심성 논증을 가능하게 한다.
• $E(R)$ 의 상은 $\widehat{E(R)}$ 에서 밀도가 있는데, 이는 $\sum_{m} \hat{R}_m$ 이 $\hat{R}$ 에서 밀도가 있고, $\widehat{U_{(\delta)}(R)} \cong U_{(\delta)}(\hat{R})$ 이기 때문이다.
• $C$ 는 모든 $\hat{\Gamma}_m$ 에 의해 중심화되며, 이들이 밀도 있는 부분군을 생성하므로 $C$ 는 $\widehat{E(R)}$ 에서 중심이다.