[논문 리뷰] Higher homotopy of groups definable in o-minimal structures

Alessandro Berarducci, Marcello Mamino외 1명|ArXiv.org|2008. 09. 29.

Advanced Topology and Set Theory참고 문헌 3인용 수 4

한 줄 요약

이 논문은 정의 가능하게 컴팩트한 군의 o-미니멀 고차 호모토피 군이 그에 해당하는 컴팩트 리 군의 고차 호모토피 군과 동형임을 증명하며, 모든 아벨 정의 가능하게 컴팩트한 군이 같은 차원이면 정의 가능하게 호모토피 동치임을 보이고, 그들의 균일 커버가 수축 가능하다는 것을 보여준다. 이 결과는 모델 이론적 도구를 사용하여 고전적 호모토피 이론을 o-미니멀 구조로 확장하고, 고전적 위상수학 결과를 o-미니멀 환경으로 이행한다.

ABSTRACT

It is known that a definably compact group G is an extension of a compact Lie group L by a divisible torsion-free normal subgroup. We show that the o-minimal higher homotopy groups of G are isomorphic to the corresponding higher homotopy groups of L. As a consequence, we obtain that all abelian definably compact groups of a given dimension are definably homotopy equivalent, and that their universal cover are contractible.

연구 동기 및 목표

• 정의 가능하게 컴팩트한 군의 고차 호모토피 군을 연구함으로써 고전적 호모토피 이론을 o-미니멀 구조로 확장하는 것.
• 정의 가능하게 컴팩트한 군의 o-미니멀 고차 호모토피 군이 그에 해당하는 컴팩트 리 군의 고차 호모토피 군과 동형임을 확립하는 것.
• 같은 차원을 가진 모든 아벨 정의 가능하게 컴팩트한 군이 정의 가능하게 호모토피 동치임을 증명하는 것.
• 아벨 정의 가능하게 컴팩트한 군의 균일 커버가 국소적으로 정의 가능한 공간의 범주에서 수축 가능하다는 것을 보여주는 것.

제안 방법

• o-미니멀 H-공간의 구조와 [1]의 전이 정리들을 사용하여 o-미니멀 호모토피 군과 고전적 호모토피 군을 연결하는 것.
• o-미니멀 고차 호모토피 군이 나누어떨어지며 유한 생성임을 이용하여 아벨 경우에서의 자명성을 증명하는 것.
• [1]과 [2]의 o-미니멀 위트헤드 정리를 적용하여 균일 커버의 수축 가능성을 유도하는 것.
• 포장의 장점 있는 호모토피 수열과 중심이 없는 군 및 단순군의 구조를 이용하여 비아벨 경우를 알려진 결과로 환원하는 것.
• 특히 실대수적 수체 위의 반대칭 군에 대해 [1]의 결과를 통해 o-미니멀과 고전적 호모토피 군 간의 동형을 이용하는 것.
• o-미니멀 Poincaré-Hurewicz 정리와 [4]의 코homological 동형을 적용하여 호모토피 동형 결과를 뒷받침하는 것.

실험 결과

연구 질문

• RQ1 정의 가능하게 컴팩트한 군 G의 o-미니멀 고차 호모토피 군 πₙ(G)이 몫군 G/G⁰⁰의 고전적 고차 호모토피 군 πₙ(G/G⁰⁰)과 일치하는가?
• RQ2 같은 차원을 가진 모든 아벨 정의 가능하게 컴팩트한 군은 정의 가능하게 호모토피 동치인가?
• RQ3 아벨 정의 가능하게 컴팩트한 군의 균일 커버링 군은 국소적으로 정의 가능한 공간의 범주에서 수축 가능한가?
• RQ4 o-미니멀과 고전적 호모토피 군 간의 동형이 반대칭 군의 고차 호모토피 군으로까지 확장되는가?
• RQ5 o-미니멀 H-공간의 구조를 이용하여 고전적 호모토피 유한성 결과를 o-미니멀 환경으로 이행할 수 있는가?

주요 결과

• 모든 정의 가능하게 컴팩트한 군 G에 대해 o-미니멀 고차 호모토피 군 πₙ(G)은 해당 컴팩트 리 군 G/G⁰⁰의 고전적 고차 호모토피 군 πₙ(G/G⁰⁰)과 동형이다.
• 아벨 정의 가능하게 컴팩트한 군의 경우, 모든 고차 호모토피 군 πₙ(G)은 n > 1이면 자명해지며, 이는 그것이 같은 차원의 토러스와 정의 가능하게 호모토피 동치임을 의미한다.
• 아벨 정의 가능하게 컴팩트한 군의 균일 커버링 군은 국소적으로 정의 가능한 공간의 범주에서 수축 가능하다. 이는 그 모든 호모토피 군이 자명하기 때문이다.
• 비아벨 군의 경우, 포장과 중심의 구조를 이용하여 단순군의 경우로 환원함으로써 결과가 확장되며, 모든 n ≥ 1에 대해 πₙ(G) ≅ πₙ(G/G⁰⁰)이 성립한다.
• 실대수적 수체 위의 반대칭 군에 대해 πₙ(G(M)) ≅ πₙ(G(ℝ))의 동형이 성립하여, o-미니멀에서 고전적 위상수학으로의 이행이 가능하다.
• [4]의 코homological 동형 결과는 호모토피 동형을 뒷받침하며, 특히 유니버설 계수 정리와 체 위의 유한 차원 호모로지에 의해 강화된다.