[논문 리뷰] Absolute connectedness and classical groups

Jakub Gismatullin|arXiv (Cornell University)|2010. 02. 08.

Homotopy and Cohomology in Algebraic Topology참고 문헌 27인용 수 11

한 줄 요약

이 논문은 군에 대한 모형이론적 절대 연결성과 유형-절대 연결성의 개념을 도입하며, 무한체 위의 분할 단순 선형군이 절대 연결임을 증명한다. 또한 유형-절대 연결성이 이산 위상이 부여된 최소 거의 주기성 군의 클래스와 일치함을 보이며, $G^{00}/G^{\infty}$ 가 비아벨임을 보이는 군을 구성함으로써 이 몫의 비아벨 성질에 관한 열린 문제를 해결한다.

ABSTRACT

We introduce and develop the model-theoretic notions of absolute connectedness and type-absolute connectedness for groups. We prove that groups of rational points of split semisimple linear groups (that is, Chevalley groups) over arbitrary infinite fields are absolutely connected and characterize connected Lie groups which are type-absolutely connected. We prove that the class of type-absolutely connected group is exactly the class of discretely topologized groups with trivial Bohr compactification, that is the class of minimally almost periodic groups. As an application we generalize some results of Conversano-Pillay and construct a group $G$ where G^{00}/G^{\infty} is far from being abelian.

연구 동기 및 목표

• 군에 대한 모형이론적 절대 연결성과 유형-절대 연결성의 개념을 정의하고 발전시키기.
• 모든 고급 확장에서 $\infty$-연결 성분 또는 유형-연결 성분이 전체 군과 일치하는 군을 특성화하기.
• 군 $G$ 에 대해 $G^{00}/G^{\infty}$ 가 비아벨일 수 있는지 여부를 해결하기 위해 그러한 군을 구성하기.
• 모형이론적 연결 성분과 위상수학적 개념, 특히 보르 콤���트화와 최소 거의 주기성과의 연관성 설정하기.
• 특히 고전 군과 대칭군에 대해 연결 성분에 관한 결과를 일반화하기.

제안 방법

• 임의의 일阶 구조를 가진 군의 고급 확장에서 모형이론적 연결 성분 $G^{*\infty}_A$, $G^{*00}_A$, $G^{*0}_A$ 를 도입한다.
• 모든 소형 $A$ 와 모든 고급 확장에서 $G^{*\infty}_A = G^{*}$ 라면 절대 연결성으로 정의하고, $G^{*00}_A = G^{*}$ 라면 유형-절대 연결성으로 정의한다.
• 일반화된 준형식함수와 밀도 있는 부분군으로부터 컴acts Hausdorff 군을 복원하는 방법을 사용하여, $G^{00}/G^{\infty}$ 가 비아벨인 예를 구성한다.
• 대칭군과 무한차원 선형군에 관한 문헌 결과를 적용하여, $\operatorname{Sym}^\kappa(\Omega)$ 와 $\operatorname{GL}(V)$ 가 각각 16- 및 128-절대 연결임을 보인다.
• 고급 확장에서 유형-정의 가능한 유한지수 부분군을 통해 위상군의 콤팩트화를 분류한다.
• 이산 위상이 부여된 경우, 유형-절대 연결성이 보르 콤팩트화가 자명한 군, 즉 최소 거의 주기성 군과 동치임을 보인다.

실험 결과

연구 질문

• RQ1 군 $G$ 에 대해 몫 $G^{00}/G^{\infty}$ 는 비아벨일 수 있는가?
• RQ2 유형-절대 연결성인 군은 무엇이며, 이 성질은 위상수학적 콤팩트화와 어떻게 관련되는가?
• RQ3 무한체 위의 분할 단순 선형군에서 연결 성분의 모형이론적 구조는 무엇인가?
• RQ4 절대 연결성과 유형-절대 연결성의 개념은 고전 군 이론과 위상수학과 어떻게 관련되는가?
• RQ5 보르 콤팩트화와 같은 위상적 불변량을 사용하여 유형-절대 연결 군의 클래스를 완전히 특성화할 수 있는가?

주요 결과

• 무한체 위의 분할 단순 선형군의 유리점 군은 절대 연결이다.
• 유형-절대 연결 군의 클래스는 정확히 이산 위상이 부여된 군 중 보르 콤팩트화가 자명한 군, 즉 최소 거의 주기성 군의 클래스와 일치한다.
• 비아벨인 $G^{00}/G^{\infty}$ 를 갖는 군의 구성이 제시되어 열린 문제에 대한 긍정적 해답을 제시한다.
• 기수 $\kappa$ 가 비가산이면, $\operatorname{Sym}^\kappa(\Omega)$ 는 16-절대 연결이다. 이는 $\kappa$ 가 극한 기수일 때에도 성립한다.
• 무한차원 일반선형군 $\operatorname{GL}(V)$ 는 $V$ 의 분해에서 moietous 호환이 존재함을 통해 128-절대 연결임을 보였다.
• 모든 하우스도르프 위상군의 콤팩트화는 고급 확장에서 유형-정의 가능한 유한지수 부분군 $H$ 에 대한 몫 $G^*/H$ 로 분류된다.